Nouveau chez Audible ?
Résultats pour "Proof" dans Histoire et culture
-
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- De : Kevin Hartnett
- Durée : 8 h et 24 min
- Version intégrale
-
Global0
-
Performance0
-
Histoire0
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught...
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Durée : 8 h et 24 min
- Date de publication : 09/06/2026
- Langue : Anglais
Impossible d'ajouter des articles
Désolé, nous ne sommes pas en mesure d'ajouter l'article car votre panier est déjà plein.Veuillez réessayer plus tardVeuillez réessayer plus tardÉchec de l’élimination de la liste d'envies.
Veuillez réessayer plus tardImpossible de suivre le podcast
Impossible de ne plus suivre le podcast
17,28 € ou gratuit avec l'essai. Renouvellement automatique à 9,95 €/mois après l'essai. Voir conditions d'éligibilité
-
-
-
Proof of Stake
- The Making of Ethereum and the Philosophy of Blockchains
- De : Vitalik Buterin, Nathan Schneider - introduction
- Lu par : Derek Shoales
- Durée : 9 h et 40 min
- Version intégrale
-
Global0
-
Performance0
-
Histoire0
After Ethereum creator Vitalik Buterin dropped out of college and launched Bitcoin Magazine, he wrote the Ethereum white paper, which proposed an open source protocol that would take what Bitcoin did for money and do it for everything else: contracts, social networks, and sharing economies. Now, less than a decade later, his idea is valued at about half a trillion dollars, and it is the foundation for the weird new world of NFT artworks, virtual real estate, and decentralized autonomous organizations.
-
Proof of Stake
- The Making of Ethereum and the Philosophy of Blockchains
- Lu par : Derek Shoales
- Durée : 9 h et 40 min
- Date de publication : 27/09/2022
- Langue : Anglais
Impossible d'ajouter des articles
Désolé, nous ne sommes pas en mesure d'ajouter l'article car votre panier est déjà plein.Veuillez réessayer plus tardVeuillez réessayer plus tardÉchec de l’élimination de la liste d'envies.
Veuillez réessayer plus tardImpossible de suivre le podcast
Impossible de ne plus suivre le podcast
12,56 € ou gratuit avec l'essai. Renouvellement automatique à 9,95 €/mois après l'essai. Voir conditions d'éligibilité
-
-
-
Robot-Proof
- Higher Education in the Age of Artificial Intelligence
- De : Joseph E. Aoun
- Lu par : John Glouchevitch
- Durée : 5 h et 5 min
- Version intégrale
-
Global0
-
Performance0
-
Histoire0
In Robot-Proof, Northeastern University president Joseph Aoun proposes a way to educate the next generation of college students to invent, to create, and to discover - to fill needs in society that even the most sophisticated artificial intelligence agent cannot. A "robot-proof" education, Aoun argues, is not concerned solely with topping up students' minds with high-octane facts. Rather, it calibrates them with a creative mindset and the mental elasticity to invent, discover, or create something valuable to society.
-
Robot-Proof
- Higher Education in the Age of Artificial Intelligence
- Lu par : John Glouchevitch
- Durée : 5 h et 5 min
- Date de publication : 10/04/2018
- Langue : Anglais
Impossible d'ajouter des articles
Désolé, nous ne sommes pas en mesure d'ajouter l'article car votre panier est déjà plein.Veuillez réessayer plus tardVeuillez réessayer plus tardÉchec de l’élimination de la liste d'envies.
Veuillez réessayer plus tardImpossible de suivre le podcast
Impossible de ne plus suivre le podcast
16,33 € ou gratuit avec l'essai. Renouvellement automatique à 9,95 €/mois après l'essai. Voir conditions d'éligibilité
-