Louis Mandel (@reactiveml) Twitter Following • TwiCopy

Conal Elliott

@conal

Into correct, efficient engineering with precise & simple specifications. Play/work with me: github.com/conal/Collabor… . mathstodon.xyz/@conal

+ Follow

Eran Yahav

@yahave

Professor @TechnionLive & CTO @Tabnine

+ Follow

Mitch ((No Kings!!)) 🟦😱

@mwand

+ Follow

John Hughes

@rjmh

Professor at Chalmers, long-time functional programmer, founder of Quviq AB.

+ Follow

IBM

@ibm

We partner with developers, data scientists, CTOs and other creators to make the world work better.

+ Follow

Byron Cook

@byroncook

logic, math, proof, computation

+ Follow

Arvind Krishna

@arvindkrishna

Chairman and CEO of @IBM, avid learner and listener, relentlessly focused on what's next, #GoodTechIBM, father, husband, @Illinois_Alma, @IITKanpur

+ Follow

rodric

@rabbah

Building Postman Flows @getpostman. Previously, founder of serverless startup Nimbella, successfully acquired by @DigitalOcean.

+ Follow

Thomas Zimmermann

@tomzimmermann

Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.

+ Follow

sean

@seantalts

in my feelings arc. research engineer @ google, previously Jane Street, previously technical director of mc-stan.org, etc

+ Follow

Python Software Foundation

@thepsf

The nonprofit organization behind the Python programming language. For help with Python code: python.org/about/help/ On Mastodon: @[email protected]

+ Follow

Manuel Maarek

@manuel_maarek

@peergramming @SecriousProject @hwcybersec @MACSHW @HeriotWattUni

+ Follow

$\mathfrak{Michael "Shapes Dude" Betancourt} (@betanalpha) Twitter profile photo$

\mathfrak{Michael "Shapes Dude" Betancourt}

@betanalpha

Once and future physicist masquerading as a statistician. Reluctant geometer. @mcmc_stan developer. Support my writing at patreon.com/betanalpha. He/him.

+ Follow

Julien Narboux

@jnarboux

@[email protected]

+ Follow

Andrew Gelman et al.

@statmodeling

Automatically tweets new posts from statmodeling.stat.columbia.edu Please respond in the comment section of the blog. Old posts spool at twitter.com/StatRetro

+ Follow

David Van Horn

@lambda_calculus

Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: bsky.app/profile/dvanho… Mastodon: @[email protected]

+ Follow

Fritz Obermeyer

@ftzo

Inference engineer @Positron_AI. Maintains @PyroAi. Bayesian pragmatist

+ Follow

Michael Greenberg

@mgrnbrg

+ Follow

👋

@cmrn_dp

Over on the other app now @[email protected]

+ Follow

Simon Peyton Jones

@simonpj0

+ Follow

Ginni Rometty

@ginnirometty

Leader, innovator, convener. Champion of SkillsFirst to create more jobs for more people. Former Chairman and CEO, IBM. Co-Chair @OneTen. Author of Good Power.

+ Follow

Aki Vehtari - @[email protected]

@avehtari

Professor in computational Bayesian modeling @AaltoPML @CSAalto @AaltoUniversity, BDA3 and ROS co-author, @mcmc_stan and @arviz_devs developer

+ Follow

FSE 2025

@fseconf

ACM International Conference on the Foundations of Software Engineering (FSE)

+ Follow

Josh Milthorpe

@joshmilthorpe

Computer Scientist @ORNL; Honorary Lecturer @ANUComputing. Parallel computing; science; computing education; anti-fascism. Views my own

+ Follow

Daniel Lee

@djsyclik

Ramblings of a Bayesian statistician, dj, basketball theorist. @mcmc_stan developer, @ZelusAnalytics data scientist

+ Follow

GdrGPL

@gdrgpl

le GDR GPL (Génie de la Programmation et du Logiciel) est une unité de l'INS2I du CNRS qui regroupe la communauté scientifique française du domaine.

+ Follow

Mike Hicks

@michael_w_hicks

Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location

+ Follow

Thomas Rausch @thrau.bsky.social

@thrauat

🏋 co-founder @localstack, @dsg_tuwien PhD, briefly @IBMResearch, founder of @edgerunio @cognitivexr, coder of software, eater of cheese, 🌓🦉

+ Follow

Du Phan

@fehiepsi

Make AI more interpretable via probabilistic methods. Improve LLM reasoning at Google DeepMind. Core dev @PyroAI.

+ Follow

Theofanis Karaletsos

@tkaraletsos

Head of AI @cziscience | Achira.ai | probabilistic and deep ML

+ Follow

olivier pons

@oepons

+ Follow

Alastair Donaldson

@afd_icl

Professor of Programming Languages at Imperial College London

+ Follow

Guido Salvaneschi

@guidosalva

Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.

+ Follow

Curtis Walker

@alphasnupe

90s Hacker; Chief Scientist at STR

+ Follow

Jorge A. Pérez

@perezjorgea_

Fundamental Computing (rug.nl/fse/fc) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)

+ Follow

PROBPROG 2021

@probprog

The International Conference on Probabilistic Programming

+ Follow

The Rocq Prover

@coqlang

This account is no longer used. Follow us on Mastodon at @[email protected] (mastodon.acm.org/@rocqprover) instead.

+ Follow

Epic Maps 🗺️

@theepicmap

Educational and informative world Maps 🗺️. We do not own any content posted. Dm for removal/credit.

+ Follow

OCaml Security

@ocamlsecurity

News about #OCaml and Security. Not affiliated with @OCamlLang core team.

+ Follow

Ellie Cheng

@ellieyhc

PhD student @mit_csail | Programming systems for ML/AI | don’t ask how many cups of coffee I’ve drank

+ Follow

Pyro

@pyroai

Deep Universal Probabilistic Programming in PyTorch & JAX

+ Follow

Helmstetter Claude

@claudeppr

+ Follow

Generable

@generablehq

Computational oncology done right. Powered with Stan. Techstars NYC '17. Calibrated Webcast: bit.ly/generable-yout…

+ Follow

Zay

@zaynahnicolas

+ Follow

Alan Cha

@therealalancha

+ Follow

PyTorch

@pytorch

Tensors and neural networks in Python with strong hardware acceleration. PyTorch is an open source project at the Linux Foundation. #PyTorchFoundation

+ Follow