MurphyA/hacker-news huggingface dataset:
by object-a | 2025-09-17 21:34:21+00:00
> The Axiom of Choice, for example, has reached consensus because of its usefulness, not necessarily because of any epistemological standards.

Usefulness in proofs _is_ an epistemological standard. Axioms are evaluated based on how they impact mathematical proofs and their compatibility with other axioms, and mathematical disagreements with the Axiom of Choice also follow similar epistemological standards and procedures. We take Banach-Tarski seriously because it meets the standards.

If you wanted to make an argument that "The Axiom of Choice is nonsense" and be taken seriously, you would be expected to show how it is incompatible with other axioms, or how it generates a paradox. You wouldn't be arrested or silenced if you went around denouncing the axiom of choice without following these standards, but you would (rightfully) not be taken seriously.

Similarly, the article isn't saying CK should have been silenced or had his speech stifled, but it is objecting to the notion that what he did was real debate or real intellectual discourse. I don't think that argument equates to stifling speech.
by OxfordOutlander | 2025-09-17 21:34:49+00:00
Strava is the closest thing to effective social media that I use, because it is 'slow'.

You create 'content' by doing something orthogonal. You pay for access vs selling attention for ads. You only look at Strava when you are working out, so engagement is authentic vs contrived/performative. I care about my friend completing a run because I know they did it.

One of the best thing they did was allow the chance to add photos.
by epolanski | 2025-09-17 21:35:19+00:00
It's not an error unless you're able to demonstrate the opposite.

I have yet to see studies that demonstrate that different sexes, hormones or even ethnicities do not impact cognitive abilities or higher proficiency in different fields.

Whereas I've seen plenty that show that women, on average, demonstrate higher cognitive abilities linked to verbal proficiency, text comprehension or executive tasks. Women also tend to have better memory than men.

Facts are that there are genetic differences in how our brains work. And let's not ignore the huge importance of hormones, extremely potent regulators of how we function.

To ignore that we have differences that, at large, help explain statistics is asinine.
by orwin | 2025-09-17 21:35:40+00:00
Not really: this past few years, listed companies tend to be _very_ pessimistic on their quarterly projection, and then reveal that either: it wasn't that bad, and nothing change, or that is was great, and their valuation shoots up. Weirdly the market doesn't react over those pessimistic projections, so it seems it's just a safe play for CEOs. They started doing that in Europe as well.
by naasking | 2025-09-17 21:36:32+00:00
Depends how much tinkering you want to do. Out of the box, Prusa and Bambu are king for a higher price point. More of a closed ecosystem though, the remaining options are more open.

If you want to assemble your own premium machine, Voron for which there are kits. Still a premium price though.

For more budget options that still have a good out of the box experience, I've heard good things about the Qidi 4 and Creality K1 series.

If you want a mostly pre-built Voron lite of sorts, Sovol SV08, but expect more tinkering.
by mandevil | 2025-09-17 21:37:03+00:00
The USSR split up into 15 smaller states 35 years ago. But those 15 smaller states combined are exactly the same territory as the former USSR- none of her (many, many) neighbors took the opportunity to reach in and fiddle with borders, to redraw this or that boundary that they had wanted, to try and take back parts of their former country that Stalin had stolen back in 1945.

No one is saying that states will never collapse, will never split up, will never secede. But the fact that no existing state tried to take advantage of the confusion in the USSR and gain revenge for an ancient wrong? That was the result of this global norm, which held up even as the USSR (and Yugoslavia) fell apart. And that is a very good thing.
by abhorrence | 2025-09-17 21:37:06+00:00
As someone who owns both a couple Vorons and a couple of Bambu's printers, I do think for a lot of people the difference between the two can be "3d printers are my hobby" vs "3d printers are a tool". It's not that Vorons can't be reliable, in fact a lot of the reason why say the X1C is so reliable is because its design essentially started life as a Voron. But because you have to assemble them, they just aren't as "plug and play".
by Imnimo | 2025-09-17 21:37:08+00:00
My understanding is that the way they do this is have some number of model instances generating solution proposals, and then another model which chooses which candidates to submit.

I haven't been able to find information on how many proposals were generated before a solution was chosen to submit. I'm curious to know whether this is "you can get ICPC gold medal performance with a handful of GPT-5 instances" or "you will drown yourself in API credit debt if you try this".

Still extremely impressive either way.
by _diyar | 2025-09-17 21:37:40+00:00
I think your assessment is spot on. But I also think there's a bigger picture that's getting lost in the sauce, not just in your comment but in the general discourse around AI progress:

- We're currently unlocking capabilities to solve many tasks which could previously only be solved by the top-1% of the experts in the field.

- Almost all of that progress is coming from large scale deep learning. Turns out transformers with autoregression + RL are mighty generalists (tho yet far from AGI).

Once it becomes cheap enough so the average joe can tinker with models of this scale, every engineering field can apply it to their niche interest. And ultimately nobody cares if you're playing by the same rules as humans outside of these competitions, they only care that you make them wealthy, healthy and comfy.
by magicalhippo | 2025-09-17 21:37:47+00:00
It was glorious I tell you.

Especially how you could increase the segment value by one or the offset by 16 and you would address the same memory location. Think of the possibilities!

And if you wanted more than 1MB you could just switch memory banks[1] to get access to a different part of memory. Later there was a newfangled alternative[2] where you called some interrupt to swap things around but it wasn't as cool. Though it did allow access to more memory so there was that.

Then virtual mode came along and it's all been downhill from there.

[1]: https://en.wikipedia.org/wiki/Expanded_memory

[2]: https://hackaday.com/2025/05/15/remembering-more-memory-xms-...
by db48x | 2025-09-17 21:37:59+00:00
Yes, you’re correct. I left out all of those details to try to simplify the explanation as much as possible. The reality is that the pixels we were drawing got narrower as our display hardware got better. In this VGA text mode the width of the pixels is 20⁄27ths of the line height. But you obviously don’t want to scale the 720 pixels of width down to display in just 533⅓ LCD pixels, so instead you have to scale the height up. It was just easier to start by saying that the height of the CRT’s pixels was 27⁄20ths of their width instead. :)
by UncleOxidant | 2025-09-17 21:38:22+00:00
Yeah, I do realize that and in fact mention it in the comment above: of course, Trump started the ball rolling during his first term. Not "pinning" it on Biden, per se, but he is the one who signed the bill. It would have been much better to leave it alone. https://www.cnn.com/2024/04/23/tech/congress-tiktok-ban-what...
by jsnell | 2025-09-17 21:38:53+00:00
The comment you replied to explained that nothing was changed on the YouTube side. This was an adblocker choosing to start block a non-ads, non-tracking, samesite API call that had probably been in place for like a decade.

So it's quite amazing that even with that context you still managed to hijack that into a discussion about the merits of what Google did with this "balanced approach" bait. This isn't a balanced approach! It's not an approach at all!

It is the ad blocker willfully choosing to break totally normal and benign site functionality. Google had no agency in this, and doesn't have much recourse.
by drnick1 | 2025-09-17 21:39:04+00:00
Flashing GrapheneOS on a new phone took 10min tops. Setting up Nextcloud using their Docker image does not take much longer than that. Setting up my email server took the most effort, but I did this in hard mode using bare Postfix and Dovecot on Linux. A dockerized email server could be up in a matter of minutes. There is no maintenance beyond sudo apt upgrade.
by cheesecompiler | 2025-09-17 21:39:18+00:00
The authors take a leap in assuming there's a difficulty with overriding a response. But in my and others' experience from group therapy, I can confidently say it's more like either apathy or being numbed out, to the point of either not noticing or caring that the aversive sound is happening.

This is how SSRI has felt for me also, incidentally: an even deeper apathy, setting in from lack of any emotion at all.
by JustExAWS | 2025-09-17 21:39:49+00:00
There is only one thing I correct because 99% of people get it wrong - “jive” instead of “jibe”. “Jive” is a term Black folks used in the 70s.

Before the pearl clutching starts - I am Black.

On the other hand, as someone who has an A1-A2 fluency in Spanish and torture the language like you wouldn’t believe, I appreciate the grace I get from non English speakers when I try to communicate with them.
by tsoukase | 2025-09-17 21:40:15+00:00
Just some 2c totally out my head:

- Chinese labs managed to "overcome decades of R&D" because they have been trying for many years now with unlimited resources, government support and total disrespect of IP laws

- Chinese chips may not be competitive at process power/W with Western but they have cheaper electricity and again unlimited loss capacity

- they will probably hit wall at the software/ecosystem level. CUDA ergonomy is something very difficult to replicate and, you know, developers love ease of use
by post_break | 2025-09-17 21:40:19+00:00
As someone who started with junk printers from the very beginning, and now sell 3D prints, please don't buy a machine you have to assemble. Don't learn how to dial it in. And spend more than $1,000.

Your time and money is worth more than trying to make some open source diy kit printer do what you want. Bambu has body slammed the market with printers that work.

Get a H2S or X1C, run it in lan only mode if you're paranoid, and don't look back. H2S is a better option for your material choices.

My comment will probably get flamed because I'm not saying Prusa makes the best printers and only support open source, but do you want a tool that makes things, or do you want to waste time baby sitting your tool trying to get it to do something others can do out of the box.

I WISH my machine was open source, but the reality is it's not. It's like asking what mill to buy, but rulling out HAAS and Bridgeport because you're ok with trying to machine around crazy slop.
by jghn | 2025-09-17 21:40:29+00:00
> Boobs, butts, gambling, brain rot, watchbait/ragebait, all that stuf

I don't understand how other people have this experience and I don't. I see targeted ads of course. And every once in a while it starts showing me content for things I don't follow, at which point I start mashing the button they provide to make it go away, and after a handful it pops up something asking if I want to remove all suggested content for a while. I always select yes.

Do other people actually *want* suggested comment? that's bizarre.
by easygenes | 2025-09-17 21:41:03+00:00
This is a bit too blunt a look at it. YouTube exists as an ecosystem with increasing competition. View and subscriber counts are their core incentive and feedback systems they have with the actual producers that make their whole ecosystem work. Without those there's no real reason for people to put videos there.

This as an open and celebrated system drives producers to advertise for YouTube via the almost-compulsory every-video mention of liking and subscribing and forwarding videos to friends.

Youtube is well aware of this, hence things like the iconic long running physical play button trophy delivery system.

I'd also say more broadly that making such sweeping claims for YouTube as a collective entity not caring at all about viewers is too reductive. It's more defensible and relatable to claim that, though there may be many people working for YouTube because they deeply care about a mission of democratizing multimedia publishing, the incentives and structures around it being a PBC often lead to decisions which drown out that care from corporate heads who are more profit than mission driven.
by mostly_a_lurker | 2025-09-17 21:41:20+00:00
Hmm, I think you might be a bit underestimating?

My understanding of up-arrow notation is: 2 ^^^ 5 means

2 ^^ (2 ^^ (2 ^^ (2 ^^ 2))) (with five 2's)

= 2 ^^ (2 ^^ (2 ^^ (2 ^ 2)))

= 2 ^^ (2 ^^ (2 ^^ 4))

= 2 ^^ (2 ^^ 65536), since Wikipedia calculates 2 ^^ 4 = 65536.

Now 2 ^^ 65536 means 2 ^ (2 ^ (2 ^ ...))) with 65536 two's. Call that number N (too large to really describe).

Then 2 ^^ N is 2 ^ (2 ^ ( ...)) with N two's.
by pixelpoet | 2025-09-17 21:41:35+00:00
IMO it's a separate category of modifiers/decorators to the type, like how adjectives and nouns are distinguished, and the only reason we have the false-choice in C/C++ is because it's not alphanumeric (if the token were e.g. "ref" it would interfere with the type or variable name in either other convention).

If I were forced at gunpoint to choose one of the type or name, "obviously" I would also choose type.
by zamadatix | 2025-09-17 21:42:22+00:00
I take it as the second assumption, as in people who think "CSS has already gotten too complex, now this complicated trig shit is part of it too?".

Keep in mind it's only 9.1%, or 1 in 11, that actually had a "negative opinion" of it. This makes the phrasing/focus on "hated" seem a bit forced.
by duderific | 2025-09-17 21:42:24+00:00
I call this the "Wall of Inertia." Before you walk up to it and face it, it feels 10 feet tall, but once you actually just take it on, it only turned out to be 6 inches tall and you can easily hop over it.

But it feeling 10 feet tall is enough to make you avoid it entirely for a long time.
by Atomic_Torrfisk | 2025-09-17 21:42:37+00:00
I used to work in the hardware side of AR until recently when I took a step back for my family. I've had hands on experience with many types of hardware, wave guide, birdbath and laser beam scanning to name a few. Technically these are all really amazing, and I miss working in this space.

Unfortunately, while I want to see the technology succeed in the mainstream, it's never going to get there. Period. The AR use-case presented by tech giants to consumers fails to solve any real world problem that a cheaper and more accessible cellphone couldn't. Sure there are niche-use cases and cool demos for consumers, but until the hardware reaches the form factor and durability of traditional prescription glasses consumers will never adopt the technology in a meaningful way.

If we actually want to drive sales of AR devices, we will replicate usecases where AR currently drives value, such as HUDs for aircraft. The same concept can be applied to other high workload environments such as EMS, truck drivers, ATC, law enforcement and handful of military applications. However sales in these domains will be somewhat limited except for military applications which is bad PR for the most of the leaders of AR tech.

So for now its all essentially vaporware to generate hype for the stock market.
by NonHyloMorph | 2025-09-17 21:43:16+00:00
If you claim your counting views while simultaneoudly andvwithout disclosure don't count views of people using an adbkocker even so you could then thagvis deceiving. If it was the case I second waht the above poster hinted at: seems like a strategy to manipulate public discourse by using influencers frustration over where it hurts them (their purse) enhanced by the haunting sensation of loosing control (since they cannot know how and if they are negatively impacted by what - which makes the desire to find the cause of effect/guilty oarty/or a scapegoat) in order to disincentivice adblockers. If the articles assumptions are correct, and it is beyond googles engineering teams to fix that issue (which seems unreasonabke to assume) theb that would be a pretty (and petty) malign and antisocial policy to pursue. (Don't be evil once was a thing for good reason)
by afiori | 2025-09-17 21:43:56+00:00
The practical argument is that while initially the DOM API was developed to be language agnostic with more of an eye to Java/C++ than JavaScript since a while ago this is no longer the case and many web APIs use JavaScript data types and interfaces (eg async iterators) that do not map well to wasm

The good news is that you can use very minimal glue code with just a few functions to do most JavaScript operations
by epolanski | 2025-09-17 21:44:27+00:00
I've never stated that biology is the primary driver.

I merely stated that biology, should not be ignored when judging very large samples.

There are cross sex cognitive tests at which women and men tend to perform differently, such as spatial awareness or speed perception and many others.

What's the environmental or cultural factor behind the fact that a female's brain, on average, is able to judge speed much more correctly than a male?
by ndriscoll | 2025-09-17 21:45:17+00:00
That was also my take when I first saw the FBI advice about using an adblocker. Like, yeah, it's good advice, but also why is no one being prosecuted for acting as an accessory if not accomplice to fraud? They're labeling their product as a search tool and then taking money to funnel users away from the thing they're searching for to scammers instead. Surely they are aware of their pure negligence in vetting business partners if the government is issuing warnings to citizens about their behavior?
by Zigurd | 2025-09-17 21:45:19+00:00
FSD for private cars requires you to be the monitor. Not remotely. But sitting right there in the driver's seat with your eyes being monitored for attention.

Tesla Robo taxis have remote monitors and have a safety driver, either in the passenger seat or in the driver's seat.

I've seen it suggested that Tesla remotely monitors demo rides. But they don't officially say so.
by dysoco | 2025-09-17 21:45:20+00:00
I've actually read quite the opposite a few times.

If you focus on the end-goal you can easily get frustrated once you don't see any results, specially on such long-term goals such as graduating, improving your career or becoming buff by doing exercise.

Supposedly it's actually better to just try and find meaning and joy in the process itself, enjoy lifting/studying regardless of the end results.

Obviously none of this is an exact science so each person might think different.
by seanmcdirmid | 2025-09-17 21:45:52+00:00
I guess, but my interaction with a real person in a waymo was limited to 15 seconds on my many rides, so I don't know if I'm just an anomaly or not.

> it's also a positive attraction eg. for anyone who worries about their safety with a rando taxi driver or Uber guy

Yes, this is the main reason to like it. I've had too many experiences with an Uber driver nearly falling asleep while transporting me.

> though presumably a significant part of the savings will be simply be the result of outsourcing to lower-wage countries.

Given how many Uber drivers are immigrants already, this is already happening if Waymo employs call center employees from the Philippines or not.
by bdangubic | 2025-09-17 21:46:00+00:00
My abilities are limited by time, I don’t work (never have) more than 6-7 hours per day. Hence I automate everything that requires my time (and can be automated). If I have something that saves me 10 minutes per day, that is significant for me (should be for you too if you value your time). now imagine if I have something that saves me 90 minutes per day…
by spit2wind | 2025-09-17 21:46:08+00:00
I see this a lot and am not convinced. It appears reductionist in a way that feels like it's pushing an agenda.

Democratic governments clearly are about addressing community needs and coordinating efforts that require pooled resources (at least). I'm not denying there may be a monopoly on violence. However, in a democratic system, such a monopoly would be voted on, giving the monopoly some legitimacy (not saying it's necessarily moral).

Yet in reality, the US, for example, has the Second Amendment, which grants citizens the right to bear arms and form militias. That doesn't sound like the government has a monopoly on violence.

I guess the weasel word is "legitimate"? But is that legal or moral legitimacy (or something else)? By whose definition and arrived at how?

It feels like such a pithy comment, "a monopoly on legitimate violence", like it's expressing something deep. Yet I get the sense that supporting it requires some contortion of logic and language. Maybe I'm missing something but it doesn't seem self-evident to me at all.
by mananaysiempre | 2025-09-17 21:46:40+00:00
Seriously though, I’ve been wondering for a while whether I could build a GCC for x86-64 that would have 32-bit (low 4G) pointers (and no REX prefixes) by default and full 64-bit ones with __far or something. (In this episode of Everything Old Is New Again: the Very Large Memory API[1] from Windows NT for Alpha.)

[1] https://devblogs.microsoft.com/oldnewthing/20070801-00/?p=25...
by deepdarkforest | 2025-09-17 21:46:54+00:00
Wow. Sneaky. They do not even state the rate of impact for the XLA bug afaik, which affected everyone, not just claude code users, very vague. Interesting.

Claude code made almost half a billion so far[1] (>500m in ARR and its like 9 months old) , and 30% of all users have been impacted at least once, just from the first routing bug. Scary stuff.

Their post mortem is basically "evaluations are hard, we relied on vibe checking, now we are going to have even more frequent vibe checking". I believe it was indeed unintentional, but in the future where investor's money wont come down from the skies, serving distilled models will be very tempting. And you can not be liable to any SLA currently, it's just vibes. I wonder how enterprise vendors are going to deal with this going forward, you cannot just degrade quality without client or vendor even being able to really prove it.

[1][https://www.anthropic.com/news/anthropic-raises-series-f-at-...]
by Workaccount2 | 2025-09-17 21:47:04+00:00
>This achievement is a significant advance over last year’s breakthrough result. At IMO 2024, AlphaGeometry and AlphaProof required experts to first translate problems from natural language into domain-specific languages, such as Lean, and vice-versa for the proofs. It also took two to three days of computation. This year, our advanced Gemini model operated end-to-end in natural language, producing rigorous mathematical proofs directly from the official problem descriptions – all within the 4.5-hour competition time limit.

[1]https://deepmind.google/discover/blog/advanced-version-of-ge...
by webdevver | 2025-09-17 21:47:35+00:00
wow lots of us burned by the same thing apparently!

clever hardware suffers the burden of having lots of edge cases spread across a small customer base. going for dumb hardware that has lots of buyers is less exciting but statistically more likely to "just work".

for me: from now on, its either lenovo business laptops (which sell probably 10s of millions of enterprise users), or macs (which sell the same.)

volume > being clever

p.s. infact, even the lenovo TB docks are a bit shaky. ugh, more cleverness! i think sticking to their proprietary docks would have been the better play. with their volume, it would have made a better product.