Tag
Briefings and ideas about Software reliability from AI podcast discussions and the research they cite, with links to the original sources.
Runtime Verification's leaders say an LLM's Rust port of kernel code, checked by differential fuzzing and Lean proofs, surfaced Linux bugs. The company's write-ups show partial proofs that are only as good as their specifications.
Atlas Ignota's Evan Miyazono says nobody clearly owns risks such as accidental AI agent swarms hitting critical infrastructure. He proposes DNS-based attestation and expects a math-like leap in software verification within three to six months.
Sean Wang, known as swyx, says engineers who manage coding agents well are in more demand than ever. He says two or three of his own staff are under performance review for handing him low-quality output from Claude.
OpenAI's Ari Weinstein says computer-use agents can now operate software made for people, citing a two-hour meal order an agent did in 15 minutes. He adds that builders must earn trust through reliability, consent before payments and site limits.
Anthropic's Thariq Shihipar argues that stronger coding agents make prompting more important. He says rich context up front, effort matched to the task and review of the agent's decisions cut rework. His effort settings are a rough guide.
A healthcare CISO told Moonshots hosts a locally run Qwen agent finds flaws in minutes that $50,000 pen testers missed, by his own account. Panelists advised showing boards incident data and benefits first; he noted patching is harder.