Patrick

sassy and autistic · i love compilers and women hire me for OCaml dev!!

musique etc. writing + dev @ acouphene.net she/her 🏳️‍⚧️

When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch

Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info

Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk. Homepage at https://anil.recoil.org

30-something queer with a camera see also: https://pony.social/@luna

Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social

Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/

a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry artist! 🎨 art.mcyoung.xyz ⌨️ mcyoung.xyz 💰 mcyoung.xyz/comms 🔞 @slop.mcy.gay 📍Seattle, WA

Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.

assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/

Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN

deeply and importantly talented

a mess like this is easily 5 to 10 years ahead of its time

Notable Protocol Enjoyer. Doing stuff, mostly in Rust and on Embedded systems. Need help with that? Hire me @onevariable.com Co-host @sdr-podcast.com DMs (matrix): @jamesmunns:beeper.com DMs (signal): jamesmunns.255 he/him Kein Ort für Nazis

hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com

A programming language empowering everyone to build reliable and efficient software. Website: https://rust-lang.org/ Blog: https://blog.rust-lang.org/ Mastodon: https://social.rust-lang.org/@rust

Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ