Hacker News Reader

There are plenty of projects pushing the state of the art forward.

A very specific example: basically all interactive theorem proving tooling is built in public research halls. This has allowed Compcert, a C compiler with “no bugs”[0] to exist.

The Compcert case is interesting because private funding is also involved. Public state research can still pull in private funds! We are not entirely throwing in the towel!

[0] “no bugs” here means “we have defined a spec for C, and this compiler is guaranteed to compile your C code along the spec we defined, so long as your program terminates”. There’s some hand waving around a theorem prover’s own validity but all Compcert bugs have been “we misewrote a chunk of spec” varietals

What part of this project would stop you or someone else from "innovating" and making it "state of the art"?

After all, it's licensed under the MIT License, and the readme explicitly states that it can be contributed to, and that in fact they encourage it.

Your whole argument is based on neomania: progress is always good and there is no point in working on something unless it advances the state of the art.

Certainly not. I don't believe progress is always good. But subsidies should be reserved for ambitious projects that push the state of the art forward. For those projects that realistically will not get funded commercially. CERN, for instance.

How is that a subsidy?

They are putting their resources into the development of a product that can be universally shared and used. There is no favored party.

Also, I completely disagree with the "ambitious projects". I actually would favor the government let all the risky ventures to private enterprises and focused only on tried-and-true developments and make them universally available to its citizens.

Building this allows them to reduce the subsidy that is perpetual software license fees.

In exchange for perpetual development and maintenance costs. Total cost of ownership doesn't go down by rolling your own in-house.

Having a FOSS alternative allows you to share the R&D costs with other interested parties.

At the very least, it works as a bargaining chip when it comes to negotiating contracts with the private sector.

If that's true in a large organization, how do SaaS companies actually make a profit?

If you develop an in-house tool, you have very predictable user numbers so you can go on-prem versus cloud for the compute and save ~10x on that side.

You also have the benefit of being second, the other guys already did the hard work of UX research etc. and your in-house team just needs to replicate a slightly complicated CRUD app.

The one significant roadblock I can see is being able to put together the right team for the job. But cost-wise it has to be a no-brainer that in-house is cheaper.

>government projects like these are not likely to really push the state-of-the-art forward.

why it would need to be state of the art? it needs to be stable and 'good enough'. This isn't rocket science, nor quantum mechanics - this is literally a glorified CRUD app that focuses on documentation.

Because when innovative software isn't made inside the EU then Europeans will simply use the best products made elsewhere.

As of 2025 any US-based services are persona non grata for national security reasons. Which other nation's services could the EU switch to that isn't from US?

you seem to have missed the point that we are talking about glorified CRUD app.

> Government projects like these are not likely to really push the state-of-the-art forward.

Well, if a government project can easily push you out, then you're not really a state-of-the-art.

> EU subsidized clones of popular American products feels like admitting defeat.

Governments need to think long-term. And one danger of relying on something like Notion is vendor lock-in. You can't easily migrate your data out of Notion, with all the rich content preserved (edit history, text comments, etc.)

EU can try to mandate a common interoperability standard, but it takes years and the end result always ends up being behind the state of the art.

Government projects today, you mean.

The government could act like an immortal mega corp if it had the authority to do so. Such as pushing out competition via loss leaders. And as a bonus, with the government, every program can be a loss leader.

The funding potential for this pattern is constrained today, which is why government projects that compete with private industry are generally terrible. But, clearly, the money is there to be captured by this segment out of government funding generally, if the government is allowed to enter business directly.

The solid argument I see against allowing such actions is a slippery slope towards the above. Slippery slope arguments aren’t always correct, of course, but they aren’t always wrong either; they just point out a risk. Depending on one’s risk tolerance, it is wise to avoid slippery slopes when you can’t quantify just how steep it is.

One limiting factor: the government-produced software will be open source. So the barriers for innovation will be significantly lower for _everyone_.

Right now, I can't fix that one small bug in Notion that keeps bothering me. I have to raise an issue and hope that they add the API required to do that. In the case of open source base produced by the government, I can make a small (perhaps paid) add-on with that functionality.

Yeah totally I think this instance is fine too. I’m kind of speculating why some people seem to get a spooky feeling around stuff like this, even though on the surface it seems totally innocuous.

Government crowding out companies is absolutely a concern. I don't want the government running grocery shops or making video games.

But it works fine for infrastructure where competition is not only rare, but often is counter-productive, like for sewer and water delivery. Can this include software infrastructure? Maybe.

> Europe should be making industry-leading apps. Europe should produce software startups that make products that get used worldwide.

I've kind of lost hope when it comes to commercial services and proprietary apps. They're sadly all sooner or later enshittified. We need something different, not by promises but by design (FOSS).

> EU subsidized clones of popular American products feels like admitting defeat.

I think it's a fresh and needed take on the financing of our common digital infra.

I think the main problem is lock-in. If you can't get your data out you can't leave. This is true for open source and for commercial products alike.

If you own your data and if you have the option to self-host you can always opt out of updates you don't like.

I can't think of too many apps that I use that are truly FOSS.

Databases, compilers/interpreters, web servers, operating systems...but apps? (Other than gnu/bad command line tools of course)

For me: Emacs, NetNewsWire, Gimp, Inkscape, Calibre, Firefox, Chrome, occasionally VS Code, very occasionally whatever Audacity is called today.

And I’m a Mac user!

To add to your list: Atril (PDF Viewer), Vokoscreen (Screen recorder), Transmission (Torrent CLient), Simple Scan (Scanner Tool), LibreOffice, Keepassxc, Thunderbird, Element Desktop, Dino, Handbrake, Beets (Music Collection Tagger/Manager), VLC, Kodi, Rhythmbox (Music Player), Syncthing

If I look at my phone, it's possible that I have more apps installed via F-Droid than through Google Play

Typically a FOSS community seems to take a while to get started, but once it gets going (Blender, Linux, etc) it tends to stick around and even seriously gain traction.

Maybe you are not building something in the sector but do you have any idea of how shitty collaborative work is for public agents ?

The possibility of data being sifoned back to the US if they use american cloud services has millions of public agents not being able to collaborate online.

Some of them try to provide on premise versions of the software but Microsoft want you so bad to pay for 365 or teams that they are willing to maintain only super old versions.

I spoke with a guy reponsible for 100k public agents who told me his only choice is to host Sharepoint 2011 (in 2025 !)

So maybe Docs is not as innovative as Notion but hey, we need as efficient as we can public servants. And we will do that by providing modern tools they can use online with their colleagues.

+ When we think of Microsoft we think about the Office Suite but in lot of cases they do the authentication with Active Directory. Go luck doing interoperability or SSO accross agencies when all of them rely on closed source code and are locked in by vendors...

We're actually solving with OIDC identity federation called ProConnect.