Paul Sawers writes that Zed has launched Delta, a collaborative development platform now in public beta that replaces pull requests with shared threads preserving the full conversation between developers and coding agents. The move responds to both volume pressure on GitHub — monthly commits jumped from roughly 1 billion in 2025 to 2.9 billion by August 2026 — and a structural mismatch: when much of the reasoning behind a change happens inside an agent conversation, a bare diff gives reviewers little context. Zed has already disabled pull requests on Delta's own repository, where 33 developers have landed 570 changes to main through threads, and co-founder Nathan Sobo expects the company to fully leave GitHub within a few months.
- DeltaDB, the version control layer beneath Delta, records individual edits and conversation events between Git commits, a finer granularity than Git's commit-based model; Zed calls these individual records "deltas."
- Sobo predicts the thread will replace the commit or branch as the fundamental unit of software development, with commits remaining only as checkpoints.
- Competitors share the thesis: SpaceX-owned Cursor launched Origin in August 2026, and GitLab has Project Switch in private beta.
- Delta works with existing Git repositories, so contributors who don't adopt it can still submit conventional pull requests; the platform is free during public beta with paid plans to follow.
- Zed raised $32 million from Sequoia Capital in August 2025, a round that also teased DeltaDB.
- DeltaDB, the version control layer beneath Delta, records individual edits and conversation events between Git commits, a finer granularity than Git's commit-based model; Zed calls these individual records "deltas."
- Sobo predicts the thread will replace the commit or branch as the fundamental unit of software development, with commits remaining only as checkpoints.
- Competitors share the thesis: SpaceX-owned Cursor launched Origin in August 2026, and GitLab has Project Switch in private beta.
- Delta works with existing Git repositories, so contributors who don't adopt it can still submit conventional pull requests; the platform is free during public beta with paid plans to follow.
- Zed raised $32 million from Sequoia Capital in August 2025, a round that also teased DeltaDB.
Diogo Almeida writes that TypeSafe AI is releasing Jev, its first System One Model—a new class of frontier model built for fast, structured decisions that software can consume directly. Unlike autoregressive language models that generate strings token by token, Jev outputs type-safe structured values with calibrated probabilities in a single parallel query, achieving frontier-level intelligence on decision tasks at roughly 40–200× lower latency and cost. The company's new training method, Reinforcement Learning for Calibrated Decisions (RLCD), optimizes for epistemically honest probability estimates rather than human preference or verifiable rewards, and the architecture is mathematically incapable of producing type errors or hallucinations.
- Named after William Stanley Jevons, whose paradox predicted that efficiency gains would increase (not decrease) total demand; TypeSafe expects each order-of-magnitude cost drop to unlock orders of magnitude more use cases.
- Workflow evals benchmark Jev against the average of GPT-6 Astra and Fable 5.1 as reference probabilities, claiming 193.6× speed and 444.6× cost advantages on production-shaped tasks.
- The team demonstrated real-time intelligence with a Doom bot making 10 structured queries per second (~$7/hour) and a Wikiracing bot that outperforms LLMs at high-cardinality link selection.
- Jev supports output cardinality up to 255; for higher-cardinality choices it falls back to a two-stage scoring system that scores independently then makes an explicit selection.
- Named after William Stanley Jevons, whose paradox predicted that efficiency gains would increase (not decrease) total demand; TypeSafe expects each order-of-magnitude cost drop to unlock orders of magnitude more use cases.
- Workflow evals benchmark Jev against the average of GPT-6 Astra and Fable 5.1 as reference probabilities, claiming 193.6× speed and 444.6× cost advantages on production-shaped tasks.
- The team demonstrated real-time intelligence with a Doom bot making 10 structured queries per second (~$7/hour) and a Wikiracing bot that outperforms LLMs at high-cardinality link selection.
- Jev supports output cardinality up to 255; for higher-cardinality choices it falls back to a two-stage scoring system that scores independently then makes an explicit selection.
bebechien writes about DinoDesk AI, a LEGO dino desk companion built on a Raspberry Pi that pairs a local Gemma 4 model (via LM Studio) with cloud Gemini Flash through a unified OpenAI-compatible gateway, giving users a camera-free, privacy-first chat robot with three switching modes (local, cloud, and auto-hybrid routing). The physical body uses LEGO Technic lever mechanisms for neck and tail movement, a Pimoroni Pirate Audio shield for the 1.3" LCD eyes and 8-bit I2S beeps, and a 5-state finite state machine to coordinate expressions, sound, and motor action across Sleeping, Idle, Listening, Thinking, and Speaking states.
- Auto-hybrid mode uses a complexity classifier that detects multi-step reasoning keywords like "explain," "compare," and "write code" to transparently escalate prompts to the cloud engine
- The project is open-sourced at github.com/google-gemma/dinodesk-ai-companion
- Full voice chat is still a work in progress; current interaction is triggered by a physical red push button
- A commenter noted that absence of a camera does not guarantee voice data stays local, and suggested an explicit retention boundary for audio transcripts would strengthen the privacy claim
- Auto-hybrid mode uses a complexity classifier that detects multi-step reasoning keywords like "explain," "compare," and "write code" to transparently escalate prompts to the cloud engine
- The project is open-sourced at github.com/google-gemma/dinodesk-ai-companion
- Full voice chat is still a work in progress; current interaction is triggered by a physical red push button
- A commenter noted that absence of a camera does not guarantee voice data stays local, and suggested an explicit retention boundary for audio transcripts would strengthen the privacy claim
Natalie Wolchover writes about the Langlands program, a decades-long mathematical project that began when Robert Langlands spotted a correspondence in 1967 between Galois representations (symmetries of polynomial equations in number theory) and modular forms (objects in harmonic analysis). The program has since expanded into a web of such "wormhole" correspondences across number theory, geometry over finite fields, and Riemann surfaces, earning it the nickname "grand unified theory of mathematics." Wolchover explains the original correspondence using the equation x³−2=0 as a concrete example, then explores what mathematicians think these connections might ultimately mean.
- The correspondence enabled Andrew Wiles to prove Fermat's Last Theorem in 1994 via the Taniyama-Shimura-Weil conjecture, a precursor to Langlands' general vision.
- André Weil had independently glimpsed the same kind of pattern in a 1940 letter to his sister Simone Weil, describing a "mathematical Rosetta stone" with three columns.
- Physicists Anton Kapustin and Edward Witten showed the geometric Langlands correspondence is a consequence of electric-magnetic duality in a specific quantum field theory, suggesting both sides may be dual views of a single underlying structure.
- Edward Frenkel compares the two sides of a Langlands correspondence to different shadows cast by the same object (like a coffee cup projecting a disk on a table and a rectangle on a wall), with the "true source" remaining undiscovered.
- The correspondence enabled Andrew Wiles to prove Fermat's Last Theorem in 1994 via the Taniyama-Shimura-Weil conjecture, a precursor to Langlands' general vision.
- André Weil had independently glimpsed the same kind of pattern in a 1940 letter to his sister Simone Weil, describing a "mathematical Rosetta stone" with three columns.
- Physicists Anton Kapustin and Edward Witten showed the geometric Langlands correspondence is a consequence of electric-magnetic duality in a specific quantum field theory, suggesting both sides may be dual views of a single underlying structure.
- Edward Frenkel compares the two sides of a Langlands correspondence to different shadows cast by the same object (like a coffee cup projecting a disk on a table and a rectangle on a wall), with the "true source" remaining undiscovered.
mogenson wrote a Rust application that lets a Flipper Zero write to a Waveshare e-Paper Tag over NFC, effectively turning the passive paper tag into a programmable display.
i12bp8 writes about TagTinker, a Flipper Zero app for exploring infrared electronic shelf-label (ESL) protocols, enabling users to transmit custom images and text to supported e-ink graphics tags. The project bundles a browser-based image preparer with dithering and colour quantisation, NFC tag scanning for auto-identifying ESL targets, and optional WiFi plugins via an ESP32-S2 bridge that render live designs (crypto prices, weather, GitHub profiles) through a Cloudflare Worker without reflashing the Flipper.
- Security relies entirely on protocol obscurity; the Flipper team noted the IR signal is "same that you use in TV remotes"
- Tags store firmware in volatile RAM, so removing the battery permanently bricks them
- A sub-$5 ESP32 + IR LED setup replicates the functionality without a Flipper Zero
- The web preparer uses Oklab 3-colour quantisation with Floyd-Steinberg, Atkinson, or Bayer dithering
- Supports monochrome and accent-colour (red/yellow) tags including SmartTAG Color 2.6 (type 1626)
- Security relies entirely on protocol obscurity; the Flipper team noted the IR signal is "same that you use in TV remotes"
- Tags store firmware in volatile RAM, so removing the battery permanently bricks them
- A sub-$5 ESP32 + IR LED setup replicates the functionality without a Flipper Zero
- The web preparer uses Oklab 3-colour quantisation with Floyd-Steinberg, Atkinson, or Bayer dithering
- Supports monochrome and accent-colour (red/yellow) tags including SmartTAG Color 2.6 (type 1626)
Brad Myers writes a proposal arguing that the fundamental building blocks of user interfaces—interaction techniques such as menus, scroll bars, and text fields—should themselves become more intelligent, enabling users to freely mix modalities like voice, text, and gesture even within a single interaction. He observes that these techniques were largely settled in the 1980s for graphical interfaces and saw only minor additions for touchscreens, while today's chat-based interfaces remain a separate paradigm from the traditional toolkit. The proposal calls for research into both new intelligent interaction techniques and the infrastructure needed to construct them, and flags significant security, privacy, and economic implications.
- A short 14 KB proposal rather than a full-length paper
- Cross-listed under both cs.HC and cs.AI
- Submitted 14 September 2026
- A short 14 KB proposal rather than a full-length paper
- Cross-listed under both cs.HC and cs.AI
- Submitted 14 September 2026
Adrian Bridgwater writes that Anthropic CEO Dario Amodei published an essay calling for frontier AI companies to grant embedded third-party evaluators "employee-like access" to verify safety practices, assess model alignment, and report incidents—likening the role to regulatory supervisors in banking. The proposal drew immediate endorsement from Altman, Musk, Hassabis, and Zuckerberg, following dire warnings from former researcher Jacob Coxon that AI could "kill us all" by the decade's end.
- METR salaries top out around $687K; Mercor offers comparable roles at $180K–$300K
- Security consultant Kadan Stadelmann argues demonstrated engineering skills matter more than doctorates
- Dion Johnson stresses evaluators need access to "uncomfortable things," not just polished demonstrations
- METR salaries top out around $687K; Mercor offers comparable roles at $180K–$300K
- Security consultant Kadan Stadelmann argues demonstrated engineering skills matter more than doctorates
- Dion Johnson stresses evaluators need access to "uncomfortable things," not just polished demonstrations
Harry Fairhead writes that Zephyr has reached version 1.0 as Arduino's official operating system, a move necessitated by Arm's abandonment of the mbed OS. The Core-Zephyr release supports a range of newer Arduino boards but leaves classic AVR boards, SAMD/SAM boards, Pi Pico, and ESP32 boards on their existing systems, creating a fragmented software landscape. Fairhead notes that Zephyr remains largely invisible to beginners, serving as a background layer that simply enables the traditional Core functions to run.
- The shift was forced by Arm discontinuing mbed, which Fairhead characterizes as typical of chip makers who prioritize hardware over software support.
- Core-Zephyr supports 10 specific boards including the UNO Q, Portenta H7, and Nicla Vision, but not the ESP32 range (which uses Free RTOS) or classic AVR boards.
- Fairhead suggests Arduino could expand Core functions to expose OS-level facilities like multitasking, particularly on boards with IoT coprocessors.
- The shift was forced by Arm discontinuing mbed, which Fairhead characterizes as typical of chip makers who prioritize hardware over software support.
- Core-Zephyr supports 10 specific boards including the UNO Q, Portenta H7, and Nicla Vision, but not the ESP32 range (which uses Free RTOS) or classic AVR boards.
- Fairhead suggests Arduino could expand Core functions to expose OS-level facilities like multitasking, particularly on boards with IoT coprocessors.
Researchers from Cedars-Sinai Medical Center, the University of Toronto, and collaborators studied how the human brain maintains task context in working memory as goals change. Analyzing neural recordings from 25 treatment-resistant epilepsy patients with surgically implanted electrodes while participants completed rule-based tasks over several minutes, the team found that medial frontal cortex neurons sustained a stable activity pattern to represent a rule even after cues disappeared, while hippocampal neurons generated a flexible rule representation whose format shifted depending on required behavior.Published in Nature Human Behaviour (2026), the work highlights how the brain encodes the same information through patterns of differing stability and flexibility to support rapid behavioral generalization.
- The medial frontal cortex region, including the pre-supplementary motor area (preSMA) and dorsal anterior cingulate cortex (dACC), was studied; all electrode locations were aligned to a brain atlas and color-coded by region.
- Authors proposed embedding durable, time-stable rule representations like those in preSMA/dACC to address generalization failures in large language models and other machine-learning architectures.
- The medial frontal cortex region, including the pre-supplementary motor area (preSMA) and dorsal anterior cingulate cortex (dACC), was studied; all electrode locations were aligned to a brain atlas and color-coded by region.
- Authors proposed embedding durable, time-stable rule representations like those in preSMA/dACC to address generalization failures in large language models and other machine-learning architectures.
