“We had a hypothesis about where to look for bugs… focused on device drivers… then differential fuzzing… ported to Rust using an LLM… formal verification.”
♫
Said on "The Cognitive Revolution"
“We took the C code that existed and ported it to Rust using an LLM and then using differential fuzzing to ensure that the ported code to Rust was correct.”
"The Cognitive Revolution" · AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux Bugs
Play from 41:54
41:54
Audio streams from the publisher’s own feed. Verbatim does not host or copy it.
What was described
used an LLM to translate C kernel code to Rust as part of their verification pipeline
Said nearby on the same subject
“Standard accepted wisdom of my Python program is a little bit slow is find the hottest loop or hottest part of your program and write it in Rust”
JT
Josh Triplett
The Stack Overflow Podcast ·
“It is unethical to not use the money as part of your household… you use that money… part of your budget”
DR
Dave Ramsey
The Ramsey Show ·
“Rust seems to be just the default language for WebAssembly... you can just drop into a lower-level register and start getting certain things done to speed up your JavaScript code”
JT
Josh Triplett
The Stack Overflow Podcast ·
Moments like this, every Monday
The strongest new moments on your topics, in the speakers' own words. Free for three topics.
No card. No password. One-click unsubscribe.
Track a competitor?
Pro watches up to 25 names or phrases and emails you the morning after they are said.
See Pro, $29 a monthVerbatim quotes a short extract and links to the episode; the episode belongs to its publisher. Remove a show.