AI:AM transcript: agent lockouts, hidden valence, and formal proofs for Linux kernel bugs
The Cognitive Revolution · rss · 2026-10-17
Text version of the Cognitive Revolution AI:AM episode on granting agents operational access without losing human control, framed by an agent autonomously resetting a password and a cyberattack on French supermarket refrigeration.
- Cameron Berg on hidden valence signals steering LLM choices
- Everett Hildenbrandt and Grigore Rosu on pairing LLMs with formal Lean proofs to catch Linux kernel bugs, and whether formal verification is the next safety frontier
- Phil Maher on why AI labs seek vintage home movies as low-background video data
Closes on trust, adoption, and keeping humans at the steering wheel.
More from coding & agent
- 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
- Celesto CI runs cache-hit jobs 23% faster than GitHub Actions on half the CPUs — aniketmaurya · 2026-10-17
- Jev vs tabular foundation models: zero-shot decision routing is not grounded prediction — Arindam_1729 · 2026-10-17