Forbes @forbes.com 
Cyrus Omar in NYC @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
A Mathematical Beauty @normalitylambda.bsky.social I'm a hobby programmer, conlanger, & someone who researches too much I'll post about programming. conlangs, math, science, politics, or whatever I'm feeling in the moment.
@samdphillips.bsky.social @samdphillips.bsky.social 
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
@countvajhula.bsky.social @countvajhula.bsky.social 
jbz @jbzfn.bsky.social 🧙♂️ Software engineer turned clanka babysitter.
👨💻 Rust // Elixir // Python
👉🏻 https://jbz.ee
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.
Rust Language @rust-lang.org 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
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Mark Guzdial @markguzdial.bsky.social Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
@laurentorseau.bsky.social @laurentorseau.bsky.social 
CompSciOxford @compscioxford.bsky.social Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
@gregorkiczales.bsky.social @gregorkiczales.bsky.social 
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Cody @codyroux.bsky.social 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- R Divyanshu Ranjan @rdivyanshu.bsky.social https://rdivyanshu.github.io/
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?
Mark J. Nelson @mm-jj-nn.bsky.social Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
@mflatt.bsky.social @mflatt.bsky.social 
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
Jacqueline @notjack.space rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Thomas Dickerson @elfprince13.mumak.app Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Foraging & homebrew
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Bogdan Popa @defn.io defn.io
Shriram Krishnamurthi @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.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)