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
During the last 24h I have started working on a Thingiverse backup that will reside within ipfs... It is not pretty and barely complete.. Just about 10k "Thinks" are being scraped right now but I am getting there.
Only one box at my home is currently seeding all the data so it is kinda slow.
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?
functional.cafe is an instance for people interested in functional programming and languages.