What Shopify changed for agent shopping since AugustBy 18 October 2026, Shopify's migration page said that the catalog and cart tools on each store's /api/mcp address were removed, and since August Shopify has opened new routes for agents to reach chec4d ago · 9 min readturva.dev
Microsoft's own CVE count is up nearly eightfold in a yearMicrosoft-assigned CVEs rose from 180 to 1417 a month in a year, and the monthly release keeps growing after Patch Tuesday. Microsoft shipped its October security update on 13 October 2026. Depending Oct 14 · 7 min readturva.dev
Thirteen review rounds and one rollbackThis is the second part of Twelve days of TLA+ on my own tools. That post ended with seven fix rounds waiting for 13 decisions that only I could make. On 10 October I took the recommendation on all 13Oct 12 · 7 min readturva.dev
Twelve days of TLA+ on my own toolsOn 22 September Boris Cherny, who created Claude Code, wrote on X that he had used Opus 5.5 to formally verify the Claude Agent SDK with Lean. Further down his post he added, "TLA+ also works well. I 1Oct 9 · 7 min readturva.dev
What 497 cloud agents asked of my desktopOn the morning of 8 October I checked the fixes my sessions had made overnight. The check ran 497 Claude Sonnet subagents in five workflows. Every model call runs at Anthropic, so none of the reasoninOct 8 · 9 min readturva.dev
