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:
- 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 😔.
- 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.
- Biking - Usually just ride stationary bike because 1. air conditioning is good 2. am not being observed 3. not dealing with bike infra or cars is nice 3. exercise is better than no exercise probably idk 4. watching movie/tv show/youtube/etc. is fun.
- 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've been a Majority Inspector of Elections (that means I check for people in the books, hand out ballots, help with scanning, etc.) since the 2024 general primary election.
- Books - I've been trying to read more (aren't we all). I've written about some of the books I've read here.
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).
