Pinned toot

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

I've spent the last few months finishing off my thesis, which should almost be done now. Getting feedback this afternoon

Feeling a bit bsd-curious... Linux is getting on my fucking nerves

Arian boosted

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.

What kind of NixOS tutorials do you miss?

What the fuck. It only happens when I enable lastpass

I have an issue that no pages load in Firefox. It just is forever 'loading' but no network requests happen. Any clue?

Just a reminder that if you have an questions about or , just toot me

Literally getting promoted Nazi propaganda on Twitter . So back to mastodon it is.

And again. this is a mutable part of NixOS and of course I found a bug within 1 minute of further inspection :D

Just realised that just
sudo nixos-rebuild boot
sudo systemctl kexec

is enough because depends on kexec-prepare.service

Undocumented 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

That's still better than Ubuntu where everything is broken. But having such a great Nix package manager gives me too high expectations for the OS management part which is inherently not functional but eventually consistent

And I broke shit in again.

Everything that is a bit unpure (systemd units, network, nss modules) is also pretty broken it seems

I'll be doing another live coding session soon. What language extension do you want to see me struggle with this time?

Show more
Functional Café is an instance for people interested in functional programming and languages.