A related post on the topic: https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...

Does it matter? It's designed to be used only by by AI agents anyway.

They download it where? On a spare phone? How does that work?

Shouldn't it be easier to maintain multiple versions of the same app because of the better productivity AI gives you?

You're absolutely right!

A short book on extensible query optimizers.

Nice read. Symbolizes the death and replacement that we see in nature while the spirit/god is constant. Seems very appropriate for the Shinto faith.

Can you share links to those tutorials?