- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
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/
ultramagnetic @ultramagn3tic.bsky.social Lead Developer at Scott Logic by day, Architecturally curious, techno freak by night. Creator of Higher-Kinded-J https://higher-kinded-j.github.io
#higher-kinded-j #hkj #java #scala #functionalprogramming
Views are frequently my own
Google Open Source @opensource.google Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Daniel Garnier-Moiroux @garnier.wf Fiddler of things. Makes computers go beep-boop 🤖 Contributor to Spring Security. Spring Meetup Paris. 🍃
Certified Java Champignon 🍄
Daron Acemoglu @dacemoglumit.bsky.social Institute Professor, MIT Economics. Co-Director of @mitshapingwork.bsky.social. Author of Why Nations Fail, The Narrow Corridor, and Power & Progress.
Johannes Schickling @schickling.dev Building a local-first music app overtone.pro with @livestore.dev. Host @localfirst.fm. DX Effect. Founded @prisma.io. schickling.dev
Simon Martinelli @martinelli.ch Java Champion, Vaadin Champion, Oracle ACE Pro, Published Author, International Speaker, Programming Architect, and Lecturer for AI-driven Software Engineering, Software Architecture, Java, Persistence, and DevOps.
https://martinelli.ch- B Bruce Eckel @bruceeckel.bsky.social Programmer, Author, Consultant, Speaker
Quantinuum @quantinuum.bsky.social We’re advancing quantum computing to solve the world’s most pressing challenges.
Michael Drogalis @michaeldrogalis.bsky.social Entrepreneur, software engineer, non-conformist.
🔥 Creator of shadowtraffic.io
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Joy Gao @joygao.bsky.social software engineer at ClickHouse; prev: Figma, WePay
long-form ✍️: https://expertofobsolescence.substack.com
Tim Berglund @tlberglund.bsky.social VP DevRel at Confluent. Relentless hobbyist. Married to @swimflythrive.bsky.social. Father of three, grandfather of four. Believer in Christ. Opinions should be your own.- S Simon Verhoeven @simonverhoeven.bsky.social
DiEM25 @diem25.bsky.social Democracy in Europe Movement 2025 — Organising resistance against organised power. Website: diem25.org
Apache Maven @maven.apache.org 
Kaivalya Apte @thegeeknarrator.bsky.social Podcaster, Youtuber @TheGeekNarrator
(https://youtube.com/@thegeeknarrator?si=yN0zWNDAScJKv_QZ) Databases, Stream processing, Distributed systems Software Engineer @Confluent
Factor House @factorhouse.io We build Kpow for Apache Kafka® Flex for Apache Flink® and Factor Platform for Data Engineering 👉 http://factorhouse.io 🚀
Wes McKinney @wesmckinney.com Principal Architect @posit.co, GP Composed Ventures, Co-founder Voltron Data. Open source: Apache Arrow, pandas, Ibis. "Python for Data Analysis" book
Confluent, an IBM Company @confluent.io The World's Data Streaming Platform
Marko Rakar @mrak.org White hat, red team.
Aaron Levie @levie.bsky.social 
Jeanne Boyarsky @jeanneboyarsky.bsky.social Software developer in NYC, Java Champion, FIRST FRC mentor, CodeRanch moderator, Toastmaster. Author of OCP Java Certification Study Guides and "Real World Java: Helping you Navigate the Java Ecosystem".
More about me at https://linktr.ee/jeanneboyarsky
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, ...
Jencel Panic @abuseofnotation.mathstodon.xyz.ap.brid.gy ‘here for a ${reason}!’
Sex, drugs, and obscure thoughts about capitalism, and technology.
Also #art, functional programming, logic, formal systems etc […]
🌉 bridged from ⁂ https://mathstodon.xyz/@abuseofnotation, follow @ap.brid.gy to interact
Kafka Streams @kafkastreams.bsky.social The official Apache Kafka Streams account. Run by the Apache Kafka PMC. Long live the otter.
Uberto Barbini @ramtop.bsky.social Functional passionate programmer. Kotlin GDE
Author, Public Speaker
https://pragprog.com/titles/uboop/from-objects-to-functions/
#TDD #FP #Kotlin
Living with family in a Japanese traditional house 日本語
Mickael Maison @mickaelmaison.bsky.social Committer and Chair of the PMC for Apache Kafka
Software Engineer at IBM
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
Hans-Peter Grahsl @hpgrahsl.bsky.social Builder Relations & Enablement @ Kestra.io, Ex-Decodable, Ex-Red Hat, formerly Engineer/Trainer/Consultant - proud husband, 🦁 hearted dad of 2 and ☕️ aficionado.
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
Asciidoctor Project @asciidoctor.org A comprehensive and user-friendly publishing toolchain for the AsciiDoc writing format. Converts AsciiDoc to HTML5, DocBook, PDF, EPUB3, and other formats.
https://asciidoctor.org
https://docs.asciidoctor.org
https://chat.asciidoctor.org
Antora Project @antora.org A static site generator for creating documentation sites from AsciiDoc content aggregated from multiple repositories. Made by the creators of @asciidoctor.org.
https://antora.org
https://docs.antora.org
https://chat.antora.org
Vite @vite.dev The build tool for the web. It's pronounced /vit/ like skeet!
https://vite.dev
Tom Johnson @tomjoht.bsky.social Tech writer based in Seattle, write API docs, blog at idratherbewriting.com, bike to work in rain
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.
Sophie Blee-Goldman @ableegoldman.bsky.social Apache Kafka PMC/committer, Founding Engineer at Responsive, Kafka Streams dev/fan, otter advocate. My debugging rubber duck is a 5 ft giraffe, please refer any questions to him
Angel Borroy @angelborroy.bsky.social OpenSource Developer
Docker Captain
University Practitioner
(λ. borkdude) @borkdude.bsky.social #clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * http://github.com/borkdude
Frank Harrell @f2harrell.bsky.social Professor of Biostatistics
Vanderbilt University School of Medicine
Consultant, clinical trials/drug development
https://hbiostat.org https://fharrell.com
Venkat Subramaniam @venkats.bsky.social Programmer, author, speaker, founder Agile Developer, Inc., co-founder of @dev2next Conference, professor @CSatUH- S Andrew Gelman et al. @statmodeling.bsky.social Automatically tweets new posts from http://statmodeling.stat.columbia.edu
Please respond in the comment section of the blog.
Old posts spool at https://twitter.com/StatRetro
Martin Fowler @martinfowler.com Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
Robin Wieruch @rwieruch.bsky.social React & Next.js • JavaScript & TypeScript • Freelance Full-Stack Web Developer • Technical Co-Founder • Father of 2 • GitHub Star
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.
Dr Eugenia Cheng -- no advice please -- @dreugeniacheng.bsky.social Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
Neil Shephard @neilshephard.bsky.social Econometrician. Professor of Economics and Professor of Statistics, Harvard University. Frank B. Baird Jr, Professor of Science
Joe Blitzstein @stat110.bsky.social Statistician at Harvard. Probability and paradoxes. Statistics and data science. Books and chess.
Jordi Cabot @jcabot.bsky.social Head of the Software Engineering RDI team at LIST (Luxembourg). FNR Pearl. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder.
Interested in how to build better software faster using a combination of low-code, AI and open source
Malcolm Sparks @malcolmsparks.bsky.social CTO of JUXT, A Grid Dynamics company.
Nathan Marz @nathanmarz.bsky.social Founder of Red Planet Labs. On a mission to dramatically improve programmer productivity and software quality by reducing the complexity of software development.
Stephen Wolfram @stephenwolfram.bsky.social Creating ideas, science, technology, books, companies, ...
Bilgin Ibryam @bibryam.bsky.social 📌 Architect, turned product manager
🦆 Co-author of Kubernetes Patterns
🎩 Product manager at Diagrid, ex Red Hat
🤖 AI newsletter for devs 👉 https://GenerativeProgrammer.com
Brian Goetz @briangoetz.bsky.social Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
Julian Hyde @julianhyde.bsky.social On a mission to tame data. (Ex-Google, always ASF, working on something new.)
Vitaly Bragilevsky @bravit.bsky.social Head of Rust Ecosystem at JetBrains
Matthias J. Sax 🦦 @mjsax.bsky.social American Homeowner 🇺🇸 | Battle Born | Go Bills 🦬 | Software Engineer at Confluent | GM of KafkaStreams 🦦 | ASF Member, Committer and PMC member (Apache Kafka, Apache Flink, Apache Storm) — Reno. Home Means Nevada.
Jack Vanlightly @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
Apurva Mehta @apurvamehta.com Co-Founder and CEO of @responsive.dev. I write about stream processing and company building. Views are my own.
🌐 apurvamehta.com
Hannes Mühleisen @hannes.muehleisen.org I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs.
Gwen Shapira @gwenshap.bsky.social Founder of SaaS Developer Community and Nile Database. 
Chris @chris.blue 37% context left
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
Sean Carroll @seanmcarroll.bsky.social Physics, philosophy, complexity. @jhuartssciences.bsky.social & @sfiscience.bsky.social. Host, #MindscapePodcast. Married to @jenlucpiquant.bsky.social.
Latest books: The Biggest Ideas in the Universe.
https://preposterousuniverse.com/
Randall Munroe @xkcd.com 
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app