Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
karelpeeters | Dark Hacker News
user:
karelpeeters
created:
January 25, 2022
karma:
176
about:
https://github.com/KarelPeeters/
submissions
comments
1.
Synthesizing Loop-Free Programs with Rust and Z3 (2020)
(fitzgen.com)
2 points
by
karelpeeters
2 days ago
|
0 comments
2.
I've been writing ring buffers wrong all these years (2016)
(snellman.net)
165 points
by
karelpeeters
271 days ago
|
67 comments