Oussama @ouss.fyi Computer whisperer, professional bug hatcher, occasional problem solver.
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Rondo Dondo @maplant.com NYC based programmer. I mostly talk about implementing functional programming languages
John Clements @jbclements.bsky.social scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
treeskulltown @treeskulltown.bsky.social Artist Author • Make Subrealism • https://treeskulltown.com • Handmade art 🙌 : mixed media animation • Art for peace > culture against fascism 🌈
@swannodette.bsky.social @swannodette.bsky.social 
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Nathan @natfu.be I'm a python developer and Emacs user with a hobby interest in statistics. I also like learning about functional programming, still ain't got it though!
Panggi Libersa Jasri Akadol @panggi.com VP of Engineering at sqe.co.id
- FOSS: github.com/panggi
- AI models: hf.co/panggi
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Elisa Gonzalez Boix @elisagboix.bsky.social Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Callum Laing @callumlaing.bsky.social I help ambitious people raise capital, get board seats, take companies public. Let's get more entrepreneurs and builders on bsky!
Author of 4 best selling business books
tigershams @tigershams.bsky.social (II-II)
@cjhebert.bsky.social @cjhebert.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Ryan Culpepper @rmculpepper.bsky.social 
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
YesItsMe @rlonstein.bsky.social A technology drone in the hive mind. Tinkerer, motorcyclist, bicyclist. Armchair something or other.
@minond.bsky.social @minond.bsky.social Voyager is the best Star Trek
Duncan Mak @duncanmak.bsky.social 
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@carboxylman.bsky.social @carboxylman.bsky.social 
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
Zheyuan @zheyuanwu.bsky.social 
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
@rakamaric.bsky.social @rakamaric.bsky.social - S Paul @shortcake.myatproto.social
@titzerbl.bsky.social @titzerbl.bsky.social 
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Ravi Mangal @ravimangal.bsky.social Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
Amr Rizk @amrrizk.bsky.social Comp. Engineering, Communication Systems Prof@Leibniz University Hannover
Hier privat. - [ʁɪsk]
stefan brunthaler @sbrunthaler.bsky.social Language-based security is the continuation of compiler construction by other means.
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@jhemann.bsky.social @jhemann.bsky.social 
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Prashant Pandey @pandey25.bsky.social Asst Prof Computer Science
Northeastern University, Boston
Scalable Data Systems and Algorithms
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Alex Knauth @alexknauth.bsky.social I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 29
http://pronoun.is/he?or=they
Tavis Rudd @tavis.damnsimple.com Geek in Vancouver. Sometimes CTO / software architect. Obsessive reader. Always curious! (was @tavisrudd elsewhere)
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Giovanni Campagna @gcampax.com Certifiable human. Was a PL->ML researcher, now leading engineering at GetWIQ.ai . EU native, US currently. Opinions are a weighted average of everyone around me (the weights are mine). he/him
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
ari @ari.foo 🐘 mostly https://types.pl/@ari
👩🏽💻 types
👩🏽🎓 neu undergrad
🏳️⚧️ she/her
🌐 https://ari.foo
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Dan Cross @dancrossnyc.bsky.social Engineer at Oxide Computer Company. Xoogler, Marine. Software, hardware, and math. he/him
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Pranav Rajan @pranavrajan.bsky.social digital signals, aiml, generative modeling, music. bach enthusiast
Machine Learning Student @ KTH
Sam Lindley @reifyreflect.bsky.social 
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Andrzej Prochyra @andrzejprochyra.bsky.social 
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
@whysguy.bsky.social @whysguy.bsky.social - N Nithish @nithi.sh SWE
I use nix btw. Chennai, IND
Lilja Draws Girls @yuurei-lilja.bsky.social Pencil drawings of girls and cats, with a tint of horror. Also retro-computing and everything in between, I guess?
Looking tech-stuff only? Try @lambdagarden.org
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
_Juhan @juhan.bsky.social Haut, Juhan, vam caminar,
vam caminar de cap tà l'immortèla.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Reto Kramer @retok.bsky.social Software Engineering and Product Leader
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
John Atom @jmhimara.bsky.social Scientist. Film enthusiast. Writer. Reviewer. Fascinated with classic SF. Former contributor of http://vcinemashow.com and http://sffreviews.com. Co-host of the Heroic Purgatory podcast: @heroicpurgatory.bsky.social
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
anjali @anj.bsky.social 🏳️🌈
she/her
PhD student @ uw cse
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Bogdan Popa @defn.io defn.io
Paul Brauner @polux2001.bsky.social - S Klaus Schmid @sklaus.bsky.social Working on future software engineering technologies and teaching about it.
Srikumar @sriku.org Math, music (@patantara.com), human and computer languages, small data and natural intelligence, visiting prof of computer science at Krea University. Blog - https://sriku.org .
Does the dog have Turing nature?
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Dan Grossman @dangrossmanseattle.bsky.social - R Divyanshu Ranjan @rdivyanshu.bsky.social https://rdivyanshu.github.io/
- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
@gregorkiczales.bsky.social @gregorkiczales.bsky.social 
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct