MurphyA/hacker-news huggingface dataset:
by ngruhn | 2025-12-17 11:01:04+00:00
To me the modeling is not that hard but I struggle to come up with properties/invariants.

Take something like Google Docs. I'm sure they have some websocket protocol to handle collaborative text editing:

- establish connection

- do a few retries if connection is lost

- always accept edits even when there is no connection

- send queued edits when connection is back

- etc

But what properties can you imagine here?

We never enter an error state? Not really. Error states are unavoidable / outside the control of the system.

We always recover from errors? Not really. Connection might never come back. Or the error requires action from the user (e.g. authentication issues).
I launched a €9.9k/mo executive retreat using a free WordPress stack
by QMLegacy | 2025-12-17 11:01:06+00:00
Hello HN,

I have been following the "digital nomad" trend since Covid Time.

I realized a problem: most programs are designed for 25-year-old backpackers. They optimize for "adventure" and "community," but often sacrifice productivity and comfort. As a founder/exec, I can't work from a hostel bunk bed or a noisy cafe with spotty Wi-Fi.

I wanted to build the "Deep Work" version of a remote residency. So I created The Legacy.

The Pitch:

Location: Unidisclosed

Duration: 1 month (ASAP). No constant traveling.

Setup: We are privatizing a conference wing to turn it into a 24/7 ergonomic office (dedicated fiber line, quiet zones).

Living: 4-star superior suites, full board (gastronomic), 2500m² Spa access.

The Cohort: Capped at 5 people.

The Economics & The "Hack": The price is €9,900 / month. I know this sounds high. But it includes everything (housing, food, workspace, logistics). It is designed for people whose hourly rate makes "organizing logistics" a loss of money.

Here is the experiment: I have zero budget for tech. I decided to spend 100% of my resources on negotiating the hotel and the experience, and $0 on the website. I built the landing page on a free WordPress subdomain.

My hypothesis: High-end clients care about the actual experience (the hotel, the network, the focus), not the URL of the landing page.

I’m looking for feedback:

Would you pay a premium for "guaranteed productivity" vs just booking a hotel room yourself?

Interested? Email me to be on the waiting list.

Thanks,
by ACCount37 | 2025-12-17 11:01:28+00:00
LLMs are great because of exactly that: they solve things that have no other solutions.

(And also things that have other solutions, but where "find and apply that other solution" has way more overhead than "just ask an LLM".)

There is no deterministic way to "summarize this research paper, then evaluate whether the findings are relevant and significant for this thing I'm doing right now", or "crawl this poorly documented codebase, tell me what this module does". And the alternative is sinking your own time in it - while you could be doing something more important or more fun.
by duggan | 2025-12-17 11:01:36+00:00
Interesting, thanks for the references, I'm not very familiar with fs.com, though I'm sure it popped up in one or two Reddit posts I skimmed.

It turns out I accidentally purchased one each of a fibre-assembly and direct-attach-copper! I was not paying close enough attention.

From what I understand, the difference between these will be negligible at the range I'm using (1m), but is that accurate?
by nutjob2 | 2025-12-17 11:01:40+00:00
The prices of things vary due to speculation as well as demand and supply. Gold is an industrial metal which has to be mined, thus making supply uncertain and exposed to the whims of miners. Central bank issued currencies are managed by varying the supply according to economic conditions, which has given economies much better stability as a result.

There's nothing special about gold except that some people think that it's a panacea. It's not, it's still an industrial metal. "Fiat currencies which are collapsing in value" has no basis in fact. It's just mindless ideology at best and no better than a conspiracy theory.
by neom | 2025-12-17 11:03:08+00:00
A guy I work with has been doing this, I watched his tutorial and it was all a bit... overwhelming for me (to think about using such a system), I'm still on pen and paper, heh. Nevertheless - here is his template: https://github.com/kmikeym/obsidian-claude-starter and tutorial: https://www.youtube.com/watch?v=1U32hZYxfcY
by perons | 2025-12-17 11:03:10+00:00
I'm brazillian, moved to Finland 2 years ago to work here, and can confirm the sentiment.

If you ask a Finn, most people are actually quite harsh to the Finnish government, economy, etc - specially as of recent, since Finland now has one of the worst unemployment rate in EU. But lifestyle here is quite sober, everyone has hobbies and are quite dedicated to them. I guess the Sauna and Avanto culture are the main happiness drivers here, and tbh after experiencing it, I wouldn't change for anything else.
by impendia | 2025-12-17 11:03:58+00:00
I was in a research math lecture the other day, and the speaker used some obscure technical terminology I didn't know. So I dug out my phone and googled it.

The AI summary at the top was surprisingly good! Of course, the AI isn't doing anything original; instead, it created a summary of whatever written material is already out there. Which is exactly what I wanted.
by avsm | 2025-12-17 11:04:57+00:00
The html5lib conformance tests when combined with the WHATWG specs are even more powerful! I managed to build a typed version of this in OCaml in a few hours ( https://anil.recoil.org/notes/aoah-2025-15 ) yesterday, but I also left an agent building a pure OCaml HTML5 _validator_ last night.

This run has (just in the last hour) combined the html5lib expect tests with https://github.com/validator/validator/tree/main/tests (which are a complex mix of Java RELAX NG stylesheets and code) in order to build a low-dependency pure OCaml HTML5 validator with types and modules.

This feels like formal verification in reverse: we're starting from a scattered set of facts (the expect tests) and iterating towards more structured specifications, using functional languages like OCaml/Haskell as convenient executable pitstops while driving towards proof reconstruction in something like Lean.
by dizhn | 2025-12-17 11:05:46+00:00
> I've been using Firefox before it was called that.

Call me petty but I still can't let this one go. At the time they basically stole the Firebird name from the database project and did not hesitate to use AOL's lawyers to bully the established owners of the name. So they didn't actually become shady over night. It's in their DNA.
by SiempreViernes | 2025-12-17 11:05:50+00:00
So then we should interpret Bruno adopting this uncharitable interpretation as evidence they are intentionally trying to ruin Mozillas reputation rather than sincerely analysing an interview, right?

And in turn my comment above is not a honest remark that your suggested interpretation strategy seems to be selectively applied, but rather an attempt to hurt your standing with your peers.
by beautiful_zhixu | 2025-12-17 11:05:54+00:00
Well I feel cold in winter sometimes even with a coat on. It hurts when I go outside, so I stay inside more, but if I stay inside too much, it hurts.

The point about hot environments is true, but people are not anxious and your body rarely hurts. They are lazy and their minds blank out. It is often too hot to do anything except try to scam anxious northerners and move away from mosquitos.
by andyjohnson0 | 2025-12-17 11:05:59+00:00
Long-time Firefox user* here. If Mozilla weakens the ability to block ads or control content, and/or introduces intrusive AI features that I can't easily disable, then I'm done. I'll go to Waterfox or whatever. Tired of Mozilla's attitude.

* Windows and Android. I even pay for their vpn because there is apparently no way to pay for the browser, which is what I actually use.
by autoexec | 2025-12-17 11:06:36+00:00
Here's that part of the article:

> In our conversation, Enzor-DeMeo returns often to two things: that Mozilla cares about and wants to preserve the open web, and that the open web needs new business models. Mozilla’s ad business is important and growing, he says, and he worries “about things going behind paywalls, becoming more closed off.” He says the internet’s content business isn’t exactly his fight, but that Mozilla believes in the value of an open and free (and thus ad-supported) web.

> At some point, though, Enzor-DeMeo will have to tend to Mozilla’s own business. “I do think we need revenue diversification away from Google,” he says, “but I don’t necessarily believe we need revenue diversification away from the browser.” It seems he thinks a combination of subscription revenue, advertising, and maybe a few search and AI placement deals can get that done. He’s also bullish that things like built-in VPN and a privacy service called Monitor can get more people to pay for their browser. He says he could begin to block ad blockers in Firefox and estimates that’d bring in another $150 million, but he doesn’t want to do that. It feels off-mission.

> One way to solve many of these problems is to get a lot more people using Firefox. And Enzor-DeMeo is convinced Mozilla can get there, that people want what the company is selling. “There is something to be said about, when I have a Mozilla product, I always know my data is in my control. I can turn the thing off, and they’re not going to do anything sketchy. I think that is needed in the market, and that’s what I hope to do.”
by rvba | 2025-12-17 11:07:24+00:00
Every time Mozilla CEO changes HN gets a set of "its so difficult" propaganda

Those CEOs get 6M per year and cannot figure out to focus on core product: Mozilla, keep a war chest, dont spend on politics.

Also cut all bullshit projects that are made for self promotion and dont help Mozilla as a browser.

When will real extensions return? Never?

Now they want to kill adblocks too
by falsedan | 2025-12-17 11:08:13+00:00
> Having your commits refer ticket ID from system that no longer exists is royal PITA

just rewrite the short links in your front-end to point to the migrated issues/PRs. write a redirect rule for each migrated issue/PR, easy

hard-coded links in commit messages are annoying, you can redirect in the front-end too but locally you'd have to smudge/clean them on local checkout/commit
by Cthulhu_ | 2025-12-17 11:08:32+00:00
When they say "don't support it anymore", does that mean they're back to the IE era of using Chrome specific technologies so it doesn't work in any browser, do they use user-agent sniffing and show a big popup, or is it just that they're not testing it in FF anymore? The latter shouldn't be an issue as long as they use standards, the only thing they would run into in this day and age is browser specific bugs - but Safari seems to have that the most.
by user_7832 | 2025-12-17 11:09:15+00:00
I can understand if you're saying that perhaps the writer should also contribute in a more holistic way, get their contributions upstreamed etc. That does make sense.

Only thig is I'm not sure how many CEOs/orgs care about writers going above and beyond. A small firm run by a sensible person, sure. But I don't think most of these jobs are from small players.
by forgotpwd16 | 2025-12-17 11:09:24+00:00
Yeap. It's mentioned in their financial reports that user donations represent more than 99.9% of our annual revenue[0]. Also seems their staff is mainly engineers/developers, and all the expenses are concentrated to their product*. Thunderbird doing what Firefox should.

[0]: https://blog.thunderbird.net/2023/05/thunderbird-is-thriving...

*Though Thunderbird is Gecko-based so can be said in part, perhaps a significant one, they're depending on Firefox development.
by Orygin | 2025-12-17 11:09:28+00:00
Of course it's probably not the same user base. But the point imo is that users did use it and get value out of it, even if die hard users cried hard their browser was invaded and that Mozilla lost the plot.

We even have commenters here saying Pocket lost Firefox some market share (without any evidence or argument in favor, so a gut feeling too), but nobody to say that maybe the feature was used by some? And maybe that was a pull for Firefox vs Chrome. (I'm not saying it was, I'm just saying we don't know)
by LordGrey | 2025-12-17 11:09:30+00:00
For anyone not familiar with the meaning of '2' in this context:

The Linux kernel supports the following overcommit handling modes

0 - Heuristic overcommit handling. Obvious overcommits of address space are refused. Used for a typical system. It ensures a seriously wild allocation fails while allowing overcommit to reduce swap usage. root is allowed to allocate slightly more memory in this mode. This is the default.

1 - Always overcommit. Appropriate for some scientific applications. Classic example is code using sparse arrays and just relying on the virtual memory consisting almost entirely of zero pages.

2 - Don't overcommit. The total address space commit for the system is not permitted to exceed swap + a configurable amount (default is 50%) of physical RAM. Depending on the amount you use, in most situations this means a process will not be killed while accessing pages but will receive errors on memory allocation as appropriate. Useful for applications that want to guarantee their memory allocations will be available in the future without having to initialize every page.
by colesantiago | 2025-12-17 11:09:52+00:00
It doesn't matter if they are or not really.

As of right now Thunderbird doesn't make any money, it relies on 'Donations' which isn't at all sustainable.

I can see Thunderbird is planning to do a pro plan, but it is behind a waitlist so the total sum of revenue Thunderbird is making relative to Google's $500M deal is close to zero.
by walrus01 | 2025-12-17 11:10:30+00:00
> Many banks and government websites don’t even support it

Because their web developers are too lazy to write anything to proper standards. They're doing some kind of lazy "Check for Chrome, because everyone must be running that, if not, redirect to an Unsupported page".

I've yet to find a website that "refuses" to work in Firefox which doesn't work just fine when I use a user agent switching extension to present a standard Chrome on MacOS or Chrome on Windows useragent.
by rglullis | 2025-12-17 11:10:42+00:00
> No just the first part,

Ok. Then the question is "If the US really goes full isolationsist and packs it home, who takes the power vaccum?"

> China ain't doing no ground invasion for oil

I didn't say that "China handling it" is about invading anything. I also didn't say anything that the US is justified in invading Venezuela. I am just wondering that if those saying "the US shouldn't do anything" understand that someone will do something, even if this something is stupid, counterproductive or plain evil.
by Silhouette | 2025-12-17 11:12:26+00:00
I still think it was a mistake for Firefox to dump its old plugin model. The customisation was a USP for Firefox and many useful tweaks and minor features have never been replaced.

Today the ability to run proper content blockers is still a selling point for Firefox but obviously wouldn't be if they started to meddle with that as well. (Has there ever been a more obvious case of anticompetitive behaviour than the biggest browser nerfing ad blocking because it's owned by one of the biggest ad companies?)

Other than customisation the only real advantage I see for Firefox today is the privacy angle. But again that would obviously be compromised if they started breaking tools like content blockers that help to provide that protection.
by flohofwoe | 2025-12-17 11:12:50+00:00
Going entirely back to the granular GL-style state soup would have significant 'usability problems'. It's too easy to accidentially leak incorrect state from a previous draw call.

IMHO a small number of immutable state objects is the best middle ground (similar to D3D11 or Metal, but reshuffled like described in Seb's post).
by Arisaka1 | 2025-12-17 11:13:07+00:00
My counterpoint to this is, if someone cannot verify the validity of the summary then is it truly a summary? And what would the end result be if the vast majority of people opted to adopt or deny a position based on the summary written by a third party?

This isn't strictly a case against AI, just a case that we have a contradiction on the definition of "well informed". We value over-consumption, to the point where we see learning 3 things in 5 minutes as better than learning 1 thing in 5 minutes, even if that means being fully unable to defend or counterpoint what we just read.

I'm speficially referring to what you said: "the speaker used some obscure technical terminology I didn't know" this is due to lack of assumed background knowledge, which makes it hard to verify a summary on your own.
by quietbritishjim | 2025-12-17 11:13:31+00:00
Absolutely fabulous work.

Ludicrously unnecessary nitpick for "Remove all the brown pieces of candy from the glass bowl":

> Gemini 2.5 Flash - 18 attempts - No matter what we tried, Gemini 2.5 Flash always seemed to just generate an entirely new assortment of candies rather than just removing the brown ones.

The way I read the prompt, it demands that the candies should change arrangement. You didn't say "change the brown candies to a different color", you said "remove them". You can infer from the few brown ones that you can see that there are even more underneath - surely if you removed them all (even just by magically disappearing them) then the others would tumble down into a new location? The level of the candies is lower than before you started, which is what you'd expect if you remove some. Maybe it's just coincidence, but maybe this really was its reasoning. (It did unnecessarily remove the red candy from the hand though.)

I don't think any of the "passes" did as well as this, including Gemini 3.0 Pro Image. Qwen-Image-Edit did at least literally remove one of the three visible brown candies, but just recolored the other two.
by pron | 2025-12-17 11:13:47+00:00
I'm not sure how a "spec with floats" differs from a spec with networks, RAM, 64-bit integers, multi-level cache, or any computing concept, none of which exists as a primitive in mathematics. A floating point number is a pair of integers, or sometimes we think about it as a real number plus some error, and TLAPS can check theorems about specifications that describe floating-point operations.

Of course, things can become more involved if you want to account for overflow, but overflow can get complicated even with integers.
by ben_w | 2025-12-17 11:14:11+00:00
Malpractice insurance? One insurance premium is high in order to pay for the cost of another insurance premium?

This seems… suboptimal.

I'm in Germany, I don't know what we spend money on here because I'm still integrating myself and have not mastered the German language to the level of having opinions about the Krankenversicherungsbeitragsentlastungsgesetz, but I do know we spend about 2/3rds per capita as the USA for better outcomes:

https://ourworldindata.org/grapher/life-expectancy-vs-health...
by gwd | 2025-12-17 11:14:11+00:00
That's like saying, "Nobody wants Adwords; people want Chrome." True but besides the point. Salaries have to be paid somehow.

Some options I can think of for paying salaries:

- Go the Wikipedia route, stay entirely free, and beg for donations on a regular basis

- Start charging for Firefox; or for Firefox Premium

- Use Firefox as a loss-leader to build a brand, and use that brand to sell other products (which is essentially what GP is suggesting).

How would you pay for developers' salaries while satisfying "people [who] want firefox"?
by Aldipower | 2025-12-17 11:15:56+00:00
This does not solve the underlying problem at all, which makes today's MIDI, coming from a normal computer, almost unusable for serious sequencing. This is timing and jitter issues! So, may I asked, what is the actual use-case for this sequencer? I would like to see/hear some music you made with it. Or is this just for the sake of using AI?
by fedex_00 | 2025-12-17 11:16:36+00:00
Building an AI Hacker - https://aisafe.io

After years of manually reviewing thousands of lines of code, I realized the demand for security expertise is vastly outpacing the supply, and AI-generated code is only accelerating this gap.

I don't believe "generate secure code by default" is a problem we'll solve anytime soon, if ever. So I'm building an autonomous solution to help restore the balance.

Planning to launch very soon - keep an eye :)
by svnee | 2025-12-17 11:16:41+00:00
A major technical failure at LuxTrust—Luxembourg's state-backed certification authority—has disrupted authentication systems across the country since Tuesday afternoon. Because LuxTrust holds a monopoly status in the Grand Duchy, the outage has effectively paralyzed most critical digital services, including: * Banking and payments: The majority of transaction services are offline. * Civic Services: Government portals like MyGuichet are inaccessible. * Healthcare & Transport: Platforms for eSanté (health) and Luxair (airlines) are affected.
Show HN: Free MVP Cost Calculator (no signup required)
by megaseo | 2025-12-17 11:16:53+00:00
I built this tool to help founders get realistic development cost estimates without the usual sales pitch. It's completely free and requires no signup. I created it in memory of a friend who passed away recently and believed strongly in accessible tools for builders. The calculator asks about your project requirements and provides cost ranges based on common development scenarios. It's intentionally straightforward Planning to build more tools like this. Feedback welcome.
by cm2187 | 2025-12-17 11:18:05+00:00
US foreign policy goals are self serving like every other country. And it has supported lesser of two evils many times (like a non communist dictatorship vs a communist one).

I don’t think the Iraq war was to establish democracy, it was to get rid of a dictator hostile to the US at a time when after 9/11, the US decided to it would not tolerate further aggressions. But a byproduct of that policy has been the establishment of a democracy and historically the US considered that democracies as natural allies and therefore the more the better.
by darkwater | 2025-12-17 11:18:11+00:00
In which country are you seeing that?

For me the biggest offender are usually Google products and sometimes the lazy-coded website written by incompetents and whose audience is the tech illiterate (i.e. some websites involving schools/teaching) that just tell you "use latest Chrome just to be sure, download here" to, well, just be sure. Notable mentions for government websites that are like 10 years in the past and that are still on the "Supports Firefox" side because, well, they are just always late to everything.
by ptx | 2025-12-17 11:18:15+00:00
Perhaps only in the case where it's preceded by the small tsu? E.g. "一人ぼっち" -> "hitori bo[tsu]chi" -> "hitori botchi"? That's what Wikipedia says [1], although I think it's also common to (incorrectly?) use "bocchi" instead.

[1] https://en.wikipedia.org/wiki/Hepburn_romanization#Long_cons...
by redhale | 2025-12-17 11:18:31+00:00
This looks fantastic and I'm excited to try it today!

One question: I see this supports custom workflows, which I love and want to try out. Could this support a "Ralph Wiggum"-style [0][1] continuous loop workflow? This is a pattern I've been playing around with, and if I could implement it here with all the other features of this product, that would be pretty awesome.

[0] https://paddo.dev/blog/ralph-wiggum-autonomous-loops/ [1] https://github.com/onorbumbum/ralphio