George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

19.1K views
•
November 2, 2019
by
george hotz archive
YouTube video player
George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

TL;DR

George Hotz discusses topics such as category theory, automation, and the impact of AI on jobs.

Transcript

shutage: yoyo yoyo_brobro: yoyo_brobro subscribed at Tier 1. They've subscribed for 6 months, currently on a 6 month streak! shutage: more coq Kreygasm equalizer_____: Hello form Russia vlntnstts: no way you are alive slow_manatee: oi bruv eax_ebx: Еееее бой hailstorm1422: 🃏 vossnorway800: What up vlntnstts: привет лол superman03: hola LaheyFPS: W... Read More

Explore YouTube Video Summarizer or Get YouTube Transcript Extractor

Read in Other Languages (beta)

English

Share This Summary 📚

Explore More Summaries from george hotz archive 📚

What’s New in openpilot 0.8? comma ai’s George Hotz Demos the Launch, comma two Black Friday Sale, and New Merch | comma.ai/shop thumbnail
What’s New in openpilot 0.8? comma ai’s George Hotz Demos the Launch, comma two Black Friday Sale, and New Merch | comma.ai/shop
george hotz archive
What Lessons Do High School Experiences Teach About Adulthood? thumbnail
What Lessons Do High School Experiences Teach About Adulthood?
george hotz archive
Why Is AMD's Software Struggling and Can It Be Fixed? thumbnail
Why Is AMD's Software Struggling and Can It Be Fixed?
george hotz archive
How Does Tinygrad Documentation Help Developers? thumbnail
How Does Tinygrad Documentation Help Developers?
george hotz archive
comma ai | George Hotz | Hackathon attendees got a ride with openpilot | unplanned chill drive thumbnail
comma ai | George Hotz | Hackathon attendees got a ride with openpilot | unplanned chill drive
george hotz archive
What Was Showcased at the Comma AI Hackathon? thumbnail
What Was Showcased at the Comma AI Hackathon?
george hotz archive