The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·1d
Cryptographers Show That AI Protections Will Always Have Holes
quantamagazine.org·2h
Squint Testing Lisps
blog.toast.cafe·2d
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·2d
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·4d
Gemma 3 AI model in Clojure
dragan.rocks·19h
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·2d
Ramsey, Fraïssé, and orders
cameroncounts.wordpress.com·2d
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·3d
Real-world reasoning: How Amazon Nova Lite 2.0 handles complex customer support scenarios
aws.amazon.com·21h
Creating a Llama or GPT Model for Next-Token Prediction
machinelearningmastery.com·1d
Loading...Loading more...