This episode follows a tension across Wednesday's signals: AI is getting pushed outward onto local devices and formal tools, while the physical buildout behind frontier compute is meeting city councils, worker pressure, and policy tests.

• Techmeme's Google Developers Blog item points to Google's macOS releases of AI Edge Gallery and AI Edge Eloquent, which move open models and dictation closer to the user's own machine.
• The Guardian's Seattle report says proposed datacenters would have used about a third of the city's current daily electricity demand, turning compute expansion into a local utility decision.
• The Guardian's Monterey Park story shows residents voting for a permanent ban, a different kind of veto than a temporary council pause.
• CNBC's Amazon report connects the buildout to worker politics: engineers backed regulation while Amazon and peers keep spending heavily on AI infrastructure.
• Latent Space's Axiom Math interview treats formal verification as a way to improve reasoning performance, not just catch mistakes after the fact.
• Techmeme's Meta Hatch item makes agent pricing visible, with a reported premium subscription tier for Meta's planned agent tool.
• Techmeme's OpenAI policy item and Anthropic's cyber-abuse post show the cyber question moving toward mandatory evaluations, abuse mapping, and agency control.