💾 Archived View for republic.circumlunar.space › users › flexibeast › index.gmi captured on 2022-01-08 at 13:40:52. 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 [ey/em/eir|she/her]; i live in Naarm/Melbourne, Australia.
My gemlog: Trying To Be Constructive
i have a degree in Women's Studies, but my interests include (amongst other things):
Mainly category theory and categorial/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, and maintain mdoc(7) ports of the documentation for the s6, s6-networking and execline suites. i'm also the author and maintainer of several Emacs packages.
In particular, Linux and OpenBSD.
i run Gentoo 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, Shattered Pixel Dungeon and Infra Arcana.