HNHacker News
TopNewBestAskShowJobs

pred_

980 karma · joined July 31, 2015

submissionscomments
pred_··on Google details new 24-hour process to sideload unverified Android apps
Has the Apple situation really improved?

I'm probably out of the loop, but last I checked, to put an app somewhere that's not the official App Store, they required you to pay their hefty fee for putting it in the App Store (even if you weren't going to do that), _and_ an additional Core Technology Fee.

(And if that's still accurate, one thing I don't get is how that isn't also anti-competitive.)

pred_··on Xfce is great
The workaround for me is to always resize by clicking Alt, right click, and drag. At the end of the day, that's probably just straight up easier, since you never need to bother getting close to the borders of the windows.
pred_··on Cloudflare CEO on the Italy fines
Does Germany require that all DNS providers block Anna's Archive? I thought that was mostly handed for ISP DNS providers.
pred_··on Cloudflare CEO on the Italy fines
I remember Tor being significantly more usable, and not having random 3 second delays on websites.
pred_··on Cloudflare CEO on the Italy fines
How about Quad9?
pred_··on Cloudflare CEO on the Italy fines
One thing it should mean is that anyone using Cloudflare is doing so while risking that its CEO suddenly pulls the rug and closes down the service; not a dependency you want in your stack, and not a great look for a service that's supposed to be usable as a stable high-availability one.
pred_··on US blocks all offshore wind construction, says reason is classified
> just said "no go ahead, keep building"? What happens to the companies if they just keep building?

As the article also touches upon, this already happened in the particular case of Revolution Wind: There, work, was forced to stop in August, then in September a federal judge blocked enforcement of the block, and work continued:

https://www.cnbc.com/2025/09/22/judge-orsted-revolution-wind...

https://www.reuters.com/business/energy/offshore-wind-develo...

And “what happens” seems to be that rather than appeal, the rule-of-law deniers apparently choose to not care? Work has stopped again:

https://orsted.com/en/media/news/2025/12/revolution-wind-and...

pred_··on Advent of Code 2025
So, publicly admitting that you broke the rules and are part of the reason we can't have nice things. Why?
pred_··on Show HN: I built an interactive HN Simulator
Another meta simulation of the thing we're already doing, because apparently we needed to simulate commenting on a simulation. I'm sure the AI-generated cynicism will be indistinguishable from the real thing we churn out daily.

Regards, the AI commenting on a post about this post: https://news.ysimulator.run/item/2387

pred_··on SPy: An interpreter and compiler for a fast statically typed variant of Python
It's still pretty confusing: Uunchecking the box doesn't seem to do much (is it actually unchecked when you click it? There's still a checkmark); you still have to click Accept to see the text; what are you accepting?

In any case, pre-checked boxes are not valid consent under GDPR (“Planet49”).

pred_··on Show HN: Play abstract strategy board games online with friends or against bots
How about 2 players playing on the same device, i.e. offline play?

https://en.wikipedia.org/wiki/K%C5%8Dnane might be a fit.

pred_··on Willow quantum chip demonstrates verifiable quantum advantage on hardware
Normally, where I come from anyway, verifiability would refer to the ability to prove to a classical skeptic that the quantum device did what it's supposed to, cf. e.g. Mahadev (https://arxiv.org/abs/1804.01082), Aaronson (https://arxiv.org/abs/2209.06930), in a strong, theoretical, sense. And that's indeed relevant in the context of proving advantage, as the earlier RCS experiments lacked that ability, so “demonstrating verifiable quantum advantage” would be quite the step forward. That doesn't appear to be what they did at all though. Indeed, the paper appears to barely touch on verifiability at all. And – unlike the press release – it doesn't claim to achieve advantage either; only to indicate “a viable path towards” it.
pred_··on LinkedIn will soon train AI models with data from European users
Unlawful processing of data is absolutely not “opt out” by default, and simply assuming that “legitimate interest” applies does not mean that you can allow on opt out.

Here's just a quick reminder that if you're a LinkedIn user based in an EU member state, and if you do not believe that “legitimate interest” applies, you can file a complaint with your national supervisory authority (SA)/data protection authority (DPA); see https://en.wikipedia.org/wiki/National_data_protection_autho...

pred_··on Determination of the fifth Busy Beaver value
Thanks for writing that up! Was there anything to be learned from those 13 sporadics or are they simply truly sporadic?
pred_··on Firefox 143 for Android to introduce DoH
> Avoid Cloudflare. They log traffic.

That sounds like a GDPR violation if the logs include PII like IPs and if it's not opt-in. Is that really the case?

pred_··on Ocarina of Time Randomizer
I don't know about OoT, but in the case of Super Metroid Map Rando (https://maprando.com/), the logic is also quite detailed – see e.g. https://github.com/vg-json-data/sm-json-data/blob/master/reg... for one room – and comes with information about the difficulty of the tricks necessary to get from one place to another with a given item loadout, health, runways from connecting rooms etc.; having that, it is possible for the user to specify a desired difficulty, and one of several game modes then effectively ensures that the "next" item is located in a particular location, access to which has only been made possible by the current loadout and doing tricks of the given difficulty, so that players sufficiently familiar with the logic (and the tricks) can quickly narrow down the set of possible locations. Other game modes will be less strict in how items are placed, which in practice can mean that the game becomes "easier" by giving you a more powerful item loadout but "harder" in that figuring out where to go becomes less straightforward; and as a result, you end up with games that feel completely different just by having a different focus on the exploration and execution aspects.

I've find that it becomes quite an interesting spectator sport too, since people will compete on completing a given random map as quickly as possible, effectively having to perform difficult platforming tricks while also having to solve a non-trivial constraint satisfaction problem to understand the map layout, and different speedrunners have evolved different probabilistic heuristics for how to do that.

Some good showcases:

- The AGDQ 2025 finale: https://www.youtube.com/watch?v=it_xbTZHan8

- The grand finals of a recent tournament: https://www.twitch.tv/videos/2485240928

pred_··on DOGE has 'god mode' access to government data
And when you have an executive on one hand stating that only the president and the AG can interpret laws for the executive [0] and that you can't break laws if you're "saving the country" [1], that approach also just doesn't seem too promising.

[0] https://www.whitehouse.gov/presidential-actions/2025/02/ensu... Sec. 7

[1] https://truthsocial.com/@realDonaldTrump/posts/1140091792251...

pred_··on Trump Calls Zelensky a Dictator, Accuses Him of Misusing U.S. Aid
Flagged again?
pred_··on Grok3 Launch [video]
> Currently, Grok Web is not accessible in the United Kingdom or the countries of the European Union. We are diligently working to extend our services to these regions, prioritizing compliance with local data protection and privacy laws to ensure your information remains safely secure.

I suppose you can take that to mean that people who do have access to the service should not expect much in terms of data protection.

pred_··on Is the ArXiv safe from the current US Government attacks?
> do these make something a target for cessation of funding and possible seizure?

Yes, there's a general funding purge in process, causing uncertainty about outstanding NSF grants. OP mentioning DEI specifically might be in reference to e.g. https://www.commerce.senate.gov/2025/2/cruz-led-investigatio...

Some earlier discussions on that one in particular:

https://news.ycombinator.com/item?id=43048077

https://news.ycombinator.com/item?id=43046466

Tao made some remarks on what this means in practice here: https://mastodon.social/@tao@mathstodon.xyz/1139100739588910...

pred_··on "Homotopical macrocosms for higher category theory" identified as woke DEI grant
> Whether that made it "hidden" depends on what you mean by that word. Frontpage space is the scarcest resource on HN [1] - there are only 30 slots. Does everything not in those 30 count as hidden? I wouldn't say so.

I checked the first 10 or so pages of 30, until reaching the point where all posts were much older, and there were enough of a similar age with fewer points that it seemed unlikely that all of them had been up-weighted.

Edit: Okay, it's rank 738, on page 25.

pred_··on A list of "woke" mathematics grant proposals uncovered by Cruz-led investigation
Indeed: https://old.reddit.com/r/PhD/comments/1ihzjsn/keywords_that_...
pred_··on "Homotopical macrocosms for higher category theory" identified as woke DEI grant
So I'm curious, what's the deal with the thread at hand? It looks like the "[flagged]" tag on the post title is now gone, but, as far as I can tell, the post itself still does not show up on the main page at all, so effectively it's still hidden?

It's probably a lot to ask for, but the context for a flag could be helpful. I came across this one since I just posted https://news.ycombinator.com/item?id=43059077 which I thought was on-topic (maths are, and we have had plenty of useful conversations on how science is done too), but that post was flagged.

pred_··on Tetris Font (2020)
Gotcha, thanks champ!
pred_··on Tetris Font (2020)
You demo the result in GIMP (with a Wasm runtime linked(?)) and in the font viewer FontGoogles, and there's someone else who is playing around with it in gedit. There's no way to make use of this in, say, Firefox, yet, even though it ships with Harfbuzz, right?
pred_··on An IRC client in your motherboard
FYI: The site keeps crashing the tab in Firefox 115.7.0esr.
pred_··on Weird new electron behaviour in stacked graphene thrills physicists
One of the reasons people have studied FQHE has been to create (non-abelian) anyons and thereby a framework for topological quantum computing. Is that also the story here?
pred_··on Commercial quantum computer identifies molecular candidate for better solar cell
And just because it's exotic, that doesn't mean it's not useful to think about. My impression from some rather limited exposure to quantum chemistry is that the molecule hits a sweet spot where it's both not completely trivial to solve, yet within the capabilities of present-day quantum computers, meaning that it becomes a useful benchmark for algorithm development. See e.g. https://arxiv.org/abs/2303.07417 (which covers H₄ and LiH) and the references therein.
pred_··on Zelda: A Link to the Past (SNES) re-implemented in C
Who's going to check how much effort it is to run something like Emscripten on this to port it to Wasm for a browser-based version? :)
pred_··on Microsoft Azure Outage
Yes.

    $ dig +short duckduckgo.com | xargs whois | grep Organization
    Organization:   Microsoft Corporation (MSFT)
← PreviousPage 3 of 5Next →