@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@zackbornstein.bsky.social
Emmy-losing Writer/Director (#Shrinking, @nbcSNL, @Netflix, @Hulu, @Dreamworks, @JimmyKimmelLive, #StrangePlanet, @NewYorker)
@pfung.dev
ai, devtools, robotics | eng #15 @Meta | 2x founder/exit | investor in @Bsky | advisor @Cline linkedin.com/in/phil-fung
@inkandswitch.com
An independent research lab exploring the future of tools for thought. We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
@electric-sql.com
Building AI apps. You need sync. https://electric-sql.com - see also @pglite.dev
@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
@insidemdsports.bsky.social
The internet's No. 1 source for University of Maryland sports and recruiting news since 2005.
@pgdba.bsky.social
DB Specialist @Veeam, Ex-@Wise drunkdba.medium.com https://github.com/secp256k1-sha256/tenxdev
@dril.bsky.social
Never Bullshit I challenge any and every one who wants to kick my ass to a debate . https://www.patreon.com/dril https://www.instagram.com/dril_real https://linktr.ee/drilreal
@jerusalem.bsky.social
yes, like the city | staff writer at The Atlantic | Host of the Good on Paper podcast | she/her
@astralcodexten.com.web.brid.gy
P(A|B) = [P(A)*P(B|A)]/P(B), all the rest is commentary. Click to read Astral Codex Ten, by Scott Alexander, a […] [bridged from astralcodexten.com on the web: https://fed.brid.gy/web/astralcodexten.com ]
@benesch.bsky.social
Systems engineer @turbopuffer.bsky.social. Former CTO @materialize.com.
@jonhoo.eu
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
@joygao.bsky.social
expert of obsolescence (a.k.a. software engineer). ex-Figma, ex-WePay. currently funemployed. long-form ✍️: https://expertofobsolescence.substack.com
@chris.blue
Writer of books (http://themissingreadme.com), code (http://slatedb.io), checks (http://materializedview.capital), and newsletters (http://materializedview.io)
@samwillis.uk
Local First, Sync Engines, @pglite.dev and Sync Engines at @electric-sql.com. More at https://samwillis.uk
@ballingt.com
Working on syncing things at Convex prev Observable, Dropbox, Recurse Center Duboce Triangle in SF ballingt.com
@jdcmedlock.bsky.social
More good things for everyone. Public sector appreciator. Tax and welfare policy knower. Hyperinflation doubter.
@testudodave.bsky.social
All-county recorder in 5th grade. Maryland Terps, Ravens, and O’s tweeter. Probably politics too.
@insideblackgold.bsky.social
Your go-to source for Maryland #Terps football, basketball and recruiting news & intel.
@hels.bsky.social
“Zizek if he was a woman and loved sandwiches” New Yorker staff writer, dept. of mastication 🍉
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@caseynewton.bsky.social
Email salesman at Platformer.news and podcast co-host at Hard Fork.