TechCrunch @techcrunch.com Technology news and analysis with a focus on founders and startup teams.
Got a tip? http://techcrunch.com/tips
The Consensus @theconsensus.dev on software infrastructure
https://theconsensus.dev/weekly.html
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Elizabeth Warren @warren.senate.gov U.S. Senator, Massachusetts. She/her/hers. Official Senate account.
https://substack.com/@senatorwarren
Prof Sam Illingworth @samillingworth.com Full Professor of Critical AI Literacy | Slow AI
When to use AI and when to leave it the hell alone.
https://theslowai.substack.com/
Curly Braces @loopinglife.bsky.social Daily nuggets of software wisdom.
Beehive Books @beehivebooks.bsky.social House of quixotic publishing.
beehivebooks.com
Gothamist @gothamist.com Everything you need to know about New York City. Powered by the WNYC newsroom.
Get us in your inbox: gothamist.com/newsletters
James @nonzerosum.games Join a bleeding-heart liberal and compulsive speculator rambling about saving the world with win-win games at nonzerosum.games! #Philosophy #Ethics #Morality #Science #GameTheory #Economics #AI #ArtificialIntelligence
@emilyriehl.bsky.social @emilyriehl.bsky.social 
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
Anil Madhavapeddy @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 work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Pietro Monticone @pietromonticone.bsky.social AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
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.
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
rich harris @rich-harris.dev my life is derp and i do derp shit
Glauber Costa @glaubercosta.bsky.social Former Linux Kernel, ScyllaDB, Datadog - storage, virtualization, low level stuff.
Founder/CEO at https://turso.tech
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Zig @ziglang.bsky.social Not official account. Not related with any zig foundation or community. Just zig fan!
https://ziglang.org/
https://github.com/ziglang/zig
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Simon Marlow @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.
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
The Rust Foundation @rustfoundation.org The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Sebastian Ullrich @derkha.bsky.social makes Lean at Lean FRO
Munich, Germany
Sofia @algebraic.dev This is my personal account that I post mainly in PT/BR
23 / nm / dev
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
BOB Konferenz @bobkonf.de The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @active-group.de
Also at @bobkonf@discuss.systems.
miniKanren.org @minikanren.bsky.social A little constraint logic programming language and associated community of researchers!
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@xenaproject.bsky.social @xenaproject.bsky.social 
pvh @pvh.ca just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Ólafur Páll Geirsson @geirsson.com Building Agents at Sourcegraph. Posts about coding, AI, and family (3 kids). @olafurpg elsewhere. Based in Oslo, Norway.
https://geirsson.com
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
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
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
shachaf @shachaf.net 
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
DuckDB @duckdb.org DuckDB is an analytical in-process SQL database management system. "DuckDB" and the DuckDB logo are registered trademarks of the DuckDB Foundation.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Alex Good @patternist.xyz I work on local-first software, currently building Automerge at Ink and Switch. Find me at patternist.xyz
Ink & Switch @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.
Hannes Mühleisen @hannes.muehleisen.org I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs.
Feldera @feldera.bsky.social Built on DBSP theory (Best Paper, VLDB ‘23), Feldera recomputes precisely what changes, even in 40K-line SQL pipelines with thousands of joins, window functions, and recursion, with the exact same correctness guarantees as your warehouse.
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
Martin Kleppmann @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
Hillel is on Social Media Break @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
@ me with your DB paper questions or “what do I read for ___” topic requests
Parcly Taxel @parclytaxel.art Second-year PhD student in computer science at the National University of Singapore, drawing pony and furry vectors since 2012. Real name Jeremy Tan Jie Rui.
Born 4 December 1998
Guillermo del Toro @realgdt.bsky.social I make movies. I watch movies. I love movies.
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/ ]
Werner @wernervogels.bsky.social CTO @ Amazon
HYTRADBOI @hytradboi.bsky.social Have you tried rubbing a database on it?
https://www.hytradboi.com/2025- A Moritz Hoffmann @antiguru.bsky.social Computer scientist at @materialize.com. Systems, databases, dataflows. Playing the bass guitar.
Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
Conor Power @conorpower23.bsky.social Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Gwen Shapira @gwenshap.bsky.social Founder of SaaS Developer Community and Nile Database. 
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
Mingwei Samuel 翁明伟 @mingweisamuel.bsky.social https://mingweisamuel.bsky.social
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Shadaj Laddad @shadaj.me PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app