Elle
1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Mar 19, 2025 by Sujay Jayakar · said 1 times in 1 episodes since 2025 · across every show →
Mentions by year
brought up most by Sujay Jayakar (1)
tap a year for its mentions
Everything said about Elle, 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”