Sujay Jayakar
person on 1 show · 1 statements across 1 episodes
On the record as a speaker too: Sujay Jayakar across every show, appearances and statements → this page counts the times other people say the name.
1 statements about Sujay Jayakar, every show
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”