karelpeeters

176 karmajoined January 25, 2022On HN

https://github.com/KarelPeeters/

Recent submissions

Synthesizing Loop-Free Programs with Rust and Z3 (2020)fitzgen.com
1karelpeeters16hdiscuss
I've been writing ring buffers wrong all these years (2016)snellman.net
165karelpeeters8mo67 comments

All submissions and comments on Hacker News.