Manipulating Chess-GPT's World Model(adamkarvonen.github.io)

110 points by seraine 2 years ago | 31 comments

LeMario: Training a JEPA World Model on Super Mario Bros(benjamin-bai.com)

119 points by kevinjosethomas 3 months ago | 13 comments

The soloists and populars of the software world(mihaiolteanu.me)

5 points by molteanu 3 years ago | 0 comments

100k TPS over a billion rows: the unreasonable effectiveness of SQLite(andersmurphy.com)

344 points by speckx 10 months ago | 124 comments

Blog post by Anders Murphy benchmarking SQLite at 100k transactions per second over a billion rows, arguing its embedded single-writer design helps it scale.

TLA+ in Isabelle/HOL(davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

An Intuitive Explanation of Sparse Autoencoders for LLM Interpretability(adamkarvonen.github.io)

77 points by sebg 1 year ago | 1 comments