HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Prove Raft Correct
github.com/uwplse
27 comments
11 years ago
jtgi
173 points
2.
▲
Herbie: Automatically rewrites expressions to minimize floating point error
github.com/uwplse
19 comments
10 years ago
santaclaus
117 points
3.
▲
Show HN: Compiler from sequential Java to Spark
github.com/uwplse
1 comment
10 years ago
stenning
2 points