HackerTrans
TopNewTrendsCommentsPastAskShowJobs

ufferop

no profile record

comments

ufferop
·vor 2 Jahren·discuss
> 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 other high profile streamers playing the level were contacted by the maker, whom many in the community knew prior and so there was chat history to authenticate the claim, and shown a video of the device breaking the level.

Thab described the device as a “raspberry pi or arduino type device hooked up to an actual controller somehow”

When the clear video failed to go viral the maker dropped the gag, and forgot about it until recently, because the device was a pain to use anyway.

The maker said it took 3 months to upload the level. Something about the device causing the console to crash when programming the inputs.

https://m.twitch.tv/thabeast721
ufferop
·vor 2 Jahren·discuss
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 clear vid.

That’s how it so effectively accidentally flew under the radar. The level lacked a TAS label, and TASs are usually obvious and flashy.

But then you play it and realize those jumps are insanely precise.

Yes, frame perfect, but also mostly pixel perfect x,y precision.

There is even RNG manipulation necessary to ensure a bomb is spawned from a note block in a specific direction.

Streamers had already beaten it in chunks so it was theoretically possible for a human to do, but once people started offering monetary bounties the uploader felt it was time to let everyone in on the 7 year old joke.
ufferop
·vor 2 Jahren·discuss
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 “number theory” section of TFA then to step through the official resource.

This resource also has its code online: https://github.com/hrmacbeth/math2001/tree/main/Math2001

One major ommission from TFA is lean's built in package manager and package builder lake: https://lean-lang.org/lean4/doc/setup.html#lake