About

I have a cat, she is fluffy and nice.

Not sure what my favourite colour is.

This is my homepage.

Contact

Online handle
defanor
Homepage
https://defanor.uberspace.net/
Email
defanor@uberspace.net
XMPP
defanor@uberspace.net
defanor@dfei2rttaxykysmc.onion
Online accounts
defanor@Freenode
defanor@GitHub

This website

This is a valid website, with metadata (including RDFa and occasional alternate versions) present, so it can be used as such.

Interests

The topics I'm interested in are reflected in the notes and projects, so this whole website is about those. The listing here is mostly for FOAF; I doubt that it will be any useful, but shouldn't harm.

Nowadays I'm doing functional programming in Haskell (and occasionally total functional programming with formal verification, in Idris), using Emacs on GNU/Linux. Sometimes working on FLOSS, and interested in computer programming and computing in general, what includes HCI, Semantic Web, and so on.

Rather unsurprisingly, I'm also interested in the most common, non-computing things: cats, rock music, books, movies, games, food, etc. As well as in some of the topics that are related to computing – such as digital art, perhaps electronics and mathematics. All the fun things I don't have enough time and energy to spend on.

Social graph

For FOAF to work somehow and someday, there should be user connections, hence this section. Unfortunately I don't know any other FOAF users (apart from very brief IRC conversations on the SWIG channel with a few), so it is empty. Maybe will make a FOAF profile for my cat someday.