| user: | dangrigsby |
| created: | October 14, 2018 |
| karma: | 30 |
| 1. | A proofs class textbook in Lean 4 suitable for coders(hrmacbeth.github.io) |
| 2. | |
| 3. | Monitor sites for changes in rendered content(visualping.io) |
| 4. | A Honeypot for Learning How Americans Become Radicalized(linkedin.com) |
| 5. | Society is stagnating because FANG and VC(linkedin.com) |
| 6. | A long read on vulnerability, an honest account of 2020 and ask for help(dcgrigsby.github.io) |
| 7. | |
| 8. | Towards GPU processing of JSON(raphlinus.github.io) |
| 9. | Fast implementations of data structures using monoids and finger trees(apfelmus.nfshost.com) |