Subscribe

Today in AI ·

All 10
PSI #AIScience #Mathematics #FormalVerification

PSI reports an AI-generated proof of the Aaronson–Ambainis conjecture

PSI reported on November 6 that its research system, using a non-public Anthropic model, found a proof of the Aaronson–Ambainis conjecture that Lean accepted. The result concerns limits on quantum speedups and comes with formal artifacts for scrutiny; it is a research claim, not a peer-review verdict.

Read at PSI
ElevenLabs #GenerativeAudio #Music #CreatorTools

ElevenMusic adds direct publishing to SoundCloud

ElevenLabs launched a SoundCloud integration on November 6 that lets users publish tracks made in ElevenMusic to a linked SoundCloud account. The connection shortens the path from AI-assisted music creation to distribution.

Read at ElevenLabs
Reuters #AIPolicy #Governance #Technology

White House cancels technology advisory panel meeting

The administration canceled the November 6 meeting of the President’s Council of Advisors on Science and Technology, Reuters reported. The panel was due to advise the new AI task force, and no replacement date was confirmed, leaving that scheduled policy discussion on hold.

Read at Reuters
Thinking Machines Lab #Models #MultimodalAI #FineTuning

Thinking Machines introduces Inkling 2 Small on Tinker

Thinking Machines introduced Inkling 2 Small on November 5, with image input, variable reasoning effort and fine-tuning through Tinker. It is initially available with closed weights; an Apache 2.0 weights release is planned after external safety testing, expanding future customization options.

Read at Thinking Machines Lab
Microsoft Research #DeveloperTools #FormalVerification #Research

Microsoft demonstrates PDD Kit for verifying agent-written Rust

Microsoft Research’s November 5 PDD Kit demonstration uses Verus to check agent-written Rust against reviewed specifications. The research prototype verifies core login logic while leaving database, cryptographic and other trusted components to testing, making the limits of its guarantees explicit.

Read at Microsoft Research
webAI #LocalAI #Privacy #Mac

webAI releases Mac app for local reasoning models

webAI released its Mac app publicly on November 5, running small reasoning models on the user’s computer without per-token charges. The company says files stay on the Mac, offering a local approach to AI-assisted work with app integrations.

Read at webAI

Free · 29 episodes · no sign-up

Learn AI system design, one diagram at a time

60-second Shorts and long-form deep dives on how real AI systems are built, how they break, and how to fix them: caching, RAG, agents, security and decision models.

Start the learning path Browse episodes
A holographic architecture diagram glowing in a dark control room

Newest episodes

All 29 episodes

The 60-Year Overnight Success

170 sec

ChatGPT looked overnight. Its roots: 1958.

Oct 21, 2026 · Code Story

Cinematic Short Code Stories

Put Your Agent in a Box

60 sec

Your agent runs every command as you.

Oct 21, 2026 · Failure mode + fix

Cinematic Short AI Security

The Moth in the Machine

170 sec

The most famous computer bug was a real moth.

Oct 20, 2026 · Code Story

Cinematic Short Code Stories

Motion Graphics, as Code

60 sec

Claude made these. As code.

Oct 20, 2026 · How it works

Cinematic Short More system design

The Last Programmers?

60 sec

Six women programmed it. Nobody introduced them.

Oct 18, 2026 · Code Story

Cinematic Short Code Stories

Claude Ran My 3D Printer

167 sec

Claude ran my 3D printer all night.

Oct 17, 2026 · Failure mode + fix

Cinematic Short More system design

The learning path

Five stages, from the edge of the network to the security of your agents.

Open the learning path

0 of 27 episodes done

Mark episodes as done from their page. Progress stays in this browser.

Start with stage 1
  1. 1 Foundations Edge & Caching Why far servers feel fast, where edge rendering backfires, and how one cache expiry can take down an AI app. 2 episodes · 2 coming 0 of 2 done
  2. 2 Core Decision Models When a typed decision beats generated text, and how to route between a decision model and an LLM. 3 episodes · 1 coming 0 of 3 done
  3. 3 Advanced Agents in Production Context, memory, cost guardrails and the workspace an autonomous coding agent needs. 9 episodes · 5 coming 0 of 9 done
  4. 4 Hands-on Hands-On: Coding Agents from Your Phone Step-by-step tutorials: build and ship real apps from the Claude app, with the prompts and the code for every step. 3 episodes · 2 coming 0 of 3 done
  5. 5 Hands-on AI Coding Agent Tips One practical tip per Short for Claude Code and the other coding agents, each one tested in a real run. 2 episodes 0 of 2 done
  6. 6 Extra Code Stories Picture-led stories from the history of programming, and what they say about where coding goes next. 3 episodes 0 of 3 done
  7. 7 Advanced AI Security Stolen tokens, poisoned tools and the other ways an AI system gets turned against its users. 5 episodes · 2 coming 0 of 5 done

Four ways to watch

AI System Design in 60 Seconds

One failure mode and its fix, or one pattern and why to use it, in under a minute.

2 episodes

AI System Design in 60 Seconds · Cinematic

The same 60-second format over illustrated scene art, for new AI patterns and core concepts.

15 episodes

AI System Design Deep Dive

4–10 minute walkthroughs with chapters: architecture, request flow, failure modes, the fix and the code.

3 episodes

AI System Design Deep Dive · Cinematic

Long-form deep dives with every diagram laid over cinematic scene art.

9 episodes

Get the next episode first

Shorts and deep dives on AI system design land on @AI.JoinDev first. Subscribe, or follow the RSS feed.

Subscribe Visit channel RSS

Teaching someone younger?

Code Quest Kids: Coding for kids aged 6 to 12, with Bit the robot. Same team, same no-ads rules.

Visit kids.join.dev