MurphyA/hacker-news huggingface dataset:
by nyrikki | 2025-12-03 15:53:55+00:00
The problem is that math is not some universal language, it is a broad field with various sub domains with their own conventions, assumptions, and needs.

Polysemy vs Homonymy vs Context Dependency will always be a problem.

There are lots of areas to improve, but one of the reasons learning math is hard is that in the elementary forms we pretend that there is a singular ubiquitous language, only to change it later.

That is why books that try to be rigorous tend to dedicate so much room at the start to definitions.

Abstract algebra is what finally help it click for me, but it is rare for people to be exposed to it.
by ignoramous | 2025-12-03 15:54:04+00:00
Bugging communication devices has long been a government / law enforcement tactic, mostly enabled by telcos via ITU, which since its inception has been a willing collaborator.

Ex A: Ind x ITU, https://cis-india.org/internet-governance/blog/india-itu-res...

Ex B: China x ITU, https://datatracker.ietf.org/liaison/1677/
by ZekeSulastin | 2025-12-03 15:54:14+00:00
Which doesn’t matter at all in the case of Helldivers 2 as it’s only available for PC, PS5, and XBS/X. That’s a good part of why PC players were so irritated, actually: when all this blew up a few months ago, the PC install sizes was ~133 GB vs the consoles’ 36 GB.
by ZeroCool2u | 2025-12-03 15:54:27+00:00
Seems okay. It's no Opus 4.5 or Gemini 3 Pro according to the benchmarks. Also, still a good chance the AWS team is benchmaxing the same as last time.

Additionally, my experience with Bedrock hasn't made me a huge fan. If anything its pushed me towards OpenRouter. Way too many 500 errors when we're well below our service quotas.
by hshdhdhj4444 | 2025-12-03 15:55:02+00:00
> the H-1B has instead been wielded as a tool by firms to displace American workers and depress wages in the information technology (IT) labor market

This is very hard to square with software professionals being the fastest growing profession both in terms of number of employed workers and earnings in the past 2 decades.

U.S. wages for software professionals are significantly higher than anywhere else in the world and nowhere else has as much software professionals immigration as the U.S.

I’m predicting that the uncertainty and discouragement of H1-Bs will lead to a destruction of jobs in the U.S. and a suppression of salaries as high quality software engineers don’t move to the U.S., allowing the center of gravity of the industry to shift out of the U.S.

Note: This is not to say there aren’t significant issues with the H1B system that need to be addressed. There are. But cutting off the supply of workers in the most remote friendly profession will not lead to an increase in wages. It will lead to an outflow of jobs instead.
by jcranmer | 2025-12-03 15:55:34+00:00
> If compiler folks can chime in, I'm curious why incrementing in a loop can be unrolled and inspected to optimize to an addition, but doubling the number when both operands are equal can't?

Compilers are essentially massive towers of heuristics for which patterns to apply for optimization. We don't throw a general SMT solver at your code because that takes way too long to compile; instead, we look at examples of actual code and make reasonable efforts to improve code.

In the case of the incrementing in a loop, there is a general analysis called Scalar Evolution that recasts expressions as an affine expression of canonical loop iteration variables (i.e., f(x), where x is 0 on the first loop iteration, 1 on the second, etc.). In the loop `while (x--) y++;`, the x variable [at the end of each loop iteration] can be rewritten as x = x₀ + -1*i, while the y variable is y = y₀ + 1*i. The loop trip count can be solved to an exact count, so we can replace the use of y outside the loop with y = y₀ + 1*trip count = y₀ + x, and then the loop itself is dead and can be deleted. These are all optimizations that happen to be quite useful in other contexts, so it's able to easily recognize this form of loop.

In the example you give, the compiler has to recognize the equivalence of two values conditional on control flow. The problem is that this problem really starts to run into the "the time needed to optimize this isn't worth the gain you get in the end." Note that there are a lot of cases where you have conditional joins (these are "phis" in SSA optimizer parlance), most of which aren't meaningfully simplifiable, so you're cutting off the analysis for all but the simplest cases. At a guess, the simplification is looking for all of the input values to be of the same form, but 2 * x (which will actually be canonicalized to x << 1) is not the same form as x + y, so it's not going to see if the condition being used to choose between the same values would be sufficient to make some operation return the same value. There are representations that make this problem much easier (egraphs), but these are not the dominant form for optimizers at present.
by dev_l1x_be | 2025-12-03 15:57:19+00:00
> And you can still block ad and scam domains with DoH.

How?

There are certain browsers that ignore your DNS settings and talk directly to DoH servers. How could I check what is that the browser requesting through a SSL session?

Do you want me to spoof a cert and put it on a MITM node?

These are my nameservers:

nameserver 10.10.10.65 nameserver 10.10.10.66

If the browser plays along than talking to these is the safest bet for me because it runs AdGuardHome and removes any ad or malicious (these are interchangable terms) content by returning 0.0.0.0 for those queries. I use DoT as uplink so the ISP cannot look into my traffic and I use http->https upgrades for everything.

For me DoH makes it harder to filter the internet.
by account42 | 2025-12-03 15:57:37+00:00
23 GiB can be cached entirely in RAM on higher end gaming rigs these days. 154 GiB probably does not fit into many player's RAM when you still want something left for the OS and game. Reducing how much needs to be loaded from slow storage is itself an I/O speedup and HDDs are not that bad at seeking that you need to go to extreme lengths to avoid it entirely. The only place where such duplication to ensure linear reads may be warranted is optical media.
by adwn | 2025-12-03 15:57:53+00:00
> this looks optimized to me.

It's not. Why would lsl+csel or add+csel or cmp+csel ever be faster than a simple add? Or have higher throughput? Or require less energy? An integer addition is just about the lowest-latency operation you can do on mainstream CPUs, apart from register-renaming operations that never leave the front-end.
by lvass | 2025-12-03 15:57:55+00:00
FWIW, all of those links compare Rust to languages created before 1980, and are all projects largely and unusually independent of the crates ecosystem and where dynamic linking does not matter. If you're going to use a modern language anyway, you should do due diligence and compare it with something like Swift as the ladybird team is doing right now, or even a research language like Koka. There is a huge lack of evidence for Rust vs other modern languages and we should investigate that before we lock ourselves into yet another language that eventually becomes widely believed to suck.
by tooltalk | 2025-12-03 15:57:59+00:00
>> Samsung share was dropping in PRC before Xi, ... the Note battery recall drama happend and basically THAAD right after ... <<

Sure, except that narrative has too many flaws. Samsung China's smartphone sales increased from 11M in 2011, to 30M in 2012, to about 60+M in 2013 -- no such "drop" before Xi's rise. Then it cratered as Xi's anti-foreign "In China, For China" policy went in full swing. By 2016, Samsung's China sales figure was already down to just over 10M -- the Note 7 and THAAD were likewise inconsequential and Samsung smartphone sales continued to slide in China and China only. During this time between 2016-2017, Samsung's global sales continued to maintain its lead at around 310M even as its Chinese competitors, such as Huawei struggle against Samsung outside China without protection from Xi. Again, this conspicuous drop was in China only and there was no sudden change in consumer preference or product offering, as evident from Samsung's global sales -- ie, while Samsung China sales was down, it was up elsewhere. Xi's mercantile policies and the rising nationalism in China were the only changing variables.

Also it wasn't just Samsung alone either -- Apple was the next major foreign smartphone seller in China. Apple avoided Samsung's fate after Xi's rise in 2013 and Patrick McGee, a FT reporter, has recently released Apple in China: the Capture of the World's Greatest Company, meticulously detailing how Apple countered Xi's "For China, In China," but, by doubling down on China, Apple is in effect "captured" by Xi. see Chapter 26 "Despot" and on.
by lapcat | 2025-12-03 15:58:07+00:00
> It’s not that uncommon for a 3rd party to report a developer for violating Apple ToS. Frequently, it’s out of spite towards the offending party and not out of love for Apple. Also, Apple employees sometimes report stuff they stumble upon too.

What evidence do you have for these claims?

Unless you work for Apple—indeed, unless you work specifically for Apple legal—it's unclear how in the world you would know how common this is or what Apple employees do.
by dangus | 2025-12-03 15:58:26+00:00
Healthcare executive pay is pretty darn high, more money than any family needs to live comfortably.

Keep in mind this is just for Blue Shield California. There are executives of other health insurance systems in other states and regions who are making similar compensation.

However, I'll go ahead and say right now that I support the idea of these executives being paid these salaries, but on one condition: that we first achieve the goal of 100% of Americans having affordable access to healthcare. Once that goal is achieved, then we can start paying executives big bonuses and incentives. Deal? (Yeah, right...)

https://www.blueshieldca.com/content/dam/bsca/en/member/docs...

Below is a summary of the compensation paid in 2024 to Blue Shield of California’s President and Chief Executive Officer (CEO), Chief Financial Officer (CFO), and top three highest paid executives (other than the CEO and CFO) who were employed by Blue Shield of California at year-end.

Paul Markovich

President and Chief Executive Officer

$11,191,674

Sandra Clarke

EVP, Chief Operating Officer

$5,765,368

Peter Long

EVP, Strategy and Health Solutions

$4,360,245

Lisa Davis

EVP, Chief Information Officer

$2,873,613

Michael Stuart

EVP, Chief Financial Officer

$2,406,837

Some other CEOs:

Cerner (EMR provider to the VA), $35 million pay package: https://kffhealthnews.org/morning-breakout/cerner-to-pay-new...

Pfizer, $24.6M pay package: https://www.fiercepharma.com/pharma/rebound-year-pfizer-ceo-...

Epic Systems is a private company, so there's no executive pay information, but the founder Judy Falkner's estimated net worth is $7.8 billion. Perhaps Epic could reduce the price of its very expensive software for providers to help ease healthcare costs and maybe Judy could give up some of those billions and not notice any difference in her quality of life?
by IshKebab | 2025-12-03 15:58:52+00:00
> The diff for PR#2 will show toppings in relation to dough.

The problem is the diff for PR#2 will show dough and toppings all mixed together. Unless you go into the commits view, but that's super tedious and it's easy to lose comments in there.

It's kind of frustrating because there's very little required to make this work. All you really need is for Github to detect `Depends on #1` like it detects `Fixes #123`, and then a) use the HEAD of #1 as the diff based for #2, and b) block merging #2 until #1 is merged.

It's really not that complicated but I'm not holding my breath.
by zelphirkalt | 2025-12-03 15:58:53+00:00
Why not offer 2 versions for download and let the user choose, whether they want to block their whole disk with a single game, or accept a bit longer loading times? Or let the user at installation time make an informed decision by explaining the supposed optimization? Or let the user decide before downloading, what resolution (ergo textures) they want as the highest resolution they will play the game at and only download the textures they need up to that resolution?

Questions, questions, questions.
by IanCal | 2025-12-03 15:59:27+00:00
I understand this, but at the same time the concept of this to me is absolutely wild.

We see this in the UK, the exact same argument. Yet I was paid more to manage a small tech team than an MP for fewer hours. You actively disincentivise people like me from taking public positions. I'm doing tech contracting and earn more than Prime Minister.

The UK gets about a trillion dollars a year in, and spends more. The US takes in something like five trillion dollars.

An exceptionally small improvement in improving the economy pays for itself indefinitely because these countries are absolutely enormous. Our MPs are paid about 90k/year, if you could improve the tax take of the government by 0.1% by improving the economy in some way *once* you could pay them £1M/year *tax free* and you could pay that *forever* even if future people aren't as good they're just not actively detrimental. This is also for paying people who aren't actually making big decisions, just the elected representatives.

Money should not be an issue, missing a good person because of the money is utter insanity given the payback.
by fleabitdev | 2025-12-03 15:59:35+00:00
Isn't it a little reductive to look at basic infrastructure costs? I used Hetzner as a surrogate for the raw cost of bandwidth, plus overheads. If you need to serve data outside Europe, the budget tier of BunnyCDN is four times more expensive than Hetzner.

But you might be right - in a market where the price of the same good varies by two orders of magnitude, I could believe that even the nice vendors are charging a 400% markup.
by IsTom | 2025-12-03 15:59:56+00:00
> allowing multiple keys to be played without retuning the instrument

That's another simplification, real pianos are not tuned to 12TET, but use stretch tuning (which can be over 30cents off in the lower range).

I'd rather argue that people like what they're used to and so "people like pure ratios" is seemingly only true if "pure ratios" are not really pure. And that's ignoring a lot of the music that doesn't have roots in Europe.
by muffa | 2025-12-03 16:00:10+00:00
I love claude, but looking at google it seems like it will just be a matter of time before Google/Gemini will be a better product. Just looking at how much Google have improved their AI game the last couple months. I'm putting my money on google, I assume the reason they are doing an IPO right now is to be able to cash in on the investment before google surpasses them.

It's a hot take, I know :D
by diath | 2025-12-03 16:00:16+00:00
> A picking texture is a very simple idea. As the name says, it’s used to handle picking in the game, when you click somewhere on the screen (e.g. to select an unit), I use this texture to know what you clicked on. Instead of colors, every object instance writes their EntityID to this texture. Then, when you click the mouse, you check what id is in the pixel under the mouse position.

Unrelated, but why? Querying a point in a basic quad tree takes microseconds, is there any benefit to overengineering a solved problem this way? What do you gain from this?
by SoftTalker | 2025-12-03 16:00:20+00:00
> they're simply too old to do the job

I'd absolutely support a maximum age limit, maybe e.g. if you will reach 70 years of age in your term of office you cannot run. So a senator could be elected up to age 64. A Representative up to age 68. And I'd apply that to all elected offices. My biggest criticism of Biden vs. Trump was that they were both too old.
by JustinD | 2025-12-03 16:00:24+00:00
Zeno Group | Hybrid | US - NYC

Hello everyone! I’m on the lookout for an SVP of AI & Tech Operations to join my team at Zeno Group. https://www.zenogroup.com

We're a global, integrated communications agency, and one of PR Week's Best Places To Work 2025!

• I’m shaping the technology landscape at Zeno from the ground up, which means juggling everything from procurement to infrastructure to education, and need someone who can help bring order to the chaos. We have a ton of amazing and passionate people and I (still!) only have two hands.

• What you'll do is wear many hats, and so adaptability is 100% your most important attribute, along with:

- Being a diplomat between Zeno and our sister companies

- Leading AI+technology education and literacy programs

- Performing discovery for and designing workflow automation

- Convincing creatives that AI won't steal their Cannes Lions

- Exploring turning random AI experiments into useful tools

- Keeping up with AI exploration and experimentation because it’s something you do already

• You need to be comfortable building with duct tape while executives ask why it's not done yet. Agency experience helps but isn't required; what matters is you can handle 72-hour deadlines, massive egos, and the phrase "the client changed their mind."

• You also don’t buy the hype, and can cut through tech industry bullshit like a hot knife through AI slop. Being a practical cynic is a strength—you want to believe.

• If you've successfully implemented some cool AI heat at scale and can explain it to people who still print emails, let's talk.

• Hybrid role, based in NYC. Big on cultural fit. While this is not a client-facing role, some occasional face time with clients is expected.

Here's the giant link to apply:

https://djeholdings.wd5.myworkdayjobs.com/ZenoCareers/job/Ne...
by ragebol | 2025-12-03 16:00:33+00:00
Sounds very interesting, but one more counter-points I'd like to see counter-countered:

These random people will have to rely on experts a lot for knowledge they lack on any topic, because the world is complex. Now, these experts can be biased, bought, influenced etc. Or be accused of being in some sort of "Deep State" if you're into that.

But then again, this can already be the case, now I counter-countered myself.
by WorldMaker | 2025-12-03 16:00:51+00:00
The Babylon 5 team had tried to prepare for that as well by keeping digital masters of all the effects. It would have meant recompositing, which isn't necessarily cheap, but in theory they could have run the exact same effects at a higher resolution.

Unfortunately, Warner Brothers lost those files. Rumor has it when they sent copies to Sierra (really Vivendi at the time, just before the Activision acquisition) for a Babylon 5 videogame the WB Archives team accidentally sent their only copy and that when the videogame project was shutdown they destroyed the copies per the IP license agreement.

There's a high probability that even if WB had had the digital masters of the effects, they probably still would have stuck to the 4:3 restoration over the 16:9 restoration to avoid recompositing costs, but it's still such a weird swing of bad luck that the production team thought ahead about HD technology well enough as well as anyone could at that time and yet the 4K copy we have in this timeline is in the wrong aspect ratio.
by malshe | 2025-12-03 16:01:07+00:00
Where did you get 1.1 percentage point? The paper uses percentiles.

"Overall, we show that student test scores improved by 0.6 percentiles, with the ban increasing spring test scores 1.1 percentiles in the second year relative to the spring test right before the ban took effect. These positive test score effects are larger for male students (an effect of 1.4 percentiles on the spring test in the second year) and for students in middle and high schools (1.3 percentiles)."
by dspillett | 2025-12-03 16:01:34+00:00
> Missed the boat? […] Watson AI advertising has been everywhere for years.

They were ahead of the game with their original Watson tech, but pretty slow to join and try get up to speed with the current GenAI families of tech.

The meaning of “AI” has shifted to mean “generative AI like what ChatGPT does” in the eyes of most so you need to account for this. When people talk about AI, even though it is a fairly wide field, they are generally referring to a limited subset of it.
Show HN: EV vs. ICE Breakeven Tool
by sensecall | 2025-12-03 16:01:37+00:00
This started as a quick script to sanity check EV running costs, and turned into a handy little comparison tool.

I haven't been able to find anything which shows at which price points EV is cheaper/more expensive than ICE – the heatmap shows it pretty concisely.

It’s a bit rough round the edges, but people have found it pretty useful, so I figured I'd spin it out into its own site. Sharing for feedback.
by asimovDev | 2025-12-03 16:01:50+00:00
I have a similar issue with Genshin on PS5 when using the headphone jack in the controller with IEMs (didn't happen with a headset). It starts buzzing in my left ear when I open the game menu or open the map. On the map it only buzzes when I move the cursor, interestingly enough. I later noticed that the PSU coil whine coincided with the same events. Still no idea why it's like that

Thankfully doesn't happen with an external DAC.
by meifun | 2025-12-03 16:01:52+00:00
14 inches is fine for me the smaller the better. Thanks you for a detailed reply and the link. This laptop looks like it could be good for me.

I think I found it on Costco.com for cheaper: https://www.costco.com/p/-/acer-aspire-14-ai-copilot-pc-touc...
by ethin | 2025-12-03 16:01:52+00:00
If I could upvote you, I would. I have never liked the mob of people that think we should all be super diplomatic corpospeakers who hedge everything and who think that not doing so is "offensive" or "unprofessional". I definitely didn't think anything was wrong with the original sentences or word usage, because it wasn't aimed at any specific individual with the deliberate intent of being offensive, but was aimed at Microsoft itself. And even if the intent was to be offensive, well, on the internet your always going to offend someone. You could be super nice and say all the right words and someone would still find a way to be offended by it. And were these circumstances ordinary, I would call out the word usage as well, because it would be uncalled for. But given all the evidence that the original points at, it's rather hard to say that GitHub didn't deserve it. And it is also rather difficult for me to see how this wasn't the time or place for such language. Sometimes the only way to get your point across is to be "unprofessional" (whatever that means these days).
by theptip | 2025-12-03 16:01:56+00:00
Retail is a big deal these days. Used to be sub 10%, now it’s in the 30-40% of daily volume range IIUC.

You can easily look up the numbers you are asking for, the TLDR is that the volume in most stocks is high enough that you can’t manipulate it much. If it’s even 2x overpriced then there’s 100m on the table for whoever spots this and shorts, ie enough money that plenty of smart people will be spending effort on modeling and valuation studies.
by PyWoody | 2025-12-03 16:01:58+00:00
That reminds me of House of Bamboo, which kind of had the opposite problem[0]:

For many years after its initial release, the film was seen only on television in pan-and-scan prints, leading people to believe that DeForest Kelley has a small role near the end of the film. When Fox finally struck a new 35mm CinemaScope print for a film festival in the 1990s, viewers were surprised to see that Kelley is in the film all the way through; he was just always off to one side and thus had been panned out of the frame.

[0] https://en.wikipedia.org/wiki/House_of_Bamboo#Casting