If you use nixos, you basically have to know/learn/use day-to-day the nix language.

nixpkgs are written using nix the language, using concepts mostly familiar from just using nixos.

Basically everyone using nixos is capable of contributing packages.

Ah, sorry. https://repology.org/repositories/graphs

Just gonna leave this here

rmpc is great. But TUI, so not for everyone, I know.

Manche Lehrer binden die Handys im Unterricht ein. zB für Fotografie oder um Filme zu machen.

Naja gut ist ne Kamera. Das kann ich verstehen.

Klar, jede Schule hat jetzt ein App für den Stundenplan, Vertretungen / Ausfall, Krankmeldungen und aktuelle Nachrichten. Hausaufgaben gibts im Cloud.

Das hingegen nicht. Und ich bin noch nicht soooo lang ais der Schule raus. Geht es denn zumindest noch analog, oder ist das effektiv ein Android/iOS Zwang?

Doof nur, dass ein Mobilgerät für allerlei in der Schule verausgesetzt wird.

Was? 😭

Huh - you’re right. I went back to Signal’s X3DH spec because I was sure I was right, but it seems I misremembered how the “prekey bundles” work: Users publish these to the server, allowing (in my original assumption) for the server to just swap them out for a server/attacker-controlled key bundle for each Alice and Bob.

However, when Alice wants to send Bob an initial message and she gets a forged prekey bundle, Bob will simply not be able to derive the same key and communication will fail, because Bob knows what his SPK private key is, while the server only knows the public key.

A compromised server would allow the server to man-in-the-middle all new connections (as in, if Alice and Bob have never talked to each other before, the Server/Eva can MITM the x3dh key exchange and all subsequent communication). That’s why verifying your contact’s signatures out-of-band is so important.

(And if you did verify signatures in this case, then the issue would immediately be apparent, yes.)

Edit: I was wrong. See below.

Ich glaube ich hatte einfach Glück: bin vor ca. 8 Monaten als Software Engineer gestartet, kurz nach Abschluss vom MA Informatik. 100% remote und ziemlich zufrieden mit der Vergütung.

Glück sage ich aber vor allem deshalb, weil mein jetziger Arbeitgeber das einzige Vorstellungsgespräch war, was ich hatte. Ansonsten nur eine negative Rückmeldung zur Bewerbung, eine Einladung zum Bewerbungsgespräch 4 Monate später (lol) und sonst gar nix.

Aachen?

It’s a very steep curve to start, with some additional minor steep parts along the way, but it’s not a long curve. Once you got the core concepts and the basic language constructs, you’ve learned most of what you’ll ever need.

Two nice resources: search.nixos.org is super handy, and you can search GitHub with language:nix and a search term to get tons of examples from other people.

Oh, and nix and just is actually a pretty common combo!

Yep, exactly.

To be fair, if you use Debian, Arch, Fedora,… long enough, you also know how to tweak your machine for every purpose. In Nix, it’s just somewhat of a self-fulfilling prophecy, because you have to know how to tweak your system to achieve… anything, and then it’s the same tweaking mechanics for every other purpose as well.

My Steam Deck also runs NixOS.

Because this way I can much more comfortably configure it, plus everything game related I automated through nix for my Desktop (e.g. mod installs, reShade config,…) immediately and without any extra steps also applies to the Steam Deck.

https://github.com/Jovian-Experiments/Jovian-NixOS

Yes. Everything is NixOS. Because it’s perfect for everything.

Not to dimish your work at all, but: the Sonarr upgrades absolutely do work.

Ah, too bad. IMO better clients would make it drastically easier to convince people to switch.

Hm, I can create groups (also with muc), and the other members are added, but writing a message triggers “x left the group” for everyone. Dunno. Probably something trivial I overlooked. But honestly… Weather is too good today to be bothered 😄

Ah, I already had a TURN/STUN coturn server set up for matrix and jitsi, so it was just a matter of telling prosody about that. So I cheated a little I guess 😄 Here is my full config for that, in the unlikely event that you’re using NixOS.

Very cool!

Re: the backup / restore of state in NixOS: I found myself writing the same things over and over again for each VM/service, so finally wrote this wrapper module (in action e.g. here for Jellyfin), which confgures both the backup services and timers, as well as adding a simple rsync-restore-jellyfin command to the system packages. In case you find this useful and don’t already have your own abstractions, or a sufficiently different use case 😄

Nice, same! Was also really positively surprised by how great the Android app(s) for XMPP feel.

Only thing not working yet for me is group chat creation. Oh well. Maybe this weekend.

On the other hand though, voice and video calls have worked flawlessly.

Awesome! And good job, looks great!

Why are there no screenshots in the README.

Yes I know I can just install the app, but for an app that primarily seems to define itself by its UI improvements over the established competitor, the screenshots are the deciding factor in the question “Should I download and install this?”, and no screenshots defaults to “no”.