This is my public diary.
Wrote a small shell script which generates new e-mail aliases. This is useful if you do not want to trust some site with your real address. The script is quite specific to my set-up, but should be easily adaptable to other settings.
In short, you generate random aliases from the command line. For instance, to generate a new alias for use with hub.darcs.net:
firstname.lastname@example.org $ newmail hub.darcs.net email@example.com
And if you later forgot which one you had generated:
firstname.lastname@example.org $ whichmail hub.darcs.net email@example.com
Listening to Fearofdark – Motorway, which Christophe1 recommended me, while formalising λ’-calculus in Agda. There are close relationships between mathematics and music, and I find that chiptunes are great while working on formalisation — but most creative part of the work requires silence for me.
Had fun playing DnD tonight. Inspired by my recent Nethack playing I wanted some old-school monsters to appear, and landed on rustmonsters. Baern, one of the player characers, got his nice magic armor completely dissolved by rust. Old-school monsters are hard-core.
who is also on SoundCloud and currently works on Lawdle↩