frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself
100•pabs3•1h ago•56 comments

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
635•evankhoury•13h ago•330 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
28•birdculture•2h ago•0 comments

alpr.watch

https://alpr.watch/
785•theamk•17h ago•373 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
643•ryandrake•15h ago•113 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
598•gavide•13h ago•113 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
340•MrAlex94•12h ago•198 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
437•charlierguo•16h ago•204 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
657•kevin-david•17h ago•720 comments

Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025

https://plasticsoldierreview.com/ShowFeature.aspx?id=27
36•YeGoblynQueenne•3d ago•20 comments

Show HN: I built a WebMIDI sequencer to control my hardware synths

https://www.simplychris.ai/droplets
19•simplychris•5d ago•6 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/
165•pbowyer•11h ago•98 comments

Subsets (YC S23) is hiring engineers in Copenhagen, Denmark

https://www.workatastartup.com/companies/subsets
1•Oliverbrandt•3h ago

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P
8•Davidbrcz•2h ago•1 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
448•geox•20h ago•179 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
60•giuliomagnifico•5d ago•19 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
511•mitchbob•1d ago•184 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
510•recvonline•20h ago•767 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
76•vismit2000•9h ago•10 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/
199•rgovostes•1d ago•177 comments

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

https://www.npmjs.com/package/@ezetgalaxy/titan
33•soham_byte•6d ago•20 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/
257•wicket•21h ago•40 comments

AI's real superpower: consuming, not creating

https://msanroman.io/blog/ai-consumption-paradigm
3•firefoxd•2h ago•0 comments

A Guide to Magnetizing N48 Magnets in Ansys Maxwell

https://blog.ozeninc.com/resources/from-datasheet-to-demagnetization-a-guide-to-magnetizing-n48-m...
24•peter_d_sherman•6h ago•1 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
210•ewt-nv•1d ago•39 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
130•thatoneengineer•1d ago•163 comments

Venezuela explained in 10 maps and charts

https://www.aljazeera.com/news/2025/11/28/venezuela-explained-in-10-maps-and-charts
49•Anon84•3d ago•44 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
17•ibobev•4d ago•5 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
78•handfuloflight•11h ago•25 comments

Living Particle System

https://creative-art-points.vercel.app/
5•lovegrenoble•4d ago•0 comments
Open in hackernews

US threatens EU digital services market access

https://twitter.com/ustraderep/status/2000990028835508258
58•heisenbit•2h ago

Comments

pera•1h ago
https://xcancel.com/ustraderep/status/2000990028835508258
f_devd•1h ago
Remind me to never look at twitter replies again, by far most counterproductive threads I've seen
luis_cho•1h ago
If American companies don’t respect Europe regulation it’s time to Europe invest in dedicated software competing with office 365, social networks, even android/apple/windows os.
closewith•1h ago
Many EU Governments run entirely on MS/Meta/Amazon and to a lessor extent Google services. Many (most?) government services run on Azure or AWS, and huge parts of the continent run on WhatsApp.
RobotToaster•1h ago
Which is a huge mistake.

We should have learned that the USA can't be trusted when Nixon ended bretton woods so it didn't have to give France it's gold back.

closewith•1h ago
Agreed, and all the worse for being completely foreseeable.
4gotunameagain•1h ago

  “It may be dangerous to be America's enemy, but to be America's friend is fatal.”
Henry Kissinger ― US secretary of state, Nobel peace prize laureate, war criminal.
techterrier•1h ago
And are rushing to get away! I work on a product thats source available and self hosted. Many of our new customers are EU gov agencies.
closewith•1h ago
Good to hear, but probably depends on the country. Ireland is all-in on Azure and only deepening ties.
wkat4242•1h ago
Same with Holland. The tax office is moving away from their own office package onto m365 right now. They apparently had an alternative all this time, which I find very surprising (the media didn't really elaborate on this).

But Holland, Ireland, UK are the most neoliberal countries in Europe, they worship America and believe that the market solves everything. The rest of europe doesn't share that sentiment to the same extent.

cyberlad24•1h ago
Mutatis mutandis, the same applies in the opposite direction.
luis_cho•1h ago
Since when Accenture is European? It’s this because these companies are not Palantir?
Brajeshwar•1h ago
Being officially HQ-ed in Dublin, Ireland might be the reason. https://en.wikipedia.org/wiki/Accenture
jeroenhd•1h ago
Accenture is operating from Ireland, legally speaking. It may be in American hands, serving American shareholders and American interests, and it may have been started as a European front for an American business, but it's technically an EU company.

I don't think those kinds of details matter to a government looking to start yet another trade war, though. The list is based on the question "what legally European tech companies do business in America, sorted by income".

torginus•40m ago
By this logic, FAANG is also EU
arethuza•12m ago
Accenture has its HQ in Dublin - FAANG companies have their HQs in the US?
reacharavindh•1h ago
Throwing stone from a glass box eh? If I understand correctly, US is by far the largest services exporter to EU… should EU merely apply the same “tariffs” that US might impose on these goods, some healthy European alternatives would finally gain some ground..
shellwizard•1h ago
What alternatives to Microsoft, Google, IBM or AWS exist in Europe?
nephihaha•1h ago
If these hadn't been allowed to emerge as monopolies we would have a wider selection.
jonnybgood•1h ago
Is that really the case for the EU? The EU doesn’t seem to foster an environment for competitive companies that can operate at the necessary scale the above listed can.
fxtentacle•1h ago
LIDL the supermarket chain is German and is running a large cloud operation inside the EU. And OVH from France is also pretty big.

You’re correct that few EU companies get as large as US monopolies, but that’s kind of the goal when you want a functioning market.

concinds•1h ago
A "functioning market" doesn't prevent oligopolies. Oligopolies are natural and optimal (desirable) in many industries, if not most. That's when regulations come in.
ivan_gammel•1h ago
You probably mean Schwarz Gruppe, the owner of Lidl, and their subsidiary StackIT. Yes, they are growing. Schwarz is also building 11B€ AI data center in Lubbenau, so I fully agree with you. We will be fine without American digital services.
youngtaff•28m ago
It’s going to take time though… and the StackIT PaaS offerings aren’t yet quite as easy to use as their US competitors
eastbound•1h ago
Yes, funnily, mutual tariffs on IT services between the EU and USA would incentivize competition, which is a good thing. Unless the EU is try incapable of doing IT right, in which case it would slow the the EU economy, but let’s assume we’ll improve on that.
piva00•1h ago
Mostly an artefact of the non-application of antitrust laws, the US selectively decided to not apply those anymore for the past 30-40 years, corporate consolidation takes hold, companies providing a service grow enormously and are allowed to swallow prominent competitors to stamp them out.

The EU has many competitive companies, I think HN is too focused on "tech" as in digital/web stuff and quite blind to other technological industries...

nephihaha•1h ago
It seems to be. As in most of the world, nearly everyone is divvied up between Apple and Microsoft, and use Google Search, with Wikipedia being the default place normies go for information. I know there are people who use Linux and prefer to use other search engines, but they are few and far between.
concinds•1h ago
The EU has an extremely fragmented digital internal market, laws that suck for startups in most places, worse capital markets and funding mechanisms (and related laws), and doesn't have a Silicon Valley. It also underinvests in R&D and doesn't have a DARPA.

So yes, just tariffing or restricting US tech wouldn't help much. Europe "lost" that race fair and square. It needs to focus on fixing all those things.

wkat4242•1h ago
On the other hand a lot of these startups and tech companies are a net negative for the world. Externalise problems and pollution, internalise profits. We don't want society to be only decided by those who make the most money. That's why we have those laws.

I personally don't want the EU to become the US. And Investors gambling with other people's money is what gave us the world financial crisis of 2007. No lessons were learned as usual.

Tarq0n•1h ago
You say that like scale is an inevitability. If Microsoft's offerings were unbundled into lots of smaller interoperable solutions we'd all be better off.
1718627440•1h ago
The opposite seems to be the case. The EU fosters really competitive markets, so large companies are really hard to emerge. There are tons of small software shops in my city alone, you can walk through the city and see ads for them in front of their houses.
csomar•1h ago
No you would only have the European selection.
nephihaha•1h ago
There is currently no real European equivalent/serious competitor to the Apple/Microsoft duopoly, Google monopoly, Wikipedia monopoly etc.
ivan_gammel•1h ago
On Wikipedia: German chapter is the second largest (>100 FTEs) and collects donations directly, funding root org from them and keeping significant part for its own operations. It’s not exactly an American monopoly.
nephihaha•16m ago
Wikipedia is American owned. It also pushes certain ideas very subtly. Or not subtly in the hagiographies of certain "philanthropists".
nairboon•1h ago
> There is currently no real European equivalent to the [..] Wikipedia monopoly

8 out of the 10 largest Wikipedias are European languages...

nephihaha•17m ago
Wikipedia is an American outfit, owned by the American businessman Jimmy Wales. It doesn't matter which language it is in.
csomar•55m ago
The parent was talking about the scenario where Europe is forced to create alternative (like China) and that it will lead to a better/wider selection for him (I assume he is in the EU) and my answer is that it will lead to only a European selection.

Interestingly, the only people having a wider selection are the ones outside of EU/US/China as they'll be free to pick up whatever they want.

matwood•1h ago
Possibly. Until recently, anyone who was in tech wanted to move to the US because there was simply more opportunity. Salaries are higher, chances of making it big are higher, failing is often seen as a positive in the US, etc... The adage that the best place to make money is the US and the best place to spend money is the EU still rings true.

The US become less welcoming to immigrants is a great opportunity for the EU, but it remains to be seen if they will be able to take advantage and overcome the structural differences.

https://www.challenge.org/insights/structural-differences-in...

input_sh•1h ago
None of those are products, those are companies that offers 100s of products.

The question is not is there as an alternative to Google-as-a-whole, but is there an alternative to Google Search (yes), to Google Analytics (yes), to Gmail (yes), to Google Ads (yes, but not really), to YouTube (no), and to Android (yes, but not really).

Having a European mega-company that offers 100s of tightly-integrated products shouldn't be the end goal, that's just swapping one monopoly with another. We need a healthly ecosystem where there are hundreds of separate companies each solving 1-5 use cases.

em-bee•30m ago
just a nitpick, shouldn't youtube also be "yes, but not really", since there are plenty of alternatives to hosting video. but none have the reach that youtube has, similar to ads?
McDyver•1h ago
You're actually making the exact point you want to attack.

That's why Europe needs that push to get their act together and start being self-sufficient, digital services-wise.

whazor•1h ago
I think you can make a bigger list of US firms that are benefiting from EU laws, like Epic Games, Garmin, IBM, Oracle, Microsoft. But these companies are again also benefiting from maybe other American more established and US protected companies.
fxtentacle•1h ago
Yay, jackpot! We taunted the monkey in the glass box into throwing the first stone.

The EU is just itching for any opportunity to get rid of US tech firms because they’re increasingly seen as sovereignty risks. And while the GDPR fines (that this likely refers to) appear huge on absolute terms, they are still low enough that US firms voluntarily decide to violate those laws and just pay the fines.

The US sees TikTok as a risk. For the EU, it’s Microsoft Office.

jeroenhd•1h ago
> the GDPR fines (that this likely refers to)

I think the American government is mad at the DMA more than anything. Breaking up the monopolies that are currently firmly held by American tech giants goes directly against the interests of the White House, especially now that they're able to openly bribe the president.

stakhanov•1h ago
The E.U. making life difficult for U.S.-based monopolists, and the U.S. making life difficult for E.U.-based monopolists? For a net effect of life being difficult for all monopolists?

Well, that sounds like a wonderful idea!

I am all for it. Through this model, we might actually enjoy effective antitrust enforcement, and escape regulatory capture! Who would have thought that this day would ever come? Once again, it turns out I have been too cynical all my life.

kevin061•1h ago
Please destroy US tech, Ursula.
rvz•1h ago
The EU can only fine US tech giants because it's good at suffocating its own European companies with some of its members states having one of the highest taxes and subject to the EU's regulations.

It's no wonder AI startups like Mistral (France) are so dependent on US VCs and the same is true with Lovable (Sweden) who were able to grow faster than Europe trying to strangle them.

Since there are rare startup home-runs that are from Europe, the EU instead needs find a way to impose fines on US big tech companies. They (EU) will certainly do the same with the Big AI companies very soon.

SilverElfin•1h ago
Is this all simply spurred on by the recent fine against Musk/X? That wasn’t even about censorship but other issues. Not to mention the irony of threatening market access after throwing high tariffs on key allies while going soft on China.
throwaway13337•1h ago
The tariff talk was ostensibly because the EU exported more goods to the US than the US exported to EU.

The US exports far more digital services to the EU, though.

Understanding those things, it would seem a particularly unwise framing for the US government to focus on EU digital services exports.

LLMs are rapidly commoditizing software, and in particular making it far easier to handle the regulatory compliance and regional fragmentation that have traditionally held back software companies in the EU. Combine that with growing concerns about software trust, and the EU looks like an increasingly attractive bet for future software investment.

Ironic, then, that Europe seems slowest to adopt the very tool that could finally solve its fragmentation problem.

Two governments, two very different strategies to cripple themselves. The race is on.

zkmon•57m ago
US would like entire world to adapt American laws, values, norms, morals, life styles, mindset, ethics etc. Any deviation would, ofcourse, be uncomfortable.
anomie31•52m ago
I'm not read reading that whole screed, I just want to know if there's any regulations that apply to America only.

Otherwise, how can words like "discrimination" even be appropriate?

grunder_advice•7m ago
Long term, it would be good for the EU if tech market access was restricted. The reason there aren't EU tech giants is because the US and EU are basically one market, so naturally, all tech giants end up being American. So it's not in the interest of the US to restrict market access in anyway and these tech giants know it.