My (very) fast zero-allocation webserver using OxCaml

Porting a complete HTML5 parser and browser test suite [from Python to OCaml using LLMs]

Dear ACM, you're doing AI wrong but you can still get it right

Socially self-hosting source code with Tangled on Bluesky

Not-quite-so-broken TLS: lessons in re-engineering a security protocol

Reviewing the second year of OCaml Labs in 2014