MurphyA/hacker-news huggingface dataset:
by estimator7292 | 2025-08-25 01:39:05+00:00
It's truly shocking to live in a world where linux is a better option in every category over windows.[0]

I really never thought I'd see this day. I can't decide if this is a great win for OSS, or an incredible loss for the common folk. Either way, the world will be a far better place without Windows 11 or Microsoft in general.

[0] I consider a lack of kernel malware 'anti-cheat' a feature, not a bug. Adobe as well.
by sothatsit | 2025-08-25 01:40:24+00:00
Oh and btw, the rate-limits reset every 4 hours. So, I don't know what you are talking about with "hitting your rate-limits in the first day". That doesn't make much sense to say when your rate-limits reset multiple times within one day, nevermind between days.

Maybe that's the key piece of information you're missing where you mistakenly thought the rate-limits applied to the whole month, when in fact they apply to a 4-hour window.
by pron | 2025-08-25 01:41:11+00:00
> Rust achieves practical minimization, if not outright eradication, of a set of errors even in practice. And not just memory safety errors.

It achieves something in one way, while requiring you to pay some price, while other languages achieve something in a different way, with a different cost. I've been involved with software correctness for many, many years (early in my career I worked on safety-critical, hard realtime software, and then practised and taught formal methods for use in industry), and there is simply no research, none, suggesting that Rust's approach is necessarily the best. Remember that most software these days - not the kind that flies aeroplanes or controls pacemakers, that's written mostly in C, but the kind that runs your bank, telecom supplier, power company, healthcare etc. but also Facebook - is written in languages that offer the same guarantees as Rust, for better or worse.

> If everyone could write and think in pre/post/invariant way, we'd see a lot fewer issues.

Except I've worked with formal methods in a far more rigorous way than Rust offers (well, it offers almost nothing), and in this field there is now the acknowledgement that software correctness can be achieved in many different ways. In the seventies there was a consensus about how to write correct software, and then in the nineties it all got turned around.

> That's like your fork deciding to gut you like a fish.

I don't think so, because everyone uses a fork but this is the first time I hear about Comet AI. The most common way to empty people's bank accounts is still by conning them.

> Why? Just because you are intelligent doesn't mean you are rational.

Intelligence has nothing to do with it. But "rational" here means "in accordance with reality", and since software is a major competitive economic activity, which means that if some organisations act irrationally, there's both a strong motivation and an ability to take their lunch money. If they still have it, they're probably not behaving irrationally.
by gitremote | 2025-08-25 01:42:02+00:00
I don't think the author meant they don't include /v1 in the endpoint in the beginning. The point is that you should do everything to avoid having a /v2, because you would have to maintain two versions for every bug fix, which means making the same code change in two places or having extra conditional logic multiplied against any existing or new conditional logic. The code bases that support multiple versions look like spaghetti code, and it usually means that /v1 was not designed with future compatibility in mind.
by aspenmayer | 2025-08-25 01:43:11+00:00
Airbnb as well, at least in principle, if not in implementation.

Airbnb Is Banning People Who Are ‘Closely Associated’ with Already-Banned Users - https://news.ycombinator.com/item?id=34983871 March 2023 (119 comments)

h/t HN user dmitrygr
by thayne | 2025-08-25 01:43:54+00:00
I think there are a few possible factors:

- different packages of the same medication have different doses per pill. So you might read one package that says to take two pills, then later you buy a different package of the same painkiller that says one pill, but you're lazy, and don't read the label for this, and assume it is the same as last time, so you end up doubling the dose.

- For ibuprofen, the label often says if one dose isn't sufficient, then you can take another pill (with a maximum number in 24 hours). People may assume this is the case for Tylenol as well, but I don't think it is.

- people may read the size of the dose, but skip over the warning about the maximum you can take in a 24 hour period.

- The directions are in small hard to read text, which makes all of the above points worse.

Not that any of those are a good excuse not to read the label, but, well, people make bad decisions all the time.
by A4ET8a8uTh0_v2 | 2025-08-25 01:43:56+00:00
<< You can't claim a problem is solved and then say "well I don't care" when shown it's not solved.

It is a fair point in that sense so you get full points for argument counter. That said, I personally think gamers, as a demographic, has some responsibility to say.. 'yeah, no. stop being dicks'.

It is not that I don't care exactly. It is that I care too much to allow this crap on my computer.
by sneak | 2025-08-25 01:44:24+00:00
I got casually questioned by the clerk in Berlin Mitte last month when buying 20x 20TB drives for cash.

“Industrial-scale piracy” is what I told him, truthfully. I think he thought I was joking.

Pretty soon it’ll only be hyperscalers or large enterprises that have data storage. You’ll have the 4TB max in your phone or laptop and that’ll be it.
by shortrounddev2 | 2025-08-25 01:45:31+00:00
She was alright in season 1. She was young and inexperienced and she got too much shit from other people. In season 2/3 she has money and her own company and anytime anyone with more experience than her gives her even the smallest amount of advice she responds like someone is trying to break into her house. Worse, when someone has a good idea that isnt hers, she shuts it down
by hcnews | 2025-08-25 01:45:54+00:00
Maybe you are a games developer and are overlooking the fact that people have to first learn the basic apis/models/etc. of graphical systems, engines, etc. before using them. Not sure how you are saying that it wouldn't take a few weeks to code even a simple production game like chess or more complicated but still simple Jump king etc.

Just think of the speciality in which you aren't an expert, javascript/storage/networking ...
by mdp2021 | 2025-08-25 01:46:10+00:00
The unclear sides of the implementation are just the usual normal hurdles on the path. There are no impacting doubts about the goal.

The point was, let me remind you, that we do not see any need for biomimicry: we did not need to simulate any brain to implement counting. Similarly, there is no need to simulate a brain to implement a reasoner (and the problem is well defined).

> these attempts at AGI

They are just occasional events in the whole history of the endeavour.

--

Edit:

> normal hurdles

...or, in other words: "yes, if we had the recipe, it would be trivial". Yet we normally manage without.
by humanrebar | 2025-08-25 01:47:19+00:00
> It’s basic expense fraud.

I'm making the case that mandatory unpaid overtime is effectively wage theft. It is legal in the US because half of jobs there are "exempt" from the usual overtime protections. There's no ethical reason for that, just political ones.

At any rate, I think people who want to crack down on meal expenses out of a sense of justice should get at least as annoyed by employers taking advantage of their employees in technically allowed ways.
by sneak | 2025-08-25 01:48:19+00:00
Mars is only “entirely awful” on the surface. It’s a fair sight better than the raw vacuum of space, and we already have permanent installations of people living there, both on Tiangong and ISS.

It’s only “entirely awful” if you want to do things like walk around outside and sit under trees. It has a lot of co2 and h2o around, and while the sunlight situation isn’t great, it isn’t dire either.
by sneak | 2025-08-25 01:48:39+00:00
> followed by shutdown and drop into the Gulf of America.

It’s funny that the social engineering of the administration that allows them to launch is just as important as the mechanical engineering of the vehicle in terms of achieving their macro goal.

I think this sort of “solve all of the problems, in every domain, that stand in our way” explains a lot about their activities and strategic planning.
by ryandrake | 2025-08-25 01:51:39+00:00
When a normal user is highly motivated to install software, there is no such distinction from a "technical user". He wants to install AnimeWallpapersTotallyNotATrojan.app. The operating system disallows it. Then he just does a search for how to install AnimeWallpapersTotallyNotATrojan.app on iOS, and finds 20 tutorials walking him through the steps to ungate the install.

You can make the expert mode dialog say "Clicking this button will erase your hard drive, drain your bank account, and give your dog cancer" and people will still click it.
Show HN: 5-Minute Timer That Runs in Background with Web Workers
by addressGen | 2025-08-25 01:55:14+00:00
Hey HN! I built this simple 5-minute timer because I got frustrated with existing ones that either: - Stop working when browser tabs go to background - Have ads and tracking - Are overcomplicated for such a simple need

Key features: - Uses Web Workers to keep timing accurate even when tab is inactive - Zero tracking, no ads, no registration - Keyboard shortcuts (Space, R, F for fullscreen) - Works offline once loaded - Custom durations up to 24 hours

Tech stack: Vanilla JavaScript + Web Workers + modern CSS Built in ~2 weeks as a side project.

Perfect for Pomodoro technique, workout intervals, meditation, or just timing anything!

Any feedback or feature suggestions welcome!
by mrangle | 2025-08-25 01:57:04+00:00
That's not happening and there is no strategy.

You can't bar anyone from cities. You can't bar them just like they can't bar you. It isn't policy that's driving anyone out. It's pricing, which is above the control of any one person or even group of people.

Some people will be forced out due to pricing. The local economy of every city is going to be unworkable at some income floor. The more expensive the city, the higher the floor.

If that floor is higher than what you make, it doesn't mean that no poor people live in SF. It just means that they feel poor even at a relatively higher income.

To illustrate, 80k per year is still a decent income in some towns. But it is definitely poor in NYC.
by ds-slope | 2025-08-25 01:57:45+00:00
I don’t think it’s that they don’t have the incentive. I think it’s because it’s unclear if you give credit to the LLM if that means that OpenAI or similar would be considered an author in which case that could really screw up intellectual property and make using LLMs much less attractive. If the LLM wants attribution then it’s sentient, and if it’s sentient, it may be given personhood (Johnny-five scenario) and get rights, and then it would be a writer, and it could influence the license and intellectual property may belong partially to it unless it willingly became and employee of a ton of companies and organizations or contracted with them.
by ethbr1 | 2025-08-25 01:58:13+00:00
Crumbs for anyone interested that parking at Chain of Lakes Park (in Titusville), then hiking out along E Jay Jay Rd, crossing the train tracks and walking south (hide from any train company trucks driving down), and watching across the lagoon is super chill.

Avoids all the tourists, insane parking, and/or Playalinda capacity uncertainty. Also skips the viewing platforms in the park that semi-professional photographers are huge dicks about.
by WorkerBee28474 | 2025-08-25 01:58:54+00:00
The 1 study you linked does not disprove the newer 46-study analysis that I linked. Quoting from it:

"We identified 46 studies for inclusion in our analysis. Of these, 27 studies reported positive associations (significant links to NDDs), 9 showed null associations (no significant link), and 4 indicated negative associations (protective effects). Higher-quality studies were more likely to show positive associations."
by jchw | 2025-08-25 02:00:54+00:00
Even though that's true, the fact that pixelbot/colorbot type aimbots are still popular shows that they are perfectly effective. In fact, if you really want to remain undetected for long periods of time, "wallhack" style cheats have the obvious downside that someone analyzing the replays can easily see that you are routinely locking onto (nearly) the exact positions of enemies behind walls. This is inevitable even if you try to avoid it because without actually looking at the pixels on screen it's going to be hard for an aimbot to be pretty sure that you can actually "see" the target behind whatever obstacles or fog is on screen. This obviously can't happen if you are cheating using only the actual game output.

In the end, what matters to the cheater is being able to win, so if a pixelbot will do the trick and be less detectable, it's probably worth more rather than less. I believe it's just a matter of time before the pieces come together. (Of course, it has to actually be effective in order to really be worth more, but I think that's largely a function of how good the actual aimbot portion can be, and I really think with how good and fast ML has gotten you could really do a lot better these days.)
by hitekker | 2025-08-25 02:01:03+00:00
Much of that bad blood comes from how Rust's leadership attacks other programming languages, online and offline.

pcwalton infamously declared zig was "a massive step back for the industry" https://x.com/pcwalton/status/1568306598795431936?s=46&t=OCi.... He and the Rust Core Team had a big reputation for burning bridges. Even to this day, the new Rust leaders are happy to attack other memory safe languages like Go, declaring them "not memory safe" https://news.ycombinator.com/item?id=4467200

I think Kristoff remembers these attacks, and crucially how very few voices within the Rust community push back against Rust supremacism.
by dhorthy | 2025-08-25 02:01:44+00:00
i spend a lot of time thinking about this.

At humanlayer we have some OSS projects that are 99% written by AI, and a lot of it was written by AI under the supervision of developer(s) that are no longer at the company.

Every now and then we find that there are gaps in our own understanding of the code/architecture that require getting out the old LSP and spelunking through call stacks.

It's pretty rare though.
by worik | 2025-08-25 02:02:19+00:00
> For most proprietary desktop software businesses, porting to Linux is not profitable.

True, but mostly because they see software as a binary number on a disc.

If they saw software as an artefact to build, as Free Software does, this would not be a problem.

A pox on all their (propitiatory) houses. All they are all beneath contempt. They want money, above all. They love money, above all. They care not for their users

Timothy 6:10
by b_e_n_t_o_n | 2025-08-25 02:05:03+00:00
I guess I just don't get the point. In order for the page to load it needed to make four round trips on the server sequentially which ended up loading slower than my bloated javascript spa framework blog on a throttled connection. I don't really see how this is preferential to html, especially when there is a wealth of tools for building static blogs. Is it the no-build aspect of it?
by efitz | 2025-08-25 02:05:29+00:00
I honestly think that partially-OSS SaaS is in for a rocky road; many popular paid or freemium tools are likely to be rewritten by AI and published as OSS with permissive licenses over the next year or two.

I also think that the same capability will largely invalidate the GPL, as people point agents at GPL software and write new software that performs the same function as OSS with more permissive licenses.

My reasoning is this: the reason that people use OSS versions of software that has restrictive licensing terms, is because it’s not worth the effort to them to rewrite.

Corporations certainly, but also individuals, will be able to use similar approaches to what these people used, and in a day or two come back to a mostly-functional (but buggy) new software package that does most of what the original did, but now you have a brand new software that you control completely and you are not beholden to or restricted by anyone.

Next time someone tries to pull an ElasticSearch license trick on AWS, AWS will just point one or a thousand agents at the source and get a brand new workalike in a week written in their language du jour, and have it fully functional in a couple of months.

Doesn’t circumvent patent or trademark issues but it’ll be hard to assert that it’s not a new work, esp. if it’s in an entirely different language.

Just something I’ve been thinking about recently, that LLM agents change the game when it comes to software licensing.
by krnsll | 2025-08-25 02:05:34+00:00
If you think of this as a search, retrieval and “application” problem on the space of convex optimization proof techniques, it’s not a particularly striking result to a mathematician. Partly because: the space of results/techniques and crucially applications of those results and proof techniques is very rich (it’s an active field with many follow up papers).

On the other hand, I have a collection of unpublished results in less active fields that I’ve tested every frontier model on (publicly accessible and otherwise) and each time the models have failed to solve them. Some of these are simply reformulations of results in the literature that the models are unable to find/connect which is what leads me to formulate this as a search problem with the space not being densely populated enough in this case (in terms of activity in these subfields).
by simonw | 2025-08-25 02:08:00+00:00
"But we also need guarantees at other layers, like distinguishing web contents from user instructions"

How do you intend to do that?

In the three years I've spent researching and writing about prompt injection attacks I haven't seen a single credible technique from anyone that can distinguish content from instructions.

If you can solve that you'll have solved the entire class of prompt injection attacks!
by dinobones | 2025-08-25 02:08:57+00:00
I’m surprised this isn’t a more common and well known issue.

I stumbled upon this issue when trying to convert a recursive DFS to iterative because my recursive DFS was running out of stack space.

The solution produced by this iterative version was wrong, completely different from the recursive implementation.

It’s fascinating how many primitive, basic algorithms are probably implemented incorrectly but work just well enough that no one ever cares or notices… reminds me of how so many text books have an incorrect or overflowing version of binary search.
by NoPicklez | 2025-08-25 02:10:17+00:00
The inherent reason initially was so that there was one central place to obtain apps/games in a mobile market that wasn't used to browsing the web for apps.

I genuinely don't think there are many people that want something different to the app store. If all of the apps I can use on my phone are in the app store from a functionality and ease of use standpoint that is the best option.
by snvzz | 2025-08-25 02:11:39+00:00
Awesome effort.

Although do not get why it doesn't support A600/A1200 builtin IDE.

It would help, as the kickstarts from the 90s do not support td64/nsd, and anything newer is questionable (e.g. stories of hyperion devs not getting paid).

Refer to The Amiga Documents[0].

0. https://sites.google.com/site/amigadocuments/
by rcxdude | 2025-08-25 02:13:46+00:00
GNU libc has pretty good backwards compatibility, though, so if not you want to run on a broad range of versions, link against as old a version of libc as is practical (which does take some effort, annoyingly). It tends to be things like GUI libraries and such which are a bigger PITA, because they do break compatibility and the old versions stop being shipped in distros, and shipping them all with your app can still run into protocol compatibility issues.
by decimalenough | 2025-08-25 02:14:02+00:00
Why would they?

Put yourself in a prison bureaucrat's shoes. There is no upside to changing the rules, easier legal work or whatever for the inmates doesn't affect them (hell, it might even cause more work). But if they do change the rules and something bad happens (like, shock horror, somebody smuggling in a picture of a naked lady), it's their ass on the line for approving it.
by juancn | 2025-08-25 02:16:32+00:00
Math in programming is not about math, it's about careful reasoning.

Yeah, sometimes it helps to actually know math, but even when it doesn't there are some concepts that come from math and are super useful, for example: commutativity, associativity and idempotency are really useful for building robust distributed or parallel systems.

Building robust code by construction from properties of earlier code, like a proof is a great skill to have.

Making things that compose well... there are a million examples.

I mean, yeah, you can be a mediocre programmer without math but I wouldn't brag about it.
by hodgehog11 | 2025-08-25 02:17:11+00:00
I'm not sure why this is surprising or newsworthy; it has been this way ever since o3. I guess few people noticed.

There are a few masters-level publishable research problems that I have tried with LLMs on thinking mode, and it had produced a nearly complete proof before we had a chance to publish it. Like the problem stated here, these won't set the world on fire, but they do chip away at more meaningful things.

It often doesn't produce a completely correct proof (it's a matter of luck whether it nails a perfect proof), but it very often does enough that even a less competent student can fill in the blanks and fix up the errors. After all, the hardest part of a proof is knowing which tools to employ, especially when those tools can be esoteric.
by ath3nd | 2025-08-25 02:19:20+00:00
And I hired a cleaning lady, paid her £200, and when I came back, the house was clean.

The difference is that I did not write a blog post about it, nor did I got overly excited about it as if I had just discovered sliced bread, nor did I harbor any illusions that it was me who did anything of value.

Next, I will write a while loop filling my disk with files of random sizes and with random byte content inside. I will update you on the progress when I am back tomorrow. I do expect great results and a nicely filled disk!
by ronsor | 2025-08-25 02:19:31+00:00
Most people are not in private prisons (< 10% [0]), even if there shouldn't be any at all. Of course, there are still many "contractors" and "vendors" (phone service providers, food vendors, etc.) in public prisons which grift everyone.

[0] https://www.sentencingproject.org/reports/private-prisons-in...
by alchemyzach | 2025-08-25 02:20:27+00:00
If prison is going to claim to be rehabilitative then access to word processors, and even some websites (jstor, wikipedia, etc), is a bare minimum requirement imo. Revoke it for bad behavior, sure, but it should otherwise be available several hours per day.

And to all the vindictive sociopath losers out there who want prisons to just inflict max pain all the time - do you not realize improving prison quality of life directly benefits you and could even save your life? Brutalizing a man with harsh conditions, treating him like a wild animal for months/years on end, and then releasing him is just going to make him 5x more angry and dangerous upon release and less likely to assimilate, but now here he comes walking down the same street as you and your loved ones
by aspenmayer | 2025-08-25 02:26:12+00:00
How to Get a Private Phone, Number, and Cellular Data - https://www.youtube.com/watch?v=XaHWcttD0tM (Mental Outlaw)

There were simply too many possibly related videos on the Rob Braxman Tech channel to determine which one you might mean. Do you have a recommendation?

Here's his channel for folks who are new to his content:

https://www.youtube.com/@robbraxmantech