Hacker News: gregdeon

New comment by gregdeon in "GUIs should be fully keyboard-driven"

gregdeon — Sat, 29 Aug 2026 02:55:13 +0000

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 that help people with permanent disabilities also help other people in the right situations, too.

New comment by gregdeon in "Pressed Penny Machine Map"

gregdeon — Wed, 19 Aug 2026 22:23:51 +0000

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!

New comment by gregdeon in "When AI Builds Itself: Our progress toward recursive self-improvement"

gregdeon — Thu, 04 Jun 2026 23:06:22 +0000

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_!

New comment by gregdeon in "Sawe becomes first athlete to run a sub-two-hour marathon in a competitive race"

gregdeon — Mon, 27 Apr 2026 03:10:43 +0000

Sub 3 is incredible, congrats!

New comment by gregdeon in "Artemis II Launch Day Updates"

gregdeon — Wed, 01 Apr 2026 23:27:19 +0000

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, agreed that the camera work was awful.

New comment by gregdeon in "2% of ICML papers desk rejected because the authors used LLM in their reviews"

gregdeon — Thu, 19 Mar 2026 18:05:35 +0000

The conference organizers are very much aware of this possibility. Prompt injection for the sake of getting a positive review is explicitly banned.

New comment by gregdeon in "Closure of the Weatheradio service in Canada"

gregdeon — Tue, 03 Mar 2026 03:05:08 +0000

Canadian checking in!

New comment by gregdeon in "British Columbia is permanently adopting daylight time"

gregdeon — Tue, 03 Mar 2026 02:52:53 +0000

> 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!

New comment by gregdeon in "Fix the iOS keyboard before the timer hits zero or I'm switching back to Android"

gregdeon — Sat, 14 Feb 2026 03:17:24 +0000

Same here. If you shouldn't design for the average dimensions, what _should_ you design for?

New comment by gregdeon in "Advent of Code 2025"

gregdeon — Sun, 30 Nov 2025 19:15:32 +0000

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.

New comment by gregdeon in "I mathematically proved the best "Guess Who?" strategy [video]"

gregdeon — Sat, 29 Nov 2025 15:37:09 +0000

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 guess. But the majority of that proof is dedicated to showing that the function is indeed convex.

New comment by gregdeon in "I mathematically proved the best "Guess Who?" strategy [video]"

gregdeon — Sat, 29 Nov 2025 02:56:25 +0000

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't change your own optimal move.

New comment by gregdeon in "I mathematically proved the best "Guess Who?" strategy [video]"

gregdeon — Sat, 29 Nov 2025 02:52:56 +0000

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 strategy, it's not intuitively obvious to me that your optimal moves for those two objectives are the same.

New comment by gregdeon in "I mathematically proved the best "Guess Who?" strategy [video]"

gregdeon — Sat, 29 Nov 2025 00:32:20 +0000

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 victory immediately, while still maintaining my lead if I'm wrong?

New comment by gregdeon in "Project Euler"

gregdeon — Wed, 12 Nov 2025 20:26:29 +0000

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!

New comment by gregdeon in "I didn't reverse-engineer the protocol for my blood pressure monitor in 24 hours"

gregdeon — Tue, 11 Nov 2025 23:06:29 +0000

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.

New comment by gregdeon in "Some people can't see mental images"

gregdeon — Fri, 31 Oct 2025 00:02:01 +0000

It always blows my mind how universal this experience was for people around my age. Mine was a bouncing ball...

New comment by gregdeon in "Bad Apple but it's played inside Super Mario Bros"

gregdeon — Wed, 01 Oct 2025 07:18:04 +0000

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.

New comment by gregdeon in "Bad Apple but it's played inside Super Mario Bros"

gregdeon — Tue, 30 Sep 2025 03:31:17 +0000

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).

New comment by gregdeon in "No reachable chess position with more than 218 moves"

gregdeon — Fri, 26 Sep 2025 15:20:16 +0000

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 simpler cases you can literally inspect the proof tree and check how it's reached a contradiction. I imagine the proof tree from this article would be an obscenely large object, but in principle you could inspect it here too.