dangrigsby

6 ms·

1. 1.▲
   A proofs class textbook in Lean 4 suitable for coders(hrmacbeth.github.io)

   4 points by dangrigsby 3y ago|0 comments
2. 2.▲
   A programmable virtual CPU written in untyped lambda calculus(github.com)

   4 points by dangrigsby 3y ago|0 comments
3. 3.▲
   by dangrigsby 3y ago

   Is there a special "developer" designation? I am a paying API customer, but can't see gpt-4-1106-preview in the playground and can't use it via the API.
4. 4.▲
   by dangrigsby 3y ago

   I would find it very satisfying to do what he’s doing. I’m not sure it needs be judged against making money.
5. 5.▲
   by dangrigsby 4y ago

   Is it your car or the government’s?
6. 6.▲
   Monitor sites for changes in rendered content(visualping.io)

   3 points by dangrigsby 5y ago|0 comments
7. 7.▲
   A Honeypot for Learning How Americans Become Radicalized(linkedin.com)

   2 points by dangrigsby 6y ago|0 comments
8. 8.▲
   Society is stagnating because FANG and VC(linkedin.com)

   23 points by dangrigsby 6y ago|1 comments
9. 9.▲
   A long read on vulnerability, an honest account of 2020 and ask for help(dcgrigsby.github.io)

   1 points by dangrigsby 6y ago|0 comments
10. 10.▲
    Ask HN: Holiday book gifts for/from a hacker

    3 points by dangrigsby 8y ago|0 comments
11. 11.▲
    Towards GPU processing of JSON(raphlinus.github.io)

    3 points by dangrigsby 8y ago|0 comments
12. 12.▲
    Fast implementations of data structures using monoids and finger trees(apfelmus.nfshost.com)

    5 points by dangrigsby 8y ago|0 comments