MurphyA/hacker-news huggingface dataset:
by credit_guy | 2025-07-19 11:26:53+00:00
> No I assure you >50% of working mathematicians will not score gold level at IMO consistently (I'm in the field)

I agree with you. However, would a lot of working mathematicians score gold level without the IMO time constraints? Working mathematicians generally are not trying to solve a problem in the time span of one hour. I would argue that most working mathematicians, if given an arbitrary IMO problem and allowed to work on it for a week, would solve it. As for "gold level", with IMO problems you either solve one or you don't.

You could counter that it is meaningless to remove the time constraints. But we are comparing humans with OpenAI here. It is very likely OpenAI solved the IMO problems in a matter of minutes, maybe even seconds. When we talk about a chatbot achieving human-level performance, it's understood that the time is not a constraint on the human side. We are only concerned with the quality of the human output. For example: can OpenAI write a novel at the level of Jane Austen? Maybe it can, maybe it can't (for now) but Jane Austen was spending years to write such a novel, while our expectation is for OpenAI to do it at the speed of multiple words per second.
by rjbwork | 2025-07-19 11:28:28+00:00
>But with the current community, I'm afraid they'll never figure this out.

I hope that remains the case. File structure inferred namespacing to save one line per file seems like a ridiculous breaking change. If you're looking for succinctness to the level that something like that matters in your line/character count, use Perl or something.

If you're looking for something like scripting without a lot of fanfare, just look at https://devblogs.microsoft.com/dotnet/announcing-dotnet-run-...
by WHA8m | 2025-07-19 11:28:45+00:00
I'd love to have a robotic german voice. All I get is the clickbait MrBeast TikTok voice. I get a real reaction when I hear it. I try so hard to avoid the current social media content. It's unbearable. The shock is even greater when I do stumble across it.

Youtube is really the only website that is straight up unusable for me without a set of Addons (uBlock, sponsorBlock, Unhook).
by FirmwareBurner | 2025-07-19 11:28:49+00:00
> Look at fossil fuels

WHAT?! Do you think we as humanity would have gotten to all the modern inventions we have today like the internet, space travel, atomic energy, if we had skipped the fossil fuel era by preemptively regulating it?

How do you imagine that? Unless you invent a time machine, go to the past, and give inventors schematics of modern tech achievable without fossil fuels.
by npinsker | 2025-07-19 11:29:09+00:00
The trouble is, getting an IMO gold medal is much easier (by frequency) than being the #1 Go player in the world, which was achieved by AI 10 years ago. I'm not sure it's enough to just gesture at the task; drilling down into precisely how it was achieved feels important.

(Not to take away from the result, which I'm really impressed by!)
by carlosneves | 2025-07-19 11:29:25+00:00
> When using npm, all dependencies for a project are installed in a single node_modules directory. This means that if two packages depend on different versions of the same package, the one that is installed last will be used, which can lead to compatibility issues. This is known as "dependency hell" and can make it difficult to manage the dependencies of a project.

> pnpm's symlink feature addresses this problem by allowing different versions of the same package to be installed side-by-side, and linking them to their dependents through symlinks. This helps to ensure that the correct version of a package is used for each dependent, reducing the chances of compatibility issues and making it easier to manage dependencies.

From the last issue linked in the PR (https://github.com/oven-sh/bun/issues/1760)
by eviks | 2025-07-19 11:29:26+00:00
You've made a few basic fails: federal register is, well, only federal, so you've ignored all the non-federal ones. But then even at the federal level you've missed laws that contain the rules, and then the court decisions that directly impact how a rule is interpeted. And all that, of course, isn't enough, to understand them you'd also need to read professional literature that explains all of those rules.

Then the rules aren't static, so you'd need to print the full legal version for each change, so it wouldn't be neatly stuck into years, but more frequently.

Then there is the bigger elephant in the world - the actual world! Since you drain the whole wide world of blood, count all the rules that they produce out there.

Also, did you do math in JS wat to get

4.1 million pages * 1 liter per page = 115 liters (not million)

> about 40 years to

Then you've also forgotten to count all the future regulations
by SomeoneOnTheWeb | 2025-07-19 11:30:42+00:00
Honestly, I self-host about a dozen services and upgrades take me less than a minute per month usually.

I simply have one folder per service, each folder contains a docker-compose stack and a storage directory. Updating is simply a matter of running `docker compose pull` and `docker compose up -d`. Nothing more.

Breaking updates requiring to tweak the config are very uncommon, and even when they happen it's only a few minutes of checking the updated config and applying it.

IMO this is the simplest way to self-host. No VM, no complex software install, nothing more than a simple Docker Compose setup that's fully automated.
by ddingus | 2025-07-19 11:30:46+00:00
Yes, SIMD is a form of parallel computing. But that is not the only form. A shader is one, and the difference is lots of instructions and lots of data. It is just the same instructions executing in all the instances.

Concurrent would be many tasks running at the same time with each task containing different jnstructions on either the same data, or different data.
by Frost1x | 2025-07-19 11:30:59+00:00
I don’t think that’s a fair assessment. The document was meant to be a living adaptable document. In many cases rather than adapting the document directly, laws and interpretations were layered outside the document to keep most the initial structure solid. Amendments came about largely once something was deemed so important it absolutely should be embedded (like the abolishment of slavery) so few mistakes could be made.

The structure should really have a few more obvious significant layers where things could shift around over time.
by ants_everywhere | 2025-07-19 11:31:02+00:00
Some of their activities are described in this interview [0]. The claims come from 2015 not from the Cold War. And they're from a communist intelligence defector, not America.

There's no shortage of interviews from former intelligence people talking about Cold War era South America and much of it is well known. The basic gist is it was before modern ICBMs, the USSR wanted nuclear missiles close to the US and they wanted military bases there. This is where the FARC, Fidel Castro, Che Guevera etc all come from. And famously it's what led to the Cuban Missile Crisis and Bay of Pigs Invasion. A lot of this can best be understood in the context of what ideas the Soviets were promoting in other parts of the world, like revolutionary Islam.

There are also many essays on the connections between Marxism and liberation theology, many (maybe most?) of them written by liberation theology proponents during the Cold War years.

Some of the claims made in the interview

> On October 26, 1959, Sakharovsky and his new boss, Nikita Khrushchev, came to Romania for what would become known as "Khrushchev's six-day vacation." He had never taken such a long vacation abroad, nor was his stay in Romania really a vacation. Khrushchev wanted to go down in history as the Soviet leader who had exported communism to Central and South America. Romania was the only Latin country in the Soviet bloc, and Khrushchev wanted to enroll her "Latin leaders" in his new "liberation" war.

> The movement was born in the KGB, and it had a KGB-invented name: Liberation Theology.... The birth of Liberation Theology was the intent of a 1960 super-secret "Party-State Dezinformatsiya Program" approved by Aleksandr Shelepin, the chairman of the KGB, and by Politburo member Aleksey Kirichenko, who coordinated the Communist Party's international policies. This program demanded that the KGB take secret control of the World Council of Churches (WCC), based in Geneva, Switzerland, and use it as cover for converting Liberation Theology into a South American revolutionary tool. The WCC was the largest international ecumenical organization after the Vatican, representing some 550 million Christians of various denominations throughout 120 countries.

and so on.

There are lots of details you can check out and try to fact check. But it would be a research project and my guess would be hardly any of the classified information is public now. As a general rule, we get books and interviews from defectors and former intelligence officers, but they're based on first-hand recollection and contemporaneous notes backed by still-classified information.

So it's up to you to decide how much weight to give the various pieces of evidence. But certainly what he says in the interview is consistent with how the KGB operates. But we can't know things like whether he was lied to by the KGB at the time, or whether he's misremembering facts, or whether he's embellishing here or there.

[0] https://www.catholicnewsagency.com/news/31919/former-soviet-...
by surgical_fire | 2025-07-19 11:32:30+00:00
Public healthcare policy is absolutely not something personal.

It involves costs of healthcare for all people involved, workload on health professionals, hospital occupancy, etc and so forth.

If the rate of false positives in these tests are too high, people that need treatment for their actual illnesses might be on a waiting list because too many are doing follow-up screening and biopsies for non-issues.

And to address your silly "collectivist" fear-mongering, your hyper-individualist mentality is a societal disease. We could do with some more collectivism, in the sense that people have a better understanding of the constraints and conditions of the society they are inserted in.
by devilbunny | 2025-07-19 11:32:36+00:00
> any transaction out of state

I am assuming card-present transactions? Because I order things from all over, not just locally.

I do appreciate the fraud protection but authorizing my ATM card for non-US withdrawals is overly specific and extremely annoying and time-consuming. Plans change? Expect to spend 15-20 minutes on the phone to say “yes, I will be in Portugal for one extra day”.
by gsliepen | 2025-07-19 11:33:07+00:00
A lot of people don't realize that all these so-called issues with TCP, like slow-start, Nagle, window sizes and congestion algorithms, are not there because TCP was badly designed, but rather that these are inherent problems you get when you want to create any reliable stream protocol on top of an unreliable datagram one. The advantage of QUIC is that it can multiplex multiple reliable streams while using only a single congestion window, which is a bit more optimal than having multiple TCP sockets.

One other advantage of QUIC is that you avoid some latency from the three-way handshake that is used in almost any TCP implementation. Although technically you can already send data in the first SYN packet, the three-way handshake is necessary to avoid confusion in some edge cases (like a previous TCP connection using the same source and destination ports).
by ricardobeat | 2025-07-19 11:33:36+00:00
There was no such assumption, that was just the first example after which he mentions normal roundtrip latencies are usually in the 100-300ms range.

Just because everything else is bad, doesn't invalidate the idea that you should do better. Today's internet can feel painfully slow even on a 1Gbps connection because of this; websites were actually faster in the early 2000s, during the transition to ADSL, as they still had to cater to dial-up users and were very light as a result.
by Davidzheng | 2025-07-19 11:33:57+00:00
I mean these problems you can get better with practice. But if you haven't solved many before and can do them after an afternoon of thought I would be very impressed. Not that I don't believe you, it's just in my experience people like this are very rare. (Also I assume they have to have some degree of familarity of some common tricks otherwise they would have to derive basic number theory from scratch etc and that seems a bit much for me to believe)
by kotaKat | 2025-07-19 11:34:26+00:00
It's going to be similar bullshit to what Halo uses in the highschool vape sensors. A bunch of particulate sensors for like PM1, PM2.5, PM10, sniffing out VOCs, and then they consider any tripping of any of that to be a "smoke" sesh.

Edit: Oh. Rest is just NoiseAware. They're just reselling NoiseAware sensors which are just - yes - a bunch of particulate sensors hooked up to an ESP32 hooked to a web dashboard.
by southernplaces7 | 2025-07-19 11:35:11+00:00
"Stack Overflow no longer has any physical datacenters or offices; we are fully in the cloud and remote!"

Am I misunderstanding something here? They're just transferring from a physical datacenter owned and managed directly by them, to a small rented/leased part of those owned and managed by someone bigger. Since digital data can't just exist in a magical, airy fairy realm, it has to physically be somewhere either way.

Wouldn't it have been safer to control their own physical servers, considering how they mention protecting user information?
by WillAdams | 2025-07-19 11:35:21+00:00
The basics are as simple as ABC (Air, Brakes, Crank/Chain/Cassette) and on some newer bikes, a Q (Quick releases):

https://bikenewportri.org/abc-safetycheck/

There is also a certain matter of training --- badly bent a frame when I was young because I wasn't taught how to deal with a brake failure (rainy day and steel rims) --- the answer of course is to put one's foot up on the front wheel:

https://bicycles.stackexchange.com/a/7287/7344

Of course, the biggest danger could also be addressed by training --- as a part of getting a driver's license, drivers should be taught the "Dutch reach":

https://www.theaa.com/driving-advice/safety/dutch-reach?msoc...

and riding a bicycle a mile or two in practice and a use of/review of hand signals should be a part of the road test.
by Workaccount2 | 2025-07-19 11:35:50+00:00
There is a factor for the US effectively subsidizing these countries by having our current system. Healthcare companies make their bread in the US and get scraps elsewhere in the world.

This drives an enormous amount of innovation, and the near complete dominance of US healthcare companies in the west reflects that.

The US moving to a universal healthcare model would likely kill the lucrative US market, and while providing cheaper healthcare, it likely wouldn't make them dramatically cheaper while also having the effect of driving up costs in other western countries.

A bit like a balloon, where the profits are swelled in the US and limp elsewhere, squeezing the US will ha global effects.
by FirmwareBurner | 2025-07-19 11:36:13+00:00
Yeah, his automated gun phobia argument is dumb. Should we ban all future tech development because some people are a scared of some things that can be dangerous but useful? NO.

Plus, ironically, Germany's Rheinmetall is a leader in automated anti-air guns so the people's phobia of automated guns is pointless and, at least in this case, common sense won, but in many others like nuclear energy, it lost.

It seems like Germans area easy to manipulate to get them to go against their best interests, if you manage to trigger some phobias in them via propaganda. "Ohoohoh look out, it's the nuclear boogieman, now switch your economy to Russian gas instead, it's safer"
by Davidzheng | 2025-07-19 11:37:03+00:00
I mean. Back when I was practicing these problems sometimes I would try them on/off for a week and would be able to do some 3&6's (usually I can do 1&4 somewhat consistently and usually none of others). As a working mathematician today, I would almost certain not be able to get gold medal performance in a week but for a given problem I guess I would have ~50% chance at least of solving it in a week? But I haven't tried in a while. But I suspect the professionals here do worse at these competition questions than you think. I mean certain these problems are "easy" compared to many of the questions we think about, but expertise drastically shifts the speed/difficulty of questions we can solve within our domains, if that makes sense.

Addendum: Actually I am not sure the probability of solving it in a week is not much better than 6 hours for these questions because they are kind of random questions. But I agree with some parts of your post tbf.
by cout | 2025-07-19 11:37:36+00:00
Even if you had the machine, it is not enough.

What was magical about that coding environment is that you could go to the store and pick up a computing magazine and type in a game. Then you could play it and tweak it as you wanted. I have no idea what the equivalent would be today; the cost analogue I can think of is watching Mario maker or Minecraft videos and then implementing what you learn in your own world or level.
by pqtyw | 2025-07-19 11:38:04+00:00
> belief that state = bad, not state = good

authoritarian state that restricts basic individual freedoms = bad

Not sure sure how could you have inferred anything else from my comment.

> Other countries have a far larger mistrust of corporations

Grass is always greener and such. Corporations in Europe have massive amounts of political influence. They are just not as good at making money as American corporations so have less resources to spend on stuff like that.
by bob1029 | 2025-07-19 11:38:25+00:00
I like the type parameter inference from constraints proposal.

I've been adopting these new approaches into my code gradually over time by way of intellisense suggestions. Sometimes I'll see the little ... in front and think "what the hell, let's see". If it looks ugly, it's easy enough to back out. Some things took a while to grow on me.

So far the only newish thing I haven't preferred much is the range operator syntax [0]. Every time I accept that one its a quick revert to the more verbose indexing operators.

[0] https://github.com/dotnet/csharplang/discussions/198
by mike-cardwell | 2025-07-19 11:38:42+00:00
My blog posts denounced the projects approach to handling security/privacy issues in the software they distribute. They also recommended people stop using the software because it is insecure, and this issue is not being taken seriously by them. My blog posts are 100% factually correct, and I stand by the recommendations.

The fact that some devs took this personally is not my concern.
by GavinAnderegg | 2025-07-19 11:40:07+00:00
14kB is a stretch goal, though trying to stick to the first 10 packets is a cool idea. A project I like that focuses on page size is 512kb.club [1] which is like a golf score for your site’s page size. My site [2] came in just over 71k when I measured before getting added (for all assets). This project also introduced me to Cloudflare Radar [3] which includes a great tool for site analysis/page sizing, but is mainly a general dashboard for the internet.

[1] https://512kb.club/

[2] https://anderegg.ca/

[3] https://radar.cloudflare.com/
by phtrivier | 2025-07-19 11:41:19+00:00
I suppose I mistakenly assume that the tropes of my youth still applies, though.

Young people don't need to study for the baccalaureate - it's officially a giveaway now.

The real "rite of passage" is surviving the stress of the lottery that is Parcoursup. (The impressively scaling web system that replaced any illusion of meritocracy with an opaque selection that makes night-clubs bouncers looks fair. And I can't even use this allegory on young people, since they've never been to a night club anyway.)

And I guess, with TV dwindling, the Tour is going to be uneconomical to cast, soon. But, unexpectedly, people are still spending their afternoon on the road sides to be "part of the show", to get close to the podiums, the camera, the TV crews, etc... to watch the substance users drive past them (And sometimes the bikers too.)

We're a weird bunch. "Ils sont fous, ces gaulois"
by tetraodonpuffer | 2025-07-19 11:41:41+00:00
it still depends what component it is, when I was a teenager I was riding a bike with rim brakes, the bolt holding the front rim brake to the frame broke all of a sudden during very light braking, the caliper rotated and got caught between the spokes and the front fork leading to the front wheel immediately stopping leading to me performing a superman dismount (since then I've ALWAYS worn bike gloves when riding). There had been no signs at all that the bolt was about to fail.

In my experience (many years of riding, quite a few years of bike commuting full time included) most mechanicals on the front wheel mean a fall/crash, but everything else just leads to having to walk home if you don't have the right tools (carrying a couple spare chain links in addition to the typical flat repair stuff and a full set of hex keys lowers the chance you'll have to do so).
by devilbunny | 2025-07-19 11:41:51+00:00
I had a paper check stolen in the early 1990s. A Walmart accepted the check without its even being signed. So I reported it.

I cannot write a check at Walmart today. Not that I would; it’s antiquated even by US standards to do so. It’s that they fucked up and blame me, 30+ years later.
by _the_inflator | 2025-07-19 11:42:42+00:00
By accident, I saw firsthand how a simple layout, such as a page and a few paragraphs, can make you question why formats like Markdown are even possible, because the number one text processing tool would throw such a gigantuan load of crude syntax at you for a few paragraphs.

Respect to MS for keeping the lights on.

People need to understand that there is no MS format per se, but different standards from which you can choose. Years ago, when OpenDocument was fairly popular, MS was kind of hesitant to use an XML format. XML is a strict format, no matter the syntax.

And I bet that MS intended such a complicated format to prevent Open Source Projects from developing parsers and MS from losing market share this way. I bet there are considerations about such a strategy discussed at the time, buried in Archive.org.

On the other hand, MS didn't want nor see the XML chaos, which would follow later on. XML is a format, and all it demands is being formally correct. It is like Assembler, fixed instruction sets with lots of freedom, and only the computer needs to "understand" the code - if it runs, ship it.

ZEN of whatever cannot be enforced. JavaScript was once the Web's assembly language. Everything was possible, but you had to do the gruntwork and encapsulate every higher-level function in a module that consisted of hundreds of LoCs. Do in hundreds of LoCs, what a simple instruction in Python could achieve with one.

Babel came, TypeScript, and today I lost track of all the changes and features of the language and its dialects. The same goes for PHP, Java, C++, and even Python. So many features that were hyped, and you must learn this crap nevertheless, because it is valid code.

Humans cannot stand a steady state. The more you add to something, the more active and valuable it seems. I hate feature creep — kudos to all the compiler devs, who deserve credit for keeping the lights on.
by Barrin92 | 2025-07-19 11:43:00+00:00
can you expand on what sort of rationality would lead a person to consider an at worst annoying pop-up to be more dangerous than data exfiltration to companies and governments that are already acting in adversarial ways? The US government is already using people's social media profiles against them, under the Cloud act any US company can be compelled to hand data over to the government, as Microsoft just testified in France. That's less dangerous than an info pop up?

Of course it has nothing to do with rationality. They're mad at the first thing they see, akin to the smoker who blames the regulators when he has to look at a picture of a rotten lung on a pack of cigarettes