maxsun | Dark Hacker News

1.	Verified Programming of Turing Machines in Coq (2020)(popl20.sigplan.org) 2 points by maxsun 5 years ago \| 1 comment
2.	Show HN: TermAlert – Receive a text when a terminal command finishes(termalert.me) 10 points by maxsun 10 years ago \| 5 comments
3.	10 years ago \| discuss