CalMatters @calmatters.org CalMatters is a nonpartisan and nonprofit news organization. We write stories about California, for Californians.
Ian Henry @ianthehenry.bsky.social i work at the intersection of set theory and figurative language
http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
ProPublica @propublica.org Investigative journalism in the public interest. Headlines and (sometimes literal) receipts.
propublica.org
Ayaan Kazerouni @ayaankazerouni.org I teach computer science at Cal Poly. I mostly post about research in computing education.
https://ayaankazerouni.org
Active Group GmbH @active-group.de happiness through functional programming
Website: https://active-group.de
Fediverse: @activegroupgmbh@discuss.systems
Unsere Konferenz bei Bluesky: @bobkonf.de
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Michael Hilton @michaelhilton.bsky.social Trying this out
Associate Teaching Professor in Software Engineering @ Carnegie Mellon University
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Paul Stansifer @paulstansifer.bsky.social Keep humanity weird. He/him. Lurking here, posting (such as it is) at https://types.pl/@paul_stansifer
Asumu Takikawa / 瀧川明日夢 @asumu.org 🍙🚃🚲🥑
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@sdegabrielle.bsky.social @sdegabrielle.bsky.social
@mflatt.bsky.social @mflatt.bsky.social
Geoffrey Knauth @gknauth.bsky.social software developer, flight instructor, rower/coxswain, linguist
Ryan Culpepper @rmculpepper.bsky.social
Greg Hendershott @greghendershott.com Maker of things for Emacs and Racket.
Founder of Cakewalk and Extramaze.
Alum of Recurse Center (née Hacker School).
https://www.greghendershott.com/
https://mastodon.social/@greghendershott
https://www.racket-mode.com/
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
Kathi Fisler @kfisler.bsky.social Research Prof at Brown Computer Science studying computing education. K-12 outreach through Bootstrap. Avid jigsaw puzzler.
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
Zachary Peterson @znjp.bsky.social cs prof at calpoly
https://znjp.com
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Bogdan Popa @defn.io defn.io
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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
Matt Might @matt.might.net A private citizen
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app