Hacker News new | ask | show | jobs
user: maxsun
created: 2016-03-29
karma: 9

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Verified Programming of Turing Machines in Coq (2020)
2 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: TermAlert – Receive a text when a terminal command finishes
10 points | 5 comments