@kirancodes.me

Trans girl 🏳️‍⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me

@rakamaric.bsky.social

@fmbck.bsky.social

Programming Language Researcher at the Australian National University

@guha-anderson.com

hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/

@titzerbl.bsky.social

@svenapel.bsky.social

Professor of Computer Science https://www.se.cs.uni-saarland.de/apel/

@gckeller.bsky.social

Professor, Software Technology, Utrecht University

@reifyreflect.bsky.social

@disconcision.com

https://andrewblinn.com abstractJuiceFactory

@stefan-marr.de

Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.

@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/

@johanjeuring.bsky.social

Professor of Software technology for learning and teaching, Utrecht University

@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.

@samth.bsky.social

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

@ericeide.bsky.social

Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements

@defn.io

defn.io

@dangrossmanseattle.bsky.social

@yminsky.bsky.social

Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com

@gregorkiczales.bsky.social

@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

@shriram.bsky.social

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

@racket-lang.org

Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app