Daily Edition · Page 3

THE DAILY INDEX

Technology, AI, software, security, crypto and business

HEADLINES & LAUNCHES

TLDR AI

AI WRITES BUGGY CODE. A SILICON VALLEY START-UP WANTS TO FIX IT

Axiom raised a $200M Series A at a $1.6B valuation led by Menlo Ventures, one year after founding and with roughly 20 employees, to build what it calls Verified AI: systems that produce formally verified outputs in the programming language Lean, where every reasoning step is machine-checkable, and errors are caught deterministically rather than statistically. The company originally trained on math proofs and then transferred that skill to code verification, a technique that lets it prove not only that code produces correct outputs but also that it won't create unexpected attack surfaces.

REVERSE-ENGINEERING CLAUDE'S GENERATIVE UI - THEN BUILDING IT FOR THE TERMINAL

Claude's generative UI is a tool call that returns HTML injected into the DOM with incremental parsing as tokens stream. It enables interactive widgets to be rendered inline in Claude conversations. It uses lazy-loading documentation to insert context on demand. The terminal spawns Glimpse windows with bidirectional JSON communication, allowing the terminal to stay as a terminal while the visual content gets a real browser engine.

AGENTIC COMMERCE

Commerce has historically been closer to a seller's market. Consumers are largely shown what platforms choose to surface. AI agents will gradually shift the power toward the buyer. Instead of navigating the layer of market and platform incentives, AI will enable consumers to access the best product for their needs directly. This dynamic may be most powerful in B2B commerce, which has historically been opaque, fragmented, and relationship-driven.

INSTITUTIONAL AI VS INDIVIDUAL AI

Institutional AI could unlock far more value than individual AI by redesigning organizations alongside technology. Unlike individual AI, which boosts productivity with little firm value impact, institutional AI focuses on coordination, finding signals in data, countering bias, and scaling revenue. Successful organizations will be those that integrate AI as a foundational component, similar to the industrial shift to electric assembly lines.

I WAS BACKEND LEAD AT MANUS. AFTER BUILDING AGENTS FOR 2 YEARS, I STOPPED USING FUNCTION CALLING ENTIRELY. HERE'S WHAT I USE INSTEAD

A single run(command="...") tool with Unix-style commands outperforms a catalog of typed function calls. Unix made the design decision 50 years ago to make everything a text stream. Large language models made an almost identical decision by making everything tokens. The text-based system that Unix uses is a natural fit for large language models. They can act as terminal operators faster than any human. Developers just need to take what Unix has proven over the last half-century and hand it directly to AI.

TLDR IndexPage 3