Discover users based on their interests
👉 SEE PINS
dragon princess from the blue shark planet
cons artist, blåhaj haver, -1x engineer, yak shaver, water drinker, holdable friend
made BLÅHAJ CTF, the world's first CTF team with plush sharks | https://blahaj.awoo.systems/
follow reqs are ok just have a bio and posts
top 1% of abba listeners on spotify
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)
is this testing whether I'm a lesbian or a replicant mr. deckard?
second year computer witch at chalmers university of technology.
i like topology, tea and type theory
PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics)
no time for facts, vibes only. phd candidate in systems at uc santa cruz.
PL theorist, Category practitioner
professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 20; canadian/american
please don't reply to me with foss
Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate.
I'm a real logician now! • recovering computer scientist • interested in proof theory + constructive mathematics + type theory • will only write code that compiles into a pdf document or doubles as proof
trans rights + against all unjust hierarchies
PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)
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.
likes programming as a hobby and loves biology
lives in the Philippines
i mainly write programs in Julia . There is a little bit of Rust but i am not too good at it
other hobbies include watching anime and reading comics
Christian, FP/formal verification enthusiast, and friendly neighborhood nerd. CS ‘23 at Caltech. axellang.github.io
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
I do remote front-end dev and incidental travel, based in Eastern Thailand
Taiwan is a country
Banner img by: aertime (https://aerti.me/)
PGP: 7944 74B7 D236 DAB9 C9EF E7F9 5CCE 6F14 66D4 7C9E
$year - 1997 | any pronouns
If you follow me I will inflict mathematics on you. I have a complicated relationship with computers.
Surrealist programmer at the University of Edinburgh