HN Explorer

Thom2503

↗ HN profile [ 143 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Types of types: Haskell's Kind system (thunk.blog)
    1 points 76
  2. Semantics for programming languages with Coq encodings (2015) (inria.hal.science)
    1 points 0
  3. Evergreen Common Lisp (EGCL) (github.com)
    1 points 0
  4. A rebuttal to "What makes Lisp difficult to read?" (digikar.online)
    1 points 1
  5. Most data centers refusing to say how much water, electricity they use (nltimes.nl)
    1 points 144
  6. The dawn of formalized mathematics [video] (youtube.com)
    1 points 0
  7. How to Not Write Parsers (crtschin.com)
    18 points 0
  8. Why don't people use formal methods? (2019) (hillelwayne.com)
    128 points 53
  9. Incanter: A Clojure-based R-like platform for statistical computing and graphics (incanter.org)
    2 points 1
  10. No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018) (hackaday.com)
    2 points 0
  11. Formal Reasoning [pdf] (cs.ru.nl)
    146 points 31