Opus 4.6 is great at formal proofs
February 17th 2026
BB(5) paper accepted to STOC 2026
February 2nd 2026
Determination of the fifth Busy Beaver value.
BB(5) talk at Collège de France
October 27th 2025
The Philosophy of Mathematical Practice seminar.
Our molecular computer on bioRxiv
July 16th 2025
A Thermodynamically Favoured Molecular Computer.
6 Collatz tiles - base 3/2 follow up
June 7th 2025
Reading base 3/2 in Collatz tilings.
6 Collatz tiles
July 3rd 2023
Assembling Collatz sequences using Wang tiles.
Older blog entries
July 3rd 2023
Link to my previous blog.