gregdeon

3 ms·

1.
by gregdeon 2mo ago
Mine is unfortunately pretty specific to the HPC clusters we use. Maybe I should pick out the more general bits and make them public some day...
2.
by gregdeon 2mo ago
Bonus: if you write all your tricks in a document, people will love your document. Whenever I offer a new student my CHEATSHEET.md file, their eyes absolutely light up.
3.
by gregdeon 2mo ago
Interesting! Hoka is extremely popular in my circles. They make excellent running shoes for beginners and decent running shoes for more serious athletes. They're also very popular among folks like service workers and nurses who are on
4.
by gregdeon 2mo ago
This is exactly how I feel about the recent ChatGPT models. It feels like I'm working with an incredibly enthusiastic junior student who listens to everything I say, checks it against my entire codebase, and thinks through all of the p
5.
by gregdeon 2mo ago
This is a very rough approximation of what the strong bots on chess.com do.
6.
by gregdeon 2mo ago
Yep. In accessibility research, they call these "situational disabilities". When you need to open a door with your arms full of groceries, you aren't so different from someone who is never able to open a door. Accommodations
7.
by gregdeon 3mo ago
Same here in Canada. The solution is that the machines accept a Canadian quarter to run the press, but an American penny to be pressed. No Canadian currency is harmed!
8.
by gregdeon 5mo ago
Yep, this is exactly what I thought of too... If you believe negative lines of code is the goal, then they've gotten 8x _worse_!
9.
by gregdeon 7mo ago
Sub 3 is incredible, congrats!
10.
by gregdeon 7mo ago
I suspect that they might have switched away from the booster separation on purpose. That's probably a risky moment of the launch, and they may have wanted to avoid televising a disaster like in the Challenger launch. Aside from that,
11.
by gregdeon 8mo ago
The conference organizers are very much aware of this possibility. Prompt injection for the sake of getting a positive review is explicitly banned.
12.
by gregdeon 8mo ago
Canadian checking in!
13.
by gregdeon 8mo ago
> Unless you roll out of bed and instantly onto your commute, you're getting natural sunlight through all your windows for hours every morning. Sadly, not if you're a student living in a basement in Vancouver!
14.
by gregdeon 9mo ago
Same here. If you shouldn't design for the average dimensions, what _should_ you design for?
15.
by gregdeon 1y ago
Oof. I had a great time cracking the top 100 of Advent of Code back in 2020. Bittersweet to know that I got in while it was still a fun challenge for humans.
16.
by gregdeon 1y ago
This is all right, but it just kicks the intuition into the assumption that the function is convex. As far as I can tell from the paper, this turns out to be exactly the argument they use to prove that (1/2, 1/2) is the optimal gu
17.
by gregdeon 1y ago
Sure, I think it makes intuitive sense to me that you should play riskier when you're behind. The surprising part to me is that when you're ahead, even if you know that your opponent will play "sub-optimally", that doesn
18.
by gregdeon 1y ago
I know that it minimizes the expected number of moves. But, the goal is to maximize the probability that you win in fewer moves than your opponent, not minimize the expected number of moves. Given that your opponent is playing some riskier
19.
by gregdeon 1y ago
I find it somewhat surprising that the optimal play when you're ahead is still just binary search. Is there an intuitive reason why it's not productive to make riskier guesses? Why not use my lead to have some chance of sealing my
20.
by gregdeon 1y ago
Wow. You reminded me of a computer engineering class years ago where we wrote assemblers and emulators for a simple architecture. I tested mine by writing a solution for one of the first Project Euler questions!
21.
by gregdeon 1y ago
I wonder if it would show up on the heart rate (or heart rate variability) tracking from an Apple Watch or similar. My Garmin picks up stressful events all the time.
22.
by gregdeon 1y ago
It always blows my mind how universal this experience was for people around my age. Mine was a bouncing ball...
23.
by gregdeon 1y ago
Incredible work! I recently gave a talk about TASing to an audience of CS grad students, and of course I had to mention your SMB3 runs. Your videos are phenomenal at making this stuff accessible outside of hardcore gaming circles.
24.
by gregdeon 1y ago
The entire TAS file takes about 16 MB, far more than the 4 KB of RAM on the NES. During the audio + video playback, the TAS is streaming via the controller by making inputs roughly 500 times per frame (15 kHz).
25.
by gregdeon 1y ago
I'm not sure about Gurobi or how the author used it in this case. But in general, yes: these combinatorial solvers construct proof trees showing that, no matter how you assign the variables, you can't find a better solution. In si
26.
by gregdeon 1y ago
What a pioneer. RIP Byuu.
27.
by gregdeon 1y ago
Wow, incredibly interesting to see what one of these manuals looks like! Thanks for sharing.
28.
by gregdeon 1y ago
Yes: the reason why some data can be compressed is because many of its bits are predictable, meaning that it has low entropy per bit.
29.
by gregdeon 1y ago
I think it is. Latency was just one of the problems he described. A physical controller sometimes adds "phantom inputs" as the joystick transitions between two inputs. Physical actuators also slow down with wear. A physical Atari-
30.
by gregdeon 1y ago
I watched the talk live. I felt that his main argument was that Atari _looks_ solved, but there's still plenty of value that could be gained by revisiting these "solved" games. For one, learning how to play games through a ph

More ›