dangrigsby

no profile record

Submissions

A proofs class textbook in Lean 4 suitable for coders

hrmacbeth.github.io

4 pointsby dangrigsby2 lata temu0 comments

A programmable virtual CPU written in untyped lambda calculus

github.com

4 pointsby dangrigsby2 lata temu0 comments

comments

dangrigsby

3 lata temudiscuss

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.

dangrigsby

3 lata temudiscuss

I would find it very satisfying to do what he’s doing. I’m not sure it needs be judged against making money.