PhD in Computer Science, interested in programming language design, active transit, and science fiction; dreams of a better world than the one we live in. 🍁 (he/him)

colouring outside the lines

🇨🇦 Vancouver
Always learning. Sapphic as heck. Trans rights are human rights
. BLM & Land Back
. United we stand, divided we fall.

progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone

Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.

hi everyone :) i'm aramya
i'm interested in retrotech, low level hacking, esoteric computation, type theory and logic
also a fan of nintendo games, 2000s pop music and 2000s cartoons as my cover pic (mountain sector from code lyoko) suggests :3

Senior Lecturer at ANU School of Computing, Ngunnawal/Ngambri Country. I leave these toots, I do not know for whom. I no longer know what they are about.

Formal Methods, Verification, Concurrency, etc.

English, 한국어, 日本語, Lingva Latina

No AI-generated content, please.

Cursed computer architecture enthusiast.

Engineer at Raspberry Pi. 日本語下手。 He/him

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

Low-level lesbian hardware hacker(s) and engineers(s). Building things for those we love~

Just a bit obsessed with RWBY~