HNHacker News
TopNewBestAskShowJobs

ajennings

370 karma · joined September 14, 2010

submissionscomments
ajennings··on OpenAI claims gold-medal performance at IMO 2025
I'm curious on your response to GP's question. Have you heard of AHSME, AMC, or AIME?

Nobody mentioned them in high school (1997) until I heard of them online and got my school to participate. 30 kids took the AHSME. Only one qualified for the AIME. And nobody qualified for IMO (though I tell myself I was close).

I believe the 1 in a million number.

ajennings··on The NBA's Problem Is Economics, Not Basketball
This. The inconsistency of foul calls. I understand the mentality of "if you're not cheating, you're not trying" and "if you're not flopping, you're not trying", but it ruins the game for me.

We should train ML to make the foul calls in real-time.

Then get rid of the strict rulebook definition of what a foul is. Have the fans vote on past plays, what should be a defensive/offensive/no foul. Then train the LLM based on the opinions and let it make the foul calls.

ajennings··on Enel X Way / JuiceBox to remove apps, cease all US/Canada operations by Oct 11
Does anyone know of an open-source way to control these JuiceBox chargers?
ajennings··on The 1 Hour per Year Bug, but only in Pacific time
This reminds me of a bug I created where the calendar showed only 30 days in March. I took the number of hours in the month, divided by 24, and rounded down.

The bigger problem was that I couldn't replicate it because I was in Arizona (which doesn't observe DST). Only users outside of Arizona were seeing the bug.

ajennings··on Poll: What's the best laptop for Linux these days?
I was super happy with my Purism Librem 15 for 2 years. (Weird freezing issues after that. Replacing the memory didn't help. Maybe the mainboard went bad?)

Have been tempted to try the Librem 14.

I bought a Framework, but couldn't find the right distro to use it as a daily driver. Maybe I'll find time to try again.

ajennings··on Linux on the Framework Laptop
Does anyone have a sleep/suspend configuration that isn't too difficult to configure and works well? I should update and try again, but as of 6 months ago, this was the one thing that made the Framework too painful for me to use as a daily driver.

I loved how power management just worked on the Librem 15 (until mine died).

ajennings··on Ask HN: What’s a good laptop for software development at around $2k?
Screen size. They had a 13 and 15.

Now they just sell their second-generation flagship, the 14.

ajennings··on Ask HN: What’s a good laptop for software development at around $2k?
I bought a Librem 15 before the 14 existed. I was very happy with it (including battery life/suspend) for about a year and used it with Linux as my daily driver. Then hardware started to fail and now it freezes randomly. (I've replaced the memory. Must be the mainboard?)

Maybe I was unlucky. Also, the 14 may be more reliable.

After that, I almost bought a Librem 14, but I took a chance on the Framework. The only real problem is battery life/suspend, but it's annoying enough that I can't bring myself to use it as a daily driver.

ajennings··on Arrow and the Impossibility Theorem (2012) [pdf]
A couple months ago, I tried to make a visualization video on Arrow's Theorem:

https://youtu.be/Uvax1Hj8t_E

I probably need to get my act together and do a final version of that video.

If you're into this, then feedback on that video would be helpful. (Or pull requests on the corresponding website...)

Edit: As mdp2021 said, you're welcome to go to the (poorly-documented) accompanying website https://hexagon.bettervoting.org/ and git repo https://github.com/abjennings/socialchoice-hexagons

ajennings··on NP Complete 3rd Grade Math Problems (2018)
Here's how I did it by hand (assuming you can buy multiple of a given item):

Work in cents, modulo 87 (the cost of the cheapest item, the pinwheel).

The total we want is 4394 (or 44 mod 87). Write down the price of every item modulo 87.

The whistle is 98 (or 11 mod 87) so you can buy 4 whistles and make up the rest in pinwheels (46).

The dog is 457 (or 22 mod 87) so you can buy 2 dogs and make up the rest in pinwheels (40).

Lots of other combinations.

However, the paper doesn't seem to suggest that buying multiple is okay.

I'm glad others mentioned the dynamic programming solution. That one feels elegant. Should've thought of that.

ajennings··on Truly unified inbox – BlackBerry got it right and nobody has since
Agree.

Also, you could do the following things which Voice doesn't support:

- Have multiple chats open (and be working on several responses) at the same time

- Star chats (nice workflow for remembering to respond later)

Although there were a couple things which, annoyingly, never worked right:

- Receiving contacts (vcards) from iOS.

- Starting a new group text (more than one recipient) from within Gmail. You could respond to an existing group text but to start a new one, I had to do it from the hangouts app on my phone.

ajennings··on Ask HN: Best way to sell a $28k MRR company
Excellent resource. Thank you!
ajennings··on Ask HN: Best way to sell a $28k MRR company
The code is mostly C#. There is also an Android app in Java.

It is in the supply chain/warehouse management industry.

I will email. Thanks!

ajennings··on Libre Barcode Project
Code128 has a mandatory checksum, so I'm surprised they try to do it with a font.

Code39 is pretty common to convert into a font, since the checksum is optional.

ajennings··on E Ink smart screen puts a newspaper on your wall
The problem is that we need a way to say "actually; without exaggeration or inaccuracy" succinctly. Also, to say "I am using an idiom, but non-idiomatically."

"Literally" should be that tool. I understand that a word's meaning is, by definition, what people mean when they say it, but it is frustrating to have this communication tool drift away with nothing to replace it.

As another commenter said, this same thing happened to "very" and "really" in the past. So maybe it's time to let "literally" go and make up a new word for it?

ajennings··on Ask HN: How to easily transfer files between devices
I tried this as a side project: http://sendfiles.direct/

It's not perfect, but I still use it sometimes.

ajennings··on Ranked-choice voting is on the ballot in New York City
The parent post said:

> a third-party candidate doesn't spoil an election, because your second-place vote will still count. (E.g. Nader wouldn't have taken votes from Gore, so Gore would have won instead of Bush.)

I was just trying to point out that this isn't always true. Instant Runoff Voting can eliminate the centrist, the best compromise candidate, first.

If we adopt IRV and third-parties grow, then we move into territory where IRV gets some elections obviously wrong. It has happened.

ajennings··on Ranked-choice voting is on the ballot in New York City
If Nader takes enough votes from Gore, then Gore will have the fewest first place votes and get eliminated first.

Then Nader has to go up against Bush and it all comes down to who the Gore voters put as their second choice. It may only take a small percentage of them putting Bush second for Bush to win. https://youtu.be/JtKAScORevQ

Was this election spoiled? By Nader or by Gore? You can argue the semantics of what "spoiler" means, but to me it's clear that IRV doesn't handle this situation well.

It is safe to vote for a third-party only if they can't win. When three-way elections get close, you have to be more careful.

ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
Maybe you're right. I know displaying in hex was way faster than displaying in decimal and seemed fast enough, so I stopped there. I didn't test rendering speed specifically.

Doing a million digits in the console (with no status updates) took about an hour and doing it in that page took just over two hours.

ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
Displaying hex is quite fast (compared to trying to display decimal), though you're right that it might add up to a noticeable amount of time in the end. I did the full million digit calculation on that sample page on the same computer and it took a little over two hours (so 2.1x slowdown) but at that point I was also adding a 5ms delay every 100 terms.

It is fun to scroll down and watch the "cutoff", where digits above that are not changing and digits below that are. That's just as fun in hex as it is in decimal. But yes, maybe I should add an option to turn that off.

ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
I didn't note timing numbers, but rendering digits in hex was basically instantaneous, even when doing a million (decimal) digits.

Rendering the digits in decimal was significant delay (like 40 seconds for a million digits). That's why it just shows the hex until the very end, and it shows how long the decimal conversion takes.

ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
Personal domain. I haven't used it for much over the years.

The hosting is static pages on S3.

I wonder if there's anything I could do to avoid the domain getting flagged.

Maybe it's because the root page on the domain is just a quote.

ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
It should take 415kB to store a million digit number, and the algorithm only needs to keep two of them. So, 1MB total to calculate a million digits of pi. I wonder if there are a lot of temporary allocations that build up until they get garbage collected.
ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
odds, not primes.

And I'm sorry if it looks like 13 over 24. It's supposed to look like 1/2 times 3/4. (The next term adds 5/6, and so on.)

ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
Yes, 4 * arctan(1) will do in any language. I just find some joy in knowing a formula that uses only addition, multiplication, and addition, and computing it directly.
ajennings··on A Million Digits of Pi in 9 Lines of JavaScript
Good question. I just presented it here the way it was given to me, as a couple initial terms and some rules on how it evolves, because I find that to be the easiest way to remember it.

The actual formula looks much less friendly (because it's tricky to write "the product of the first n odd integers"), but it's a good exercise for those who are inclined.

ajennings··on Librem 5 Hardware Update
I'm considering preordering this, but I'd like some confirmation it will work with my Verizon account. The FAQ says:

  The Librem 5 is an open network phone, not locked to any particular network.
  We aim to support 3G and 4G for the most common international frequency bands and carriers, with an interchangeable module. Exact specifications will follow as we are evaluating the data+voice modems that will be used.
  We expect it to work on 3G and 4G networks, and hope for it to also work for GSM, UMTS, or LTE-based network services.
which is not quite convincing enough.
ajennings··on Waymo One: The next step on our self-driving journey
It is interesting that the main photo on that article seems to be taken about 200 yards from where the Uber accident happened in Tempe, AZ.
ajennings··on Zig: software should be perfect [video]
I've wanted a language like this. Java's checked exceptions with some way to offload the bookkeeping to the compiler.

What about other run-time exceptions, like divide by zero? Are they checked?

What about Hoare's billion-dollar mistake (null pointer exceptions)? Does Zig have non-nullable references?

ajennings··on The making of Dark Castle
Interesting. I bought it when it was $20 and felt it was well worth it. I was worried when they dropped the price to $10 about the company going out of business.

I guess there are probably better deals out there, but I'm happy to pay $10 for a game this well-done that provides this many hours of entertainment.

I'd hate to see good games like this disappear because there are too many free ones on the app stores and people don't want to pay for games anymore.

Page 1 of 3Next →