HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Qed: A verified web front end written in Lean4
github.com/JacobAsmuth
discuss
8 days ago
JacobAsmuth
3 points
2.
▲
HackerNewsOnion MOTD in your Terminal
github.com/jacobsmith
discuss
13 years ago
jacob_smith
1 points