mattwood.fyi

I'm Matt Wood, and this is For Your Information. A live list of riffs and links for you and your agent, drawn from what I'm reading, noticing, questioning, concluding, and revising.

Links indicate relevance, not agreement. How to use this site →

Generative artificial intelligence creates delicious, sustainable, and nutritious burgers

Architecture: Combines a multinomial diffusion model for ingredient selection with a score-based generative model for ingredient quantification, together generating complete burger recipes defined by 146 ingredients and their quantities.

permalink3 · www.nature.com →
gogcli spec: Unified Go CLI for Google Workspace

gog mcp runs a typed MCP server over stdio for agent clients that need a permissioned Google Workspace tool surface. It intentionally does not expose a generic shell/argv bridge. Each MCP tool has a fixed schema and maps to a specific gog operation. MCP defaults are read-only. Write tools are hidden unless the server is started with `--allow-wri

permalink4 · gogcli.sh →
Sir Clive Sinclair: Tireless Inventor Ahead of His Time

His ZX Spectrum computers brought affordable personal computing to the masses and sold in their millions across the world. But his attempt to launch an electric vehicle was not successful, and caused him severe financial problems.

permalink8 · www.bbc.com →
Formal Methods at Jane Street: Agentic Coding Changes the Calculus

It's not that agents can on their own construct arbitrarily challenging proofs. But models are enormously helpful, and broaden the set of people who can use these tools productively. With formal methods being easier to use than ever, it's worth reconsidering the old cost/benefit calculus.

permalink18 · blog.janestreet.com →
SIA: Self Improving AI Framework

SIA operates by coordinating three main types of AI agents that work together to continuously improve task performance: - Meta-Agent: Reads the task description and generates an initial Target Agent tailored to the task. - Target/Task Specific Agent: Attempts to complete the task and records its actions and results. - Feedback/Improvement Agent: Re

permalink9 · github.com →
How Frontier Teams Are Reinventing AI-Native Development

They attributed the AI-enabled gain to three factors multiplying together: acceleration of low-judgment work (1.5x), higher focus on high-judgment work with no context-switching (1.5x), and instant access to agent-captured domain expertise (1.5x). Remove any one factor and the gains collapse.

permalink13 · aws.amazon.com →
Brad Porter: We Saw This With Robotics at Amazon Too

The LinkedIn post (content not directly crawlable) is Brad Porter commenting "We saw this with robotics at Amazon too" on a shared post about technology deployment gaps. Based on Porter's extensive public commentary:

permalink9 · www.linkedin.com →
The Dynamo and the Computer: An Historical Perspective on the Modern Productivity Paradox

Key argument (from David, 1990, American Economic Review, Vol. 80, No. 2, pp. 355-361):

permalink18 · www.almendron.com →
Lessons I've Learned at Warp Building for Developers

"There are three phases to AI coding. The first is autocomplete. The second is AI-assisted chat panels in IDEs. We are now entering the Agent-First era." — Zach Lloyd

permalink12 · www.linkedin.com →
Exploring AWS DevOps Agent Part 3 - Troubleshooting Issues

Issue 1: Pod stuck in Pending state - Agent correctly identified missing Fargate profile for the test namespace.

permalink3 · awstip.com →
How One Tech Company Created 13 New Types of Jobs Because of A.I.

Key details from coverage (NYT article paywalled; sourced from aggregated reporting):

permalink6 · www.nytimes.com →
First They Built a Secular Apocalypse Belief System. Now They Want Religious Authority.

AI Doomerism = a Secular Apocalypse Narrative. Practically, the "AI doom gospel" translates traditional religious forms into technical language. In the rationalist/effective altruist discourse, God becomes a superintelligence, prophecy becomes timelines and probability estimates, and hell becomes human extinction from AI.

permalink7 · www.aipanic.news →
Training Azerbaijani Language Models on Amazon SageMaker AI

Problem: Adapting foundation models to a morphologically rich language (Azerbaijani) with limited training data, no existing blueprint for efficient LLM training in that language.

permalink4 · www.linkedin.com →
The Economic Implications of Learning by Doing - Kenneth Arrow (1962)

"Learning can only take place through the attempt to solve a problem and therefore only takes place during activity."

permalink5 · www.haverford.edu →
A Rational Conversation on Where AI Is Actually Going | Benedict Evans on Lenny's Podcast

The 1997 analogy: We are in an era of radical uncertainty where the technology is transformative but most high-value use cases haven't been built yet and the "winners" are not yet clear. Just as it was impossible in 1997 to predict that a search engine with a quirky logo would reshape the world, we cannot yet see the final shape of the AI-driven ec

permalink4 · www.linkedin.com →
COLLEAGUE.SKILL: Automated AI Skill Generation via Expert Knowledge Distillation

Authors: Tianyi Zhou, Dongrui Liu, Leitao Yuan, Jing Shao, Xia Hu

permalink5 · arxiv.org →
Ethan Mollick: Meaningfully Better AI Releases Are Accelerating

Mollick's post (May 30, 2026): "It does seem like meaningfully better AI releases are accelerating, especially from OpenAI & Anthropic. To illustrate, I caused this timeline to be created. It only lists new models that scored 3 points or higher over previous models in the Artificial Analysis index."

permalink6 · www.linkedin.com →
Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency

The problem: At Meta, significant lines of code per human-landed diff grew by 105.9% year over year and per-developer diff volume rose 51%, with agentic AI responsible for over 80% of that growth. Meanwhile, the share of diffs receiving timely review has declined, exposing a widening gap between code supply and reviewer bandwidth.

permalink4 · arxiv.org →
Kiro CLI 2.5: Thinking Display, Subagent Review Loops, and Display Controls

Thinking Display: See how the agent works through a problem as it happens. Thinking display streams the model's reasoning in real time, so you can follow its logic, catch a wrong turn early, and understand why it chose an approach. Enabled by default; toggle from /settings > Display > Show thinking.

permalink3 · kiro.dev →
ARchitect: Automated Reasoning Policy Formalization for Bedrock Guardrails

Architecture: Built with Electron, TypeScript, and AWS SDK. Uses Kiro CLI's Agent Client Protocol for conversational AI. Three agents collaborate to build features and improve code/UX quality.

permalink4 · github.com →
Autoform Bot: Multi-agent system for translating LaTeX mathematics into verified Lean 4 proofs

Architecture: - Multi-agent pipeline with orchestrator, workers, and reviewers operating in a DAG workflow - MCP tool servers: filesystem, git, bash, Lean REPL/LSP, mathlib - Supports multi-node execution via SLURM - Configurable LLM backends (Claude Opus 4.6, GPT, Gemini)

permalink7 · github.com →
Various LLM Smells
permalink5 · shvbsle.in →
Economic Paradoxes of AI - Ronnie Chatterji (OpenAI Chief Economist)

(LinkedIn source blocked; synthesized from Columbia Business School event, Fortune reporting, and Forbes coverage of Chatterji's research)

permalink9 · www.linkedin.com →
Proof Editor - Collaborative Document Editor for Agents and Humans

Key features: - Live presence for agents and humans in the same document - Comments, suggestions, and provenance tracking - Integrates via MCP/skill install with Claude Code, Codex, OpenClaw - Designed for pre-implementation work: scoping, planning, spec review - Free, no login required - Uses X-Agent-Id headers for agent identity in presence

permalink5 · proofeditor.ai →
Generative Recursive Reasoning (GRAM)

Core idea: Recursive Reasoning Models (RRMs) use repeated computation to refine a persistent latent state rather than append new elements to an output sequence. This decouples reasoning depth from both parameter scale and output length: a compact model can perform many steps of internal computation by repeatedly applying shared transition functions

permalink2 · arxiv.org →