Update: apparently, init depends on libcrypto as well, so rebooting caused a fucking kernel panic

Show thread

Awesome. SSH is broken as well now. I'm actually going to have to connect a keyboard and monitor and manually reinstall my server, am I?

Show thread
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.