postdoc at UW
https://mwillsey.com
https://twitter.com/mwillsey
he/him

PhD student in programming languages at Princeton. 🐅


I post about functional programming, metaprogramming, proof assistants / IDEs, and sometimes about linguistics, or Turkish politics and Turkey.

Rust aficionado. Functional programming advocate. Final Fantasy collector. Oxford comma proponent. Armchair etymologist and reluctant descriptivist. No shilling.

I will like your cat photos. My opinions are my own.

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

Assistant professor at the University at Buffalo, SUNY. Types, security, and categories.

Researcher at INRIA

#Tübingen

I do remote front-end dev & incidental travel, based in Eastern Thailand

privacy ∘ photography ∘ free software ∘ functional programming ∘ Colts ∘ food ∘ tea

เรียนภาษาไทย​ ຮຽນ​ພາສາ​ລາວ​ດ້ວຍ​

Banner img by: aertime (https://aerti.me/)

PGP: 7944 74B7 D236 DAB9 C9EF E7F9 5CCE 6F14 66D4 7C9E

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

The United States government is carrying out a genocide of immigrants and trans people.

Compilers & continuations & coinductives enthusiast, graduate student, type theory weenie.

Current PLUMer, ex SPLablaber

"a uniquely frustrating person"

"extreme outlier"

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

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

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL.

Talk to me about:
- Agda and dependently typed programming
- Tabletop role-playing games @dregntael
- Neurodivergence
- Mindfulness and self-compassion
- Effective altruism
- Creativity and imagination
- Climate change and transformative justice
- Playing bassoon and clarinet
- Hiking and landscape photography
- Books (https://www.goodreads.com/user/show/26066459-jesper)
- Anime (https://www.imdb.com/list/ls031529857/)
- Board games (https://boardgamegeek.com/collection/user/dregntael?own=1)

Lecture in Compilers and Programming Languages at the University of Edinburgh | https://michel.steuwer.info

Researcher in computer science,
all things effects, author of the Effekt language (http://effekt-lang.org),
jun. professor at the University of Tübingen.

https://twittodon.com/share.php?t=__protected&m=effects@types.pl

st. andrews <- uchicago | she/her | world’s biggest hater™ | this account is by no means professional so beware

CS Professor, programming languages and formal methods, UIUC! Sigplan-M Founder. CCF President. They/them, ND, bi ❤️

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.