Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Flyspeck: The formal proof of the Kepler conjecture
(github.com/flyspeck)
1 point
throwoutway
5 months ago
discuss
2.
▲
Emacs Flycheck status with cute emoji
(github.com/liblit)
1 point
todd8
11 years ago
discuss
3.
▲
Show HN: I made a utility I named pmake to generate project files
(github.com/voraciousKobald)
5 points
voraciousKobald
2 years ago
discuss