X thread sketching Rialo, a blockchain stack for Web2 data, identity, compliance, privacy, and automation, all in the base layer.

Brevis says Pico Prism 2.1 proves Ethereum blocks in under 10s for 99.9% of cases, because latency apparently had a reputation.

Revisits a 1979 anti-formal-verification paper in light of Lean, model checking, and LLM coding, so the old arguments get their annual ch...