Viewing profile — calrizien

Does this work for the Apple Docs website? Really tricky to get those offline.

Is there a way to embed Python 3 into Swift like this?

Is there a public compendium of lean proofs? More specifically, has Euclid's Elements been translated into lean?

You have to let you chAIld learn for itself.

Where is the community for this project?

Great work! Seems like Apple could make this a whole lot easier by giving even the slightest support...

link?

what you think I rap for to push a f'ing rav4? yeah, actually...

What are the current best ML language models to play with on the M1Max?

I noticed this too while trying to renew my bar dues. Its so devious. It degrades the whole profession when the gatekeeper is obviously trying to scam you.

Gemstone! That game changed everything for me