love it when searching for information about type theory stuff turns up essays about ethics by philosophers. here i was expecting "Totality and Infinity" to be the answer to my questions about dependent types :/

Na boosted

This is one of my favorite poems & I think about it all the time. How to Disappear in the Modern Age, by Lora Mathis

Na boosted
Na boosted
Na boosted

So.. apparently nobody's just like ripped the string section out of an orchestra and replaced it with theremins (and recorded the result to post to youtube). There *is* however, a Japanese Matryomin[1] ensemble: youtu.be/OnlsfeRNw1I?t=310

1: Yes, this is a portmanteau of "theremin" and "Matryoshka" on account of them being single-antenna theremins inexplicably housed in something resembling a Matryoshka doll.

"note that the testing installer is more for testing the installer than for installing testing"

Thank you Debian, for that beautiful sentence.

TIL: You can control media playback in firefox with dbus! It's got an MPRIS (wiki.archlinux.org/index.php/M) interface. Things seem a little confusing if you've got more than one player happening at once though (e.g. two youtube videos). I *think* it uses the most-recently-interacted-with one, but I'm not 100% sure.

In an effort to prioritise fonts with color emoji over those without, I *may* have been an eensie bit overbroad. I will, however, admit that I'm impressed that it just works, even in Firefox's address bar.

Toot.Cat

On the internet, everyone knows you're a cat — and that's totally okay.