A proofs class textbook in Lean 4 suitable for codershrmacbeth.github.io4 points·by dangrigsby·2 anni fa·0 comments
A programmable virtual CPU written in untyped lambda calculusgithub.com4 points·by dangrigsby·2 anni fa·0 comments
dangrigsby·3 anni fa·discussIs 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.
dangrigsby·3 anni fa·discussI would find it very satisfying to do what he’s doing. I’m not sure it needs be judged against making money.