Hihi! I'm Theodora (she/her) but I usually go by Thea (also she/her). I currently live in Pittsburgh where I use computers sometimes (but I'm increasingly becoming a luddite). You can contact me by addressing "thea" at this domain name.
I can't be bothered to find and upload a picture so just imagine the hottest transsexual lesbian possible and that's me : )
Writing:
- Kollontai's The Social Basis of the Female Question
- A Walk Through My Neighborhood
- Provable Standard ML Programs in Lean - A subset of Standard ML, including dynamic semantics, is implemented in Lean 4. Using a variety of newly implemented tactics, this allows for writing machine checkable proofs about SML code similarly to how one would on paper.
Personal Things:
- Books - I've been trying to read more (aren't we all). I've written about some of the books I've read here. I've mostly been reading nonfiction books lately but I've really enjoyed the Octavia Butler books that I've read. Also if you are transfem/trans woman I cannot recommend Torrey Peter's Stag Dance enough it is so good.
- Walking Around - I usually kinda just aimlessly wander just so that I'm not sitting inside all day but it is relaxing and definitely helps build an internal sense of place and scale that you just don't get from driving/biking, especially if you are just doing that in order to run errands or whatever. Plus, you find fun/interesting little places. I found a "little library" thing but with plants that you could take (not really sure how the library part of that worked but whatever) also a thing with art supplies you could borrow. It is definitely a "There are cathedrals everywhere for those with the eyes to see" moment and driving in a car/bus place to place definitely blinds you from that.
- Biking - I mostly just ride stationary bike because going outside and dealing with cars and flats and weather is annoying. Plus I can just be an iPad baby and watch TV/YouTube the whole time xd.
- Programming Languages - I have been using Lean to reason about programming languages and compilers. I have been working on C0deine: a work-in-progress, verified compiler from C0 to WebAssembly as well as a bunch of adjacent Lean packages. For more info on what I am working/have worked on see my projects page.
- Poll Worker - I have been working as a poll worker for a few years now. Currently I serve as Judge of Elections which sounds fancy but really just means I'm just there to make sure everything runs smoothly, help out if a voter has issues (e.g. "I'm pretty sure I'm registered but I'm not in the book"), and delivering the ballots/paperwork to the county dropoff after polls close. It is mostly a chill time and a nice excuse to read a book all day.
- Baking - I'm not very good but at least I haven't made anything truly inedible (yet). Maybe I'll try to get better but then I might get banned because transgenr 😔.
Random Links (in no particular order):
- Hot Allostatic Load
- Taking Steps: fair
- Ginkgo Collective - Resources for trans stuff specific to pittsbert
- QZAP - The Queer Zine Archive Project preserves and distributes queer zines (categorised by year and city).
