# 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.
       
 (HTM) mdoc(7) man page
 (HTM) 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.
       
 (HTM) Void Linux Web site
 (HTM) 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.
       
 (HTM) mu/mu4e
 (HTM) ERC
 (DIR) 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?":
       
 (HTM) Am I a constructive mathematician?
       
       ## Non-commercial music radio
       
       i'm a member of local community radio station 3PBS:
       
 (HTM) PBS Web site