The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·10h
Learning a new programming language with an LLM
feeding.cloud.geek.nz·12h
Bridging the gaps between protocol specifications and practice
blog.apnic.net·3d
Squint Testing Lisps
blog.toast.cafe·16h
Formalization of Erdős problems
xenaproject.wordpress.com·2d
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·9h
ARGUS: Defending Against Multimodal Indirect Prompt Injection via Steering Instruction-Following Behavior
arxiv.org·8h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·22h
Schemas, Channels & Messages in MCAP
mmhaskell.com·42m
What is a Pedersen commitment?
johndcook.com·1d
Loading...Loading more...