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

Making docs available offline was one of my main motivations for building this tool. I will try Apple Docs too.

I previously downloaded the Snowflake docs, and it was something like tens or even hundreds of thousands of pages, I do not remember exactly. The output ended up being very large.

By the way, I forgot to add zstd compression support to my ZIM reader/writer. I will implement that in the next version.

Good news for you: here is the command to clone Apple Docs:

```bash bin/kage clone https://developer.apple.com/documentation/ \ --scope-prefix /documentation/ \ --out /Users/apple/data/apple-docs \ --chrome "/Applications/Google Chrome.app/Contents/MacOS/Google Chrome" \ --max-pages 0 --max-depth 0 \ --workers 3 --browser-pages 3 --asset-workers 6 \ --render-timeout 60s --settle 2s --timeout 30s \ 2>&1 | tee -a /Users/apple/apple-docs.log ```

Adjust it to your needs :)

I smoke-tested it, and all the content and CSS work, but I stripped all the JS, so the sidebar won't work.

If you run into any problems, feel free to create new issues in the repo. It helps me prioritize and know what should be fixed.

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.