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:
user@example.com $ newmail hub.darcs.net
pemovrypur@example.comAnd if you later forgot which one you had generated:
user@example.com $ whichmail hub.darcs.net
pemovrypur@example.comListening 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.
Christophe is also on SoundCloud and currently works on Lawdle↩
Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺