DiscoverScraping Bits#147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover
#147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover

#147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover

Update: 2025-05-25
Share

Description

Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.

Comments 
In Channel
loading
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

#147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover

#147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover

DeGatchi