Instance directory: types.pl

Low-level lesbian hardware hacker(s) and engineers(s). Building things for those we love~

Just a bit obsessed with RWBY~

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)

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

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

PhD student at UPenn studying type systems

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.

🇨🇦 Vancouver
Always learning. Sapphic as heck. Trans rights are human rights
. BLM & Land Back
. United we stand, divided we fall.

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

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

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)