1Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII? (opens in new tab)(tylerhillery.com)23alpaylan3d ago0
3EsoNatLangs Bring the Complexity of Natural Language into Code (opens in new tab)(esoteric.codes)5alpaylan24d ago0
6The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (opens in new tab)(symbolic.software)2alpaylan1mo ago0
8A Drop in for `anyhow:Context` that reports the failure location (opens in new tab)(gist.github.com)1alpaylan1mo ago0
13Lf-lean: The frontier of verified software engineering (opens in new tab)(theorem.dev)47alpaylan1mo ago9
14The mechanics of autonomous software translation (opens in new tab)(alperenkeles.com)24alpaylan2mo ago3
15Formalizing Data Structures and Algorithms with Agents (opens in new tab)(risemsr.github.io)3alpaylan2mo ago0
