HN Explorer

Thom2503

↗ HN profile [ 50.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The dawn of formalized mathematics [video] (youtube.com)
    1 points 0
  2. How to Not Write Parsers (crtschin.com)
    18 points 0
  3. Why don't people use formal methods? (2019) (hillelwayne.com)
    128 points 53
  4. Incanter: A Clojure-based R-like platform for statistical computing and graphics (incanter.org)
    2 points 1
  5. No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018) (hackaday.com)
    2 points 0
  6. Formal Reasoning [pdf] (cs.ru.nl)
    146 points 31