💾 Archived View for republic.circumlunar.space › users › flexibeast › index.gmi captured on 2020-09-24 at 00:56:54. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Welcome to my small corner of geminispace. :-) Thanks to slugmax for the hosting!
My name is Alexis; i live in Melbourne, Australia. i've started maintaining a gemlog.
My interests include (amongst other things):
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.
In particular, Linux and OpenBSD.
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.
Mainly category theory and algebraic logic. i find topos theory and non-classical logics fascinating.
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?
i'm a member of local community radio station 3PBS: