About

I had a cat, she was 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
Backup email (not checked regularly)
defanor@disroot.org
XMPP
defanor@uberspace.net
Online accounts
defanor@Libera.Chat
defanor@Wikipedia
defanor@GitHub
defanor@Hacker News
OpenPGP key
83CA 0A53 1343 ABF6 A393 393A DC40 5357 1CDC 9133

I'm using the screen name for hobby-related activities, and attempting to keep them separate from more mundane ones.

I'm trying (and would prefer) to avoid centralised and commercial services, but using the likes of GitHub for collaboration with those who don't, as well as for repository mirroring.

Current projects

At the time of this section's last update, out of hobby projects, I'm working mostly on rexmpp, an XMPP library. Though I'm spending more time in Discworld MUD.

Planned projects

There's quite a few things I'd like to poke, but a relatively fun/exciting one is robotics: I'd like to run a robotics simulator (possibly MORSE) and play with POMDPs there. And mapping with OpenStreetMap, too: I'd like to use those, but they seem to still lack a handy client and routing based on public transport. Another potentially fun project I keep thinking of is a language for programming Mealy machines (likely with pattern matching on state).

This website

This is a valid website, with RDFa metadata present, so it can be used as such. There's no custom styling (aka misplaced visual art, branding, and/or fixing of bad web browser defaults in every document separately instead of fixing them in web browsers), so it's best viewed in web browsers with sensible configuration. The authoring tools are available from the homepage repository.

Interests

The topics I'm interested in are reflected in the notes and projects, so this whole website is about those. But here is a summary, mostly for FOAF.

Nowadays I'm doing functional programming in Haskell (and occasionally total functional programming with formal verification, in Idris), C programming, using Emacs on GNU/Linux. Sometimes working on FLOSS, and interested in computer programming and computing in general, which includes HCI, Semantic Web, and other topics. Perhaps it can be summarised as an interest in reliably working and usable software, and advancement towards a techno-utopia.

I'm also interested in some of the most common, non-computing subjects: cats, rock music (symphonic metal, alternative rock, industrial rock), books, movies, games (Discworld MUD in particular), food/cooking, crafts, etc. As well as in some of the topics that are related to computing – such as digital art, perhaps electronics (and physics in general) and mathematics. All the fun things I don't have enough time and energy to spend on. If I had enough time for those and even more on top, I'd probably spend it on RPGs and trains/railroads.

Social graph

Maybe I will link others' FOAF profiles from this document someday.