# 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