dangrigsby

Recent Submissions

1. 1. ▲ A proofs class textbook in Lean 4 suitable for coders (hrmacbeth.github.io) 4 points · 2 years ago · 0 comments
2. 2. ▲ A programmable virtual CPU written in untyped lambda calculus (github.com) 4 points · 2 years ago · 0 comments
3. 3. ▲ Monitor sites for changes in rendered content (visualping.io) 3 points · 4 years ago · 0 comments
4. 4. ▲ A Honeypot for Learning How Americans Become Radicalized (linkedin.com) 2 points · 5 years ago · 0 comments
5. 5. ▲ Society is stagnating because FANG and VC (linkedin.com) 23 points · 5 years ago · 1 comment
6. 6. ▲ A long read on vulnerability, an honest account of 2020 and ask for help (dcgrigsby.github.io) 1 point · 5 years ago · 0 comments
7. 7. ▲ Ask HN: Holiday book gifts for/from a hacker 3 points · 7 years ago · 0 comments
8. 8. ▲ Towards GPU processing of JSON (raphlinus.github.io) 3 points · 8 years ago · 0 comments
9. 9. ▲ Fast implementations of data structures using monoids and finger trees (apfelmus.nfshost.com) 5 points · 8 years ago · 0 comments