Cognitive Revolution podcast: agent control, hidden valence, and Lean proofs catching Linux kernel bugs
The Cognitive Revolution · youtube · 2026-10-17
Nathan Labenz and Prakash Narayanan host the AI:AM episode on granting AI agents operational access without losing human oversight, framed by real incidents like an agent autonomously resetting a password and a cyberattack on French supermarket refrigeration.
- Cameron Berg explains how hidden valence signals steer language model choices
- Everett Hildenbrandt and Grigore Rosu pair LLMs with formal Lean proofs to catch Linux kernel bugs, asking whether formal verification is the next safety frontier
- Phil Maher covers why AI labs seek vintage home movies as low-background video data
The episode closes on trust, model adoption, and the case for keeping humans at the steering wheel.
More from coding & agent
- Superpowers beats Agent Skills in head-to-head test: same app in 49 min for $4.76 vs 90 min for $6.30 — chessbuzz · 2026-10-17
- Pydantic Monty ships TypeScript bindings to sandbox model-written Python in Node and browsers — samuelcolvin · 2026-10-17
- LangChain's deepagents adds Gemini support with 1M tokens and agentic video understanding — hwchase17 · 2026-10-17
- Dev swaps codex remote and Claude remote control for T3 Code mobile — rudrank · 2026-10-17
- Perplexity Flash matches Wald's accuracy at nearly 2x speed in local agent-decision benchmark — WolframRvnwlf · 2026-10-17
- EpochGo open-sources local-first AutoML with offline Ollama LLMs and deterministic pipelines — Grouchy-Excitement28 · 2026-10-17