MurphyA/hacker-news huggingface dataset:
by revinary | 2025-12-17 10:12:10+00:00
"The desire to master a craft, to read slowly, [...]"

By the time I got to that part my reading had degraded to mere skimming -

a perfectly placed reminder :-)

Here's another angle on the issue: As humans, we evolved these useful litte machines of desire.

Desires to feed, mate, socialize attend and get attended to. All of those came about because they had some utility, a purpose.

Over time we found ways to exploit those machines using substitutes.

- Sweets are a substitute for nourishing food.

- Porn feeds on our desire to mate.

- Social media overloads the fine-tuned machine meant to orient us in the tribe.

I suspect a big part of capitalism is creating ever more efficient and subtle ways to highjack these aspects of our humanity on a grand scale.

Damn.
by oersted | 2025-12-17 10:12:31+00:00
When US initiates aggressive unilateral military action on other sovereign countries, US bad yes, of course.

Old-school UN-led "police action" as in Korea is one thing, at least there's a somewhat universal institution making judgements on which countries need to be "saved" under a consistent legal framework, but that's such a slippery slope too.

The US does not have the authority to make such decisions and definitely does not have a good track record of them. It's just vigilantism at a large scale, at best. Even when being charitable about intent, the US did do some things in legitimate good faith, at least partially, the results are always catastrophic. There's been no instance of actually positive outcomes for the local population, it has always destroyed the country for decades to come and set the stage for significantly worse regimes.
Show HN: WhatDayIsIt – Hover over any date to see the day of the week
by faja | 2025-12-17 10:12:45+00:00
Hi HN, I’m the author of WhatDayIsIt.

I built this because I kept running into dates on blogs, tickets, and documentation (e.g., "Due by Dec 25") and constantly had to switch context to open my calendar just to see what day of the week that falls on. I wanted a way to see that context without leaving the page.

The extension is lightweight (<50KB) and works by scanning the DOM for common date formats (ISO, US, EU). When it finds a match, it adds a subtle highlight. Hovering over the date reveals a tooltip with the day of the week (Monday, Tuesday, etc.).

If you have any feedback I would appreciate it!
by mintflow | 2025-12-17 10:13:38+00:00
This sucks, it make me feel so silly after decide to move back to github self hosted runners just because I do not want to run act on a remote ARM64 server.

I was just using act (https://github.com/nektos/act) on my local server to build the X64 packages for my project, since I want to streamline it with ARM64 support, I migrated to the github self hosted runners.

This is really ridiculous, is M$ really lack that money just to schedule the Jobs running not in there infra?
by Olivia8 | 2025-12-17 10:14:02+00:00
This resonates strongly, especially the shift in the build vs buy calculus happening almost invisibly. What feels under-discussed is that agents are not just reducing the cost of building software — they are collapsing the coordination and abstraction costs that SaaS historically justified. One emerging pattern I’m seeing is teams moving toward agent-orchestrated internal tooling rather than traditional “one-off” internal apps. Instead of rebuilding entire SaaS products, they compose narrow, task-specific agents that sit directly on top of their own data and workflows. This avoids both feature bloat and long-term roadmap dependency while keeping maintenance tractable. Platforms like Coldi AI, for instance, point toward this middle ground: not “replace all SaaS,” but replace the parts that are really just opinionated CRUD, dashboards, or glue code with agents that can evolve alongside the organization. That feels like the real threat surface for SaaS — not total displacement, but systematic erosion of NRR as customers internalize more of the value chain.
by philipallstar | 2025-12-17 10:14:27+00:00
> Does the wealth created by automation reduce the need for humans to work to survive, or does it just centralize in the hands of capital owners?

It seems to do a bit of both. People do slightly more work with lots more automation to help them, and automation generates work as well (e.g. once upon a time you'd occasionally send a memo out; now anyone can email anyone else and it all needs archiving).
by sunnyday_002 | 2025-12-17 10:15:46+00:00
Pin the action's version via a digest and use Renovate for updates.

You can run all your CI locally if you don't embed your logic into the workflows, just use CI for orchestation. Use an env manager(Mise, Nix etc) to install tooling(you'll get consistency across your team & with CI) and call out to a task runner(scripts, Make, Task etc).
Show HN: An interactive visual explorer for STARK zero-knowledge proofs
by berndtzl | 2025-12-17 10:15:49+00:00
Hi HN,

I built a web app to help anyone trying to learn STARKs to build intuition

The idea is to learn STARKs by inspection and debugging rather than only by reading papers. You can write simple programs in a small assembly-style DSL, generate and verify STARK proofs for them, and inspect execution traces, constraints, and polynomials step by step.

I hope it's useful to someone! Link: https://floatingpragma.io/starklab
by gbraad | 2025-12-17 10:15:59+00:00
I wrote mine also, integrating an Akai Fire, at https://music.gbraad.nl/meister as part of a tool to do live performances. This controls some of my remix tools, mixxx and vj tools too.

Edit: my usecase is more integrating different tools and devices, Bitwig, Electribe, mixxx, my mod/protracker remix tool, etc. I guess your usecase is more to generate music, less my thing, but possible. I just have a particular sequencer/tracker use. Generation happens in bitwig
by Attrecomet | 2025-12-17 10:17:58+00:00
I also wonder why the EU should invest a significant amount of political, economical and hard military power to protect a failing dictatorship?

Make no mistake, the EU is not "fine" with the war in the sense that they will express diplomatic criticism of the US when Trump finally starts his idiotic (and narcissistic, and corrupt, but I already said "Trump") war. They are "fine" with it in the sense that they won't self-implode their collective political careers and perhaps the EU itself by sanctioning the US and destroying the economy of the entire EU for fucking Maduro. Doing that would be idiocy.
by tbarbugli | 2025-12-17 10:18:03+00:00
At getstream.io we ended up running Github Actions on Hetzner. The end-result is 4x faster builds for 3x less $$$.

Running workers ourselves was the last resort, we tried everything else but it was impossible to get fast (and consistent) build times otherwise.

In a way we are now going to get charged for Github's poor execution on Actions.
by GuestFAUniverse | 2025-12-17 10:18:44+00:00
I read the title and wanted to dismiss the CEO. Than I reflected on my current web use and I at least agree, that classic search is at max. 50% of my daily tasks, the rest is for accessing bookmarked resources (that includes corp. non-AI web apps _and_ AI portals). While I currently disabled all AI in FF, I see where is stance might come from.
by bluehex | 2025-12-17 10:18:49+00:00
I just noticed last week that Chrome was putting multiple versions of some 4GB AI model [1] on my hard disk that I'd never asked for, so when I upgraded my laptop I took the opportunity to switch to Firefox, and now this.

My image of Mozilla as a bastion for user first software just shattered.

[1]: https://developer.chrome.com/docs/ai/get-started
by nwellnhof | 2025-12-17 10:20:03+00:00
It should be noted that Google Project Zero doesn't care whether a software product is maintained by multi-trillion corporations or a single volunteer. Imposing an "industry-standard" 90-day deadline on a unpaid solo developer without offering any help or compensation whatsoever is not sustainable. It forced me to step down as maintainer of libxslt: https://gitlab.gnome.org/GNOME/libxslt/-/issues/127
by neoinkarasuyuu | 2025-12-17 10:20:46+00:00
Yeah, that claim makes no sense by itself, and I found it contradictory as one actor accessing repos over two vpns at the same time seems unlikely.

I think if you look at all the actions, and see that they don't overlap, then it might make sense.

If access was: Location: Repo USA: 1,2,3,4 India: 5,6,7,8

The it is reasonable to assume that the access was from that same actor, as it is coordinated in some way.
by kakacik | 2025-12-17 10:21:35+00:00
No just the first part, China ain't doing no ground invasion for oil, minerals and power half around the world. Iraq and whole surrounding region became a hellhole due and only due to US failed invasion, gave the world ISIS and screwed entire region badly for decades to come. Afghanistan became (again) a hellhole due to failed US invasion too, 0 positive long term things achieved, just death all around.

US military-industrial complex (aka the republicans in power but not only) will try and force any way US will spend trillions on military equipment again and again, thats glaringly obvious to literally whole world and not something new or secretly done behind many curtains.

If US would actually want to have an image (and not just self-image) of somebody standing up to tyranny and genocide and protecting the weak and just, they would support Ukraine and not backstab it frequently as they do. Thats a fine litmus paper for this in current times, don't need anything else. The fact that enemy there is a mortal enemy of US itself and all principles US holds (held?) dear like freedom, democracy, capitalism or right to self-determination is just the proverbial cherry on the top of the cake. No amount of words can bullshit around this simple fact.

Also in the process US is losing its by far biggest and strongest ally in whole world on all existential, moral and societal levels - Europe. An army of expert spies and hackers wouldn't be able to achieve in decades what current potus achieved in less than a year.
by Oras | 2025-12-17 10:22:00+00:00
As a developer who faced the same challenge before, I would say it is better to start with "what do you want to achieve?"

The word "Marketing" is like a non-techie saying, "I want to be a developer."

- Which type of development? Websites? Apps? Systems?

- Which programming language?

- Which cloud/no cloud to release?

If you want organic traffic, then focus on and learn SEO.

If you want to spend money, learn ads.

If you want to build a personal brand, learn social media (focus on one platform).

Pick a goal, find how you can achieve it, make a plan, and execute.
by spwa4 | 2025-12-17 10:22:04+00:00
Forge, Gitea, and git itself contains a cgi script with quite a bit of functionality. And of course, the way it is supposed to work, git-over-ssh, as in give committers Linux shell accounts on a shared machine, with the CGI script running for pretty pictures (Remember CGI? You know, "cloud functions" before such a thing existed)

Huh, I should make an Apache plugin that launches docker exported containers uploaded into a directory.
by grunder_advice | 2025-12-17 10:22:11+00:00
From what I understand the root cause is racism and classism.

Venezuela was in a deep economic crisis for a very long time before Chavez was elected. The then ruling elite were pretty happy living in a bubble, extracting oil, selling to the west, embezzling the proceeds and ignoring most of the population.

The reason I say, the root cause is racism and classism, is because they totally underestimated the power of the people to overthrow their corrupt regime.
by sho | 2025-12-17 10:22:20+00:00
> The kara comes from a country name and refers to a style of cooking

My understanding is that the exact etymology is unknown. It's often written with the letter that references the tang dynasty, but the thing is there's no particular reason to think the Chinese introduced the style of cooking to Japan - although it is true that there was such a thing as fried chicken in 7th century China!

Another kanji-ization of the word uses the kara from karate (meaning air or empty, in karate it's "empty hand") and I find this equally plausible as karaage is fried with a very small amount of batter ("in air").

Either way they're both essentially competing "kanji backronyms" seeking to retcon an existing word as spoken; there's no real right or wrong answer.
by Maxion | 2025-12-17 10:22:30+00:00
Even

> "an anonymous user must never edit any data, except for the create account form"

Can quickly end up being

> "an anonymous user must never edit any data, except for the create account form, and the feedback form"

And a week later go to

> "an anonymous user must never edit any data, except for the create account form, the feedback form, and the error submission form if they end up with a specific type of error"

And then during christmas

> > "an anonymous user must never edit any data, except for the create account form, the feedback form, and the error submission form if they end up with a specific type of error, and the order submission form if they visit it from this magic link. Those visiting from the magic link, should not be able to use the feedback form (marge had a bad experience last christmas going through feedbacks from the promotional campaign)"
by Grikbdl | 2025-12-17 10:23:01+00:00
>> 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.

> I read this as “I don't want to but I'll kill AdBlockers in Firefox for buckerinos ”.

I completely disagree. First of all the original quote is paraphrasing, so we don't know in which tone it was delivered, but calling something "off-mission" doesn't at all sound like "we'd do it for money" to me.
by discomrobertul8 | 2025-12-17 10:23:26+00:00
> Back to tsunami. Whenever I hear the word mispronounced by those who ought to know better it just grates badly, the mangled mispronunciation distracts my attention from what's actually being said. So often one hears TV newsreaders including those on the BBC slur the word as 'sooonami' when clearly its English spelling indicates the correct pronunciation. Tsu, つ, sounds like a hissing snake—say it to yourself. Is that not obvious?

It's because English has no (or very few - I can't think of any) words that begin with the same phoneme.

That's just what happens with loan words. Japanese loaned "Arbeit" (アルバイト) from German and they also pronounce it "wrong".
by wtcactus | 2025-12-17 10:23:35+00:00
Sincerely, I'm just using Firefox ATM because of Sidebery.

If I could use something similar on Brave, I would go back in an instant.

My main issues with FF are that it is a battery hog on MacOS, doesn't have AV1 playing capabilities (or it has, but I would need to go through some configuring that I don't need to do in other browsers) and sometimes it stalls in certain pages (that's probably not FF fault, but that the web developers don't optimize for it... but still, it's not a problem on Brave, so, I don't really care for apologising for it).
by pas | 2025-12-17 10:23:51+00:00
it's a completely obvious "problem" -- more users are easier to monetize, even if they "simply" go the Wikipedia donations model

many people stated that they are happy to do targeted donations (ie. money earmarked strictly for Firefox development only, and it cannot be used for bullshit outreach programs and other fluff)

and if they figure out the funding for the browser (and other "value streams") then they can put the for-profit opt-in stuff on top
by benmxrt | 2025-12-17 10:24:12+00:00
That is a great point, and it's definitely on the roadmap.

The "cat and mouse" game between disposable email services and site filters is constant. I'm currently looking into rotating a pool of less common TLDs to keep the service viable for longer.

The idea of letting users pick from a list is also solid—it gives them more agency and potentially bypasses blanket filters that only target the "default" domain.

Thanks for the feedback, Tony!
by lawrpaulson | 2025-12-17 10:24:44+00:00
Formal verification is progressing inexorably and will, over time, transform the software development experience. There is a long way to go, and in particular, you can't even get started until basic interfaces have been specified formally. This will be a bottom-up process where larger and larger components gradually get specified and verified. These will mostly be algorithmic or infrastructure building blocks, as opposed to application software subject to changing and vague requirements. I don't think LLMs will be contributing much to the verification process soon: there is nowhere near enough material available.
by onli | 2025-12-17 10:24:54+00:00
We are missing the context how the statement was said in the interview. The CEO is new and not used to the scrutiny that position brings, especially for Mozillas CEO given their purported ideals. It is quite possible he said this as something absurd -> "If making money was our only goal we would have some other options. We could for example disable all adblockers, to get more money from our advertising sponsor Google, at least 150 million USD. But we can not and won't do that, as it would feel completely off-mission for everyone and harm us long-term. So we always keep our mission in mind." Then the journalists shortens it to the blip in the verge article and the reaction twists it around a bit more, assuming disabling adblockers was on the table as a serious suggestion.

Or it could be it really was on the table since they just entered the advertising business and think AI is the future of Mozilla, a "fuck those freeloaders", heartfelt from the Porsche driving MBAs in Mozilla's management. Who knows. But it's a choice which interpretation one assumes.
by bojan | 2025-12-17 10:25:15+00:00
> The only way for Venezuela to survive is to play dirty and be cunning/resourceful just like their Ukrainian counterparts fighting for their life.

You are trying very hard to make the situations sound similar, but they are not.

Ukraine is a democracy, Venezuela is not.

The scope of the attacks are entirely different. Still doesn't justify what Trump is doing, of course.
by compressedgas | 2025-12-17 10:26:36+00:00
This reminds me of _The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types_ https://dl.acm.org/doi/abs/10.1007/978-3-642-39038-8_9 https://ecs.wgtn.ac.nz/foswiki/pub/Main/TechnicalReportSerie...

Apywire reports it can't handle circular dependency: https://github.com/alganet/apywire/blob/1c9a39df36a9385d8b34...
by k4rli | 2025-12-17 10:27:23+00:00
I'm a contractor so have worked on a lot of different projects for different companies, big and small and also early startups.

This is far from truth imo. It is very possible to only use (F)OSS. Github, AWS, Azure, Vercel are not at all more pleasant or easier to work with than on-prem Gitlab/gitea/codeberg/jenkins/k8s/kibana/prometheus/grafana.

I could spend an hour and have a full setup done on physical or VPS to have 1) remote git hosting 2) pipelines running on changes 3) pipelines publishing images or some artifacts 4) automated deployment for these images/artifacts

I'm struggling to see what am I missing. What is worthwhile that Github offers? It is popular and easy to set up org+repos, but that seems it. A few years ago I was working on Azure Devops with the azure pipeline and that was the worst developer experience I've ever had. AFAIK Github actions uses the same syntax and works the same way, at least it was at that time.
by A_D_E_P_T | 2025-12-17 10:28:13+00:00
What are you trying to do?

In general, marketing is not a thing that you can do alone. There are, I think, four primary facets:

1. Making sure that your web presence is optimized for search, AI, etc. This is not easy and best practices are constantly evolving. Just hire RankScience or a similar firm and learn from them. Mistakes here can be extremely costly, so you'll want to make sure you're properly set up.

2. Getting good press, interviews, etc. You'll want to learn how to write a press release (there's a proper format) and have them placed. You'll also want to do outreach to publications and venues that you think are favorable or a good fit. Either buy a subscription and use Opus 4.5 for planning and editing and Kimi-K2 for writing -- or just hire a firm to take care of it and learn from them. This is less expensive than you think. (My firm pays something like $500/month for PR services.)

3. Social media and Youtube. You may not need this, and in any case should not pay for social media services. (Always unreasonably expensive, sometimes sleazy.) Just do your own thing, post cool videos if you've got 'em, comment on other people's stuff, and answer questions. Do not use Reddit. I've never seen a company use Reddit and not live to regret it.

4. Advertising. Again, you may not need this. Modern web advertising can get very expensive, very quickly -- it's practically designed to spin out of control. My recommendation would be to figure out the prior items before considering any campaigns.
by raxxorraxor | 2025-12-17 10:28:38+00:00
That has been the problem with unit and integration tests all the time. Especially for systems that tend to be distributed.

AI makes creating mock objects much easier in some cases, but it still creates a lot of busy work and makes configuration more difficult. At at this points it often is difficult configuration management that cause the issues in the first place. Putting everything in some container doesn't help either, on the contrary.
by austhrow743 | 2025-12-17 10:29:01+00:00
Their Google dependency is their existential problem. They're limited by what they can do with "making Firefox better" while effectively being a client state. An off the books Google department. Doomed to forever being a worse funded Chrome because they can't do too much to anger their patron.

By selling browser UI real estate to AI companies[0] they reduce the power Google has over them. If they get to the point where no individual company makes up a majority of their revenue, it allows them to focus on their mission in a much broader way.

[0]These will be very expensive listings should this feature become popular: https://assets-prod.sumo.prod.webservices.mozgcp.net/media/u...
by ch_fr | 2025-12-17 10:29:29+00:00
> invent the wheel again forever?

Yep that's the usual "art is a problem that must be solved, the process is an inconvenience" mindset. The CEO of SUNO AI also said something similar, "people don't enjoy making music".

I mean, I understand the CEO of SUNO etc. Talking about self-actualization in a negative sense, because they don’t really get it completely, or just it’s against their business interest which means they find bad arguments to support their own interest openly.
by colesantiago | 2025-12-17 10:29:35+00:00
The state of Mozilla's current 'products':

Firefox

Mozilla VPN

Mozilla Monitor

Firefox Relay

MDN Plus

Thunderbird

-

Some of these products are just repackaged partnerships.

-

Firefox - Funded by Google with the search partnership bringing in $500M in revenue. (free)

Mozilla VPN - Repackaged Mullvad VPN and using Mullvad servers.

Mozilla Monitor - Repackaged HaveIBeenPwned. (free)

Firefox Relay - No different to Simplelogin and not open source. (free)

MDN Plus - Be honest, you wouldn't pay for this since this was offered for a long time for free, MDN is already free.

Thunderbird - Most likely funded by Google (free) (using Firefox Search Revenue)

-

Be honest, would you pay for any of Mozilla's products when most of these can be found for free or close to free?

That is the problem.