Showing results by author "Kevin Hartnett" in All Categories
-
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Written by: Kevin Hartnett
- Narrated by: Kevin Shen
- Length: 8 hrs and 21 mins
- Unabridged
-
Overall0
-
Performance0
-
Story0
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...
Preview -
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Narrated by: Kevin Shen
- Length: 8 hrs and 21 mins
- Release Date: 09-06-26
- Language: English
Failed to add items
Sorry, we are unable to add the item because your shopping basket is already at capacity.Add to cart failed.
Please try again laterAdd to wishlist failed.
Please try again laterRemove from wishlist failed.
Please try again laterFollow podcast failed
Unfollow podcast failed
₹667.71 or free with 30-day trial
-
-
-
Outside the 9-5
- Written by: Kevin Hartnett and Colton Richards
- Original Recording
-
Overall0
-
Performance0
-
Story0
Our 20’s are a roller coaster. From figuring out careers, relationships, and health, every way we turn it seems like uncertainty is there to greet us. Our upbringing should have prepared us for this, but did it really? We feel the same exact way and that is why we are bringing you this podcast. We are going to unfilter those types of conversations to make you understand you are not alone in navigating the complex waters of young adulthood. In hopes maybe we can all get a little more clarity on how to succeed.
Failed to add items
Sorry, we are unable to add the item because your shopping basket is already at capacity.Add to cart failed.
Please try again laterAdd to wishlist failed.
Please try again laterRemove from wishlist failed.
Please try again laterFollow podcast failed
Unfollow podcast failed
-