💾 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

View Raw

More Information

⬅️ Previous capture (2020-10-31)

➡️ Next capture (2022-07-16)

🚧 View Differences

-=-=-=-=-=-=-

flexibeast's corner

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

Short thoughts

Poetry

Fiction

i have a degree in Women's Studies, but my interests include (amongst other things):

Mathematics

Mainly category theory and categorial/algebraic logic. i find topos theory and non-classical logics fascinating.

Philosophy, metaphysics and spirituality

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.

Wikipedia: Process philosophy

Non-commercial music radio

i'm a member of local community radio station 3PBS:

PBS Web site

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. 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.

mdoc(7) man page

My GitHub page

Unix-y OSes

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.

mu/mu4e

ERC

elpher

Roguelikes

Mostly Dungeon Crawl: Stone Soup (though nowadays mainly the bcrawl variant), HyperRogue, Shattered Pixel Dungeon and Infra Arcana.

Dungeon Crawl: Stone Soup

bcrawl

HyperRogue

Shattered Pixel Dungeon

Infra Arcana