But yes, different goals. I did look into using z3, but quickly found out that it's pretty slow compared to just checking if a test case passes when ran through the candidate program.

20-30 ops is probably impossible, unfortunately. The combinatorial explosion is just too enormous.

Demo coding is indeed the primary usecase for this, and the reason for why I started tinkering on it in the first place. That, and people who make homebrewed NES / C64 video games should find it fairly useful for optimizing tight loops and such.

Comments URL: https://news.ycombinator.com/item?id=47673379

Points: 73

# Comments: 17

This "just-so" story gets repeated constantly in threads about scams, but I've never seen anyone put up any actual proof. The more likely explanation is that scammers are just bad at English since they're predominantly from poor third-world countries.

That is, the topic is not one where I have already picked a side that I'd like to win by any means necessary. It's one where I think there are legitimate tradeoffs, and I want the strongest arguments on both sides to be heard so we get the best possible policies in the end.

This is more than 4 times more than all data centers in the US combined, counting both cooling and the water used for generating their electricity.

What has more utility: Californian almonds, or all IT infrastructure in the US times 4?

You might want always consistently terminate all tags and such for aesthetic or human-centered (reduced cognitive load, easier scanning) reasons though, I'd accept that.

Also, wrapping the tags in an actual is optional.

You also don't need the quotes as long the attribute doesn't have spaces or the like; is OK.

(kind of pointless as the average website fetches a bazillion bytes of javascript for every page load nowadays, but sometimes slimming things down as much as possible can be fun and satisfying)

This might have been a genuinely useful system, something which broke down with the existence of LLMs.

The global variable that toggles a bunch of legacy cruft is called "party_like_its_1989": https://gitlab.freedesktop.org/xorg/xserver/-/blob/master/di...

The changelog for the DRI2 extension is "Awesomeness!", "True excellence", "Enlightenment attained" etc: https://www.x.org/releases/X11R7.7/doc/dri2proto/dri2proto.t...

At least we're not stuck with the Roman "inclusive counting" system that included one extra number in ranges* so that e.g. weeks have "8" days and Sunday is two days before Monday since Monday is itself included in the count.

* https://en.wikipedia.org/wiki/Counting#Inclusive_counting