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