MurphyA/hacker-news huggingface dataset:
by sudosysgen | 2025-10-04 19:29:04+00:00
A more relevant historical parallel was the Iran-Iraq war. Iraq, in the first 5 years of the war, had largely degraded Iranian air defenses and was able to carry out many thousands of airstrikes, at some points even using strategic bombers, many of them with precision weapons. That was enough to degrade Iranian industry, but not enough to destroy it, and by the late 80s Iran still won the war of attrition, and managed to develop their weapons industry.

By the end of the war Iran was using domestic surveillance drones to direct artillery, and was even experimenting with the first attack drones by fitting RPGs on their larger surveillance UAVs, had reverse engineered and started domestically producing TOW missiles, had started producing the Shahab-1 ballistic missile (a Scud clone), Silkworm-clone radar-guided antiship cruise missiles, etc..., all the while their air force was down to less than 100 hundred aircraft in various degrees of disrepair and with very few advanced munitions remaining.

The war ultimately ended in a stalemate, even after the US intervened in Praying Mantis.
by jlarocco | 2025-10-04 19:29:20+00:00
That's not how it works for most language standards, though. Most language standards are prescriptive, while Rust is descriptive.

Usually the standard comes first, compiler vendors implement it, and between releases of the spec the language is fixed. Using Ada as an example, there was Ada 95 and Ada 2003, but between 95 and 2003 there was only Ada 95. There was no in-progress version, the compiler vendors weren't making changes to the language, and an Ada95 compiler today compiles the same language as an Ada95 compiler 30 years ago.

Looking at the changelog for the Rust spec (https://rust-lang.github.io/fls/changelog.html), it's just the changelog of the language as each compiler verion is released, and there doesn't seem to be any intention of supporting previous versions. Would there be any point in an alternative compiler implementing "1.77.0" of the Rust spec?

And the alternative compiler implementation can't start implementing a compiler for version n+1 of the spec until that version of rustc is released because "the spec" is just "whatever rustc does", making the spec kind of pointless.
by zbentley | 2025-10-04 19:29:25+00:00
One of the main reasons that map() and filter() don’t get optimizations in Python is because they’re lazy.

It’s a lot easier to optimize comprehensions because you can make a lot more guarantees about what doesn’t happen between iterations: the outer stack doesn’t move, the outer scope can be treated as static for purposes of GC-ing its locals, various interpreter-internal checks for “am I in a new place/should I become aware of a new scope’s state?” can be skipped, the inner generator can use a simplified implementation since it never needs to work with manual send(), and so on.

Map/filter can’t take advantage of any of those assumptions; they have to support being passed around to different arbitrary places each time next() is called on them, and have to support infinite sequences (so do comprehensions technically, but the interpreter can assume infinite comprehensions will terminate in fairly short order via OOM lol).

That said, there are likely optimizations that could be applied for the common cases of “x = list(map(…))” and “for x in filter(…):” (in nongenerator functions) which allow optimizers to make more assumptions about the outer context staying static.
by pembrook | 2025-10-04 19:29:38+00:00
Bizarrely, I also find Gmail's spam algo is actually oversensitive to marketing emails from companies these days, which I never thought was something I would complain about. But like you said its super annoying when I actually want the emails.

Seems like we had the opposite problem 10ish years ago. But now the pendulum has swung a bit too far in the other direction.

Ultimately most of the spam I get these days is actually from individuals doing low volume cold outreach from personal email addresses...not companies sending bulk. The new gmail unsubscribe feature works great for marketing emails but is worthless against cold email spam -- which somehow rarely ever lands in spam.
by esskay | 2025-10-04 19:30:35+00:00
I never said Liquid Glass is bad design. I never even mentioned anything about individual elements, nor brought up anything about who it is bad for (and this is one of those occasions where no, it's not a "people aren't used to change" kind of things).

But to suggest the current implementation in iOS and macOS isn't problematic would mean you'd need to be incredibly unaware of basic accessibility needs of a significant portion of people, and right now both operating systems have made it significantly worse. That's not a design opinion, its fact.
by joshuahaglund | 2025-10-04 19:30:36+00:00
You're assuming so much that is wrong. Thieves don't know how to use technology?

They can't use a charger? (I imagine they'd wire one to an also stolen generator)

Then you assume they're gonna be in a car chase? That's not how most stolen vehicles end up.

Afaik most stolen vehicles either get quickly parted out at a chop shop, or are sent across a border (driven across borders or container shipped to another country), or used for other crimes, or they're joy rided around then abandoned. Basically all things you could easily do on a partial charge with a modern car mechanics skills.
by PaulHoule | 2025-10-04 19:30:40+00:00
If you turn on the "showdead" flag on your profile you will get a lot of insight into how HN works. Particularly there are a lot of people who post a link to their blog and another link to their blog and yet another link to their blog and these always start out [dead].

If, on the on the other hand you regularly post links to other people's blogs and participate in discussion you won't have any trouble slipping in a link to your own blog. The key is you're expected to be part of the community.
by ivanbakel | 2025-10-04 19:30:46+00:00
The repo is sparse on the details unless you go digging, which perhaps makes sense if this is just meant as the artifact for the mentioned paper.

Unless I’m wrong, this is mainly an API for trying to get an LLM to generate a Z3 program which “logically” represents a real query, including known facts, inference rules, and goals. The “oversight” this introduces is in the ability to literally read the logical statement being evaluated to an answer, and running the solver to see if it holds or not.

The natural source of doubt is: who’s going to read a bunch of SMT rules manually and be able to accurately double-check them against real-world understanding? Who double checks the constants? What stops the LLM from accidentally (or deliberately, for achieving the goal) adding facts or rules that are unsound (both logically and from a real-world perspective)?

The paper reports a *51%* false positive rate on a logic benchmark! That’s shockingly high, and suggests the LLM is either bad at logical models or keeps creating unsoundnesses. Sadly, the evaluation is a bit thin on the ground about how this stacks up, and what causes it to fall short.
by esskay | 2025-10-04 19:31:59+00:00
If I am then so is every other traveler with every single airline in the world.

Go on Virgin Atlantics site, search for any flight, you can then apply points to that, or redeem a companion voucher. That doesn't bump the price up prior to redemption.

I dont "pay" for the points I get, as I'm not spending any extra day to day. The credit card is free.
by hmng | 2025-10-04 19:32:06+00:00
Not really, SMTP relays will only send messages once, to one server.

But it’s not receiving that is the problem, that is generally fine, if ports are open at ISP / network level. It is the sending that is often tricky. Sending email on the other hand can be done from multiple servers (if SPF correctly configured) And nothing prevents you from sending email directly from your own relay. You could try that, and reception would not be affected.
by quotemstr | 2025-10-04 19:32:25+00:00
We've lost a great deal of nuance in our discourse by taking our previous richly varied and gradated universe of wrongnesses and projecting them all onto the "safety/harm/consent" axis.

It's as if we're no longer capable of conceiving of something that is bad independent of that thing causing harm. Consequently, in order to express sophisticated moral concepts in our guttural pidgin of a moral vocabulary, we need to use combinations of words that are facial absurdities, like "privacy harm is harm".
by LorenPechtel | 2025-10-04 19:33:41+00:00
It's not just embarrassed, it's about avoiding being used as a punching bag by the local bullies the school will do nothing about.

And, yes, when the typical outcome is exclusion without any reason, or without a reason that you have any control over (such as that bully, people don't want to be around the targets because it might spill onto them) what else would you expect?
by canucker2016 | 2025-10-04 19:34:00+00:00
Save people some time:

But the one thing that does unite them is “how they view the importance of social relationships,” said Sandra Weintraub, a professor of psychiatry and behavioral sciences at the Northwestern Feinberg School of Medicine, who has been involved in the research since the start. “And personality wise, they tend to be on the extroverted side.”
by keiferski | 2025-10-04 19:35:12+00:00
It’s pretty depressing to see every ostensibly American value be replaced by profit-driven utilitarianism. “It improves X problem marginally and it makes money, so why not?” seems to be the reasoning for just about everything anymore. No discussion of values, of the society we want to build, or anything else. That’s the world the tech industry is building.
by duskwuff | 2025-10-04 19:35:14+00:00
> Only the most popular FT232 as far as I know.

Specifically, the FT232RL - a simple USB-to-serial chip. (And many of the clones are actually quite high quality.) As far as I'm aware, the FT2232H - a more complex USB to various-serial-and-parallel-protocols chip - hasn't had a counterfeiting problem, although I believe WCH has made some compatible parts.

The STM32F103(C8) situation is pretty funny too. Most of the companies making clones have long since moved on from outright counterfeits and have started manufacturing their own more-or-less-compatible XYZ32F103 microcontrollers (e.g. GD32F103, AT32F103, APM32F103, CH32F103, HK32F103, etc).
by nextos | 2025-10-04 19:35:29+00:00
This is a very interesting area of research. I did something similar a couple of years ago using logic and probabilistic logic inference engines to make sure conclusions followed from premises.

I also used agents to synthesize, formalize, and criticize domain knowledge. Obviously, it is not a silver bullet, but it does ensure some degree of correctness.

I think introducing some degree of symbolism and agents-as-a-judge is a promising way ahead, see e.g.: https://arxiv.org/abs/2410.10934
by smcin | 2025-10-04 19:35:30+00:00
OpenAI does not have 800m users.

It has 20m paid users and ~ 780m free users. The free users are not at all sticky and can and will bounce to a competitor. (What % of free users converted to paid in 2025? vs bounced?) That is not a moat. The 20m paid users in 2025 is up from 15.5m in 2024.

Forget about the free tier users, they'll disappear. All this jousting about numbers on the free tier sounds reminiscent of Sun Microsystems chirpily quoting "millions and billions of installed base" back in the Java wars, and even including embedded 8-bit controllers.

For people saying OpenAI could get to $100bn revenue, that would need 20m paid users x $5000/yr (~ the current Pro $200/mth tier), but it looks they must be discounting it currently. And that was before Anthropic undercut them on price. Or other competitors.
by anon84873628 | 2025-10-04 19:35:32+00:00
You're implying that the pet projects don't align to the goals. If the person is actually technically competent and has good ideas, then it won't be much of a stretch to justify why the project is relevant. Unless the new initiative is really a complete 180.

High level engineers should be looking ahead and predicting what projects will be needed based on technical weak spots or market trends.
by zbentley | 2025-10-04 19:36:12+00:00
I have never, ever seen this. And I’ve worked next to some very FP-forward types and academic CS/abstract math background types who have vastly deeper knowledge of their fields than I ever will of mine.

Plenty of them don’t like imperative loops, sure. But I’ve never seen someone assert that a simple loop is not intelligible to them while chaining functions are.
by quotemstr | 2025-10-04 19:37:04+00:00
Planetary collisions happen all the time. All of Mercury, Venus, Earth, and Mars in our solar system had them. We can see their signatures in other solar systems too: see https://en.wikipedia.org/wiki/List_of_extrasolar_planetary_c...

Whatever the great filter is, it's not planetary-scale collisions during the accretion phase of solar system formation.
by canucker2016 | 2025-10-04 19:37:10+00:00
Toronto Star article has some more numbers:

Preliminary data provided by UHN shows 48 Dunn House residents had made 685 emergency room visits to Toronto hospitals in the six months before moving in. That dropped to 252 visits in the six months post-move, the data shows, with more than 70 per cent of those visits in the first three months when staff say the transition period was at its height. Hospital bed days have similarly plunged from a collective 858 days in the year preceding move-in to a forecasted 53 days in Dunn House’s first year.

https://www.thestar.com/news/gta/jason-miles-addiction-cost-...

https://archive.is/DJdOZ
by QuantumGood | 2025-10-04 19:37:11+00:00
History repeatedly shows that the popular: "extraordinary claims demand extraordinary evidence" is often dependent on the frame of reference.

What is thought to be likely is used to frame conventional wisdom as truth, making the new viewpoint "extraordinary, until, over and over again, the new viewpoint becomes conventional wisdom. So "extraordinarily improbable" is really just an overton window framing (what we accept/don't accept), rather than a statement based in logic. Though your overall framing reminds me so much of historical phrases that I wonder if you are being intentionally ironic.
by sbuttgereit | 2025-10-04 19:37:15+00:00
In leasing to OpenAI, they aren't deploying those GPUs to other productive uses.

The costs are not just the raw cost of the physical asset, but also the opportunity costs of doing "thing a" vs. "thing b".

The GPUs will also depreciate during the time they're in OpenAI's possession, so again, if that investment doesn't pay off they aren't just getting GPUs back, they're getting "used GPUs" or "more used GPUs" back, not the original or full value of the originally leased asset. Naturally, the lease has to have those costs built in to be a good deal, but the lease has to fulfill to terms for that to happen.

In the end, leasing them means they carry the early risk of the lease not being fulfilled... but they should gain more in the than if they just straight up sold them.
by nisten | 2025-10-04 19:37:16+00:00
I don't understand why they don't give researchers GPU credits directly given the type of impact they can make.

No legal slop, just email address of runpod/prime-intelect/x-gpu provider account and deposit directly $5000 there. let them waste it.

You can easily filter who's worth receiving by they github and huggingface history.
by cactusplant7374 | 2025-10-04 19:37:35+00:00
I have never heard of theoretical work but I have heard of shipping every day. I don’t know how often you think is often. But in other places I know people are shipping every day.

It’s not ideal to ship often IMO. How could someone ship something substantial in one day? I work on projects that generate the company additional revenue and if those projects took one day to complete they would fire me because they would really only need a software engineer for four days of the year.

It’s a vanity metric.
by lanstin | 2025-10-04 19:37:56+00:00
I have self hosted my email for about twenty years; fr about ten or fifteen I just forwarded everything to Gmail but had to revert to local ( started with local mail in emacs, but switched to imapd to solve the airplane ticket in the airport issue) because so much important stuff was marked as spam. Like in the middle of a conversation between me and on other person their reply to my email (which I always bcc:ed ack to myself) would disappear. Self hosted is much better. It took few iteration to get spf etc working.
by prerok | 2025-10-04 19:38:02+00:00
Exactly this. Fails at runtime. Consider rather a different example: say the programmer thought the age were constrained to 110 years. Now, as soon as a person is aged 111, the program crashes. Stupid mistake by a programmer assumption turns into a program crash.

Why would you want this?

I mean, we've recently discussed on HN how most sorting algorithms have a bug for using ints to index into arrays when they should be using (at least) size_t. Yet, for most cases, it's ok, because you only hit the limit rarely. Why would you want to further constrain the field, would it not just be the source of additional bugs?
by seec | 2025-10-04 19:38:08+00:00
At this point I have stopped caring about the renewables ideologues. We are very clearly funding a massive industry in China and becoming even more dependent on a single country than we ever were with fossil fuels.

It's not even clear that renewables are actually that much less carbon intensive because I believe there are some massive accounting shenanigans happening around emissions for building/recycling and we can't clearly check that out because it's all happening in China. They increased their coal consumption even more than their renewables consumptions by the way, that should be a clue.

And what the report failed to mention is that electricity consumption has fallen in the EU, precisely because the renewables has made it much more expensive, so people try to use less of it or go for alternatives (wood heating is making a comeback in rural areas for example).

And the EU keeps hemorrhaging industries left and right, so there is that. But I guess we will have "green" intermittent electricity sponsored by China, and that's supposed to be good somehow...
by HarHarVeryFunny | 2025-10-04 19:38:12+00:00
Huh? Even in the 1-in-a-trillion case, there's still maybe 1 trillion galaxies each with one planet that was struck by a water bearing comet, so even if only 1/1000 of those are otherwise habitable, that still leaves a billion habitable planets in the universe with water.

I doubt water (H2O) is actually that rare. The most common elements by far, both in our own galaxy and the universe as a whole, are Hydrogen and Helium, but the next two most common are Oxygen and Carbon.
by measurablefunc | 2025-10-04 19:38:14+00:00
Both of them are saying that rich people don't like pushback from the plebs & during COVID the bottom of the Ponzi pyramid started pushing back. The only candidate that promised to bring back their control & domination of the masses was Trump & that's why they supported Trump.

Both parties are fundamentally the same but at least democrats make some concessions for the little people & the new billionaire technocrats don't like that so they poured a lot of money into Trump's campaign to make sure he would be the winner.
by cheald | 2025-10-04 19:38:25+00:00
Standard LoRA (W_delta = B@A with standard inits) generally underperforms FT, primarily because of "intruder dimensions" (new high-ranking singular vectors which misalign with the singular vectors of the underlying weights) as outlined in the paper.

There are techniques like PiCa and SVFT which can mitigate much of the loss, though.
by sigmoid10 | 2025-10-04 19:38:25+00:00
The secret the big companies don't want to tell you is that you can turn all their models into reasoning models that way. You even have full control over the reasoning process and can make it adhere to a specific format, e.g. the ones used in legal settings. I've built stuff like that using plain old gpt-4o and it was even better than the o series.
by bonsai_spool | 2025-10-04 19:38:46+00:00
This idea can generally work, but one should be careful of 'just-so' stories in evolutionary biology.

It appears this deletion happens in other animals and may be attributable to pathogen pressure. It's arisen multiple times, which makes it hard to claim that it has a specific role in primates (beyond its presumed antimicrobial benefit, which any animal should enjoy).

https://inflammregen.biomedcentral.com/articles/10.1186/s412...
by ExoticPearTree | 2025-10-04 19:38:50+00:00
> It's not about paying by cash but paying by card offline. How is this going to be implemented I wonder.

Considering that the card has memory on it, you can store there how much balance you have when you do an online payment. The bank can send back your available balance, so you cannot spend offline more than you have.

I can't think about anything simpler than this.
by jukkan | 2025-10-04 19:39:00+00:00
8 million active users after almost 2 years from making the $30pupm license available. Less than 2% of Microsoft 365 paying customers choosing to pay extra for Copilot. It's not difficult to see why Microsoft themselves have stopped reporting on AI revenue, as well as not disclosing any official numbers on M365 Copilot sales. Luckily, a source leaked these figures for Ed Zitron to report in his newsletter.
by Fwirt | 2025-10-04 19:39:02+00:00
“Today’s apps’ problem is every app has its own UI language, and users have to first learn that before being able to use an app.”

Liquid Glass is far from the first attempt at this. See “material design”. Apple has had UI guidelines for years now, and all of their apps were more or less as consistent as they are now after the transition. My complaint is that shiny effects aren’t necessary for UI consistency, and it slows older devices and consumes their already degraded battery capacity even faster. At least you can “reduce transparency”, but it actually makes the UI looks less transparent than it was before.

However, my biggest complaint is how half-baked it is. iOS 26 is riddled with bugs. As an example that is ridiculously easy to reproduce: 1) Enable “reduce transparency” in accessibility. 2) Open the Files app to any directory. 3) Enable dark mode. Congratulations, the directory name at the top of the screen is now illegible due to black text on a black background. The same bug is also present in Freeform, except it also makes the status bar illegible. They removed the backing UI element without refactoring the text, and nobody noticed. And unless they didn’t mention it in the release notes, it looks like they still haven’t fixed this in the 26.1 beta.
by johnea | 2025-10-04 19:40:25+00:00
Actually, full strength virtual (multi-domain) email hosting is also quite doable.

This is a great guide that's been used and updated for many years:

https://www.purplehat.org/?page_id=1450

Once hosting email for yourself, you may want to add new project-specific domains, or host email for friends and family. The database user accounts actually make it easier to add and remove users after the system is up and running.

This Purplehat guide provides a step by step procedure that's allowed many people and orgs to bring self-hosted email online...
by khamidou | 2025-10-04 19:40:34+00:00
Please — rust advocates need to realize that you're not winning anyone to rust with this kind of outlandish comments.

Zig is not an extreme sports experience. It has much better memory guarantees than C. It's clearly not as good as rust if that's your main concern but rust people need to also think long and hard about why rust has trouble competing with languages like Go, Zig and C++ nowadays.