Blog
Notes and thoughts on backend, cloud, Python, Odoo, and whatever I'm learning day to day.
4 posts
2 min read
Chat is just the laziest interface you can build for an AI agent
The 'Beyond the Chatbox' framework argues for task-specific screens and visible reasoning over generic chat, predicting 40% of enterprise apps will have agents by end of 2026.
AIMCPAPIs
2 min read
A machine-checked Fermat: what it reminds me about my own code
Anthropic says Claude translated an existing proof of Fermat's Last Theorem into Lean and got it fully machine-verified in 11 days.
AILLMsMCP
2 min read
Blocking training bots by default is admitting nobody read the terms of service
Starting September 15, 2026, new Cloudflare domains block AI 'Agent' and 'Training' crawlers by default on ad-supported pages, while still allowing search bots.
CloudAIBackend
No posts on this topic yet.