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