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.
Asst. Prof at Syracuse. Less 💩posting than my Twitter I promise! kmicinski.com
I do things with words, and the things that lie behind words. Usually with a lambda in hand.
Worker in Linguistics, specialising in formal semantics and language change, with areal interests especially in South Asia and the Caribbean.
Little tolerance for neoliberal nonsense.
#nobot, please, we're fediversish.
I welcome follow requests - please have a bit about you and some posts visible though.
- languages: English, हिन्दी, नेपाली, '(lisp)
This "person" has a superficial similarity to https://twitter.com/welltypedwitch but it is in fact a malevolent agent of chaos. It unpicks the seams of reality (and the Fediverse) so that the normal rules no longer apply. It lulls you into thinking it is reasonable, but when you are not looking it stabs you in the back and aliases all of your mutable buffers. The carcass of many a seasoned Haskell programmer lie strewn at its feet.
Do not talk about "safe"! You do not know what is safe!
literally just a guy. most toots are not about math or PL. fair warning
lmk why ur requesting me via dm before requesting if I don't know you irl
Computer Friend, Not a Bird
I like making formal logic do things it was never meant to do. Also fast things
:nonbinary_flag:
You can refer to me as J. or as Jason but I prefer the former in some settings
CS PhD student at UChicago
(all opinions my own)
Software developer, transportation nerd, climate activist (unordered) (he/him)
Cursed computer architecture enthusiast.
Engineer at Raspberry Pi. 日本語下手。 He/him
Cornell PhD Student. PL/Compilers/Arch
Undergrad at THU interested in type theory and music and stuff
🇨🇦 "Vancouver"
🏳️🌈 Sappho's Roommate
♾️ ENM
🔰 Always learning
💡 Woke AF
🤝 United we stand, divided we fall
✊ BLM/Land Back/Antifa/Trans Rights/ACAB
❄️ NixOS
📝 notes.brooklynzelenka.com
🧶 tangled.org/expede.wtf
🦋 bsky.app/profile/expede.wtf
Researching types, correctness, and purpose. I sleep a lot
Reader in Computer Science at the University of St Andrews. Idris developer, trying to make fancy type systems that are usable and efficient. Occasional Go player. Cricket watcher. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:
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~
PL postdoc. Currently a Newton International Fellow at the University of Edinburgh. Soon to be Assistant Prof. at University of Regina, starting July 2024. Formerly PhD at UBC with Ron Garcia
Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.
