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 →

Apple Reference Image: Verified Photography

Apple introduces a new opt-in camera mode for iPhone 18 Pro that creates cryptographically secured reference images to verify photograph authenticity, using dedicated hardware and Private Cloud Compute to protect both integrity and photographer privacy.

permalink8 · security.apple.com →
SWE-bench Science: Coding Agents in Scientific Software Engineering

A benchmark of 119 scientific software engineering tasks across 20 domains that evaluates coding agents' ability to repair scientific software and identifies key failure mechanisms including knowledge deficits, shallow repairs, and poor generalization.

permalink6 · arxiv.org →
Vercel Labs

Vercel's experimental projects and cutting-edge tools, including AI capabilities, infrastructure innovations, and platform features for building modern web applications.

permalink1 · vercel.com →
Pizza Bot - Local-First AI Agent Inbox

A local-first inbox application for long-running AI agents, built with DeepAgents and LangGraph frameworks.

permalink7 · github.com →

Vibe Coding's Evolution Into Mainstream Development

Explores how AI-assisted coding ("vibe coding") is following the same normalization trajectory as internet dating, eventually becoming the default practice as AI tools become ubiquitous in software development.

permalink9 · joecmarshall.com →
Pizza Bot: AI Agent Inbox

A local-first inbox application designed for long-running AI agents, built using DeepAgents and LangGraph frameworks.

permalink · github.com →
Numberwang Neural Network

A small neural network that classifies whether a number is Numberwang.

That's Numberwang. Essential research.

permalink6 · github.com →
Introducing System One Models and Jev

TypeSafe AI announces System One Models and Jev, introducing new tools and models for their platform. This announcement covers the features and capabilities of these new additions to their AI infrastructure.

permalink9 · typesafe.ai →
Formal Methods for Controlling AI Agents

Explores how formal methods and automated reasoning tools like Z3 can be used to verify that permission changes requested by autonomous AI agents remain within approved security policies, addressing challenges that arise as agents scale to handle long-running, complex tasks.

permalink12 · nvidia.github.io →
Atria Dawn: Agentic Superintelligence Foundation Model

A foundation language model designed for AI agents to participate in scientific research and engineering workflows, trained through a Verifiable Experience Pipeline that connects tool interactions to executable environments.

permalink1 · arxiv.org →
Cognition and AWS Strategic Partnership for Autonomous Engineers

Cognition and AWS announced a multi-year strategic collaboration to help enterprises deploy autonomous engineers in production, enabling faster legacy workload migration, security remediation, and freeing teams to focus on building new products.

permalink12 · cognition.com →
Panel - GitHub Repository

A GitHub repository for the panel project by greentfrapp, containing code and resources for the panel application or library.

permalink6 · github.com →
Gemini 3.8 Live and Extended Thinking Models

Google announces Gemini 3.8 Live and Gemini 3.8 Live Extended Thinking, new AI models with enhanced capabilities for real-time interaction and advanced reasoning tasks.

permalink3 · blog.google →
Inside the Inference Hardware Revolution Of 2026

Explores the emerging hardware technologies and innovations transforming AI inference in 2026, covering advancements in specialized processors and computing architectures designed for running inference workloads.

permalink9 · spectrum.ieee.org →

Distributed Systems Classics

An interactive visualization exploring foundational papers and concepts in distributed systems, with controls to explore different parameters and system behaviors.

permalink2 · nvartolomei.com →
A Beginning for Mathematics

Explores foundational concepts and approaches to starting mathematics education, covering proofs and mathematical reasoning from first principles.

permalink1 · proofsandprompts.com →
The End of Mathematics

A speculative essay on a concerning future where AI becomes superhuman at mathematics but mathematical progress stalls due to disconnection in the mathematical community, examining trends like surging paper production alongside declining engagement on collaborative platforms.

permalink8 · www.daniellitt.com →
Comparing GPT-5.6 Luna vs GPT-6 Astra for Code Review

Evaluates whether a $1.20 language model is sufficient for automated code review tasks by comparing GPT-5.6 Luna and GPT-6 Astra models.

permalink1 · entelligence.ai →
permalink5 · patrickmccanna.net →
Evaluating LLM Judge Agreement and Reliability

Explores whether we should trust the outputs of large language models when used as judges, particularly examining what happens when multiple LLM judges reach consensus on evaluations.

permalink12 · www.amazon.science →
Nari Labs Leads Coval's Voice AI Benchmarks

Nari Labs achieves top rankings in Coval's voice AI benchmarks for both Speech-to-Text and Text-to-Speech models, leading on the quality-latency Pareto Frontier while offering competitive pricing compared to other publicly available endpoints.

permalink5 · narilabs.com →
Why ML Research Agents Don't Overfit

Explores how machine learning research agents avoid overfitting and the role compression plays in their generalization capabilities.

permalink5 · www.amazon.science →

Build a Custom Agent Harness

Guide on creating a custom agent harness for building and deploying intelligent agents with LangChain, covering frameworks and infrastructure options.

permalink2 · www.langchain.com →
Harness Engineering Paper Collection

A curated collection of 21 papers tracing the evolution of AI model harnesses—the infrastructure surrounding model weights—from basic sampling loops in 2019 to self-modifying systems in 2026, showing how the same model can achieve vastly different performance depending on its surrounding harness architecture.

permalink10 · academy.dair.ai →
Kiro Crew 0.6.0 Release: Remote Crews & Agent Harnesses

Kiro Crew 0.6.0 introduces selectable agent harnesses, remote crew capabilities, and an Apps Launchpad, while requiring Python 3.12 and improving chat interface organization for long-running tasks.

permalink4 · kiro.dev →