Arnab Ray
Software Engineer @Groww. Previously at Udaan and Flipkart.
Distributed systems, programming languages, maths, painting.
@tigerbeetle.com
The financial transactions database designed to power the next 30 years of online transaction processing.
@joran.tigerbeetle.com
Creator, Founder and CEO of @tigerbeetle.com — the financial transactions database designed for mission critical safety and performance.
@restofworld.org
We’re a nonprofit publication covering global technology outside the West. For the latest updates subscribe to our newsletter here: https://restofworld.org/newsletters/global/
@jsnover.com
PowerShell inventor, Reader, Science & Geopolitics geek, Google Distinguished Engineer
@southbaysystems.xyz
@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/
@kristoff.it
VP of Community @ Zig Software Foundation • Zig Livecoding http://twitch.tv/kristoff_it • Creator of http://softwareyoucan.love • Blogging http://kristoff.it • Host of https://zig.show • 📧 loris@sycl.it
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@cliffclick.bsky.social
Compiler researcher, mountain hiker, public speaking, long road trips, teaching, 20 patents, founder, father of 4.
@briangoetz.bsky.social
Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@infoq.com
Helping dev teams adopt new technologies and practices for 18 years. Written by software engineers. Read by over 1.5 m devs worldwide. InfoQ.com and QConferences.com
@willdalrymple.bsky.social
Scottish historian & art historian; @EmpirePodUK.bsky.social podcaster & Jaipur Lit Fest co-director. Visiting Fellow at All Souls, Oxford. Writes the occasional book.
@scala-lang.org
A programming language that scales with you: from small scripts to large multiplatform applications. https://www.scala-lang.org
@kotlinlang.org
Kotlin is a programming language that makes coding concise, cross-platform, and fun — https://kotlinlang.org/ Video tutorials http://kotl.in/video News http://kotl.in/news Community discussions http://kotl.in/slack
@fun-ocaml.com
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@heidihoward.bsky.social
@asatarin.bsky.social
Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement. http://asatarin.github.io
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@recursecenter.bsky.social
The retreat where curious programmers recharge and grow. Work at the edge of your abilities, develop your volitional muscles, and learn generously. We'll be posting all the cool stuff Recursers are making!
@qianli.dev
Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@tonofcrates.bsky.social
@joygao.bsky.social
expert of obsolescence (a.k.a. software engineer). ex-Figma, ex-WePay. currently funemployed. long-form ✍️: https://expertofobsolescence.substack.com
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@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 am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@charity.wtf
cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
@shipilev.bsky.social
In love-hate relationship with machines. Currently: OpenJDK, AWS. "Trust me, it's really me" backlink: https://shipilev.net/#social
@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/
@mpilquist.bsky.social
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow @comcast working in video. He/him.
@channingwalton.bsky.social
Scala dev, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
@debasishg.bsky.social
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
@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.
@winand.at
SQL Renaissance Ambassador. Author, Trainer, Coach. PhD in Common Sense. Creator of http://use-the-index-luke.com and http://modern-sql.com.
@cynthiadunlop.bsky.social
ScyllaDB | P99 CONF | "Writing for Developers: Blogs That Get Read" book (https://github.com/scynthiadunlop/WritingForDevelopersBook)
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@jamesward.com
Just another nerd with a podcast: happypathprogramming.com And a book: effectorientedprogramming.com
@antonarhipov.bsky.social
Developer Advocate @ JetBrains YouTube.com/@AntonArhipov #java #kotlin #programming
@chrisalbon.com
Director of Machine Learning at the Wikimedia Foundation. We host Wikipedia.