Conversation: LLMs and the what/how loop
martinfowler.com·8h
Subterms Modulo Theories I
philipzucker.com·2d
AI-predicted PT-symmetric magnets
link.aps.org·20h
Use of Assertions
blog.regehr.org·8h
Gödel’s Theorems (and logicisms) revisited
logicmatters.net·2d
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·1d
understanding LSM trees via read, write, and space amplification
bitsxpages.com·16m
Loading...Loading more...