HN
Hacker News
Top
New
Best
Ask
Show
Jobs
karelpeeters
184 karma · joined January 25, 2022
https://github.com/KarelPeeters/
submissions
comments
Synthesizing Loop-Free Programs with Rust and Z3 (2020)
fitzgen.com
·
26 pts
·
karelpeeters
·
0
I've been writing ring buffers wrong all these years (2016)
snellman.net
·
165 pts
·
karelpeeters
·
67