Sandra smith @abena33h.bsky.social
Ryan Culpepper @rmculpepper.bsky.social
@ronnie19871.bsky.social @ronnie19871.bsky.social A love of skiing, pushing limits and challenging oneself.
Ayaan Kazerouni @ayaankazerouni.org I teach computer science at Cal Poly. I mostly post about research in computing education.
https://ayaankazerouni.org
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Harsh @harshshukla45.bsky.social Hi, I’m Harsh Shukla — Full-Stack Dev (Frontend-heavy) skilled in React, Node.js & Java. Actively seeking job opportunities to build great products & grow with a driven team. New here, open to connect, share, learn & vibe. DMs always open!
Matt Might @matt.might.net A private citizen- A Arbër @arbersh.bsky.social
@mtn-journey.bsky.social @mtn-journey.bsky.social
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Geoffrey Knauth @gknauth.bsky.social software developer, flight instructor, rower/coxswain, linguist
Bogdan Popa @defn.io defn.io
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
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/
Zachary Peterson @znjp.bsky.social cs prof at calpoly
https://znjp.com
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
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/
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
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
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.