Writings August 2026 Can proofs be embedded in a space parameterised by their semantics?Aug 23 July 2026 Bohemian eigenvalue explorerJul 20 There are no rich, low-energy countriesJul 17