Sujay Jayakar
1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Mar 19, 2025 by Sujay Jayakar · across every show →
On the record as a speaker too: Sujay Jayakar's record, appearances and statements → this page counts the times other people say the name.
Everything said about Sujay Jayakar, oldest first
Mar 19, 2025
Jayakar prototypes AI coding benchmark using Jepsen's Elle model checker
“I think like, you know, I've wired up a version of this, you know, using L, which is the like model checker from Jepson and, you know, can a model write highly correct, highly like code that executes under very high concurrency, even when there's”