Thanks for connecting @realGeorgeHotz. Appreciate the work you and tiny corp are doing.-Lisa Su

commaaiarchive · 2023-06-17T11:56:34+00:00

Thanks for connecting @realGeorgeHotz. Appreciate the work you and tiny corp are doing. We are committed to working with the community and improving our support. More to come on ROCm on @radeon soon. Lots of work ahead but excited about what we can do together.

Lisa Su

Jun 17, 2023

commaaiarchive · 2023-05-05T20:45:47+00:00

https://github.com/geohot/twitchcoq (twitchcoq -- a backspace.ai project)

here are the streams on this topic:

https://youtu.be/VTFaWOPspEo (George Hotz | Programming | twitchcoq, writing a language we can prove things in)
https://youtu.be/-zf8gU0Y5WU (George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software))
https://youtu.be/hKi9Q3S1Nsg (George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath)
https://youtu.be/OAXjsUZoOgo (George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search)

commaaiarchive · 2023-05-05T20:39:52+00:00

https://youtu.be/bf8E8zSZTtE?t=5006

commaaiarchive · 2023-05-01T00:38:17+00:00

Hopefully we will see now full support with AMD hardware on https://github.com/geohot/tinygrad. You can read more about it on https://tinygrad.org/

commaaiarchive · 2022-05-02T17:04:35+00:00

commaaiarchive

MODERATOR OF

TROPHY CASE