HN
Hacker News
Top
New
Best
Ask
Show
Jobs
maxsun
9 karma · joined March 29, 2016
submissions
comments
Verified Programming of Turing Machines in Coq (2020)
popl20.sigplan.org
·
2 pts
·
maxsun
·
1
Show HN: TermAlert – Receive a text when a terminal command finishes
termalert.me
·
10 pts
·
maxsun
·
5