💾 Archived View for republic.circumlunar.space › users › flexibeast › index.gmi captured on 2022-07-16 at 14:10:28. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-01-08)
-=-=-=-=-=-=-
Welcome to my small corner of geminispace. :-) Thanks to slugmax for the hosting!
My name is Alexis [ey|she]; i live in Naarm/Melbourne, Australia.
My gemlog: Trying To Be Constructive
i have a bachelor's degree in Women's Studies (think ‘gender studies’), but my interests include (amongst other things):
Mainly category theory and categorial/algebraic logic. i find topos theory and non-classical logics fascinating.
Roughly the last two millenia of Eurasian history (with particular interest in the British Isles, Germany, the subcontinent, and China), and the 20th century CE globally.
i did a number of linguistics units at university, speak/write some Spanish and German, have been learning Hebrew vocabulary and script, and have been trying to learn to read Devanagari script (which i find _gorgeous_).
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 really enjoy following / watching / listening to the sport of cricket, regardless of who's playing. i definitely prefer the red-ball game, both international and domestic, but don't mind the white-ball games. T20 is not really my thing, but i do think it _is_ a form of cricket, and is good for cricket overall.
i'm fairly fluent in Perl and Emacs Lisp, but have some basic familiarity with a number of other languages, including C and Haskell. i also enjoy writing LaTeX and mdoc(7) markup.
i've ported and maintain mdoc(7) ports of the documentation for s6, s6-networking, s6-portable-utils and execline:
i'm the maintainer of a collection of ICT guides for FOSS *n*x-ish systems, most of which i've authored:
In recent times, i've been contributing to the Gentoo Linux wiki:
In the past, i've made a number of contributions to the documentation for Void Linux:
i'm the primary author and maintainer of several Emacs packages, including:
Ebuku, an Emacs UI for the buku Web bookmark manager
pulseaudio-control, an Emacs UI to control PulseAudio volumes
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.