Everett Hildenbrandt

CEO, Runtime Verification

Titles as the sources gave them. In 1 entry, with 1 checked quotation.

What they said

Newest first. Each quotation was found word for word in the source.

“And I also firmly believe that writing code is a dead art in 2 years tops,”

AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux BugsThe Cognitive Revolution, October 17, 2026. Speaking as: Other. Hildenbrandt on where software is headed as language models and formal proofs are combined.

Every entry they appear in.

Oct 17
PodcastThe Cognitive RevolutionSpeaks
AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux Bugs
In a weekly highlights episode, Nathan Labenz and Prakash Narayanan discuss keeping human control as agents gain access, starting from Labenz's account of Claude rotating the password to Labenz's own agent console. Cameron Berg describes a paper on a hidden valence signal steering model choices; Runtime Verification describes using language models and formal proofs to find Linux kernel bugs.