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

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
2 min read

When building it yourself gets cheaper than buying it

A McKinsey survey found nearly a third of companies skipped buying software because AI coding agents let them build the same thing in-house.

AIBackendCloud
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