automatic verification
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Oct 23, 2025 by Zach Lloyd · across every show →
Everything said about automatic verification, oldest first
Oct 23, 2025 bullish
Lloyd: Memory-safe languages and automated verification will become more valuable
“I think anything that does like either automatic security analysis or automatic verification, I think actually like languages like rust, things that have stronger guarantees around safety by default, where you don't need to rely on like a human reviewer become…”