|
|
| 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 | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
