zlacker

A leadership crisis in the Nix community

submitted by elikog+(OP) on 2024-04-29 14:57:29 | 120 points 274 comments
[view article] [source] [go to bottom]

NOTE: showing posts with links only show all posts
◧◩◪
5. ddella+q7[view] [source] [discussion] 2024-04-29 15:31:12
>>slekke+L6
It's a bit hidden in their about page:

    GNU Guix provides state-of-the-art package management features such as transactional upgrades and roll-backs, reproducible build environments, unprivileged package management, and per-user profiles. It uses low-level mechanisms from the Nix package manager, but packages are defined as native Guile modules, using extensions to the Scheme language—which makes it nicely hackable.
https://guix.gnu.org/en/about/
◧◩◪
12. buster+g9[view] [source] [discussion] 2024-04-29 15:39:57
>>yifanl+W8
https://github.com/nrdxp/rfc-evidence/blob/dfe80298dddf9858a...
◧◩
14. Pareto+O9[view] [source] [discussion] 2024-04-29 15:42:44
>>aredox+q8
Cabal has had nix-style local builds since 2016:

https://blog.ezyang.com/2016/05/announcing-cabal-new-build-n...

https://cabal.readthedocs.io/en/2.0/nix-local-build-overview...

Also cabal isn't positioned to be a system level package manager. Haskell programmers are the type to want both their application builds and system dependencies to be reproducible and predictable.

> Stop being lazy, go back to engineering first principles and it makes little sense to stay with Nix. Guix or any rewrite as a library in a well-developed language* makes more sense.

Getting Guix packages to be as complete as nixpkgs isn't a matter of laziness though. One person wouldn't be able to do it no matter how disciplined they were.

◧◩
27. buster+Nb[view] [source] [discussion] 2024-04-29 15:51:08
>>sudden+ja
The article I linked here (>>40199727 ) provides evidence for exactly that.
35. cosmic+Gc[view] [source] 2024-04-29 15:54:41
>>elikog+(OP)
> Anduril, a military contractor that uses NixOS, has repeatedly attempted to become a sponsor of NixCon, which did not go over well with the community

Something similar happened in the Haskell community, where some people called for Anduril job postings to be removed.

Nix is a software project, not a social movement. The goals of Nix are entirely separate from how the software is used.

I really like Coinbase's statement that is is mission focused (https://www.coinbase.com/en-ca/blog/coinbase-is-a-mission-fo...). Anything that isn't directly related to its mission is out-of-scope. I wish the same was true about software projects like Nix.

If you care about the way your software is used, then by all means, say it in the license! Of course, such software won't get used much.

◧◩
36. Hideou+Nc[view] [source] [discussion] 2024-04-29 15:55:18
>>ordina+La
Stallman covered this in a (IMHO) very well thought out article: https://www.gnu.org/philosophy/programs-must-not-limit-freed...

His article is specifically about pretend free/open source licenses that restrict what software can be used for. But the conclusion applies to similar behaviors around the entire free/open source ecosystem like conferences: it will just drive participants away and strengthen the position of proprietary solutions instead.

54. jdoss+Yd[view] [source] 2024-04-29 15:59:52
>>elikog+(OP)
The reaction to Anduril sponsoring Nix is very similar to some people's reaction at Kubecon 2018 where the U.S. Air Force gave a talk about how they are using k8s to deploy software on F-16s.

https://thenewstack.io/how-the-u-s-air-force-deployed-kubern...

◧◩◪
61. Hideou+ze[view] [source] [discussion] 2024-04-29 16:01:37
>>danhor+Hb
>I've stated above some parts of my views about certain political issues unrelated to the issue of free software—about which of those activities are or aren't unjust. Your views about them might differ, and that's precisely the point. If we accepted programs with usage restrictions as part of a free operating system such as GNU, people would come up with lots of different usage restrictions. There would be programs banned for use in meat processing, programs banned only for pigs, programs banned only for cows, and programs limited to kosher foods. Someone who hates spinach might license a program to allow use for processing any vegetable except spinach, while a Popeye fan's program might allow only use for spinach. There would be music programs allowed only for rap music, and others allowed only for classical music.

>The result would be a system that you could not count on for any purpose. For each task you wish to do, you'd have to check lots of licenses to see which parts of your system are off limits for that task. Not only for the components you explicitly use, but also for the hundreds of components that they link with, invoke, or communicate with.

>How would users respond to that? I think most of them would use proprietary systems. Allowing usage restrictions in free software would mainly push users towards nonfree software. Trying to stop users from doing something through usage restrictions in free software is as ineffective as pushing on an object through a long, straight, soft piece of cooked spaghetti. As one wag put it, this is “someone with a very small hammer seeing every problem as a nail, and not even acknowledging that the nail is far too big for the hammer.”

https://www.gnu.org/philosophy/programs-must-not-limit-freed...

◧◩◪◨⬒
63. rgrmrt+Ve[view] [source] [discussion] 2024-04-29 16:02:43
>>ohwell+Id
There are two licenses that include restrictions like that that I know of:

- https://github.com/raisely/NoHarm/blob/publish/LICENSE.md

- https://firstdonoharm.dev/

◧◩◪◨
64. salvia+4f[view] [source] [discussion] 2024-04-29 16:03:18
>>dzogch+5c
My understanding of your comment is that "free software zealots" are people who belong to the "free software movement" [1]. If that's correct, where did you get the impression it's "a tiny fraction of the open source community"? This article [2] from 2022 states that 22% of software project have a copyleft license. Is that a fraction you'd deem "tiny"?

[1] https://en.wikipedia.org/wiki/Free_software_movement

[2] https://www.mend.io/blog/open-source-licenses-trends-and-pre...

◧◩◪
78. ndrisc+wg[view] [source] [discussion] 2024-04-29 16:09:41
>>danhor+Hb
No. e.g. BSD is considered Free Software despite no such requirements. Free Software is software that the user controls instead of controlling the user. If you publish code with no stipulations at all, it is Free Software. It is only when you place requirements on the user that it might become unfree. In fact there are plenty of Free Software licenses that are incompatible with the GPL.

https://www.gnu.org/licenses/license-list.en.html

◧◩◪
97. webere+4i[view] [source] [discussion] 2024-04-29 16:15:43
>>danhor+Hb
No, its exactly the opposite actually. You're thinking of copyleft. The Free Software movement was a direct response to corporations attempting to restrict what users could do on their own computer via dumb terms of service agreements. It guarantees 4 fundamental freedoms:

>The freedom to run the program as you wish, for any purpose (freedom 0).

>The freedom to study how the program works, and change it so it does your computing as you wish (freedom 1). Access to the source code is a precondition for this.

>The freedom to redistribute copies so you can help others (freedom 2).

>The freedom to distribute copies of your modified versions to others (freedom 3). By doing this you can give the whole community a chance to benefit from your changes. Access to the source code is a precondition for this.

https://www.gnu.org/philosophy/free-sw.en.html#four-freedoms

◧◩◪◨
111. ndrisc+ck[view] [source] [discussion] 2024-04-29 16:22:59
>>Pareto+tc
Yes, when you scope a movement to just the thing it's about, you'll get a greater intersection of people who can agree on those ideals (i.e. actual intersectionality). If you check https://stallman.org/ you'll see that he's very opinionated on politics, probably moreso than almost all people (he has multiple things he writes about across the world every single day going back decades and maintains a list of assorted topics that mostly have nothing to do with software where he thinks we should change the law[0]. He's encouraged many boycotts over the years, and goes way further than most people to stick to them), but he wisely kept that movement focused on the thing it was supposed to be about, and in doing so was able to actually accomplish something.

[0] https://stallman.org/there-ought-to-be-a-law.html

◧◩◪◨
115. Pareto+sk[view] [source] [discussion] 2024-04-29 16:23:47
>>buster+ie
> The very people decrying the lack of leadership transparency on the moderation team do their work behind closed doors, don't operate with transparency or consistency and disallow all meta discussion of their moderation work.

This just isn't true. See "Transparency about jonringers suspension"[0] and also notice it's a suspension and not a ban. Note that Jon's post to reddit titled it a "ban".

Which side seems to be trying to stir things up here?

Also, before that discourse post there has always been a public moderation log here:

https://github.com/NixOS/moderation/commit/c0f7744701cba40f0...

0: https://discourse.nixos.org/t/why-was-jon-ringer-banned-from...

◧◩◪◨⬒
121. Pareto+Fl[view] [source] [discussion] 2024-04-29 16:28:16
>>tripdo+dk
> On one hand, I struggle to think that people might actually care about switching "master" to "main", as opposed to making wider improvements to inclusivity.

I thought it wasn't a big issue until I saw how hard one side fought to keep the name "master".

After that I changed my mind and name all of my branches main and give a little push to projects I'm part of to do the same.

Plus, words do have power:

https://www.youtube.com/watch?v=51USLgPWhgc

◧◩
129. Shrezz+Ln[view] [source] [discussion] 2024-04-29 16:35:56
>>cosmic+Gc
There are a lot of people who will find their workplace being singularly "mission focused" a good thing, but 5% of Coinbase's staff announced that they'd be leaving within one working week of that post[1], and others followed shortly after. I think that shows that in a corporate environment, it's not possible to retain all of the best staff if you're very publicly burying your head in the sand with regards to social issues - particularly in the immediate aftermath of the George Floyd protests.

The author talks about the productivity losses rising from social-issue disagreement in the workplace, but it's rare that you can point to a press release from a C-suite employee and say "this specific document caused one in twenty staff members to leave immediately". The productivity destruction at Coinbase from that press release was enormous.

https://www.coinbase.com/en-gb/blog/a-follow-up-to-coinbase-...

◧◩
135. philod+Op[view] [source] [discussion] 2024-04-29 16:45:05
>>Laaas+19
> Check into any one claim, and you’ll find it’s not the entire story.

Indeed. If you look at pull request 10513, you see Eelco propose a bug fix, another person point out the flaws in his approach, and Eelco subsequently closing his own pull request and filing a new PR with a different approach.

https://github.com/NixOS/nix/pull/10513

The save-nix-together signatories describe this as “ignoring other people and only considering his way”.

I suppose they were counting on no one bothering to read their citations?

◧◩◪◨
152. ndrisc+Hu[view] [source] [discussion] 2024-04-29 17:04:39
>>fabric+6o
Of all the things to be upset with a "defense" company over, actual literal defense (as in border monitoring and sensors) is a funny one. That stood out to me in the open letter as well. Why not the weapons systems that are apparently "somewhere between an autonomous drone and a reusable missile"? Would people be as upset at Boeing as a sponsor, or would that just be boring? Would people be as upset if Google or Facebook were sponsors? Google of course runs a global surveillance network, and says they're proud to offer AI services to the DoD:

https://cloud.google.com/gov/federal-defense-and-intel

165. jonrin+Bz[view] [source] 2024-04-29 17:29:51
>>elikog+(OP)
For those that are curious about an alternative perspective on this matter, I detailed much of my personal views in my reddit suspension post. I don't have much context on the EU NixCon 2023 events, but I've been actively involved with the project for 2019, 2020, 2021, beginning of 2022, and late 2023.

https://www.reddit.com/r/NixOS/comments/1cd5fod/in_case_im_u...

◧◩
166. tempac+Fz[view] [source] [discussion] 2024-04-29 17:30:02
>>aredox+q8
There is Tvix, a Rust implementation of Nix, and although it still uses the Nix programming language, I bet it would be a lot easier to replace it there than in the original C++ codebase. (not just because of the language of implementation)

https://github.com/tvlfyi/tvix

To me, the perfect solution would be to have a base like Nix/Tvix you can build on top of, for example to make a package manager for your language, and have the users of that language's PM interact with TOML or JSON.

◧◩◪
175. jonrin+0D[view] [source] [discussion] 2024-04-29 17:46:54
>>Pareto+Qc
Well, the activity around changing the status quo was done in a github issue [1]. Which sat around for many months after proposing the Apache Software Foundation's sponsorship policy of "state of nexus". Which didn't give a basis in which to exclude Anduril from sponsoring again.

Obviously there's the "people were angry last time, they will likely be angry this time". But that's projecting personal/political views into a sponsorship.

What should have been the right course of action? I'm not sure. "Tech is easy, people are hard"

1: https://github.com/NixOS/foundation/issues/110

◧◩◪◨⬒⬓
178. ndrisc+NE[view] [source] [discussion] 2024-04-29 17:55:12
>>fabric+6D
I suppose what's interesting to me is why is no one (except maybe you) upset over e.g. this sponsorship list for LinuxCon:

https://events.linuxfoundation.org/archive/2022/open-source-...

with Google right there as a diamond sponsor and Meta as a platinum sponsor. IBM is also a diamond sponsor, and we've all heard about them and the literal Nazis (and the time they got a license exception for JSLint to be able to use it for evil).

Or perhaps the same people are upset over things like Linux sponsors, but everyone ignores them in that context?

The LWN article indicates 24 maintainers have removed themselves, which appears to be ~0.7% of the maintainer list. Were these people particularly impactful? Is there an actual crisis here?

I also don't really get it; are they going to use a different (worse) OS because of this? Or just stop pushing changes upstream for packages they care about (either staying out of date or maintaining a personal fork)? It seems like cutting off one's nose to spite one's face.

◧◩◪
179. Increa+qG[view] [source] [discussion] 2024-04-29 18:02:08
>>danhor+Hb
Only in a very limited sense. Look up what happens when you try add a restriction of "You can't use this software for evil", or "You can't use this software to make nuclear weapons" to OSS.

https://en.wikipedia.org/wiki/Douglas_Crockford#Software_lic...

202. srid+4w1[view] [source] 2024-04-29 22:42:40
>>elikog+(OP)
Related submissions:

Open letter to the NixOS foundation (50 comments) >>40107370

The dire state of NixOS's moderation culture (76 comments) >>40166912

---

Additionally, these r/NixOS submissions may be of interest:

Jon Ringer: "In case I'm unable to return, wish you all the best" (348 comments) https://old.reddit.com/r/NixOS/comments/1cd5fod/in_case_im_u...

Transparency about jonringer’s suspension (153 comments) https://old.reddit.com/r/NixOS/comments/1ceeg8h/transparency...

Thoughts on Jon Ringer's temporary suspension (71 comments) https://old.reddit.com/r/NixOS/comments/1ceiz36/thoughts_on_...

Moderation no-go zones (55 comments; ongoing) https://old.reddit.com/r/NixOS/comments/1cfv8vo/moderation_n...

---

Finally, the RFC to improve the situation:

https://github.com/NixOS/rfcs/pull/175

◧◩◪◨
203. jijiji+dz1[view] [source] [discussion] 2024-04-29 23:01:25
>>jonrin+0D
Well, you should know, since you have been involved with both Nix and Anduril, right?!

No MIC sponsoring would have been the right course of action. No matter your sympathies, or alliances in your case.

To even think of the sponsorship as a valid idea is US centric ignorance. Outside the US people don't get the "Thank you for your service" indoctrination and are way, way more reluctant to work with the MIC.

If you knew anything about Germany, the issue with the university host should not have surprised you at all. It's not some modern outrage of wokeism, it's a decades old academic foundation: https://en.wikipedia.org/wiki/Civil_clause

It's hard to find a German university without: http://www.zivilklausel.de/index.php/bestehende-zivilklausel...

Losing VOC support, eh?! Have you been to a CCC event? MIC sponsorship of Nix would lose you more or less the entire German hacker scene, at the very least.

A national defense company sponsoring an international software project, not expecting uproar... I don't know what to say. It's beyond plausibly idiotic. Objectively, completely out of touch.

◧◩
205. jijiji+gF1[view] [source] [discussion] 2024-04-29 23:42:23
>>steve1+Bj
https://knowyourmeme.com/memes/we-should-improve-society-som...
◧◩
206. jijiji+JG1[view] [source] [discussion] 2024-04-29 23:51:25
>>stonew+6i
https://www.computerworld.com/article/1338390/darpa-pulls-fu...
◧◩◪◨⬒
214. somepl+O02[view] [source] [discussion] 2024-04-30 03:18:21
>>ohwell+Id
> perhaps we do need a new popular license or set of variants that exclude certain industries.

Such a license would not be considered open source or Free Software.

Someone else posted this link about a similar situation in the past: https://en.wikipedia.org/wiki/Douglas_Crockford#Software_lic...

◧◩◪◨⬒
222. steve1+ti2[view] [source] [discussion] 2024-04-30 06:54:14
>>colins+wf2
No, it was not "strictly speaking it wasn't the military" - it was not the military at all. It was the civil legal system in the UK.

If it was suicide at all: https://en.wikipedia.org/wiki/Alan_Turing#Death

◧◩◪◨⬒⬓
226. colins+ln2[view] [source] [discussion] 2024-04-30 07:49:38
>>steve1+Gi2
closed source CPUs are also a thing i have invested inconvenient amounts of time in trying to overcome [1]. i expect by the latter decades of my life it will actually be feasible.

i'll be honest i don't understand what point you're trying to make. if i owe some loyalty to the military for the conveniences of their products, then would not Anduril owe me loyalty for the convenience of my products? the actual request to Anduril/military is way less than that, btw -- it's less "don't use our product" as "don't advertise in our spaces".

1: https://git.uninsane.org/colin/fdtd-coremem

◧◩◪◨⬒⬓⬔⧯
228. Cthulh+uq2[view] [source] [discussion] 2024-04-30 08:23:01
>>oivey+U02
Be the change you want to see within companies. Of course, these companies can - and have - fire the activist employees as well if they become too obstructing, like the ones that were protesting Google Cloud doing business with Israel: https://www.theverge.com/2024/4/17/24133700/google-fires-28-...
◧◩
243. karma_+eA2[view] [source] [discussion] 2024-04-30 09:54:23
>>stonew+6i
Github culture is the infection vector. That's why OpenBSD is unaffected.

Hygiene, folks.

Also could be the fact that the entire reason OpenBSD exists is that De Raadt got cancelled out of NetBSD: http://mail-index.netbsd.org/netbsd-users/1994/12/23/0000.ht...

◧◩◪◨⬒⬓⬔
244. somepl+DA2[view] [source] [discussion] 2024-04-30 09:58:31
>>jijiji+Nm2
> Sponsorship with the attached advertisement is very different than "used by". Don't be silly.

Sure, but what does that have to do with the Civil clause that you mentioned? It doesn't say anything about sponsorship, but it does say about "used by": "Any participation of science and research with military use or purpose must be rejected". Obviously, this cannot be true, since it can be applied to anything that is used by the military, including paper, towels, pens, computers in general, water, etc.

> Are you even aware, I am referencing the issue of a Nix conference hosted at a German university

I am, and? I think you missed my point?

> I linked a Wikipedia article, read it, if you're genuinely interested and not debating in bad faith.

I did. The Civil clause of some universities does sound fine ("strive to", "focused on"), but the others make a blanket statement that is very hard to take seriously. Obviously, they don't take the statement to the letter, and in fact it's hard to tell what they aren't supposed to do (if anything), unless perhaps you look at the other universities. Even then, none of those clauses say anything that can be applied to hosting a conference with military sponsorship but not to contributing to Nix.

Regardless, I don't think what you linked to is well known outside Germany. You can judge by the extent and completeness of that Wikipedia article. I'm European (EU), went to a European (EU) university and I had never heard of such a clause.

To answer to your point:

> To even think of the sponsorship as a valid idea is US centric ignorance. Outside the US people don't get the "Thank you for your service" indoctrination and are way, way more reluctant to work with the MIC.

I think you're generalizing a wee bit too much -- I'm not from the US and I think there's plenty of indoctrination to go around, and yet I don't think rejecting this sponsorship is in accordance with open source and Free Software values, philosophy and spirit. You can go read about it here -- and notice how it says several times that the point is to include everyone: https://www.gnu.org/philosophy/free-sw.en.html

To be honest, I think the mistake with Nixcon was not Anduril, but rather, to host the conference at a German university.

◧◩◪◨⬒⬓⬔⧯▣▦
254. jijiji+8m3[view] [source] [discussion] 2024-04-30 15:25:37
>>somepl+c73
There is still a massive difference between gigacorp Airbus, Siemens, SpaceX, ... or whoever does defense stuff as a side hustle, and a pure defense company like Anduril or Rheinmetall to plaster their logo onto things, or recruit at events. There is no plausible deniability with these companies' intentions and product consequences.

To me at least, there is even a difference between the military and private companies profiting off war and suffering. I would rather have the Bundeswehr around than Anduril. Just because it's something of a necessary evil, doesn't mean I respect the people who seek this career, who want to engineer and sell death.

My stance on the issue is irrelevant. The devision caused in the Nix community was predictable. It was objectively an idiotic idea considering cultural and consequential differences. Even a pro-MIC person should realize this.

And let's not forget the conflict of interest of Nix's VIPs here in this particular matter, greatly shading any presumption of good-faith arguments. It's been wildly stupid.

And lastly, FYI, these sponsorships do have strings attached, especially when money matters:

https://www.computerworld.com/article/1338390/darpa-pulls-fu...

◧◩◪◨⬒⬓⬔⧯▣▦
261. pxc+zN4[view] [source] [discussion] 2024-04-30 23:12:19
>>ndrisc+Qn3
The relevant comment is misinformed. The person they're referring to without naming is Irene Knapp, who left Google (presumably over her qualms). She's named in some press articles about the Google walkouts in 2020, e.g.: https://www.nytimes.com/interactive/2020/02/18/magazine/goog...
◧◩◪◨⬒⬓
265. hagbar+9c6[view] [source] [discussion] 2024-05-01 13:33:39
>>fabric+4S4
First: shouting insults does not make your argument stronger, it merely suggests a lack of content.

People who donate to Trump are mostly people who are fed up with the way the USofA is being run by the current incumbent, i.e. they are people who are fed up with the bullshit. The mere fact that you don't like Trump as a person does not make those people non-'democrats' (you forgot the quotes around that word, 'democrats'). The type of rhetoric you're spouting polarises the discourse and does nothing for the democratic (sans quotes) process. May the best candidate win, granted the choice goes between two sub-optimal candidates [1] but that seems to be the way things go in that/your(?) country.

As an aside, can you tell me what irks you so much about Trump's policies - not Trump as a person, his policies - which makes you think so bad of people who support him? I think it safe to assume those people support him because they liked his policies, not because they are enamoured of his personality. Now that even CNN - not directly a MAGA propaganda outlet - publishes that More than half, 55%, of all Americans say they see Trump’s presidency as a success while [r]egarding Biden’s presidency so far, 61% say it’s a failure [2] there does seem to be a majority of people who support those policies versus the current ones.

[1] Biden being a long past hist due date habitual liar and grifter who has made his family profit wildly from his near half century in government, Trump being an egomaniacal billionaire who likes nothing better than to be at the centre of attention and is more than willing to let silly details like truth slide to get to that position.

[2] https://edition.cnn.com/2024/04/28/politics/biden-trump-nost...

◧◩◪◨⬒
268. bfrog+eg7[view] [source] [discussion] 2024-05-01 18:17:16
>>duped+hk
Most US citizens seem to agree something needs to be done there regardless of political lean? 74% according to NBC polling (surely not right wing crazy land) https://www.documentcloud.org/documents/24172785-230343-nbc-...

Seems like a pretty easy win for a majority of voters. Militarization shouldn't be the only imho, but some kind of process needs to happen there. People paying coyotes and dying in the river and desert is wrong. People being stuffed in cages and treated poorly is wrong. Letting everyone in unchecked and unfettered is also wrong.

◧◩◪◨
269. mikepu+TT7[view] [source] [discussion] 2024-05-01 21:14:57
>>karma_+gy2
It can also make those systems considerably harder to integrate into Nix itself. There almost need to be some language-neutral standards developed for how to manage inputs and lockfiles in such a way that more of this tooling can be shared at the developer/workspace level while also hoisting the same metadata up into systems like Nix and Bazel.

As it is, the rust-in-Nix and bazel-in-Nix stories are both pretty terrible, while the Python one is actually not too bad: https://github.com/nix-community/poetry2nix (barring these 4000 lines of horrible hacks: https://github.com/nix-community/poetry2nix/blob/master/over... and these 27000 lines of telling Nix which Python buildsystem every package ever happens to use: https://github.com/nix-community/poetry2nix/blob/master/over...)

[go to top]