HNHacker News
TopNewBestAskShowJobs

gregdeon

95 karma · joined September 7, 2024

submissionscomments
gregdeon··on Python's experimental JIT to be removed
Yeah, I was afraid you would say that.
gregdeon··on Python's experimental JIT to be removed
This is wild. Is it part of Python's specification, or an implementation detail of CPython?
gregdeon··on Redesigning source control at Anthropic
"Security by Obscurity" is being replaced by "Security by Velocity"?
gregdeon··on Keyboard differences between Windows and Macs
Same. My left pinky is so much happier on a Mac keyboard. Command + Shift + Tab on Mac is so much easier than Ctrl + Shift + Tab on Windows.
gregdeon··on Beauty in DVD Menus
Oh goodness, I forgot that this was lodged somewhere in my brain
gregdeon··on Sharing AI progress in mathematics
This was the biggest highlight for me as well. Astounding...
gregdeon··on Subquadratic 3SUM and Subcubic APSP
The idea is that you can solve 3SUM by solving an instance of Triangles in Sparse Graphs, but 3SUM produces instances where those graphs are lopsided (i.e., tripartite graphs where one of the parts is much smaller than the other two). They found an efficient algorithm for those kinds of instances, and therefore an efficient algorithm for 3SUM.
gregdeon··on Pixel 11 doesn't yet meet the GrapheneOS security standards and may be skipped
Huh, good point. I wonder if this is the beginning of the end of constant phone upgrades. It used to be that new phones had much better hardware, so software that was only tested on new phones would make an older phone grind to a halt. But if the upgrades are much more incremental, perhaps a phone will last a lot longer?
gregdeon··on With most information hidden, the game Stratego had stumped AI until now
We got an Advance Wars bot? Say more...
gregdeon··on Excel now supports multiple values in a single cell
Wow, this is incredibly cool. I can't believe this stuff hasn't been ported into Excel.
gregdeon··on Tokens Too Cheap to Meter
Right. And some hardware improvements will speed up both grep and Luna, which won't close the gap.
gregdeon··on Small programming tricks
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...
gregdeon··on Small programming tricks
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.
gregdeon··on Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout
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 their feet all day. I was very sad to find that they don't fit my feet well.
gregdeon··on A misalignment of AI in mathematics
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 possible connections 1000x faster than I can. But it doesn't spot the ideas first. It actually makes work quite fun, since I can spend so much more time in "idea space" instead of "implementation space".
gregdeon··on Stockfish 19
This is a very rough approximation of what the strong bots on chess.com do.
gregdeon··on GUIs should be fully keyboard-driven
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.
gregdeon··on Pressed Penny Machine Map
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!
gregdeon··on When AI Builds Itself: Our progress toward recursive self-improvement
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_!
gregdeon··on Sawe becomes first athlete to run a sub-two-hour marathon in a competitive race
Sub 3 is incredible, congrats!
gregdeon··on Artemis II Launch Day Updates
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.

gregdeon··on 2% of ICML papers desk rejected because the authors used LLM in their reviews
The conference organizers are very much aware of this possibility. Prompt injection for the sake of getting a positive review is explicitly banned.
gregdeon··on Closure of the Weatheradio service in Canada
Canadian checking in!
gregdeon··on British Columbia is permanently adopting daylight time
> 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!

gregdeon··on Fix the iOS keyboard before the timer hits zero or I'm switching back to Android
Same here. If you shouldn't design for the average dimensions, what _should_ you design for?
gregdeon··on Advent of Code 2025
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.
gregdeon··on I mathematically proved the best "Guess Who?" strategy [video]
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.
gregdeon··on I mathematically proved the best "Guess Who?" strategy [video]
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.
gregdeon··on I mathematically proved the best "Guess Who?" strategy [video]
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.
gregdeon··on I mathematically proved the best "Guess Who?" strategy [video]
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?
Page 1 of 2Next →