@frogandtoadbot.bsky.social
Cozy random passages from Arnold Lobel's Frog and Toad books. Posts auto-delete.
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
@radishharmers.bsky.social
Born Samuel Langhorne Clemens in rural Missouri. Adopted the pen name "Sridhar Ramesh" from riverboat slang.
@kanjun.bsky.social
Empowering humans in an age of AI. CEO, Imbue. Interested in agency, interfaces, & experimental social processes
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@benjaminreinhardt.com
Dare mighty things! Journeyman wondersmith at Speculative Technologies. 🏴☠️🪐🐉 https://Benjaminreinhardt.com + https://spec.tech
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@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.
@rockerskating.com
Chief Skate Nerd @ Rocker Skating | Real, level-headed figure skating expert analysis | sometimes the Practice Cam guy | jackie@rockerskating.com | he/him
@anythinggoe.com
AnythingGOEs - figure skating news, guides, interviews, resources, and talk of programs old and new! Support us http://patreon.com/anythinggoe
@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.
@probirdrights.bsky.social
why i left th left (subcribe to my substank) this user is verfied because they subcribe to Twitter blue®️
@truf.bsky.social
@rsms.me
Working on Playbit https://playb.it/ . Designer of Figma, Inter, Spotify. Software painter. https://rsms.me/
@sophiebits.com
you have the ability to understand things principal engineer, react person, super gay, still masking
@typedfemale.bsky.social
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@bengolub.bsky.social
economics and computer science professor at Northwestern bengolub.net social and economic networks originally from Ukraine
@tonofcrates.bsky.social
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@michaelnielsen.bsky.social
Searching for the numinous Australian Canadian, currently living in the US https://michaelnotebook.com
@andymatuschak.org
More wonder, more insight, more expression, more joy! Currently exploring tools that augment human memory and attention. https://andymatuschak.org Twitter: andy_matuschak Mastodon: @andy@andymatuschak.org
@core-uh.bsky.social
@artirkel.bsky.social
Science accelerationism at @RetroBio_ 🇪🇸➡🇬🇧➡🇺🇸
@sebastien.bsky.social