SQL, Homomorphisms and Constraint Satisfaction Problems(philipzucker.com)

134 points by xlinux 1 year ago | 16 comments

Optimizing Ruby's JSON, Part 1(byroot.github.io)

241 points by todsacerdoti 1 year ago | 56 comments

Knuckledragger, a Semi-Automated Python Proof Assistant(philipzucker.com)

64 points by philzook 2 years ago | 14 comments

The C bounded model checker: criminally underused(philipzucker.com)

178 points by philzook 2 years ago | 97 comments

Optimizing Ruby's JSON, Part 4(byroot.github.io)

198 points by jeremy_k 1 year ago | 44 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.