oytis

If I were to pick a distro for government services, I would go with something boring and reliable like Debian or openSUSE. NixOS is fun and nerdy and has its fan base, just not an obvious first choice for the task

European bureaucracy has a thing for weird technology - Scala, Flatpak, now NixOS. But still better than being dependent on proprietary software not made in Europe

Yes, but we (in Europe) cannot afford all the digital infrastructure to be concentrated in one partner country. If you buy something from us and we buy something from you, that's trade. If we have to buy everything from you, that's a dependency, and we need to fix it asap

In year 2026 you are likely going to pay for a meat proxy who would still use the same model just without you controlling the prompt.

Being intrusive is one thing. But this guy apparently waited until I was bringing out my garbage and go back, rushed to the paper bin to see my name and checked the quality, all without me seeing him, repeatedly, and I believe he did that with other neighbours too. That's basically a second job

> it was acceptable, not so long ago, to spy on ones neighbors.

It'still acceptable by the way. I had a guy whom I swear I have seen for the first and last time, allegedly my neighbour, call me by my first name and comment on my garbage-separating habits

If insights and human understanding are more important than specific results, I don't see why people should stop producing insights and human understanding. "Working on a proof" in today's sense of trying to come up with a proof before others probably stops being useful, other ways of working will be needed

Yes, that's true, but it is still generally accepted that a completed project is a result of some collective effort where people of varying degree of seniority and ability contribute. There is also not a singular event of a project being completed with a list of heroes/geniuses making it happen, but rather a whole lifecycle of gradual development, maintenance and going out of relevance with contributors coming and going.

I can imagine mathematics of the future being more like that rather than history of discoveries with dates and names

Is it not an option to make academia more like a normal job, where people focus on collectively achieved outcomes rather than credit, priority etc.?

It has been best at chess for quite a while. Yet everyone knows who is Magnus Carlsen, even though at no point of his career he was stronger than the machine

Looks like mathematicians (like people in many other professions) have to redefine what their work means and how to define success. Hard to agree that a tool that can find a proof is detrimental by itself, rather it voids some assumptions people relied on previously

We would warmly welcome him in Germany

I imagine OpenAI network is a tad more complex than a box with a public IP.

Is it DNS or BGP?

If you are not working with Linux kernel you don't need it. Those who are, are likely already subscribed

What's the point of bundling unemployment, low wages, and part-time employment (potentially with a high wage) together? They've come up with a big scary number, but it has been big and scary over the whole period of observation, so nothing particularly special is happening right now.

> It is not collective sacrifice.

> If you remove it, the economy plummets with billions of starving people

Sounds like quite a sacrifice to me.

A lot can go wrong, but a long is going wrong already. I think putting effort in trying to do it as safely as possible is more productive than trying to convince nations to become poorer voluntary. Alternative energy is important too, but so far it rather complements than replaces fossil fuel.

You can use different metrics for progress, but it looks like world oil consumption has nearly doubled since 2000

Any solution relying on collective sacrifice is unrealistic IMO. I believe in geoingineering because it's better compatible with how economy works. Either that or we discover a magic abundant non-polluting energy source, but I woldn't rely on that

> is civil servants developing OSS commodities too much of a heresy

I see two problems here for Germany. First, the salaries of civil servants are regulated, and might be not what most developers, even German ones, expect. In addition civil servant status is bundled with privileges and duties that make it painful to lay it down. Most developers are used to job flexibility though, especially as, as I said, the salaries are not going to be great.

Second, there is a decision by the Constitutional Court that prohibits the state from competing with the market. Temporary grants to independent actors are among other things a way to work around it.

Great to see open source projects funded, but the value of Flatpak for tech sovereignty evades me somewhat. It's a pretty niche and questionable piece of technology, and likely won't be there in 10 years. Some grants by STF, like Mastodon, Openstreetmaps, Let's Encrypt, rustls are spot on, but there are many questionable ones.

My first reflex would be to ctiticise PG, but after reading the article, I don't think I agree here.

First he doesn't say universities should prepare founders - his advice is to those universities that do want to do that.

Second, his advice is basically to skip BS business education and make students good professionals, well-rounded intellectuals, not afraid of starting a business. Anyone would benefit from such education, not only prospective founders

I wish people actually making stuff had a veto right on things they make

What kind of guarantres does Github offer?

I don't think I would enjoy AI powered communism more than AI powered capitalism

Gdpr doen't apply to work you do for your employer, on employer's equipment either AFAIK

But then you still have to buy birthday presents on top of that

African continent is probably the last place in the world where this is relevant, and they are on track to fix it.

Nobody buys new though, these are for companies and posh people