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

I haven't seen embedding using graal/vm, or inter-op using the native JVM FFI.

There is (active, 2K stars) https://github.com/pvieito/PythonKit and I've heard of people being able to deploy apps with python on the app store. YMMV.

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

There's Mathlib: https://leanprover-community.github.io/mathlib_docs/index.ht...

I was stunned when I discovered it, because it does exactly what its name suggests: it's a huge library of math proofs available as a library in Lean.

Is this what you're looking for?

https://github.com/leanprover-community/mathlib

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...

It is irksome to me given how much Linux is used inside Apple (board bringup, debugging, etc). You benefit from these gifts, Apple, give back a teensy bit in return. Everybody wins.

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.

And it's been this way for at least two years. This isn't an innocent fleeting mistake.

It's a sad day when you realise most things are like this.

Gemstone! That game changed everything for me