This year's Utrecht Summer School on functional programming will run from 27-31 August. Check out the schedule, registration details, and further information on https://t.co/hk4nnAZIGJ
And again. this is a mutable part of NixOS and of course I found a bug within 1 minute of further inspection :D https://github.com/NixOS/nixpkgs/issues/50300
Undocumented #NixOS tip of the day:
NixOS comes with a oneshot unit file that prepares kexec to boot your next configuration, allowing for very quick reboot-then-upgrades
sudo nixos-rebuild boot
sudo systemctl start prepare-kexec
sudo systemctl kexec
This is very useful on server hardware, where reboots can take minutes
And I broke shit in #NixOS again.
Everything that is a bit unpure (systemd units, network, nss modules) is also pretty broken it seems
This is a mastodon EXCLUSIVE. cc @raichoo
I'll be doing another #haskell live coding session soon. What language extension do you want to see me struggle with this time?
It's one of those days. #systemd
Leslie Lamport walks into a bar ... Show more
just act causal
functional.cafe is an instance for people interested in functional programming and languages.