MurphyA/hacker-news huggingface dataset:
by fxn-m | 2025-12-17 18:39:37+00:00
Adding to what Rory said:

We don't know for sure. This is built on the intuition that websites are still a one-size-fits-all approach that makes no sense in an age where we have intelligence at our finger tips, able to process and reformulate information that speaks directly to people.

You could see this idea as being on the opposite side of the same spectrum as agentic browsing (which hasn't really taken off yet).

And thanks for the feedback! There are limitations in the quality of the personalizations in onboarding experience due to latency constraints. These get lifted the moment you create an account, and can start doing some more in-depth context gathering of your website and the types of visitors you're likely to get.
by astrobe_ | 2025-12-17 18:39:43+00:00
> As a native English speaker, I have learned this watching non-natives try to learn English spelling over the years. It is hell! I studied French in middle school and high school. I remember there being a similar level of ambiguity in their orthography (similar to English).

Yes. I think english is even slightly worth than french wrt spelling/sound mismatches, but you can call me biased. Moreover, William the Conqueror, who brought civilization to England, also brought the inconsistencies of the french spelling with him.

> I wonder: Why not spell check before you send?

Well, some of my coworkers don't either, from french to french. And up to recently in most programs it was a bother to switch back and forth between 2 languages.

But really, that's probably about common laziness; the typos you mention can be caught by proof-reading before sending, which can also catch other mistakes like missing words or inconsistent sentences caused rewrites.

Proof-reading just after writing is not the best tho, as you tend to skip words because it is "too fresh". I try to introduce some time gap between the too (for instance, proof-reading after lunch or the next morning).
by sarreph | 2025-12-17 18:39:43+00:00
Thank you!

> many people with a business profile that would certainly click a "just show me what I care about" button

You've encapsulated better than I did the kind of visitor segment we're building for right now.

> I do things like this every day with AI, it feels rather trivial to me.

I also agree with this sentiment. It's how I started ("surely it can't be hard to jiggle a page around now with LLMs") and it mostly worked! But the edge cases and heuristics are also proving to be a big chunk of the effort "iceberg" :D
by troglo-byte | 2025-12-17 18:40:05+00:00
I'll confess I'm a bit less than well-read on this, but I can't help but wonder. How can increasing the number of languages in use within one enormous project possibly reduce critical vulnerabilities over the next decade?

If we're looking beyond one decade, then:

- As with all other utility, the future must be discounted compared to the present.

- A language that might look sterling today might fall behind tomorrow.

- Something something AI by 2035.
by everdrive | 2025-12-17 18:40:25+00:00
>The driving and ownership experience of electric vehicles is MUCH better

Until EVs solve the cost problem as well as the "tracking device" and the "I have 8 iPads built into the dash" problems I'm not very excited.

The Slate looks pretty exciting in this regard but I'm worried it will ever exist, or if it will fall badly short of cost estimates. It's already slipped to ~$27.5k due to the expiration of the EV tax credit. In practice, whenever a car says "starting at $xx it's usually impossible to find that model and you can only get the midrange models which are $5-$10k more than the base price.

[edit]

Interestingly as well, the Slate sidesteps the towing problem by refusing to attempt to tow. It's rated to tow 1,000 lbs, which is effectively nothing. It's still got a respectable payload, though, so it does work as a truck.
by frumper | 2025-12-17 18:40:28+00:00
In California, at one point, you could get a few thousand rebate, if you were in the Central Valley, and additional few thousand rebate. Some local cities gave rebates on top of that, and the federal tax rebate on that. Buy a $45k Model 3 and get back $13k-$15k just for buying it. Rebates like that are going to play havoc with resale values. On top of that, new Tesla's went down in price over the past several years. I think as these incentives taper off we'll see more of a stable drop off.
by ubermonkey | 2025-12-17 18:40:28+00:00
Not for nothing but this is also one of the reasons electric motorcycles are lagging.

A HUUUUUGE number of motorcycles never go more than 50-75 miles in a day. CycleTrader is awash with 3,4,and 5 year old bikes that have barely been ridden. A 100 mile range electric bike (e.g., the Harley Livewire) would 100% fill those needs.

But people think they're gonna go on long trips, or whatever, or ride more, and they scoff at a bike you can't ride all day even though they'll never actually ride a bike all day.
by k8o5 | 2025-12-17 18:40:53+00:00
It's purely client-side aggregation. The entire "engine" is a single HTML file with vanilla JavaScript—no backend server required. When you type a query, it fires off parallel fetch() requests (using Promise.all) to public, CORS-friendly APIs like Algolia (for HN), Reddit’s public .json endpoints, and Wikipedia’s API. It then normalizes those JSON responses and injects them into the DOM. History and settings are just persisted in localStorage.
by gustavojordao | 2025-12-17 18:41:28+00:00
Claude knows me pretty well at this point. It knows I'm a PM at a fintech, that I want direct feedback, no preamble. Months of conversations shaped that understanding.

Then I open ChatGPT and it asks if I want formal or casual tone. Back to zero.

I pitched this problem at a hackathon. The room was polite. But one builder lit up — he'd been solving it with markdown files in Obsidian, synced to Dropbox, manually pasted into system prompts. Janky, but telling.

Arete is an MCP server that stores your identity and makes it available to any tool that speaks the protocol.

Setup: `npx arete-mcp-server setup` (npm: https://www.npmjs.com/package/arete-mcp-server)

Honest limitation: Claude doesn't proactively use MCP tools without a system prompt nudge. I include one in the README. This is the distribution problem with MCP — tools are passive until hosts prompt models to use them.

Looking for power users who feel this pain. Drop a comment for an invite code, or DM me @gjordaodoteth.

Full thesis: https://gustavojordao.sh/writing/who-are-you-in-the-age-of-a...
by samdoesnothing | 2025-12-17 18:41:37+00:00
> Anybody who thought the simple action of rewriting things in Rust would eliminate all bugs was hopelessly naive.

Classic Motte and Bailey. Rust is often said "if it compiles it runs". When that is obviously not the case, Rust evangelicals claim nobody actually means that and that Rust just eliminates memory bugs. And when that isn't even true, they try to mischaracterize it as "all bugs" when, no, people are expecting it to eliminate all memory bugs because that's what Rust people claim.
by macNchz | 2025-12-17 18:42:14+00:00
All hype and thought experiments about superintelligence and open questions about creativity and learning and IP aside, this is the area that gives me the biggest pause.

We've effectively created a panopticon in recent years—there are cameras absolutely everywhere. Despite that, though, the effort to actually do something with all of those feeds has provided a sort of natural barrier to overreach: it'd be effectively impossible to have people constantly watching all of the millions of camera feeds available in a modern city and flagging things, but AI certainly could.

Right now the compute for that is a barrier, but it would surprise me if we don't see cameras (which currently offer a variety of fairly basic computer vision "AI" alerting features for motion and object detection) coming with free-text prompts to trigger alerts. "Alert me if you see a red Nissan drive past the house.", "Alert me if you see a neighbor letting his dog poop in my yard.", "Alert the police if you see crime taking place [default on, opt out required]."
by K0nserv | 2025-12-17 18:42:18+00:00
It's important to note that the `unsafe` keyword is poorly named. What it does is unlock a few more capabilities at the cost of upholding the invariants the spec requires. It should really be called "assured" or something. The programmer is taking the wheel from the compiler and promising to drive safely.

As for why there is unsafe in the kernel? There are things, especially in a kernel, that cannot be expressed in safe Rust.

Still, having smaller sections of unsafe is a boon because you isolate these locations of elevated power, meaning they are auditable and obvious. Rust also excels at wrapping unsafe in safe abstractions that are impossible to misuse. A common comparison point is that in C your entire program is effectively unsafe, whereas in Rust it's a subset.
by jameshilliard | 2025-12-17 18:42:20+00:00
> The fundamental difference is that ICC invites partners to agree with their legal assessment. It is each country’s sovereign decision to enforce it or not.

This isn't really accurate from a strict reading of the Rome Statute, there are treaty obligations for party states under the Rome Statute to enforce arrest warrants issued by the ICC, in practice countries obviously can choose not to comply but doing so is arguably a violation of the Rome Statute treaty as written. The EU considers a failure to enforce an arrest warrant to be a violation of obligations under the statute.[0]

> The US applies force and boldly assumes they not only have the power but the right to do so, outside of their national jurisdiction. That is US exceptionalism at its best.

Since the US considers the ICC a serious threat to sovereignty I think it's rather unsurprising that the US would attempt to apply sanctions quite broadly to those judges or individuals at the ICC that take positions which conflict with the US positions on ICC jurisdiction.

> If you act like a bully, you will not make friends. It’s as simple as that.

IMO this is a rather simplistic view of foreign policy/relations, the goal of foreign policy is generally to advance the interests of a country, this can be done by making friends in some cases but that approach isn't always going to be effective. Making friends is not really the end goal of foreign policy.

[0] https://www.eeas.europa.eu/eeas/mongolia-statement-spokesper...
by imglorp | 2025-12-17 18:42:22+00:00
> 100 pulls per 6 hours for unauthenticated users and 200 pulls per 6 hours for Docker Personal users

Not a problem for casual users but even a small team like mine, a dozen people with around a dozen public images, can hit the pull limit deploying a dozen landscapes a day. We just cache all the public images ourselves and avoid it.

https://www.docker.com/blog/revisiting-docker-hub-policies-p...
by goostavos | 2025-12-17 18:42:22+00:00
I find the same. Even those who are interested in it in theory hit a pretty unforgiving wall when they try to put it in practice. Learning TLA+ is way harder than leaning another programming language. I failed repeatedly while trying to "program" via PlusCal. To use TLA you have to (re)learn some high-school math and you have to learn to use that math to think abstractly. It takes time and a lot (a lot!) of effort.

Now is a great time to dive in, though. LLMs take a lot of the syntactical pain out of the learning experience. Hallucinations are annoying, but you can formally prove they're wrong with the model checker ^_^

I think it's going to be a learn these tools or fall behind thing in the age of AI.
by eddyg | 2025-12-17 18:42:25+00:00
Only if they're not backing up their phone, which seems insane in this day and age.

And even if they're not, if they have a computer or tablet, the passkey will still be available there assuming they share an account.

You can also recover your iCloud Keychain via a designated/trusted Recovery Contact (e.g. spouse, who presumably hasn't destroyed their phone at the exact same time), or via iCloud Keychain escrow.

https://support.apple.com/guide/iphone/passwords-devices-iph...
by samdoesnothing | 2025-12-17 18:42:45+00:00
> All bugs is typically a strawman typically only used by detractors. The correct claim is: safe Rust eliminates certain classes of bugs. I'd wager the design of std eliminates more (e.g. the different string types), but that doesn't really apply to the kernel.

Which is either 1) not true as evidenced by this bug or 2) a tautology whereby Rust eliminates all bugs that it eliminates.
by pastel8739 | 2025-12-17 18:42:52+00:00
> The purpose of the so-called "secure credential exchange" is once again to prevent you from directly accessing your credentials.

I’ll accept that the attestation parts of the protocol may have had some ulterior motives (though I’m skeptical), but not having to reveal your credential to the verifying party is the entire benefit of passkeys and hugely important to stop phishing. I think it’s disingenuous to argue that this is somehow unnecessary.
by 9rx | 2025-12-17 18:43:02+00:00
I'd love to have an electric pickup truck. It'd primarily be for farm use, so no long distance concerns, and being able to bring electricity to the field would be a huge boon. It is really the perfect package.

But I wouldn't buy one for the same reason I won't buy an ICE truck right now: They are way too overpriced — costing around 300% more than the truck I currently have cost when it was new, even though inflation is only 40% over the same period.
by chrisBob | 2025-12-17 18:43:17+00:00
I live in a two car household, and I need one vehicle that is comfortable on long trips, and one to handle truck jobs like hauling brush, firewood, oversized items and 3 bikes. My wife, daughter and myself vastly prefer our electric car (IONIQ 6) around town, but even as a big fan of the car I am still uncomfortable using it on long trips, so our truck (Honda Ridgeline) is still a gas vehicle.

I predict that EV trucks with a range extender will do very well in the US, and will be the catalyst behind the move to electric trucks. Once people get the experience of an electric truck they will love it, but the option to dump in gasoline and drive 400 miles without charging is an imaginary barrier that stops most customers from giving it a shot.

Personally, I would love to see an electric truck that can be charged while driving by an external generator, possible mounted to a trailer.
by woodruffw | 2025-12-17 18:43:24+00:00
This is sort of the exact opposite of reality: the point of safe Rust is that it's safe so long as Rust's invariants are preserved, which all other safe Rust preserves by construction. So you only need to audit unsafe Rust code to ensure the safety of a Rust codebase.

(The nuance being that sometimes there's a lot of unsafe Rust, because some domains - like kernel programming - necessitate it. But this is still a better state of affairs than having no code be correct by construction, which is the reality with C.)
by mtalantikite | 2025-12-17 18:43:41+00:00
Do wholesome desires, like practicing the dharma, not change you? Do unwholesome desires, like staying stuck in your addictions, not trap you?

My point is that desire is something that is deeply explored in all three major schools of Buddhism. In the Vajrayana to the point that we take the most difficult of our base desires as paths of practice, like seen in karmamudra.
by par | 2025-12-17 18:43:50+00:00
Ive been managing and supporting teams for a long time and i'm sorry, but junior and mid-level devs do the majority of the heavy lifting when it comes to work output in big corps. I don't think AI will replace them. I don't think all these IC5 and IC6 engineers are going to be putting up 400-500 diffs a year anytime soon.
by alephnerd | 2025-12-17 18:43:58+00:00
> Global EV sales are up 21% in 2025

The issue is, that rate of growth globally is not enough to sustain the capex spent on building EV manufacturing capacity in 2019-24.

Much of that growth was itself due to China, where EV sales growth is starting to taper down making the financials difficult [0].

Growth alone is not enough - what matters is margins. If the rate of growth cannot sustain COGS, then production is right-sized.

Heck, even back in China a major reason BYD has been so successful is because it was able to subsidize it's initial foray into EV vehicles by becoming the primary smartphone battery vendor for Apple, Samsung, and other vendors in the 2000s.

Traditional automotive majors lacked similarly high margins businesses to help cushion the upfront cost of building out capacity.

This isn't to say EVs are "dead", but the transition will not happen overnight. It took Hybrid cars 10-15 years to go mainstream, and imo EVs today are in the same position where Hybrid cars were in the 2013-16 period.

A lot of shifts are happening in battery chemistry (eg. solid state battery manufacturing capex becoming mainstream) along with component manufacturing (eg. Capex for mass producing EESMs). I remain optimistic, but the histrionics some EV fanatics make is equally as grating/annoying as ICE fanatics.

[0] - https://www.eiu.com/n/blogs/auto-2026-outlook/
by phendrenad2 | 2025-12-17 18:44:45+00:00
I feel like everyone involved in the Linux Kernel Rust world is ironically woefully unaware of how Rust actually works, and what it's actually capable of. I suspect that Rust gurus agree with me, but don't want to say anything because it would hurt Rust adoption in places where it actually is helpful (encryption algorithms...)

Kernels - and especially the Linux kernel - are high-performance systems that require lots of shared mutable state. Every driver is a glorified while loop waiting for an IRQ so it can copy a chunk of data from one shared mutable buffer to another shared mutable buffer. So there will need to be some level of unsafe in the code.

There's a fallacy that if 95% of the code is safe, and 5% is unsafe, then that code is only 5% as likely to contain memory errors as a comparable C program. But, to reiterate what another commenter said, and something I've predicted for a long time, the tendency for the "unsafe block" to become instrumented by the "safe block" will always exist. People will loosen the API contract between the "safe" and "unsafe" sides until an error in the "safe" side kicks off an error in the "unsafe" side.
by jfengel | 2025-12-17 18:44:49+00:00
I wouldn't say it was easy. It took about 30 years of planning to get us to this point.

Getting the agent to be in charge was the very last step. They had to spend decades building up resentment of Europe, among many other things.

Destroying the US wasn't the hard part. Getting about half the nation to cheer it on was the hard part.
by aw1621107 | 2025-12-17 18:44:51+00:00
Direct link to the mailing list entry at [0]. The fix for 6.19-rc1 is commit 3e0ae02ba831 [1]. The patch is pretty small (added some extra context since the function it's from is short):

pub(crate) fn release(&self) { let mut guard = self.owner.inner.lock(); while let Some(work) = self.inner.access_mut(&mut guard).oneway_todo.pop_front() { drop(guard); work.into_arc().cancel(); guard = self.owner.inner.lock(); } - let death_list = core::mem::take(&mut self.inner.access_mut(&mut guard).death_list); - drop(guard); - for death in death_list { + while let Some(death) = self.inner.access_mut(&mut guard).death_list.pop_front() { + drop(guard); death.into_arc().set_dead(); + guard = self.owner.inner.lock(); } }

And here is the unsafe block mentioned in the commit message with some more context [3]:

fn set_cleared(self: &DArc<Self>, abort: bool) -> bool { // <snip> // Remove death notification from node. if needs_removal { let mut owner_inner = self.node.owner.inner.lock(); let node_inner = self.node.inner.access_mut(&mut owner_inner); // SAFETY: A `NodeDeath` is never inserted into the death list of any node other than // its owner, so it is either in this death list or in no death list. unsafe { node_inner.death_list.remove(self) }; } needs_queueing }

[0]: https://lore.kernel.org/linux-cve-announce/2025121614-CVE-20...

[1]: https://github.com/torvalds/linux/commit/3e0ae02ba831da2b707...

[2]: https://github.com/torvalds/linux/blob/3e0ae02ba831da2b70790...

[3]: https://github.com/torvalds/linux/blob/3e0ae02ba831da2b70790...
by lo_zamoyski | 2025-12-17 18:44:54+00:00
Yes, and no. Relevant details. If the formalism bogs you down in tangential or irrelevant stuff, it means it's a poor fit.

But I don't think that's the case here. Most programmers don't have much experience with specs, and much less experience with formalized specs, especially if they come from an imperative background. I think those from declarative backgrounds will be much more at home with TLA+. The imperative style causes people to obsess over the "how", while the declarative style focuses more on the "what", and specs are more of a matter of "what" than "how".
by bazzargh | 2025-12-17 18:45:08+00:00
"release" is maybe too strong a word, it's not a lot of code and I don't plan to put any more effort into the nonexistent interface since it was just built for personal use. But the code:

https://gist.github.com/bazzargh/e1d2e2718af575a03206114a291...
by sokoloff | 2025-12-17 18:45:33+00:00
Not directly with the heat source, but with the output flow temperature that the heat source can create.

In that regard, an air-to-water heat pump is much lower temperature than a gas or oil boiler can efficiently produce.

That can cause a need for larger radiators to compensate and sometimes for insulation if the radiators can’t be further increased in size. (Or if the heat loss at design temp is too high for available or sensible sized equipment.)
by encroach | 2025-12-17 18:45:52+00:00
OAI's latest image model outperforms Google's in LMArena in both image generation and image editing. So even though some people may prefer nano banana pro in their own anecdotal tests, the average person prefers GPT image 1.5 in blind evaluations.

https://lmarena.ai/leaderboard/text-to-image

https://lmarena.ai/leaderboard/image-edit
by fusslo | 2025-12-17 18:46:04+00:00
I feel like a boomer.

I dont want to use google/apple/microsoft for any credential manager because: google is evil; apple has locked me out of my apple id (and lost things like the recordings of conversations with my father during his hospice); microsoft keeps getting worse and more annoying to use.

So ok, I need some credential manager. I used keepass previously... but how do I vet other credential managers? I dont want an online backup. I want my credentials to only be on my computers. So now I gotta learn about which apps are ok, don't have cloud synching, can export files, and be compatible with MacOS.

And I have to learn what is FIDO? Like FICO? why do I need to synch with FIDO? what is it? will it give my credential store to others?

How is this easier or more convenient than a user/pass with 2fa?

I feel like I am going to accidentally leak my credentials and have no way of knowing
by slugiscool99 | 2025-12-17 18:46:09+00:00
Everyone worried about privacy - not sure if they realize everyone is already collecting this type of information anyway?

I think this is cool and probably the future of B2B websites. My holdup would be, if the buyer enters their company and the copy just changes into what we think they want, are they going to lose trust that the copy is a true representation of our focus? Maybe it's a framing problem, lots of websites have "solutions" sections for different industries. Potentially could be cool to have a "how we can specifically help {your company}" with an exact use case outline.