Strachey Lecture: The Computer in the Sky

Strachey Lectures
16/05/2024 1h 2min
Strachey Lecture: The Computer in the Sky

Listen "Strachey Lecture: The Computer in the Sky"

Descargar episodio Ver en sitio original

Episode Synopsis

The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications (e.g., distributed computing, game theory, mechanism design, and continuous-time stochastic processes) and the immediate practical impact that mathematical work on this topic has had (e.g., Ethereum's EIP-1559 and LVR for automated market makers).

More episodes of the podcast Strachey Lectures

Advances in Garbled Circuits 27/10/2025
Will Computers prove theorems? 15/05/2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI 15/05/2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML 11/03/2025
From probabilistic bisimulation to representation learning via metrics 02/12/2024
Strachey Lecture: From classical to non-classical stochastic shortest path problems 06/02/2024
Strachey Lecture: How Can Algorithms Help to Protect our Privacy 13/11/2023
Strachey Lecture: Use or Be Used - Regaining Control of AI 04/09/2023
Strachey Lecture: Symmetry and Similarity 16/02/2023
Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic 27/10/2022
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA