The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·8h
Learning a new programming language with an LLM
feeding.cloud.geek.nz·11h
Bridging the gaps between protocol specifications and practice
blog.apnic.net·3d
Squint Testing Lisps
blog.toast.cafe·14h
Formalization of Erdős problems
xenaproject.wordpress.com·2d
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·7h
ARGUS: Defending Against Multimodal Indirect Prompt Injection via Steering Instruction-Following Behavior
arxiv.org·6h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·20h
What is a Pedersen commitment?
johndcook.com·1d
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Theory and AI Alignment
scottaaronson.blog·1d
Loading...Loading more...