# Flexibeast's gopherspace | |
Welcome to my small corner of gopherspace. :-) Thanks to slugmax for | |
the hosting! | |
My name is Alexis; i live in Melbourne, Australia. i have a gemlog: | |
gemini://republic.circumlunar.space/users/flexibeast/gemlog/ | |
My interests include (amongst other things): | |
## Software documentation and programming. | |
i'm fairly fluent in Perl and Emacs Lisp, but i also have some basic | |
familiarity with such languages as C and Haskell, and have recently | |
started learning Rust. i enjoy writing LaTeX and mdoc(7) markup. i'm | |
the author and maintainer of several Emacs packages, with repositories | |
on GitHub. | |
mdoc(7) man page | |
My GitHub page | |
## Unix-y OSes | |
In particular, Linux and OpenBSD. | |
i'm a member of the Void Linux team, mainly working on Void's | |
documentation. | |
Void Linux Web site | |
Void Handbook | |
i run Void on my personal laptop, and OpenBSD on my private | |
server. As i spend much of my time in Emacs - for example, i use mu4e | |
as my MUA, and ERC as my IRC client - it will come as no surprise that | |
i use the excellent elpher gemini/gopher client, for which i've | |
submitted a couple of patches. | |
mu/mu4e | |
ERC | |
elpher | |
## Mathematics | |
Mainly category theory and algebraic logic. i find topos theory and | |
non-classical logics fascinating. | |
## Philosophy of mathematics and philosophy of science | |
Philosophically, i'm a mathematical relativist, in the sense described | |
by Andrej Bauer in his post "Am I a constructive mathematician?": | |
Am I a constructive mathematician? | |
## Non-commercial music radio | |
i'm a member of local community radio station 3PBS: | |
PBS Web site |