PhD student at UPenn studying type systems

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

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

Computing Scientist, 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".

👩🏽‍💻 pl nerd, but most posts aren’t pl
🚅 i like trains
🏳️‍⚧️ transgender
👩🏽‍🎓 undergrad @ neu
🏷️ https://en.pronouns.page/@ariscript
📥 dms generally open

i like dc(1) 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.

profile picture: https://www.discogs.com/master/2254309-Boris-Flood

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

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.

PhD student at IUB interested in type theory and music and stuff

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)

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)

“Occasionally tardy and occasionally salty”

I do remote front-end dev & incidental travel, around 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

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.

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:

world's #1 most normal form https://slim.computer

Software developer, transportation nerd, climate activist (unordered) (he/him)