|
|
|
|
|
by jdvh
452 days ago
|
|
In the short term a free open source govt alternative may be a net positive for society. I don't think it is in the long run. Government projects like these are not likely to really push the state-of-the-art forward. This project even advertises itself as a FOSS Notion alternative. Do government-sponsored clones encourage or stymie innovation? I think the latter. Every week we read in the news that the EU struggles with entrepreneurship. That our tech industry is languishing. That the EU gets out-competed by the US on software and by China on everything else. Europe should be making industry-leading apps. Europe should produce software startups that make products that get used worldwide. EU subsidized clones of popular American products feels like admitting defeat. I'm obviously biased because I'm also working on a product in this space. But if Notion developers must become farmers because innovation no longer pays that is a loss to the world in my book. |
|
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