ufferop

3 ms·

1. 1.▲
   by ufferop 3y ago

   > He's not really clear about how exactly he did it, but it's pretty easy to just take a controller cable, wire it into a microcontroller, and program inputs. The streamer featured in TFA, ThaBeast721, said that he and some oth
2. 2.▲
   by ufferop 3y ago

   The funny thing is if you watch the clear vid it actually looks really straightforward. The original purpose of the video was to coyly announce the TAS tool the maker created, but the video was mostly ignored because it looks like a regular
3. 3.▲
   by ufferop 3y ago

   I much prefer this resource over the official offerings. https://lean-lang.org/theorem_proving_in_lean4/title_page.ht... You may need to use them in tandem, but I have found it much more productive to jump to the “numb