Explore types.pl

Leftist. Trans. PhD in computer science and logic.
I only boost pictures with alt text.

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)

PL Twitter wannabe-refugee. PL. bad jokes. photo TK

Computer Security and programming languages incl TC39. Former Googler. Does not understand sarcasm (apologies in advance). he/him/they

Computer Science student from Crete, Greece

- Enthusiastic about many things, mainly hardware architecture, type systems and systems software 🧑🏽‍💻
- Love sports, especially basketball 🏀, table tennis 🏓 and biking 🚵🏽‍♂️
- Appreciate crafts and good design 🍃

dragon princess from the blue shark planet
cons artist, blåhaj haver, -1x engineer, yak shaver, water drinker, holdable friend

i'm one of the admins on here

it/its, she/her, fae/faer. age >20
call me lilith, rose, or amber (or my other names if u know them)

trans rights

"asdjkl;dkrfhl;ka;sdhh ds ;als;dlskajd;fasasdgfdiouh" ~ @amber
"surprisingly large" ~ @violet_cybrespace
"a good dragon imo and deserves many headpats" ~
"i hope i am as cool as it when i grow up" - @TakeV
"a memetic hazard" - @juliana
"you queer every binary tbh" - @nora

follow reqs are ok (and if you're also trans, encouraged) just have a bio and posts
see pinned posts for some more info!

💙 @iitalics
💙 @juliana
💙 @amber
💙 @theotheroracle

​ ​ cybrespace forever ​ ​

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)

Grad worker. Computer toucher. Protein understander. Squishable friend. Bisensual and polyamazing. ✨️

DM before following if you don't know me. Failure to comply will result in a 50% ration cut and extra duty. Death to the Hunter! Glory to Mother Brain!

minors dni or you will be blocked. I talk about sex and use mommy words. go play fortnite

Pfp: a pixelated image of a white woman with green eyes and long, wavy, coral pink hair, wearing a pink off-the-shoulder sweater, a black choker, and silver stud earrings.
Header: the words "You wouldn't trans a gender" in the style of those old anti-piracy ads.

Newton International Fellow at the University of Edinburgh. 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. Currently working on gradual dependent types.

top 1% of abba listeners on spotify
celeste player, begrudging toucher of computers
interactions/boosts always ok

I’m interested in all programming languages.
#RacketLang #functionalprogramming #languageorientedprogramming #metaprogramming #lisp #scheme
London / Garramilla (Darwin) / Naarm(Melbourne), Australia
(he/him)

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

Computing Scientists, ex-mathematician. Currently in academia, spent considerable time in industry as well. Into weird programming languages and the outer parts of programming and software engineering. Currently exploring metaprogramming, quantum programming, DSLs and "generate everything".

Human in the loop automated formal verifier

IRL: Markus de Medeiros (he/him)

⊢ (SPL@UBC) ∗ (SPL@UBC ——∗ ACSYS@NYU)

Category Theory Agda Haskell Nix Emacs Recursion Schemes Generic Programming Language Acquisition Amateur Linguist Unlearn Patriarchy Vegan Sustainable Skeptic Friend Family Patron Maker 🇪🇺an

Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Using tootfinder.ch

Programming languages! Rust, Haskell, types, DSLs, language design, human factors, ... Compiler hacker at https://EC.ai.

Into other nerdy things like game theory, linguistics, board games, and sci-fi/fantasy books. Also into (arguably) less nerdy things like playing tennis, gardening, traveling, kayak camping, lefty politics, local beer, and following my hometown sportsball teams.

Based in beautiful Corvallis, Oregon, USA.

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

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Undergrad at THU interested in type theory and music and stuff