Defining new Jax types with hijax(docs.jax.dev)

11 points by fhchl 3 months ago | 2 comments

André Weil and the Hodge Conjecture(jiahao116.github.io)

29 points by caojiahao 1 month ago | 11 comments

Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts(arsastronomica.com)

99 points by sweisman 3 months ago | 33 comments

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

JSONB has landed(sqlite.org)

579 points by nalgeon 2 years ago | 181 comments

SQLite forum post by Richard Hipp announcing JSONB, a binary rewrite of SQLite's JSON functions that landed on trunk and can be several times faster.

Go-Flavored Concurrency in C(antonz.org)

41 points by ibobev 3 months ago | 7 comments