Alex Kontorovich

1 thing Alex uses or recommends, from 1 episode.

Alex's top picks

What Alex uses or recommends most, ranked by how often and how strongly. Paid ads are left out.

Lean +4 other experts

Uses and recommends it · 1 episode

"I had a lot of experience with Lean and with using AI. I started doing Lean before AI existed in the sense that we understand it now, and it was very painstaking... Lean is software that allows you to check all kinds of things... the computer says, 'Yes, this line does follow by logical inference from the goal state on the previous line.'"

All 1 of Alex's picks

Lean Uses and recommends it "I had a lot of experience with Lean and with using AI. I started doing Lean before AI existed in the sense that we understand it now, and it was very painstaking... Lean is software that allows you to check all kinds of things... the computer says, 'Yes, this line does follow by logical inference from the goal state on the previous line.'" +4 others
Nothing matches.

Also mentioned in passing (3)