HN Explorer

dangrigsby

↗ HN profile [ 32.9 ms ] full profile
Karma
17
Created
October 14, 2018 (7y ago)
Submissions
0
  1. A proofs class textbook in Lean 4 suitable for coders (hrmacbeth.github.io)
    4 points 0
  2. A programmable virtual CPU written in untyped lambda calculus (github.com)
    4 points 0
  3. Monitor sites for changes in rendered content (visualping.io)
    3 points 0
  4. A Honeypot for Learning How Americans Become Radicalized (linkedin.com)
    2 points 0
  5. Society is stagnating because FANG and VC (linkedin.com)
    23 points 1
  6. A long read on vulnerability, an honest account of 2020 and ask for help (dcgrigsby.github.io)
    1 points 0
  7. Ask HN: Holiday book gifts for/from a hacker

    One of my favorite recent HN threads was, "Books that changed your life." And it actually changed my life too! I bought John Sarno's "Healing Back Pain" and left two decades of back pain behind. Here, I'm looking for…

    3 points 0
  8. Towards GPU processing of JSON (raphlinus.github.io)
    3 points 0
  9. Fast implementations of data structures using monoids and finger trees (apfelmus.nfshost.com)
    5 points 0