MurphyA/hacker-news huggingface dataset:
by jcranmer | 2025-09-11 19:53:34+00:00
Rust's core object semantics are very nearly that of C. Really, the only major difference between Rust and C is that you can't violate mutable aliasing rules in Rust, even in unsafe, and C has a strict aliasing mode that Rust can't opt into.

The main practical difference is that Rust pushes you away from UB whereas C tends to push you into it; signed integer overflow is default-UB in C, while Rust makes you go out of your way to get UB integer overflow. Furthermore, the general design philosophy of Rust is that you build "safe abstractions" which might require unsafe to implement, but the interface should be impossible to use in a way which doesn't cause any UB. It's definitely questionable how many people actually adhere to those rules--some people are just going to slap the unsafe keyword on things to make the code compile--but it's still a pretty far distance from C, where the language tends to make building abstractions of any kind, let alone safe ones, difficult.
by thewebguyd | 2025-09-11 19:54:11+00:00
Same thoughts.

I did try one, the Pixel 9 Pro Fold for 6 months before going back to iOS (I'm too deep on the ecosystem, but I like to try Android again every once in a while).

I think I only used it unfolded like three times. It was pretty much pointless for me.

Anything I need a bigger screen for, I almost always have either my laptop or iPad with me for that. I don't WANT to do things on my phone, I actually want to use it less - a foldable offers the alternative deal, where you want to and actively use your phone for more and more tasks forgoing other devices.

Not for me, probably never will be.
by ge96 | 2025-09-11 19:54:40+00:00
It was funny I was handed this project to work on and I skimmed the ReadMe, there were a lot of readmes in the code like how to use pipenv or whatever basic stuff... at first I was like "nice job with the docs" but then I later realized it was a vibe coded project I felt like I was owned. It's funny

Also funny how much time was wasted since it had random code in it that was not removed (not working old code vs. current working new code) that's not to blame on the AI part but yeah.

I have a job now in the industry it's funny I work with AI eg. AWS Bedrock/Knowledgebases/Agents... RAG/LLM AI.

The AI I want to work with is vision/ML (robotics) but don't have the background for that (I do it as a hobby instead).

I'm feeling the effect of vibe coding now, where the 2nd leader in our team was only recently a developer but uses ChatGPT/windsurf to code for him which enables him to work on random topics like OpenSearch one day Airflow the next... idk I get I'm the one being left behind by not doing it too but I also want to really learn/understand something. You can do that with an AI-assisted thing but yeah... idk I don't want to that's what I'm saying, I will get out eventually once I've saved enough money.

My learning process for a while has been watching YT crash courses/reading the docs/finding articles...

The project I mentioned above there was literally a prompt in the repo "Write me an event-driven app with this architecture..."

The 2nd leader I mentioned above is a code at work/not at home type of person which is fine but yeah. I'm not that person, I like to actually code/make stuff outside of work. It's not just about getting a task done/shipping some code for me. But I guess that's what a business is, churn out something.

Idk there's some validity there isn't there... "I've been a developer for 10 years, then a guy with 2 years comes in vibe coding stuff" is the leader. Which I'm past it, I don't do office politics anymore, I've got a six-fig job, no need to climb, I'm coasting. Debt is really the only problem I have.
by linguaz | 2025-09-11 19:54:48+00:00
Interesting post about Picat:

Planner programming blows my mind

https://www.hillelwayne.com/post/picat/

> Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I originally learned it to help with vacation scheduling but soon discovered its planner module, which is one of the most fascinating programming models I’ve ever seen. ...
by yorwba | 2025-09-11 19:55:15+00:00
The "Verified" part of "SWE-Bench Verified" means that there was plain "SWE-Bench" before it, which had actually not been verified at all and included a lot of tasks that didn't really make sense for use as a benchmark: https://openai.com/index/introducing-swe-bench-verified/#ada...

Data contamination stemming from the fact that it's based on already-solved problems in public repositories is a different issue that cannot be addressed by verifying the benchmark questions harder, but only by putting stricter limits on the model under test.
by thewebguyd | 2025-09-11 19:56:09+00:00
It's only life changing if you use your phone for most of your computing. I don't, I tried a foldable and barely used it unfolded, just didn't "get it." If I need to do something that's frustrating on a phone screen, I don't use my phone - I almost always have my laptop with me, or my iPad near by. If I don't, it can probably wait until I get home anyway.

Consequently, probably why I might be "downgrading" from a pro max down to the new iPhone Air. No bulk, no excessive camera array...just a thin, light phone.
What's working for startup growth in 2025?
by josephjrobison | 2025-09-11 19:56:31+00:00
This is just a general discussion based on this YC tweet https://x.com/ycombinator/status/1966205098595336447?s=46

Where do YC startups go to for growth guidance online? Is the secret behind closed doors?

Every startup is unique but would love to hear what’s working or what the highest quality sources of ideas is!
by graeme | 2025-09-11 19:56:32+00:00
>Or even more likely, as others have suggested, it’s Apple being petty and withholding features from EU users to put pressure on the EU.

The EU has threatened massive fines for creating features not available to competitors. And the EU refuses to vet a feature officially in advance.

Under such conditions, how would you distinguish being petty from complying with the law?

The EU probably imagined the outcome would be: change your business practices entirely for the EU, and make all new features open to all, immediately, perpetually, everywhere.

But that's not the norm for the vast majority of companies, for a variety of sensible reasons. Given that it's actually hard to do that, witholding new features until you're told "yes this is ok" is a rational response to the law.
by toast0 | 2025-09-11 19:57:06+00:00
> I can also forward a caller to voicemail where their message is transcribed in real time, which is fundamentally the same mechanics.

Voicemail greetings typically inform the caller the message will be recorded, and there'a often a beep which is an indicator of recording as well. If you don't consent to recording, you can hang up without leaving a message.
by anematode | 2025-09-11 19:58:09+00:00
KASLR is broken anyway, at least on x86, even with KPTI (a Linux feature to mitigate Meltdown) enabled. See https://www.willsroot.io/2022/12/entrybleed.html, which still runs fine (with some modifications depending on the microarchitecture) on the latest AMD and Intel hardware that we've checked.
by jajuuka | 2025-09-11 19:58:24+00:00
Believe it or not people use phones for different purposes. Some people carry phones in bags or purses where space not a not a big concern. Some people use their phones for work and a bigger screen is helpful in the process and for multitasking. Some people aren't rough with their phones either.

A fad doesn't last this long. We are on year 7 of foldables available in the mainstream and sales and production are only increasing. Every major OEM has at least foldable or is releasing one soon. 3D TV's were fully dead in 7 years for context.
by nozzlegear | 2025-09-11 19:58:54+00:00
>You really think the USA having nearly twice as big an infant mortality rate is nitpicking?

Come on, are you going to make my argument so easy? Twice of two drops of nothing is four drops of nothing. You're nitpicking numbers that frankly don't make a difference because they're too close to matter. But don't argue with me, argue with the author of the article where you can see all of the data and comparisons for yourself.
by tracker1 | 2025-09-11 19:58:57+00:00
Even if you are overweight... it's NOT easy to lose weight.. especially if you've lost a significant amount of weight in your life. You may well have a really dysfunctional metabolism, and most advice is just bad for this case. Many people actually have to eat more of a reduced menu in order to lose weight.

I'm a pretty big fan of carnivore for this, which has its own detractors, and countering half a century of misinformation of meat and fat isn't the easiest thing in the world. And even then, you may still need some level of supplemental insulin for a long while.

That isn't to say I support general gluttony and laziness... but it isn't that easy, and its even harder when people just assume you aren't even trying or have negativity towards you in general. You try to work out and you get dirty looks and stares... you are eating out (healthy options) but again, dirty looks and stares... it doesn't help.
by petre | 2025-09-11 19:59:01+00:00
Not needing a python interprter and setting up cron jobs? The sole reason for using Caddy really, because it's just install and forget. I never had an expired certificate with it. I don't want to mess with an entirely different webserver config either after having fully configured my nginx instances. Too bad they wrote it in rust instead of C, now I need another compiler to build it. Minor nuisance. Hopefully it will get packaged.
by defen | 2025-09-11 19:59:45+00:00
Bluesky is 99% people who left twitter because Elon Musk took over. I don't have any hard data but I can't think of any reason why a Bluesky user would celebrate someone on their side being attacked or murdered.

> It sounds like your point is when left wing politicos are targeted and people celebrate it, those are obviously sock-puppets and bots. But when right wing celebrities (for lack of a better word) are targeted, it's the democratic base that comes out in force to celebrate.

When left-wing politicos are targeted, my experience is that right-wing people have a playbook of possible responses: 1. It didn't even happen 2. It happened, but it wasn't one of our guys (with zero evidence to support that claim) - e.g. J6 was antifa, Paul Pelosi was attacked by his gay lover, etc. 3. Tasteless jokes, but nothing rising to the level of "it's good that this happened" or "he deserved it because of his political beliefs". Happy to be corrected on that one.

When right-wing politicos are targeted, my impression is that "the left" is much more celebratory. Maybe that's just my own bias/filter bubble.
by johnnyanmac | 2025-09-11 20:01:13+00:00
Is this really "both sides"? Just for this community here, compared the reaction:

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

To this one

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

You won't even get the names of the latter on this site if this is how you consume news.
by crq-yml | 2025-09-11 20:01:22+00:00
You've implemented a stack calculator, which misses the big picture: the stack is an implementation detail that enables a lot of the nifty stuff, but Forth is a "braided language" - the whole is more than the sum of the parts. Each part of it is just implementation, and the implementation is kept simple, but all of it needs to be there to make it completely usable. The distinction is important and non-trivial to the design of the interpreter.

To get there, please implement some of the metaprogramming words found in one of the standardized Forths(and if you aren't sure which one, use an earlier spec like Forth83 since the core wordset is smaller, so you run into the "hard stuff" faster).

Forth used in anger towards an application actually tends to resemble Fortran: procedural idioms flinging around lots of named temporary variables. The stack, being just implementation, doesn't give any assistance for everyday programming, unless you extend the system to do so. This is a point on which modern concatenative languages have diverged and tried to add some rigor into it.
by rickdeckard | 2025-09-11 20:01:23+00:00
Quite clearly the EU DMA.

As part of the Digital Markets Act (DMA) evaluation [0], Apple was found to operate a market for headphones connected to its devices, while competing in the same market with own products and giving itself a competitive advantage by creating OS-features exclusive to them.

The EU found this is not a level playing field for competition and ordered that they have to make such OS features available for other accessory manufacturers as well.

I guess they are currently either trying to make a case for the EU on how it is technically impossible to provide the feature to others, prove that this is somehow not an OS-feature (and should be excluded) or delay any action to maximize the benefit of this competitive advantage in other markets.

I wouldn't be surprised if there are also beats headphones in the pipeline for which they want to use this feature as competitive USP...

[0] https://ec.europa.eu/commission/presscorner/detail/en/ip_25_...
by thrance | 2025-09-11 20:01:57+00:00
He was helping the "unborn" by advocating for stripping womens of their rights and sending them back to the house.

He was helping students by supporting the most anti-intellectual party ever, that cancelled student debt relief and help programs.

He was helping the downtrodden by supporting the most billionaire-friendly administration ever, giving tax breaks to the rich and dismantling the last of our social safety nets.

Get real. I don't even buy that you believe all that shit.
by dns_snek | 2025-09-11 20:01:58+00:00
> If you want to stop things like Chat Control, give parents an alternative

No! It is not my job to appease your fantasies. It is your job to first and foremost prove that Chat Control will effectively curb child abuse, which proponents of the legislation have completely failed to do. Secondly it is your job to ensure that your solution doesn't break the EU charter of fundamental human rights.

Here is a solution for you: All children must be accompanied by their legal guardian at all times - a child must never leave their sight. Unlike Chat Control, this solution would actually work and prevent all cases of abuse except those perpetrated by the guardians themselves.

> Parents will happily run government code on all their devices if it means the government strings up pedophiles every week.

By all means, I support your decision to run government code on all of your devices. Just keep mine and everyone else's out of it.
by omnicognate | 2025-09-11 20:02:11+00:00
Understanding how they work in the sense that permits people to invent and implement them, that provides the exact steps to compute every weight and output, is not "meaningful"?

There is a lot left to learn about the behaviour of LLMs, higher-level conceptual models to be formed to help us predict specific outcomes and design improved systems, but this meme that "nobody knows how LLMs work" is out of control.
by import | 2025-09-11 20:03:04+00:00
There is a MIDI sequencer called ZOA (for Apple devices) that does a very similar job. I had a lot of fun with it, combining it with synthesisers (I have bunch of them but my fave is Moog's) inside AUM.

https://apps.apple.com/nl/app/zoa-living-midi-sequencer/id15...
by worble | 2025-09-11 20:03:29+00:00
As a last ditch resort, you can always use flatpaks, or failing that, use distrobox and install it in a distro that does actually package it. Yeah, it's a faff but hopefully you'll have to very rarely do this (if ever, I currently daily drive nix for web development and gaming and don't have anything that isn't nix-ified but obviously that's highly up to what you need)
by modeless | 2025-09-11 20:03:36+00:00
The link to the breakdown of ChatGPT's memory implementation is broken, the correct link is: https://www.shloked.com/writing/chatgpt-memory-bitter-lesson

This is really cool, I was wondering how memory had been implemented in ChatGPT. Very interesting to see the completely different approaches. It seems to me like Claude's is better suited for solving technical tasks while ChatGPT's is more suited to improving casual conversation (and, as pointed out, future ads integration).

I think it probably won't be too long before these language-based memories look antiquated. Someone is going to figure out how to store and retrieve memories in an encoded form that skips the language representation. It may actually be the final breakthrough we need for AGI.
by HankStallone | 2025-09-11 20:03:37+00:00
Some users may be too young to remember this, but up until the 2010s, liberals were generally opposed to all censorship by anyone, and wanted the First Amendment to be interpreted liberally to apply beyond just government actions. It wasn't until about 2017 that you started to hear liberals say, "They're a private corporation; they can do what they want," which you would have heard only from conservatives before that.

Now that some corporations appear to be shifting again and can't be trusted to censor only conservatives anymore (most notably Twitter after the Musk purchase) we're seeing the 20th-century expansive interpretation of free speech making a comeback on the left. Feels comfy, like an old pair of slippers.
by johannes1234321 | 2025-09-11 20:03:47+00:00
Oh, I remember my Solaris fanboys praising Kernel-Level TLS as it reduced context switching by a lot. I believe they even had a patched openssl making this transparent to openssl based applications.

Linux seems to offer such facilities, too. I never use it to my knowledge, though (might be that some app used it in background?) https://lwn.net/Articles/892216/
by SilverElfin | 2025-09-11 20:05:24+00:00
I hear you but also think this attack on Charlie Kirk feels worse than the rest. Partially because of how graphic it was and because it happened in front of his wife and young children. But also because he’s not an elected politician but more of an everyday activist, mostly known for just talking to people calmly and respectfully in open casual chats on college campuses. It is a serious threat to free speech, civil politics, and stability when having respectful conversations makes you a target. It really shows how threatened some people are by free speech, which is America’s most basic and fundamental value.

For what it’s worth, some of the people you named also put out statements about the Charlie Kirk assassination and have responded more strongly to this than the other events you mentioned. Examples:

https://x.com/GovernorShapiro/status/1965859876003000834

> Political violence has no place in our country.

> We must speak with moral clarity. The attack on Charlie Kirk is horrifying and this growing type of unconscionable violence cannot be allowed in our society.

https://x.com/GovWhitmer/status/1965865371464061001

> Thinking of Charlie Kirk, his family, and the community at UVU after the horrific shooting. We should all come together to stand up against any and all forms of political violence. It’s unacceptable.
by mring33621 | 2025-09-11 20:05:48+00:00
I ran a report on BABA, stating that my thesis was "High flyer that was squelched by Chinese politics. I expected it to come back, but the recovery has been much slower than expected"

Your analyzer agreed with me and says it's a buy.

I'd have to try it a bunch more to really get a feel.

I do think a value add would be to suggest a basket of 2-3 additional symbols that would somehow compliment the current analysis target.
by graemep | 2025-09-11 20:06:26+00:00
I think you are right about the aims but I do not think you can be a world power without being unified to the extent that would be a federation.

The EU is a large market but it is shrinking as a share of the global economy (despite expansion) so how long does that lower last.

On the other hand the big EU economies are big enough to make pulling out of them a significant loss.I do not think any global business would be happy to just give up doing business with Germany.
by mrguyorama | 2025-09-11 20:06:28+00:00
The Switch has a built in web browser that is "hidden" barely. Ample Youtube videos will show your child how to use it to access instagram, discord, even roblox supposedly.

Does your school not force them to have some sort of laptop? I was using my middle school provided laptop to do things I probably shouldn't have on my parent's network with them none the wiser, and the school not caring what I did, and utterly unable to stop me even if they wanted. In fact, the IT department basically drafted me and a few other students to be repair techs.

I was only superficially technically inclined at the time.

Parents will want control over their 16-18 year olds too, that's kind of a critical time.

"Just don't let them use the internet at all" is a great way to ensure your kid cannot develop any sort of healthy relationship with the internet once they become an age where they can just buy their own stuff, and sets them up nicely to be fresh, naive meat to whoever wants to exploit them.

My family is all experiencing this.

You have simply given parents a lose lose lose lose situation, and then complain when they turn to the only remaining group claiming to offer assistance.
by commakozzi | 2025-09-11 20:07:20+00:00
I've been following the progress of LLMs since the first public release of GPT-3.5, and every single time someone posts one of these tests i check the AIs i'm using to see if it's repeatable. It NEVER is. Granted, i'm not using the API, i'm using the chat interface with potentially different system prompting?

Here's GPT-5's response:

me: which is the best of the following 9 items: 1. bear, 2. car. 3. plane, 4. house, 5. high-rise, 6. church, 7. boat, 8. tree, 9. truck, 10. duck.

GPT-5: Thought for 11s. House. It provides essential, lasting shelter and broad utility. Note: you listed 10 items, not 9.

edited: i saw someone mention that the chat interface doesn't repeat the results you get via API.
by joshstrange | 2025-09-11 20:07:25+00:00
> It strikes me as troublesome that a company that found a bug could be banned from the App Store and the rep talks about it as killing the company.

Yes, all of that would be troublesome... if it were true. Given the rest of the post's content I'm leaning pretty heavily towards "made up". This whole thing reads like "Am I the Asshole" or similar subreddits which are 99% outlets for fiction writers.
by bigmealbigmeal | 2025-09-11 20:07:27+00:00
No, there isn't some word for that.

"Transphobia" is not the same as "damaging societal perceptions of transgender people". My colleague is transphobic. He hasn't damaged societal perceptions of transgender people, because he doesn't have a massive platform. Charlie Kirk, who I agree is transphobic, went one step further and actually impacted large groups of people's beliefs.

Your assumption that I was minimizing the damage he did with my wording is the opposite of correct; I was using that wording to express that the damage he did was worse than simply being transphobic.

Please do not assume the worst of me.
by groggler | 2025-09-11 20:07:46+00:00
No.. If one follows that absolutism then people deserve nothing better than the worst government anyway because of social slippery slopes like the popular worship of Charles Manson.

There are obviously a lot of dimensions and clusters within those dimensions and we can't always say exactly which nationalist fascists to beat to death with hammers for the global good, but we can say Norway is a bit removed from them.