I can write an incorrect program which is faster than your incorrect program

Senior Lecturer in Computer Science at the University of Kent and Co-director of the Institute of Computing for Climate Science at the University of Cambridge

i like Forth and when the music's good.

Scientific truth is always paradox, if judged by every-day experience, which catches only the delusive appearance of things.

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

enjoys music, good food, coding, and talking about them.

learning machines at Netflix. ex-Twitter/Lightbend. sbt core dev. he/him
#Scala #sbt #Bazel

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: