MurphyA/hacker-news huggingface dataset:
by hueho | 2025-10-02 18:01:56+00:00
But the trillion dollar industry also signed this statement, that's the point - high ranking researchers and executives from these companies signed the letter. Individually these people may have valid concerns, and I not saying all of them have financial self-interest, but the companies themselves would not support a statement that would strangle their efforts. What would strangle their efforts would be dealing with the other societal effects AI is causing, if not directly then by supercharging bad (human) actors.
by RiverCrochet | 2025-10-02 18:02:03+00:00
I cut the cord around 2010-2012 I think.

> Cable reminiscing is often tied to nostalgia for cable's always-on, varied, and unpredictable nature.

When I was young in the 80's, we had cable, and the above was true back then. Around 2010 I think that stopped. Infomercials everywhere late at night. Channels losing their identity by giving in to the then-prevalent reality craze and trying to hold eyeballs by acquiring shows not core to their identity.

When my bill became $200 I took a look at what I really watched on cable - and it wasn't much. A few shows on the Food Network and that was it. Most of my media time since I got broadband internet was YouTube. I never watched much sports or cable TV news, so that wasn't a reason for me to keep it. So I went to Internet only.

It sucks that things are fragmented across services, but it's much better from a cost perspective. It's easy to cancel services, and I don't need a $100 basic or premium package to get individual movie channels, which is how I remember it working. For example, if you wanted STARZ, that would be $10 a month, but you'd need to have the basic+premium services first. Now, if something I want to see is on STARZ, I can join, watch it, and cancel it a month later.

The article references this Reddit post https://www.reddit.com/r/Zillennials/comments/1losonr/anyone... which talks about missing the experience of live TV. I do kinda miss that, but it's not worth a $200 cable bill.
by anonym29 | 2025-10-02 18:02:11+00:00
The diagnostic reliability criteria even back then painted a picture of the details of the condition space being more nuanced than what were currently being captured, not less nuanced, so the idea of reducing nuance and distinction still seems questionable by an empirical and epistemological standpoint. However, that decision remains defensible and supported by the social justice / equity / de-hierarchicalization / eponym erasure motivational drives. These, besides the eponym erasure specifically, also explain many of the other changes in the DSM-5, like the elimination of many other more-detailed diagnoses, like PDD-NOS.

This isn't to assert that the clinical reasoning offered didn't have merit, just that institutional consensus-forming behavior isn't immune to the macro backdrop of the sociopolitical winds of the day.

Committee member A thinks: "These diagnostic categories aren't reliable" (true, clinical concern)

Committee member B thinks: "Honoring Asperger is ethically uncomfortable" (true, historical concern)

Committee member C thinks: "Hierarchical categories are problematic" (true, equity concern)

Committee member D thinks: "Spectrum model reflects current research better" (true, scientific concern)

No single person needs a "primary political motivation." No conspiracy needed. No explicit coordination required. Yet the outcome eliminating Asperger's and collapsing categories - emerges from a system where:

- Progressive ideology shapes what problems become salient

- Shared epistemic frameworks determine what solutions seem natural

- Professional incentives reward what can be publicly justified

- Social proof operates through "everyone reasonable agrees"

"The clinical rationale was legitimate" doesn't contradict "political ideology shaped the outcome."
by stego-tech | 2025-10-02 18:02:25+00:00
Exactly. It’s a scare tactic that relies on a misunderstanding of the prisoner’s dilemma and believing that they hold all the power.

In reality, the wealthy consistently learn that cooperation is better than betrayal, either through cooperation against a common enemy (like WW2), or bloody violence (like the Coal Wars).

It’s very much a “we’re not trapped in here with you, you’re trapped in here with us” kind of mindset, at least while we exist solely on a single planet (and even should we colonize Mars or elsewhere, it’ll take decades for such a separation to be feasible). People and governments just have to remember that we willingly abdicated that power to the wealthy in the first place, and we can take it back if desired.

Good news for the wealthy, though, is that the working class generally doesn’t seek lifestyles of mega mansions and ultra yachts so much as a decent home, healthy work/life balance, and time off for hobbies and/or family, all of which is pennies to provide.
by Animats | 2025-10-02 18:02:56+00:00
The end goal for DARPA's project is safe Rust. Translate unsafe constructs to safe constructs. C arrays of unknown length become Rust arrays or Vec items of known length. Pointer arithmetic becomes slices. (This covers most string manipulation, a high-risk activity in C.) Ownership translation probably will involve too much Rc/RefCell at first.

The key to this is using an LLM to recognize idioms, then formal methods to verify that the LLM guessed right. Which is what the current project is trying to do.

For example, consider C code with a function:

void foo(int* tab, size_t len) { ... }

TRACTOR needs to do something like:

- Look at foo and its callers. Determine whether "tab" is an array or an indirect pass of a single integer.

- Look at foo and see if tab is ever modified. That determines whether it is mutable. It may be necessary to go down the call chain. This analysis may not be able to determine if it is mutable, but if determines it is immutable, tab can be passed immutably.

- Ask the LLM to figure out the size of tab from context in both foo and its callers. Is len the length of tab? That's a common idiom in C an LLM can recognize, but it might be a wrong guess. Is it the length in bytes or in ints? Remember, the programmer had to be able to figure this out, so the LLM has a good chance of doing it.

- If tab is immutable, hypothesize that the correct translation is

fn foo(tab: &[int]) { ... }

and within "foo", len comes from tab.len()

Now attempt to use "lifting" formal analysis, as mentioned in the paper, to see if that changes the semantics of the program. Does "foo" subscript out of range? Can you prove that it doesn't?

This problem needs both LLMs and formal methods. LLMs to infer intent, and formal methods to check that inference.
by hyperman1 | 2025-10-02 18:03:02+00:00
Imagine any other thing treating you like this. Once a week, your IKEA cupboard locks itself and repairs some factory defects. You want something? Tough. Once every half an hour, it opens a random hatch and drops a ton of paper on the floor, full of IKEA ads. It has all kinds of cameras to see if it can sell you other IKEA stuff, but pinky promise, they don't sell images to others, except 700 partners. And every company in the world is petrified of fear about using other cupboards. But good news, here is some stuff a friend of a friend gave you, that stops all this. Mostly. For a month.
by octagons | 2025-10-02 18:03:26+00:00
Wow, this is overall great advice.

I am much later in my career than the audience I assume this is intended for, but I have struggled to mentor junior colleagues on many of the major bullet points here so succinctly.

This should be recommended reading for new college grads entering a more traditional (I.e. non-startup) work environment. Definitely keeping a bookmark of this for that reason.
by JCM9 | 2025-10-02 18:03:28+00:00
For manned flight instrument approaches the FAA has very nuanced math that defines this which typically comes down to a few hundred feet. That translates pretty well here too. Amazon will need to explain to the FAA why they were flying anywhere near this crane let alone that close and below the hight of its support structure. There’s no real defense for doing something that stupid.
by creer | 2025-10-02 18:03:31+00:00
> Inflation is a tax on poor already

It's a common trope but no. "The poor" don't live / operate on savings. "The poor", kinda by definition live by earning a paycheck or receiving subsidies and spending it all. As long as you have a stable situation (say, fixed x% inflation day in, day out) then what currency that paycheck is denominated in, is totally irrelevant. Money in minus money out equal still no savings in any dodgy currency. (It's different when there is the chaos of hyper-inflation - where the paycheck of one week cannot buy the groceries of the next.)

Inflation is a tax on people with savings and investments. Not on the poor but on everybody else. Poor retirees, yes.
by stemonteduro | 2025-10-02 18:03:34+00:00
Idk if you do it, but a good way to start collecting future features could be to ask your early users.

The idea of making it a community is interesting, but you have to find a way to offer something developers really need, because it’s difficult to make people passionate about a new “social” in this era.

Idk what it could be, maybe a way to match devs using their skills? So anyone can follow the progress/projects of devs in the same stack?

Then you probably need something that catches attention quickly, like an interactive map with the locations of every dev. That’s something that has been working lately (world maps showing different things on them). I would love to be on there because I know that maybe someone will search for devs in their country and so on. Interactive ways to find something, that’s the idea.

Anyway, you look passionate about it, so the only advice I can give you is to keep focusing on it and try everything you think makes sense in the direction of growing your user base.

Good luck and keep going!
by reducesuffering | 2025-10-02 18:04:01+00:00
> You really think this worries Sam Altman?

Yes.

"Development of superhuman machine intelligence (SMI) is probably the greatest threat to the continued existence of humanity. There are other threats that I think are more certain to happen (for example, an engineered virus with a long incubation period and a high mortality rate) but are unlikely to destroy every human in the universe in the way that SMI could." - Sam Altman

He's had more recent statements along these lines. But personally, I believe his fault is that he thinks careening towards this is inevitable and he's hoping the best thing to do given the wildly diverging outcomes likely is just to hope the emerging intelligence will come up with the alignment.

On Hinton: "I actually think the risk is more than 50%, of the existential threat."

https://www.reddit.com/r/singularity/comments/1dslspe/geoffr...
by bccdee | 2025-10-02 18:04:05+00:00
> The genocide has been recognised by consensus amongst experts,[11] a United Nations special committee[12] and commission of inquiry,[13] humanitarian and human rights organizations,[14] and international law experts[15][16] including multiple genocide studies[17] and 86% of voters in the International Association of Genocide Scholars.[18][19]

https://en.wikipedia.org/wiki/Gaza_genocide
by myroon5 | 2025-10-02 18:04:28+00:00
$100B Gates 1999 https://en.wikipedia.org/wiki/List_of_centibillionaires

$200B Bezos 2020 https://www.cbsnews.com/news/jeff-bezos-net-worth-200-billio...

$300B Musk 2021 https://www.cbsnews.com/news/elon-musk-300-billion-net-worth...

$400B Musk 2024 https://www.cbsnews.com/news/elon-musk-net-worth-400-billion...

$500B Musk 2025

https://news.ycombinator.com/item?id=45447250 https://news.ycombinator.com/item?id=45449800
by staindk | 2025-10-02 18:04:33+00:00
Fair point. After leaving my comment I realised what would likely be better is an easily replaceable battery. It may take up a bit more space but would IMO be worthwhile implementing.

I set my phone to only charge to 80% because I'd like to see how long I can use it for before itching to replace it - and if I make it to 3+ years having charged its battery to 100% overnight every day it won't have great staying power any longer.
by sotix | 2025-10-02 18:04:35+00:00
> Doesn’t mean smoking cigarettes is good for working.

Au contraire. Acute nicotine improves cognitive deficits in young adults with attention-deficit/hyperactivity disorder: https://www.sciencedirect.com/science/article/abs/pii/S00913...

> Non-smoking young adults with ADHD-C showed improvements in cognitive performance following nicotine administration in several domains that are central to ADHD. The results from this study support the hypothesis that cholinergic system activity may be important in the cognitive deficits of ADHD and may be a useful therapeutic target.
by kqr | 2025-10-02 18:04:53+00:00
> (which I don't think existed at the time anyways)

This surprised me at first because I remember using Python to create Minecraft maps early on, or at least in the beta.

But it seems like redstone was added in the alpha, and the earliest commits of pymclevel (which I think I used) also dates back to the alpha. So there might indeed have been a time window of a few months in which redstone was available but not tooling for creating maps.
by JumpCrisscross | 2025-10-02 18:05:14+00:00
> When imagining a system of government ruled by lawyers, I see it similar to an organization ruled by lawyers. In such organization/government the leaders are afraid of doing and thus are using lawyers as their excuse not to do anything.

My point is you're not describing an organisation ruled by lawyers. You're describing one ruled by nobody.

It would be like me saying organisations led by engineers don't work because if I imagine an organisation where the engineers aren't actually in charge, but someone asks an engineer whenever they don't want to make a decision, it doesn't work.
by Animats | 2025-10-02 18:05:41+00:00
Yes. The history is awful. Closed source, partially open source with free version, closed source, fully open source with free version (but not for commercial use), and then, suddenly one day, closed source. Twenty years ago, many of the Gnu tools built for QNX by default. That stopped.

You can get a "personal use license" now, but you can't distribute anything that has parts of QNX code in it.
by elcritch | 2025-10-02 18:05:54+00:00
Yes, it’s similar with ADHD as well. You really should seek a professional diagnosis before going around claiming it.

Even then you’re not free of the consequences. Sometimes just have to push yourself and say learn to bite your tongue to not blurt out an insensitive thing. What a diagnosis does give is knowing that yes it’ll be harder, to have patience with yourself, and to learn coping mechanisms.

Ironically, sometimes the worst criticism autistic or adhd people get though are from family or friends with undiagnosed autism or adhd themselves. Because they have to work so hard to mask they become very critical of people with legitimate diagnosis.
by ACCount37 | 2025-10-02 18:06:08+00:00
They will have a tech advantage.

You fast forward 10 years and find that your new laptop is Alienware. Because, it turns out, the super smart aliens are damn good at both running businesses and designing semiconductors, and, after a series of events, the aliens run Dell. They have their own Alien Silicon (trademarked), and they're crushing their competitors on price-performance.

And that's not the weirdest thing that could have happened. Corporate alien techbros are weird enough, but they could have gotten themselves involved in world politics instead!
by nonethewiser | 2025-10-02 18:06:13+00:00
That is what Trump said about the FDA decision to update labels. I agree it was stupid and misleading. The actual action taken was as the original commenter said.

The FDA decisions to update labels said:

>The U.S. Food and Drug Administration today initiated the process for a label change for acetaminophen (Tylenol and similar products) to reflect evidence suggesting that the use of acetaminophen by pregnant women may be associated with an increased risk of neurological conditions such as autism and ADHD in children. The agency also issued a related letter alerting physicians nationwide.

https://www.fda.gov/news-events/press-announcements/fda-resp...
by bonoboTP | 2025-10-02 18:06:27+00:00
Not the entire world but maybe enough of it.

I mean, think about the batshit idea of raiway transport in Europe. Like trains sound nice in principle, sure, it works on the scale of a mine or a shipyard to move things around, but using that to travel between all major cities (and even most villages) and countries all over? It would require laying thousands and thousands of kilometers of train tracks.

Or introducing electricity and phone lines, public lighting, and adopting various standards, metrification, putting road signage everywhere, etc. etc.

We've done a lot of large scale transformations. But to kickstart the process, robots need to be "good enough" without these infrastructure changes, and then people will see it and want the change. You can't start speculatively. It has to work first, and offer to work better if there is more infra standardization.
by mgraczyk | 2025-10-02 18:06:37+00:00
This is also a misunderstanding. Not how it works economically.

You do not pay for Instagram with your personal data. The data is elsewhere, not on Instagram. For example with your local retailer or credit card company.

Instagram pays for data about you, which they buy from other people. You do not have a say in this for the most part. Whether or not Instagram buys this data does not affect its collection.

You pay for Instagram with your time spent watching ads. The data they collect about you is mostly not for ads, it's to get you to spend more time on Instagram

To make it clear why this matters: If you banned advertising on social media, the amount of data collected about you would not decrease
by heldrida | 2025-10-02 18:06:42+00:00
There are alarming statistics about phone snatching in London. Plus, we are NOT OUR PHONES. Doesn't GitHub have a way for people to verify and prove somebody's identity? Given that's a fact, isn't it best to disable 2FA and stop recommending it to people?

Following this post, I have reviewed all my main accounts, created recovery codes, set up backups, and added alternative email addresses, among other tasks. Hope for the best.
by JustExAWS | 2025-10-02 18:06:57+00:00
> Migrating to managerial roles for me is a no-go however. I can't stand managing people.

We are in complete agreement here. I don’t manage people directly. But being responsible for projects that involve a other people does require you to know how to peer feedback, use soft skills etc.

> However, I live in Europe. I have the impression that things are not as dire here as they are in your side lf the pond in terms of employment in IT.

Probably not as bad and to be fair, if I were still looking for in office jobs in Atlanta where I spent my career from 1996-2020 working locally, it would have been easier. I assume in Europe you’re also not dealing with competing against the young tech bros.

> I mean, that is very important in IC roles. Part of my interview prep is a very detailed account of multiple projects I participated in STAR format, highlighting it from inception to delivery, including outcomes.

Thats definitely not mid level pulling tickets off a board behavior (that’s a compliment btw). I think we are in “violent agreement”.
by davidschultz | 2025-10-02 18:06:59+00:00
In this case it might interest you to learn that in Raku (Perl 6), the values passed to a function are also by default immutable within that function.

If one wants the function to mutate them, one has to explicitly mark them as `$x is rw` in the function signature; this then requires one to always pass a mutable container for $x. (A bit more detail: https://andrewshitov.com/2019/10/15/110-is-rw-vs-is-raw-in-r... )
by vlovich123 | 2025-10-02 18:07:04+00:00
> In any event, whatever right to bodily autonomy you think exists, the constitution is plainly more concerned about the right to bear firearms. The document devotes a whole amendment to firearms. But the most you can say about the right to bodily autonomy is that the constitution’s silence on it doesn’t preclude its existence.

What it says is that the constitution cares a lot about the power of the government to regulate the natural right to hold weapons and monopolize violence and how that monopoly works. Bodily autonomy comes for the natural born right of liberty from the government and I don’t see the governments power to regulate medical care anywhere in the positive enumeration of powers in the constitution. Like I don’t even know what gives the government constitutional power to regulate medical care in the first place.
by arbuge | 2025-10-02 18:07:13+00:00
Lots of comments here suggesting forwarding emails from the external account to Gmail as a workaround for this.

This isn't a complete workaround though. In particular, the option to delete the email from your server after retrieving it will not be replaceable. At least cPanel doesn't seem to offer the option to delete automatically after forwarding, and you could argue it shouldn't - with a push, you never know if the other end actually got it, unlike with a pull.
by k310 | 2025-10-02 18:07:21+00:00
If You Let Your Kid Use Sora, You're A Bad Parent --- AI Slop Will Raise Your Kids If You Don't

https://www.theindex.media/p/if-you-let-your-kid-use-sora-yo...

Saw this on HN.

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

15 points, 1 day ago, no comments.
by appreciatorBus | 2025-10-02 18:08:11+00:00
In non-drone aviation, we require vehicles to be separated from each other by 5 nautical miles horizontally and 2,000 feet vertically. Additionally every area of the planet they fly over has an MSA figure - Minimum Safe Altitude - which is supposed to guarantee 1000 feet clearance over any obstacles or terrain.

Both of these allow healthy margins of error, whether that error is from a human pilot or ATC, or from computer systems - either in the vehicle or the ground.

I'd argue these would be a great place to start for drone aviation.

If such limits make drone burrito or toilet paper delivery expensive, that seems fine.
by tpmoney | 2025-10-02 18:08:11+00:00
They could be if your options are “skip breakfast or eat something insane for breakfast because your brain and body crave it and it’s all you can manage to get yourself to eat if you are gong to eat.”

Think about how you might react if you were talking with someone about what they had for breakfast today and they answered “a bag of cotton candy and a beer”. That’s really weird right? Like you might be concerned about them for making that choice right? And what if on other days you notice that they’re a bit grumpier or more tired and they admit to not eating breakfast on those days. Now imagine over a few months you come to realize that your co-worker is either always skipping breakfast despite how it affects them, or they’re eating a bag of cotton candy and a beer. You’d probably be really concerned for them. You might even in an attempt to be helpful and supportive try and help them have better breakfasts, maybe even bring in some bagels (even though they always decline). This is an extreme example of course but for some autistic people, they will go through phases were if they eat they can only eat very specific things and those things aren’t going to be “normal”. During that time, the decision to eat or not to eat and the decision for what to eat are extremely fraught things because very well meaning and well intentioned people find the decisions being made odd and feel like they need to “help”. But if you don’t want the help (or worse if you know you should be doing something different but your mind will make you physically ill if you do) all that “help” is really just another stressor on top of everything else.