@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.
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@batsov.net
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order. The artist formerly known as @bbatsov. Personal blog: https://batsov.com FOSS projects blog: https://metaredux.com Emacs blog: https://emacsredux.com
@charity.wtf
cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@alexn.org
Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org. 🌍 Bucharest, Romania https://alexn.org/about/
@janetacarr.com
Independent Clojure Consultant. Aspiring Blonde Bombshell. Posts about Software Dev, Clojure, & Functional Programming Twitch: twitch.tv/janetacarr Course: clojureforpros.com Clojure blog: blog.janetacarr.com Freelance Blog: fixedrate.dev
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@handle.invalid
Software engineer from South Wales. OCaml and F# programmer by day. https://github.com/epmorgan https://www.monadic.sh
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@seanmcarroll.bsky.social
#Physics, #philosophy, #complexity. Johns Hopkins & @sfiscience.bsky.social. Host, #MindscapePodcast. Married to @jenlucpiquant.bsky.social. Latest: Quanta & Fields, book 2 of The Biggest Ideas in the Universe. https://preposterousuniverse.com/ He/him.
@astroengine.bsky.social
NASA JPL news media specialist. Topics include (not limited to): ☄️🛰️📡🪐🌕⚛️ Solar physics PhD. Science communicator, writer. Opinions are mine. he/him
@xkcd.com
@eff.org
We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at https://eff.org/social. https://eff.org
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@raysan5.bsky.social
Passionate about gamedev technologies. I create things. Created raylib, raygui, rres and many other tools/libs at raylibtech. FOSS at: http://github.com/raysan5
@vitalik.ca
@filippo.abyssdomain.expert
RC F'13, F2'17 Cryptogopher / Go cryptography maintainer Professional open source maintainer https://filippo.io / https://github.com/FiloSottile https://mkcert.dev / https://age-encryption.org https://sunlight.dev / https://filippo.io/newsletter
@malb.bsky.social
Cryptography Professor at King's College London and Principal Research Scientist at SandboxAQ. Erdős–Bacon Number: 6. He/him or they/them. https://malb.io
@web3isgoinggreat.com
tracking only some of the many disasters happening in crypto, defi, NFTs, and other blockchain-based projects since 2021 • created by @molly.wiki web3isgoinggreat.com
@claucece.bsky.social
Proud LatinAmerican. "Legendary quantum lady/cryptographer". Researcher @brave she/they hrpc co-chair @inretafo anti-fraud @w3c @otr_im @LondonU
@aumasson.jp
https://aumasson.jp cofounder & CSO @ taurushq.com cryptographer (BLAKE2, BLAKE3, SipHash) author of Serious Cryptography https://nostarch.com/serious-cryptography-2nd-edition and other books Signal: jpa.01
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@robpike.io
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
@jepsen.mastodon.jepsen.io.ap.brid.gy
Breaking distributed systems, one fault at a time. [bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
@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.
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@ifesdjeen.bsky.social
Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/
@iacrcrypto.bsky.social
Official account for the IACR Crypto conference https://crypto.iacr.org
@annalysyanskaya.bsky.social
www.cs.brown.edu/~anna CS Prof @ Brown. Cryptography, especially privacy-preserving protocols, such as anonymous credentials. she/her American, originally from Ukraine.
@jamespearce.bsky.social
Hacker, sailor, TinyBase. Previously Engineering Director at Meta: data infra, dev tools, open source, and platforms.
@localfirst.fm
A podcast about local-first software development. Hosted by @schickling.dev.
@martinfowler.com
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. host of https://martinfowler.com
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@largedatabank.com
Sr Director of engineering @ Cockroach Labs. Brooklyn Check me out: https://largedatabank.com The old site: https://twitter.com/largedatabank
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@cynthiadunlop.bsky.social
ScyllaDB | P99 CONF | "Writing for Developers: Blogs That Get Read" book (https://github.com/scynthiadunlop/WritingForDevelopersBook)
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu