Verification, Type-level Programming, Safety Proofs, Linear Types
Computed GOTO, in MS BASIC
masswerk.at·2d
2025 Week 30
paultraylor.net·2d
The Fool Dances with Death
eternalisedofficial.com·15h
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·4d
Loading...Loading more...