Joanna, fire.

Windows, starting with 8, is inherently hostile to its users in ways that are very difficult or impossible to mitigate. It’s a black box of complicated machinery, a lot of which is trying to spy on you, steal your data, show you ads, upsell you on their stupid cloud services so that they can steal more of your data, etc. At this point, disabling all of this is really difficult and unreliable.

Linux on the other hand is like a box of spare parts that you can build whatever you want from. You really do need to read the manual, or else whatever you build will look and work like shit. However, if you do build something good, it’s yours now in a way that a proprietary OS never will be.

Audio works for me (with pulseaudio). The camera doesn’t work for me either.

I don’t think it’s much worse than what you have to do with pulseaudio, TBH. Here is my Haskell take on switching devices: https://github.com/balsoft/lambda-launcher/blob/master/src/LambdaLauncher/Plugins/Pulseaudio.hs, and Rust take on displaying device status changes as notifications: https://github.com/balsoft/simple-osd-daemons/blob/master/pulseaudio/src/main.rs .

Both are also long and hacky

Honestly, it’s mostly just trying shit out, breaking your install and fixing it, and having fun. In the grand scheme of things doing all that stuff is not that difficult, mostly tedious; my day job involves more complex and often interesting problems. It’s just gluing together things which other people wrote, looking at what breaks, and either fixing it properly or just hacking it together with perl. If you’re a developer I’m confident you’ll figure it out.

Finally, I can confide to you that I’ve spent half a day getting wireguard working on that very phone a couple months ago, only to find out it was because I didn’t poke the right holes in the firewall :)

Yes, running OnePlus 6 with Mobile NixOS (actually mostly just NixOS with a couple modules from mobile NixOS). I will try to make the config public when I get it into a less rough state. It’s… useable as a daily phone, but you have to be really into it to do it.

It’s not like desktop Linux where if you’re a tech enthusiast you can ignore a few rough edges and just use it like you would a more mainstream OS.

I had to flash a specific old version of OxygenOS, using almost undocumented tools, which could easily brick the phone if something went wrong, just for GPS to work. I have to recompile my kernel every time it updates. I had to write my own scripts for the hardware slider thing to work (which has a nice benefit of letting me use it for whatever I want; I want to make it switch between NORMAL and INSERT in my editor just as a laugh).

deleted by creator

Rust is socially vaguely on the left/progressive side, yes. Not so much economically of course, because of all the corporate involvement.

GNU has some right-wing libertarian culture in it, but is also vaguely leftist and anti-corporate otherwise. I would actually say Rust is slightly more progressive than GNU on social issues, but not by much; and GNU is more anti-corporate, but also not by much.

I know there some other more certainly leftist FOSS projects out there (like the one we’re chatting on right now 😉) but overall Nix is pretty good on that front.

Well, yes, there are two separate contentious points.

The Anduril thing actually happened a month or so ago. I feel like this will be resolved at the next election, since tomberek’s term is ending and I don’t think he will be reelected, knowing how much most people in the community hate US MIC.

The moderation team independence is more complicated. It looks like the Steering Committee tried to remove a member from the moderation team, and also tried to push a new member onto it. I don’t know the exact details there. If we just read the constitution, the SC has that power, but the moderation team was very unhappy with what they see as meddling in their affairs for political reasons, and decided to quit out of protest. I feel like the new member was a right-wing (in the context of the kinda leftist Nix community anyway) political appointment (since the stated reason was “to balance things out politically” and the mod team was mostly leftist), but don’t know for sure and this is pure speculation. In any case, I think the moderation team is special and should not be under complete control of the SC (unlike purely technical teams). I don’t know how that would look like, and indeed as you say a restructuring is needed. Maybe the SC should only be able to veto people joining the team, but the candidates have to be chosen by the mod team themselves, and in order to disband the mod team the SC must disband themselves too. Otherwise the moderators will have no good way to moderate any discussion involving SC.

Unfortunately “direct suppliers of the arms industry” covers like half of the IT industry. I’ve also avoided such companies but it’s surprisingly common.

You have to look at the history of NixOS for it to make sense.

It started out small and there was a small group of people hacking away on a cool project in their free time. Of course they had shared interests and so would like to hang out together to discuss. That is how the community formed.

At first neither the community nor the distro were big, and so there wasn’t much tensions. When something needed to be done/paid for, some member of the community just took it up and did it, doocracy-style.

Then as time went on and both the software world and Nixpkgs got more complex, the resource usage got outside the realm of “some dude just runs a build box in their basement” and “some other dude hosts a binary cache on their Uni’s servers”. There were commercial players willing to donate money and resources, but that needed some management, both financially and logistically. This is how the Foundation was formed, at first just by the project’s founder and some trusted friends.

Simultaneously, as the community attracted more and more people, it started to feel less like a tight-knit group of friends and more like a town square: you know a couple folks well, kinda recognize most usernames, but can’t say you’re familiar with everyone. Some discussions got heated, and it became clear we would need moderation; that’s how the moderation team formed.

Another aspect of community growing was that you could no longer just host a meetup at a local cafe and needed a dedicated space and such for everyone to fit it. This is how NixCon started, and since it costs money to rent a space, there were calls for sponsorship.

At some point, Anduril (a US MIC company with suspiciously fascist-like opinions and tech) started using Nix. Since they wanted to hire Nix engineers and in general wanted to do have sway in the Nix community, they sponsored a conference. People really didn’t like that, there was a huge drama with open letters and maintainers leaving. The drama also uncovered some other rifts in the now quite massive community, e.g. contributors were unhappy with the direction Eelco (the project’s founder) was taking Nix itself, and how many PRs into Nix, including crucial bugfixes, remained unreviewed for months.

This prompted a bunch of relatively trusted people in the community coming together and drafting up the constitution, which formed a new formal, elected governance body for the community, the Steering Committee, who had the final authority to manage all aspects of community governance (except finances). After the first SC election things calmed down a bit. Eelco semi-voluntarily left the Foundation and most other positions of power, the Nix maintainer team grew and that helped a bit with PR reviews, etc.

But it seems now Anduril has hired a member of the SC (after they were elected), once again prompting people to be rightfully upset about them trying to insert themselves in the community. There’s also some mostly unrelated thing with SC trying to control the moderation team (the control which they do have according to constitution), to do some potentially shady things.

Hopefully this lets you see why NixOS needs a community, and community governance, in order for things to work at all. Someone has to host the binary cache, run the builders (which needs some entity to manage finances - the Foundation); review PRs (that needs discussions and those discussions need the moderation teem to keep them productive); and merge them (that needs committers, which requires deciding who’s trustworthy enough to do that).

And yes, you can just make PRs or send patches without community participation. Most folks in the community are both super nice and technically knowledgeable, regardless of their political stances. But the community has to be there. I really hope that both theses things get resolved during the next SC election (which is in a month or so).

If it’s rejected and enough other people are interested in the change, it can be forked.

And actually both the Nix project (as in, the codebase) and the community had seen multiple notable “forks” over the years: GNU Guix started out as a Nix fork, there’s also Tvix which is a Rust rewrite, Lix which is a code/community fork that happened after the first Anduril drama, etc. The latter two kind of rely on Nixpkgs and the associated build/cache infrastructure because maintaining that is expensive.

First things first: a simple search for “anduril nixos” shows that NixOS and Anduril Industries (defense technology) have been entangled for years.

It’s more like Anduril using Nix{OS} and trying to insert themselves into the community. There’s been a lot of opposition to that, including an open letter and maintainers quitting; this was a big part of the reason for Steering Committee formation in the first place. The SC has since voted on some based things, like banning Anduril from job posting on community forums and sponsoring conferences. I was hoping they would just ban any mention of Anduril anywhere, but that’s going too far for them unforutenately; and banning technical contributions wouldn’t make sense.

An SC member joining Anduril (after being elected, not before, mind you) is really bad, but I bet they will lose their seat in a month’s time when there’s a new election. The community is mostly antifascist and thus anti-MIC. It’s like one of the most leftist technical communities I’ve seen, perhaps more so than Rust.

I think the arms industry thing is bad actually. Working for the US military in any way is bad already (and has been since the founding), but Anduril is even worse since it has almost explicitly fascist & pro-Trump leadership. I think people associating themselves with Anduril need to be kept far away from any position of power within the community. So yeah tomberek wasn’t on my ballot last year and won’t be the next.

Steering Committee works for Military Company

It’s only one SC member, and they switched jobs after being elected last year. I think the Nix community is generally very much against US MIC, and unlikely to actually elect someone working for them. Although it was well-known that tomberek (and johnringer) are US-military-aligned.

After reading a bit more into the modteam situation, I have to say I’m on the mod team’s side here.

How’s the browser experience?

It’s pretty good TBH, I don’t miss much from Android on this front in terms of functionality.

I’m using KDE’s Angelfish (which is webkit-based), since I couldn’t find anything firefox-based with a good mobile-friendly UI. It has adblocking, page translation and forced dark mode, which is enough for me to get by. There are also some neat features like PWA support (which I use for my public transit app), and I don’t remember the other ones right now but they’re there.

Also, are there any features/tweaks you are aware of that you could not get through Nix, that the more “commercial” Linux device manufacturers have developed for their devices?

That I don’t know. Maybe some of the paper cuts could be solved on other platforms, but AFAIK 3/4 main gripes (call audio, map app, battery life) are issues on every Linux phone.

Eh, kind of? I’ve been using it as a phone on-and-off for a while now, the most annoying things are the awful call audio setup (I don’t think it’s even possible to call via bluetooth headphones), no wake-on-call (which sucks for a phone), lack of a good map app (I miss OsmAnd so badly), meh battery life, and other small paper cuts here and there like semi-broken push notifications and buggy GPS.

I’m avoiding all the anbox/waydroid faffing around for now, in hopes that I will be able to run OsmAnd through android-translation-layer at some point.

Looks like Dimensity 900 is in the same ballpark performance-wise as Snapdragon 845 in my now 7-year-old OnePlus 6, which runs Mobile NixOS with a (patched) mainline kernel, no Hallium trickery. While having another Linux-first phone is nice and I’m sure the experience would be better (like you wouldn’t need to flash an old OxygenOS just for GPS to work), I’d be expecting more for $550.

Ah yes, one of the biggest bugs-later-turned-design-mistakes of UNIX. This is not tar, this is your shell; you always need to use both * and .* for a wildcard to match all files in directory - e.g. tar czf ~/package.tgz admin/* admin/.* api/* api/.* mobile/* mobile/.*

Sure, but at that point you can also just write assembly. I’m talking about “idiomatic” code in the language itself.

Rust is fundamentally more limiting than C, even with unsafe. It is often faster if you write naive code (because the Rust compiler can optimize more aggressively due to those same limitations), but an experienced developer with a lot of time for optimization will probably be able to squeeze more performance out of C than they would out of Rust - as you can see in this example. Rust is still better because those limitations all but guarantee that the resulting code will be safer, and the performance differences would be negligible all things considered.