vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Ryan Cavanaugh @searyanc.dev Making TypeScript for 10 years running- P @peter-shor.bsky.social @peter-shor.bsky.social
William Gibson @greatdismal.bsky.social Author of Neuromancer and, most recently, Agency (still above from “Kill Switch”, The X-Files, Season 5, Episode 11, co-written with Tom Maddox)
Grant Sanderson @3blue1brown.com Math videos- L Lexing Ying @lexingying.bsky.social Mathematician at Stanford
CoCalc by SageMath, Inc. @cocalc.bsky.social Website: https://cocalc.com/
Collaborate in real-time via web browser while using your favorite programming languages and applications.
Like Google Suite for Computational Scientists.
Self-host your own instance of CoCalc: https://onprem.cocalc.com/
Lenore Blum @lenoreblum.bsky.social Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
Anthropic @anthropic.com We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
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/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
@benjamincpierce.bsky.social @benjamincpierce.bsky.social 
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Stephanie Weirich @fancytypes.bsky.social Tell me about types
apenwarr @apenwarr.ca wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, atlogin.net, and now Top Chicken @Tailscale.com doing WireGuard mesh. First search result for "epic treatise."
David Crawshaw @crawshaw.io ceo exe.dev, tailscale co-founder, programmer
Tailscale @tailscale.com Your private programmable network.
James Tucker @rag.pub 🧌 the original roflscaler
I dodge hellthreads
Aaron Boodman @aaronboodman.com CEO rocicorp.dev. Building replicache.dev and zerosync.dev, raising two great kids, trying to be a better person. Also found at http://aaronboodman.com.
Graham Christensen @grahamc.com determinate.systems. Nix obsessed.
he/him
📻 no5ig
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Fuck You I Quit @fuckyouiquit.bsky.social The labor market is a mess. Here to show you why. Highlighting workers conflict with poor management, corporate greed, bad business, and the economy.
Threads.net/@fuckyouiquit
Instagram.com/fuckyouiquit
daniel:// stenberg:// @daniel.haxx.se I write curl. I don't know anything. I am @bagder@mastodon.social
My mastodon posts are mirrored to Blusky here: https://bsky.app/profile/bagder.mastodon.social.ap.brid.gy
Weekly email at https://lists.haxx.se/listinfo/daniel
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
Neil Gaiman @neilhimself.neilgaiman.com Makes things up. Writes them down. Dreams about growing up but not yet. 
Miguel de Icaza @migueldeicaza.bsky.social 🍉Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
rob pike @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.
Matt Godbolt @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
FOSDEM @fosdem.org https://fosdem.org
Brad Fitzpatrick @bradfitz.com I do computers. Married to @radkat.fitzpat.com. Three kids. Xoogler.
Go (#golang) team 2010~2020. Made LiveJournal, OpenID, memcached. Currently at @Tailscale.com making WireGuard easy.
Seattle, WA // Bainbridge
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
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Bryan Cantrill @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.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Heidi Howard @heidihoward.bsky.social 
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
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
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
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.
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme- D Dan Luu @danluu.com danluu.com / www.patreon.com/danluu/
Louis Pilfold @lpil.uk "the maintainer is a legitimate communist. i will not be supporting this language"
- some yt guy, 2024
I made @gleam.run and I do gymnastics (badly)
they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Kelsey Hightower @kelseyhightower.com Minimalist
Russ Cox @swtch.com 
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
antirez @antirez.bsky.social Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com- N @niki-vazou.bsky.social @niki-vazou.bsky.social
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
Alexandru Nedelcu @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/
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
James Cowling @jamescowling.dev @convex.dev co-founder/CTO. Dropbox storage designer. Distributed systems researcher at MIT. Bad motorcycle mechanic. Database shill.
Sebastian Raschka (rasbt) @rasbt.bsky.social ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://amzn.to/4fqvn0D) & reasoning (https://mng.bz/Nwr7).
Also blogging about AI research at magazine.sebastianraschka.com.
François Garillot @huitseeker.bsky.social Cryptography, decentralized networks, in close proximity to ☕🦀. Ex: {Protocol, Mysten, Dapper} Labs, Meta, …
Matei Zaharia @matei-zaharia.bsky.social CTO at Databricks and CS professor at UC Berkeley. https://people.eecs.berkeley.edu/~matei/
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.
Internet Archive @archive.org Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine. 
Pekka Enberg @penberg.org @🏡🇫🇮🇪🇺🧑💻
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
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
Maurice Herlihy @mauriceh.bsky.social Prof at Brown CS. - A Alvin Cheung @alvincheung.bsky.social
Hannes Mühleisen @hannes.muehleisen.org I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs.
Mark Russinovich @markrussinovich.bsky.social CTO of Microsoft Azure, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools. Opinions are my own.
Christopher Manning @chrmanning.bsky.social Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
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/ ]
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.
Stephan Ewen @stephanewen.bsky.social Building distributed systems and data infra.
Previously co-creator of Apache Flink (https://flink.apache.org/),
now building Restate (https://restate.dev/) to make distributed apps more easily resilient and scalable.
__Alex Monahan__ @a13x.bsky.social DuckDB hype man, MotherDucker (I work at MotherDuck!), SQL nut, Pythonista, reluctant JS dev
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
Tim Roughgarden @timroughgarden.bsky.social Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.
Malte Schwarzkopf @ms705.bsky.social Computer systems researcher in the ETOS group (https://etos.cs.brown.edu) at Brown University.
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
CMU Database Group @db.cs.cmu.edu Carnegie Mellon Database Research Group
https://db.cs.cmu.edu/
Brian Smith @briansmith.bsky.social https://briansmith.org
Michael (compiler-errors) Goulet @errs.io https://errs.io
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
David Tolnay @dtolnay.bsky.social 
Filippo Valsorda @filippo.abyssdomain.expert @geomys.org founder / RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
str4d @str4d.xyz Cryptography, privacy, zero knowledge, Rust, Zcash dev, gaming, hardware hackery, art appreciation. He/him.
https://str4d.xyz
https://abyssdomain.expert/@str4d
age18f63qx4gk8x7p4lfuwwglqcan7snvp406q5vmk26g9fmpe9c799qqzzr3w
TanStack @tanstack.com 🤝 Open Source Software 👨🏽💻 TypeScript ⚒️ Query, Table, Router, Virtual, Select, Form, Ranger, Start
Armin Ronacher @mitsuhiko.at Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
Rocicorp @rocicorp.dev Quality Tools for Web Developers. https://rocicorp.dev
Matt Layher @mdlayher.com Software Engineer at PlanetScale. Go, Rust, Linux, networking, and open source software. On and ever upward. he/him.- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.