HN Explorer

maxsun

↗ HN profile [ 774 ms ] full profile
Karma
9
Created
March 29, 2016 (10y ago)
Submissions
0
  1. Verified Programming of Turing Machines in Coq (2020) (popl20.sigplan.org)
    2 points 1
  2. Show HN: TermAlert – Receive a text when a terminal command finishes (termalert.me)
    10 points 5