💾 Archived View for republic.circumlunar.space › users › flexibeast › index.gmi captured on 2020-11-07 at 01:18:14. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2020-10-31)
-=-=-=-=-=-=-
Welcome to my small corner of geminispace. :-) Thanks to slugmax for the hosting!
My name is Alexis; i live in Melbourne, Australia.
My gemlog: Trying To Be Constructive
My interests include (amongst other things):
Mainly category theory and algebraic logic. i find topos theory and non-classical logics fascinating.
i'm particularly interested in the philosophy of mathematics and the philosophy of science. In terms of the former, 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?
More generally, i'm interested in process thought.
i'm a member of local community radio station 3PBS:
i'm fairly fluent in Perl and Emacs Lisp, but i also have some basic familiarity with such languages as C and Haskell. 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.
Mostly Dungeon Crawl: Stone Soup (though nowadays mainly the bcrawl variant), HyperRogue and Infra Arcana.