Jepsen
product on 1 show · 1 statements across 1 episodes · said 3 times in 2 episodes since 2025
Mentions by year, every show
tap a year for its mentions
Latent Space 3
2026 1 mention in 1 episode
every mention on every show, scene by scene, with the transcript →
1 statements about Jepsen, 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”