Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
David Buchanan explores how C2PA content credentials handle time, and what it takes to forge or bend timestamps in the provenance chain.
4 min · 919 words
The Era of Programming Languages Exploration is upon Us
programming_languages research perspectives There was a recent thread on the TYPES mailing list with researchers speculating about the future of our field given the disruptive effects of AI tools on programming in general.
6 min · 1,374 words
Loss of cell identity drives human aging: Two new papers
Eric Topol on two new papers (Nature and Cell) arguing loss of cell identity is a central driver of human aging—what the Gladyshev and Izpisua Belmonte teams found and why it matters for longevity science.
8 min · 1,753 words
Open-sourcing AstaBrief, the fast report-generation model in Asta
Ai2 is releasing AstaBrief, an 8B open-weights model for generating cited scientific reports—available in Asta’s Fast mode or to download and run on your own infrastructure.
12 min · 2,671 words
Benchmarking retrieval for agents on messy real-world company knowledge
kapa.ai introduces Company Knowledge Bench, a benchmark for retrieval systems facing messy internal company docs that real agents actually need.
10 min · 2,395 words
Bez: Generating a browser engine from specs and testsA generated web rendering engine verified against Chromium, Firefox, and WebKit
Bez generates Rust web-engine code from specifications, admitting candidates only when three shipping browsers agree on geometry—aiming for complete or content-scoped engines that update by regeneration.
2 min · 368 words
Why consciousness is more likely a property of life than of computation and why creating conscious, or even conscious-seeming AI, is a bad idea.
34 min · 7,804 words
Minions: A Dynamic and Distributed Virtual GPU Cloud Built on Idle Apple Silicon Devices
Apple Machine Learning Research paper presenting Minions, a dynamic, distributed virtual GPU cloud that aggregates idle Apple Silicon GPUs across macOS devices to run large-scale ML inference with fault tolerance and efficient resource use, without new GPU procurement.
1 min · 141 words
AI Models Can Provably Hide Arbitrary Capabilities
A research paper arguing that AI models can provably hide arbitrary capabilities from evaluators under formal assumptions, with implications for AI safety evaluations, capability elicitation, and how we interpret benchmark and red-team results.
53 min · 12,294 words
Equality Saturation: An “Incomplete” Project
Max Willsey revisits equality saturation five years after the egg paper, surveying egglog, Slotted, Colored and Versioned E-Graphs, Cranelift's aegraphs and MLIR integrations, and arguing that giving up completeness has been a strength that enables flexibility, control and a growing research community.
8 min · 1,798 words
Across the Globe, People Increasingly Say Social Media Is Harming Democracy
A Pew Research Center report on surveys across many countries finds that the view that social media is bad for democracy has grown since 2022 in places like Germany and Japan. Most people say social media leads to manipulation and division, yet many also say it informs people and gives them a political voice, with views varying by age, education and platform use.
13 min · 3,004 words
The Future of Research in the Age of AI
INRIA research scientist Pierre Marion sets out four working hypotheses about LLMs in math and computer science research, argues against both refusing LLMs and accelerating for its own sake, and sketches a middle path: use AI to multiply output while keeping skills sharp, verifying results formally, and putting training back at the heart of the PhD.
11 min · 2,464 words
From: anyone@icloud.com - Spoofing Arbitrary Apple iCloud Identities
SEC Consult's Timo Longin, known for SMTP smuggling, details two From-header smuggling flaws in Apple iCloud's email infrastructure (line-break parsing and dot-peeling) that allowed sending mail as arbitrary icloud.com addresses, plus detection and defense advice and the responsible disclosure timeline through Apple's fix.
16 min · 3,641 words
Anatomy of a Lean Proof for Software Engineers
A walkthrough of formalizing a theory-of-computation style finite-automata proof in Lean, showing software engineers what Mathlib proofs look like structure-by-structure—from informal constructive argument to machine-checked theorem.
55 min · 12,670 words
Fair Moderation, Equitable Access, and AI: arXiv’s Updated Rate Limit Policy
Facing doubled submissions and AI-assisted flood of thin papers, arXiv caps authors at two submissions per calendar month and three active submissions—while clarifying FAQ on holds, co-authors, and deletes.
2 min · 528 words
Claude-shaped scienceWorking on Claude-shaped problems with BootLoops, a toolkit for exact calculations in quantitative science
Harvard physicist Matthew Schwartz’s Anthropic guest post on BootLoops: an open-source harness that steers LLMs toward checkable, quantitative “Claude-shaped” problems across physics, ecology, genetics, and more—with human experts supplying scientific taste.
5 min · 1,244 words
Using Opus 5.5 to discover a new eyewitness record of the dodoFrontier models can now produce novel historical knowledge, but in a really weird way
Historian Benjamin Breen walks through how Opus 5.5 surfaced a previously unnoticed 1615 Dutch East India Company log mentioning dodos—and what AI archival sleuthing can and cannot yet do.
3 min · 631 words
Surprisingly Complex Waves Reveal the Brain's Inner Workings
Unexpected patterns traveling across the human brain may be reorganizing its activity in real time.
9 min · 2,113 words
Functional ultrasound imaging from scratch
Functional ultrasound imaging (fUSI) is a brain imaging modality that is just starting to be demonstrated in human studies. I’m sure many will be familiar with structural ultrasound imaging, which forms static images using ultrasound, as in a sonogram1. Functional ultrasound instead captures movies of brain tissue very rapidly, tracking subtle changes caused by the blood flow that follows neural activity.
11 min · 2,451 words
Can you use autoregressive diffusion to generate market data?
A Jane Street 2026 summer intern project explores generative models for order-book market data, treating book events as both continuous and discrete, comparing DDPM with flow matching, handling discontinuities and atom smoothing, and examining the resulting rollouts.
8 min · 1,737 words