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