Posts for year 2026 2026-07-12 20:04The technology of "How to carry a locust" at Manifesta 16 Ruhr 2026-05-31 12:04KnownBits in Lean