MurphyA/hacker-news huggingface dataset:
by graemep | 2025-08-14 16:25:50+00:00
I am not convinced that those are realised in real life.

The joy of learning is a better and more sustainable motivator than competition.

Learning to collaborate with others is an important skill, but I am not sure it is particular often promoted within classroom learning. There are lots of things you can do (sports, hobbies, anything that aims at an end in a group) that are better at teaching collaboration.

Spending less time on learning frees up time for other, IMO better, ways of learning all those skill.s
by abdullahkhalids | 2025-08-14 16:25:56+00:00
> non-monetary, in-kind benefits being excluded

This seems sane. The real question one should ask is, how many people can earn a living that allows them to meet basic needs, without state support?

You can have a separate figure that out of the number of poor people (like defined in the last sentence), how many are no longer poor with state support?
by projectazorian | 2025-08-14 16:26:07+00:00
Yep. My city did a deal with Hyperloop to build an express airport train instead of contracting with a European or Japanese company. Hyperloop pulled out and now there is no train, what a surprise.

You might ask "why don't they just re-bid the contract?" Answer: The new 'progressive' city government is opposed to building a train for 'rich people' since there's already a non-express metro that goes through some of the most crime-ridden neighborhoods of the city. Of course no businesspeople use it and they all take Ubers (many of which are Teslas)
by shkkmo | 2025-08-14 16:26:42+00:00
>Facebook did not make a conscious decision to process this data.

Yes, it did. When Facebook built the system and allowed external entities to feed it unvetted information without human oversight, that was a choice to process this data.

> without any attempt to prevent it is a flawed argument, as there are many controls, many disclosures, and (I'm sure) many internal teams and systems designed exactly for the purpose of determining whether the data they receive is has the appropriate consents

This seems like a giant assumption to make without evidence. Given the past bad behavior from Meta, they do not deserve this benefit of the doubt.

If those systems exist, they clearly failed to actually work. However, the court documents indicate that Facebook didn't build out systems to check if stuff is health data until afterwards.
by qwertylicious | 2025-08-14 16:26:57+00:00
Yup, fair. I tried to acknowledge that in my paragraph about KYC in a follow-up edit to one of my earlier comments, but I agree, the language I've been using has been intentionally quite strong, and sometimes misleadingly so (I tend to communicate using strong contrasts between opposites as a way to ensure clarity in my arguments, but reality inevitably lands somewhere in the middle).
by jauntywundrkind | 2025-08-14 16:27:23+00:00
Fwiw there's a really nice write-up on how Steam Deck does A/B updates, using rayc and casync/desync. https://github.com/randombk/steamos-teardown/blob/master/doc...

Also Collabora had a nice update on tuning work they did. https://www.collabora.com/news-and-blog/news-and-events/stea...

I'm a little surprised they use casync and multiple partitions, given that root is on btrfs. As they have it is more reliable if anything does go bad, so makes sense, but: given that steam decks are on a given snapshot of the btrfs system, it seems like they could just send an incremental update to the next release and try to boot that. Oh ah, that breaks down if, like me, you disable the readonly root.
by aidenn0 | 2025-08-14 16:27:28+00:00
>> there's no way to get hashes of the archives

> This is provided as a URL fragment on the URLs, as described in https://peps.python.org/pep-0503/. Per PEP 658, the hash for the corresponding metadata files is provided in the data-dist-info-metadata (and data-core-metadata) attributes of the links.

Also, this is an implementation detail, but the archives are stored in a content-addressable store with the path being based on the (hexadecimal) blake2b/256 hash of their contents.
by Mc91 | 2025-08-14 16:27:31+00:00
You are looking at this from your perspective, which is either pass or fail.

From their perspective, they might be interviewing, say, six people. As you say, they've already weeded out people from their resumes before they even get to the interview. From my experience, and I have heard people note this before, interviews tend to be a Gaussian curve with a normal distribution. People are weeded out by resumes and such. However, if I interview six people, usually someone slips through the cracks who knows nothing or next to nothing. That leaves the remaining five.

Of the five, four are usually interchangeable. They're like you - they get the technical questions right, or right enough. It's obvious they've been writing features for code for a company like yours. But of the five, often one person seems to not just know the easiest questions, or normal questions, but has a very good understanding of the subject matter. You keep probing how much they know, and they have in-depth knowledge about a lot of things. They know how registers on a processor work, they know about cache, they know the big O space of various algorithms, they can explain different approaches to concurrency in depth, or testing, or a lot of things. So you got the answers right, they just did better.

It could be something else - you might be just as good as someone else, but they were recommended by someone already on the team, or on an adjacent team, and they get brought in.

I guess personalities are on a bell curve as well. Maybe one out of six people fail on this. Maybe they're disorganized, or immature, or arrogant. Sometimes they miss basic social cues, or don't follow instructions, or even seem like they have a screw loose. Then four out of six people seem nice enough - professional but friendly. Then maybe one out of six just seems very sharp and smart, or avuncular, or what have you. A lot of it ties together - someone who has done the work to learn a programming language more than the other candidates, you assume is going to be hard-working on features as well, and they also seem sharp because they know so much (about IT, but other things as well).

Some things are contrasting. The hard-working person who knows the programming language in and out, and who gets a lot of feature work done is probably willing to sacrifice a little comity within the group to get a feature out. On the other hand, some people are so stubborn and argumentative, their presence would be a negative, even if they have technical skills. But some personality traits can contrast - I've working with friendly, supportive leads with great technical skills, but if they are a little bit hard charging this type of thing might be expected to come with the package of being very good technically.
by ferfumarma | 2025-08-14 16:27:42+00:00
> the press release called this a clinical trial, but it's not

Yes, it is.

Any intervention in humans that is meant to create generalizable information regarding a treatment intervention is a clinical trial.

The quality of the information is not as strong as a double-blind, placebo controlled, RCT, but it is still accurate to call it a clinical trial.
by bpye | 2025-08-14 16:28:08+00:00
VMWare Workstation [0] (and I thought VirtualBox - though I can't find any official docs [1]) should be able to use the Hyper-V hypervisor via WHP.

QEMU can also use WHP via --accel whpx.

[0] - https://techcommunity.microsoft.com/blog/virtualization/vmwa...

[1] - https://www.impostr-labs.com/use-hyper-v-and-virtualbox-toge...
by aagam-axle | 2025-08-14 16:28:09+00:00
Hey all,

I'm one of the founding engineers at Axle (backed by Google + YC) and we're building the universal API for insurance data (think Plaid for insurance).

We've 5x'd this year and are hiring quick to keep up with demand. We're looking to bring on some more engineers onto the team. We'd love to chat if you're excited by startup life. Our team is in-person 4 days a week in our Flatiron/NoMad office in NYC.

What we're looking for - 1+ years of experience (or equivalent) building software systems in production environments. - Ability to take abstract projects end-to-end, operating with high agency - Desire to learn and be scrappy when faced with uncertainty

Feel free to reach out at careers@axle.insure!

https://axle.insure.

https://techcrunch.com/2023/04/10/gradient-ventures-axle-pla...

https://www.ycombinator.com/companies/axle/jobs/8wAy0QH-prod...
by epistasis | 2025-08-14 16:29:01+00:00
The government banning your book from a school library is clearly a repercussion. That's what free speech has always been about, limit the ability of the government to enact repercussions.

What is "absolute" about this?

Do you want your own speech to be absolutely free of repercussions to you, be they government or not? Is that it? I really have trouble trying to put some sort of consistent framework in this, unless it's dividing the world into two classes of people: those who will not experience repercussions and those who will experience repercussions for their speech.
by bee_rider | 2025-08-14 16:29:17+00:00
I don’t like the analogy because “hosting an event” is a fuzzy thing. If you are hosting an event with friends you might be able to rely on the shared values of your friends and the informal nature of the thing to enforce this sort of norm.

If you are a business that host events and your business model involves photos of the event, you should have a professional approach to knowing if people consented to have their photos shared, depending on the nature of the venue.

At this point it is becoming barely an analogy though.
by dehrmann | 2025-08-14 16:29:22+00:00
Not at Facebook, but I used to work on an ML system that took well-defined and free-form JSON data and ran ML on it. Both were used in training and classification. Unless a human looked, we had no idea what those custom fields were. We also had customers lie about what the fields represent for valid and less valid reasons.

Without knowing how it works at Facebook, it's quite possible the data points got slurped in, the models found meaning in the data and acted on it, and no human knew anything about it.
by fsflover | 2025-08-14 16:29:28+00:00
> I guess some of the apps were also goofy on a widescreen monitor, but that's not really Android's fault.

It is the main Android's fault. It's not based on GNU/Linux, so you can only run specifically designed apps and can't run ordinary desktop apps. As such, a large screen is almost useless even if it technically works.
by atmavatar | 2025-08-14 16:29:38+00:00
I challenge you to make a point-for-point, truly apples-to-apples comparison.

Fundamentally, there are a lot of Republican policies which attempt to force Christianity or at least Christian morals down our throats, whether it be forcing women to have children, or posting the ten commandments in schools and government buildings, banning pornography, or preventing gay marriage.

I'm rather curious what Democrat policies are equivalent in your mind that would make you try and "both sides" this. And I mean actual passed or proposed policies -- not just bullshit you see from Hollywood and other media.
by mbesto | 2025-08-14 16:29:45+00:00
We also thought 3D printing would print us a car, but alas.

FWIW - 3d printing has come a far way, and I personally have a 3D printer. But the idea that it was going to completely disrupt manufacturing is simply not true. There are known limitations (how the heck are you going to get a wood polymer squeezed through a metal tip?) and those limitations are physics, not technical ones.
by sixdimensional | 2025-08-14 16:29:48+00:00
I feel like the fundamental concept of symbolic logic[1] as a means of reasoning fits within the capabilities of LLMs.

Whether it's a mirage or not, the ability to produce a symbolically logical result that has valuable meaning seems real enough to me.

Especially since most meaning is assigned by humans onto the world... so too can we choose to assign meaning (or not) to the output of a chain of symbolic logic processing?

Edit: maybe it is not so much that an LLM calculates/evaluates the result of symbolic logic as it is that it "follows" the pattern of logic encoded into the model.

[1] https://en.wikipedia.org/wiki/Logic
by phailhaus | 2025-08-14 16:29:54+00:00
Feels like, but isn't. When you are reasoning things out, there is a brain with state that is actively modeling the problem. AI does no such thing, it produces text and then uses that text to condition the next text. If it isn't written, it does not exist.

Put another way, LLMs are good at talking like they are thinking. That can get you pretty far, but it is not reasoning.
by andreasmetsala | 2025-08-14 16:29:58+00:00
> but the metaverse taking over did not happen partially because many people still get nausea after a bit and no 10x scaling fixed that.

Has VR really improved 10x? I lost touch after the HTC Vive and heard about Valve Index but I was under the impression that even the best that Apple has on offer is 2x at most.
by RealStickman_ | 2025-08-14 16:30:08+00:00
You can still get quad cores, here's an Epyc CPU with four cores [0]

Here's also a recent Xeon quad core [1]

Beside that, could you please show me where the F-Droid build server uses an Oracle Database?

[0] https://www.amd.com/en/products/processors/server/epyc/4004-... [1] https://www.intel.de/content/www/de/de/products/sku/236193/i...
by AlexandrB | 2025-08-14 16:30:15+00:00
> They've been transparent about their desires to censor media.

100% agree, but what's frustrating is that "the left" are not much better. We get things like the rewriting[1] of Roald Dahl's books based on the feedback from "sensitivity readers".

I don't really know who to vote for to stop stuff like this. No political party seems to be on the side of a principled defence of freedom of speech. Instead it's always about censoring your opponents and their ideas while you're in power.

[1] https://en.wikipedia.org/wiki/Roald_Dahl_revision_controvers...
by ac29 | 2025-08-14 16:30:37+00:00
> they might not include staff time and incidental costs around cash transactions that aren't obvious because they're not linked to the individual transactions, such as reconciliation, time spent transporting the cash, costs of depositing the cash, insurance to cover storage of cash.

Yep. I worked as a supervisor in retail for a number of years and here's a list of cash handling costs that dont exist with card payments:

Making change on each transaction

Counting cash drawers in and out for each employee shift

Preparing daily bank deposits

Going to the bank to make deposits and get new change

Theft (by employees, external theft wasnt a problem for us)
by notatallshaw | 2025-08-14 16:30:54+00:00
> Obstinate maintainership is a real failure mode of open source

I agree, but I also think sometimes that people think it's obstinate maintainership and it's not. For example, large PRs are hard to merge from a contributor who is fresh to the project because there is so much careful review that needs to be done, it's very resource intensive.

That said, one of my goals of becoming a maintainer has to be to try and making submitting a PR more friendly. Feel free to submit a PR to pip, I will be happy to help you get over any teething issues.
by GhostDrift | 2025-08-14 16:31:18+00:00
This work was released on August 15th, during Japan’s Obon — sometimes called “Ghost Day,” when spirits are said to return to the world of the living. In a way, that timing feels symbolic: the model presented here is about allowing a “ghost” of a Gödel sentence to cross the barrier into provability. The rest of this post focuses on the technical details — but the coincidence was too fitting not to mention.
by rayiner | 2025-08-14 16:32:01+00:00
No that’s not how the first amendment works. You’re thinking of situations where the government offers a platform to the public and can only impose viewpoint-neutral restrictions on access to the public forum. So the government couldn’t operate a government-owned sales platform for books and discriminate based on viewpoint.

The books stocked in government libraries is more like the government speech doctrine: https://www.law.cornell.edu/wex/government_speech. The government itself is allowed to have a viewpoint.
by aagam-axle | 2025-08-14 16:32:24+00:00
Hey all,

I'm one of the founding engineers at Axle (backed by Google + YC) and we're building the universal API for insurance data (think Plaid for insurance).

We've 5x'd this year and are hiring quick to keep up with demand. We're looking to bring on some more engineers onto the team. We'd love to chat if you're excited by startup life. Our team is in-person 4 days a week in our Flatiron/NoMad office in NYC.

What we're looking for - 1+ years of experience (or equivalent) building software systems in production environments. - Ability to take abstract projects end-to-end, operating with high agency - Desire to learn and be scrappy when faced with uncertainty

Feel free to reach out at careers@axle.insure!

https://axle.insure.

https://techcrunch.com/2023/04/10/gradient-ventures-axle-pla...

https://www.ycombinator.com/companies/axle/jobs/8wAy0QH-prod...
by AtlasBarfed | 2025-08-14 16:32:40+00:00
What you really need to understand about inflation, is that we've had particularly exceptionally low long-term inflation in America for the last 50 years, outside of stagflation in the '70s.

And this is all enabled by globalization and global trade. Globalization fundamentally provides arbitrage for two things. Labor costs, and environmental regulation.

Because there were a lot of poor desperate countries that would build your stuff for near slave labor conditions.

In particular, China of course. But China has now passed through its phase of poor desperation. It is now an urbanized economy. So of a lot of other poor desperate countries aren't quite as poor desperate.

Globalization is fundamentally enabled by the US Navy and US military supremacy guaranteeing shipping trade on the oceans.

This has not been the historical Norm. It's actually historical anomaly caused by the power vacuum of world war II, and secondarily by the fact that the Cold war was between the US and maritime power and Russia, who are effectively landlocked.

Some scholars term China as a continental power, especially cuz of their history of invasion like the Mongols, but unlike Russia, China has a very large coastline with a lot of ports that aren't locked in by Arctic ice.

They are a hybrid Continental and a maritime power, and based on their shipbuilding, their ambitions are to become a maritime power.

This combined with American lack of enthusiasm for maintaining this global order, likely means that globalization will come to an end.

And that means onshoring production back from China.

We'll see if this actually happens, but that is the trend long-term.

And that involves a huge amount of switching costs, which essentially is going to be inflation.

I'm certainly not going to sit here and say that Trump's economic policies are correct. Of course, the proper way to handle a transition of reonshoring our production from our previous 50 years of globalization would be gradual and controlled.

Not a bunch of stupid chaotic tariff policies.

But essentially what Trump is doing is in line with everything I've described.
by glitcher | 2025-08-14 16:32:51+00:00
Making a claim and supporting it by effectively saying "go look it up yourself" is hardly compelling. It might be accurate, or perhaps not incorrect but misleading.

This smells a lot like the old "both sides do bad stuff" argument, which often gets over applied to pretend there is no difference in magnitude of the egregiousness when two sides do similar bad stuff.
by GhosT078 | 2025-08-14 16:32:54+00:00
Ada has been held back primary by an image problem that traces back to the high cost and poor performance of a lot of early Ada 83 compilers. Ada adoption has never really recovered from that despite its many technical advantages, and despite the low cost and good performance of several current compilers.

The GNAT Ada compiler, always open source and quite good, has been freely available since the 1990's. It has been part of GCC since about 2003.

There are plenty of open source Ada projects on GitHub and other places although not nearly as many as some other languages.

The Ada ecosystem is mature and complete, particularly the GNAT related tools supported by directly or indirectly AdaCore (https://github.com/AdaCore and https://alire.ada.dev/).

The language evolution has been stable and is still on-going. I have worked primarily with Ada for 30 years. I still work on new Ada projects on a mid-sized team. Most of us just don't participate in forums like this.
by graemep | 2025-08-14 16:34:12+00:00
I have studied in streamed classes (in a school that was very selective anyway) so closely grouped by ability.

I did find working with friends in small groups effective at postgraduate level (although we organised it ourselves) and I would have done better to have done more of that. However this was a small group, not a class.

Classrooms and lecture rooms do not promote interactions. On the other hand one to one tuition is continuous interaction, hopefully with someone who is a better model for interaction that other kids, and who is encourages interaction.

I think we are talking about four different things here. Self teaching, 1:1, small groups, and classrooms. 1:1 and learning oneself are far more effective than classrooms. I cannot compare with small groups, and they are used at some universities (e.g. the tutorial system at Oxford and Cambridge), but my feeling is that it will be highly effective for the right people and the right subject. Then again, those universities require a lot of ability and motivation to get into, so maybe that is why it works for them.
by Levitz | 2025-08-14 16:34:50+00:00
On whose speech?

It seems more and more that the elephant in the room here is that schools are part of government, but they overwhelmingly lean the opposite side of the administration and they want to exercise their speech through their positions, but the government doesn't want to allow that.

Private individuals would of course enjoy first amendment protections on speech, but if you are government you don't get your speech restricted by government, that's just government. You can't eat your cake and have it too.
by ljsocal | 2025-08-14 16:35:00+00:00
There are some good rent vs own calculators out there. One thing that each person has to weigh is how much they value their time. Owning a home requires a certain amount of time that renters don’t commit. Not counting the considerable time in seeking out and buying a home or the preparation and process of selling a home, there’s an enormous amount time spent on maintenance, repair, renovation, etc. I’ve owned and rented and, for me, renting is a far superior lifestyle.
by bunderbunder | 2025-08-14 16:35:06+00:00
Fair, but also, investing is kind of its own thing because it's inherently trying to predict the future based on partial information today.

Engineering decisions, which is closer to what TFA is talking about, tend to have to be a lot more focused on the here & now. You can make bets on future R&D developments (e.g, the Apollo program), but that's a game best played when you also have some control over R&D budgeting and direction (e.g, the Apollo program), and when you don't have much other choice (e.g, the Apollo program).
by ryandrake | 2025-08-14 16:35:22+00:00
You're (arguably correctly) nit-picking OP's choice of the phrase "brown people." We can debate whether it makes sense to lump "brown people" together or not for the purpose of describing Republicans' attitudes toward human rights, but it would probably be more accurate to just reword OP's statement in more general terms: "Republicans have been transparent that they want to dehumanize out-groups." The point would still stand, and we avoid the distraction of whether "brown people" exist as a distinct group.