@theconsensus.dev
CAV
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Igalia
@igalia.com
Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
Jepsen
@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/ ]
Phil Eaton
@eatonphil.bsky.social
on software infrastructure @theconsensus.dev. theconsensus.dev
Graydon Hoare
@graydon-pub.bsky.social
extremely dubious of "everything is public" social network
Jonathan Halterman
@jodah.bsky.social
Causal observer
david barsky
@davidbarsky.com
i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Chris Persky
@thegreatpersky.bsky.social
Childless Cat Man Pro Science Pro Choice Pro Democracy (The North will rise again!!) I pay for good journalism and give it away. Branded affiliate for vegan fashion accessories. https://www.corkor.com/wwwlinkedincominchrispersky
SQLGuard
@sqlguard.bsky.social
Permission before production writes. · Pilot $100 · Gateway $299/mo · Discord: https://discord.gg/SAD4ZBWqv · https://sqlguard.io
Alexander Reelsen
@spinscale.bsky.social
Husband, dad, enjoys working distributed, likes distributed databases & search engines, the JVM, Basketball/Streetball fan, gulps coffee, lives in Emsdetten/Germany, occasionally blogs at https://spinscale.de
Pete Vilter
@petevilter.me
Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach. https://petevilter.me
stefd.bsky.social
@stefd.bsky.social
Programmeur - Diplômé en génie physique Plein air • Politique • Techno • Science • Vélo "Any fool can write code that a computer can understand. Good programmers write code that humans can understand." - Martin Fowler
Matt Freels
@matt.freels.name
fauna.com. Ex-twitter. Boulder, CO. I’ll probably keep this to climbing and snow pics.
Alex Good
@patternist.xyz
I work on local-first software, currently building Automerge at Ink and Switch. Find me at patternist.xyz
Stephen
@sp.degabrielle.name
Cat feeder. London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Jan Snelders
@ran33.bsky.social
Vistas of bluer skies
Gabriel
@gm0stache.eu
offline techy. internet hippie. techno optimist. eu/acc advocate. [✍️...💌](https://blog.gm0stache.eu) [🧑💻...💥](https://tangled.org/gm0stache.eu)
Hari
@haripm.com
going to university to mess around with computers pfp by @giacomocavalieri.me
Alco Duck
@alcoduck.bsky.social
"...programs must be written for people to read, and only incidentally for machines to execute."
Artem Krylysov
@artem.krylysov.com
Databases and distributed systems. Working at Datadog on Metrics. https://artem.krylysov.com/
Stu Hood
@stuhood.sh
Working on transactional, Elastic-quality search for Postgres at https://www.paradedb.com/ - 日本語を勉強しています
@continuousimprv.bsky.social
Start from where you are. Use what you have. Do what you can.
Gert Goet
@dontbeeval.bsky.social
Bit shuffler | data slayer | Clojure and Ruby | 🇩🇰
asa
@anglesideangle.dev
nix shill, radical anti-unix extremist I work on robots https://anglesideangle.dev/
joan bebinson 🌹🧦🚰
@bebinson.bsky.social
keyneseksualizm 🏳️🌈🏳️⚧️🇺🇦🇵🇸🇲🇳