Bourbaki Notes now has per-post discussions with local accounts, proof-of-work abuse control, and a small admin interface.
Archive
May 2026
A local Ollama benchmark checks whether language models can identify the shrinking state variable in a recursive integer-square-root complexity analysis.