C
Clark Barrett
2 things Clark uses or recommends, from 1 episode.
Clark's top picks
What Clark uses or recommends most, ranked by how often and how strongly. Ad reads don't count.
Lean
+3 other experts
Uses and recommends it · 1 episode
"We're using Lean. If you don't know what that is, you know, climb out from under a rock. Lean is a great theorem proving system. It basically is a system that lets you check... the system itself checks every step. It doesn't let you make a mistake."
All 2 of Clark's picks
- Lean Uses and recommends it "We're using Lean. If you don't know what that is, you know, climb out from under a rock. Lean is a great theorem proving system. It basically is a system that lets you check... the system itself checks every step. It doesn't let you make a mistake." +3 others
- Claude Code Uses it "I don't know if you've done a Claude Code session recently, but often what I find is, you know, I say, 'I want this.' And it's like, 'Oh yes, and you probably want this, this, and this too.' And I'm like, 'Yeah, actually, you're right. I do want that.'" +90 others