I literally only know how to program in Datalog.
Type Theory/Category Theory
I like proof assistants and make them too!
Hi! I'm a master's student in computer science at TU Dortmund in Germany.
I love functional programming (mostly in Haskell and Scala), type theory and programming language design. I'm also into Linux, self-hosting and free software in general.
I'm passionate about science in general, science communication and education. I listen to and create podcasts, and do workshops and similar stuff when I find the free time.
Apart from that I enjoy sewing, hiking and reading, among other things. I will also relentlessly babble about urban planning for hours on end to anybody carless enough to mention bikes, cars or the Netherlands while in the same room with me.
🇨🇦 Vancouver
Always learning. Sapphic as heck. Trans rights are human rights
. BLM & Land Back
. United we stand, divided we fall.
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.
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.
I am a Programmer I like cats, otters and llamas...
Books are awesome. Into Functional Programming and thinking about Systems.
Poblacht na hÉireann, Airgintín., Sasana agus An Nua-Shéalainn
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
Low-level lesbian hardware hacker(s) and engineers(s). Building things for those we love~
Just a bit obsessed with RWBY~
Cursed computer architecture enthusiast.
Engineer at Raspberry Pi. 日本語下手。 He/him
That's all folks...
