| 1. | | A proofs class textbook in Lean 4 suitable for coders (hrmacbeth.github.io) |
| 4 points by dangrigsby on Feb 11, 2024 | past |
|
| 2. | | A programmable virtual CPU written in untyped lambda calculus (github.com/woodrush) |
| 4 points by dangrigsby on Feb 10, 2024 | past |
|
| 3. | | Monitor sites for changes in rendered content (visualping.io) |
| 3 points by dangrigsby on Dec 20, 2021 | past |
|
| 4. | | A Honeypot for Learning How Americans Become Radicalized (linkedin.com) |
| 2 points by dangrigsby on Jan 28, 2021 | past |
|
| 5. | | Society is stagnating because FANG and VC (linkedin.com) |
| 23 points by dangrigsby on Jan 21, 2021 | past | 1 comment |
|
| 6. | | A long read on vulnerability, an honest account of 2020 and ask for help (dcgrigsby.github.io) |
| 1 point by dangrigsby on Jan 11, 2021 | past |
|
| 7. | | Ask HN: Holiday book gifts for/from a hacker |
| 3 points by dangrigsby on Nov 29, 2018 | past |
|
| 8. | | Towards GPU processing of JSON (raphlinus.github.io) |
| 3 points by dangrigsby on Oct 17, 2018 | past |
|
| 9. | | Fast implementations of data structures using monoids and finger trees (nfshost.com) |
| 5 points by dangrigsby on Oct 14, 2018 | past |
|
