0

18:02

Automated Mathematical Proofs – Computerphile

Could a computer program find Fermat’s Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS (A deeper dive into automated proofs) : https://youtu.be/PaKHRfSkhnA https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran’s […]

Bit2Me

17 October, 2022

19

0

1

George Gilder: Forget Cloud Computing, Blockchain is the Future

Recorded on August 28, 2018 Is blockchain the technology of the future? George Gilder, author of Life After Google, argues that bitcoin and blockchain technology is revolutionizing the Internet. He sits down with Peter Robinson to discuss technology, cloud computing, big data, and the growing role of blockchain in innovating new technologies. Gilder argues that […]

Bit2Me

7 July, 2020

230

0

0

RenVM: A Virtual Machine for Privacy Preserving Computations

Bit2Me

1 July, 2020

184

0

0

LA INTELIGENCIA ARTIFICIAL Y EL BLOCKCHAIN

El desarrollo de internet, la computación y los teléfonos celulares han mejorado nuestra vida de muchas formas; la gran mayoría los usamos y difícilmente dejaremos de hacerlo.

Bit2Me

25 June, 2020

79

0