Louis Mandel
@reactiveml
Research staff member @IBMResearch. Maître de conférences @u_psud. NYC. Sometimes Paris. Tweets are my own.
ID: 515927978
05-03-2012 22:24:34
36 Tweet
55 Followers
122 Following
Conal Elliott
@conal
Into correct, efficient engineering with precise & simple specifications. Play/work with me: github.com/conal/Collabor… . mathstodon.xyz/@conal
Eran Yahav
@yahave
Professor @TechnionLive & CTO @Tabnine
Mitch ((No Kings!!)) 🟦😱
@mwand
John Hughes
@rjmh
Professor at Chalmers, long-time functional programmer, founder of Quviq AB.
IBM
@ibm
We partner with developers, data scientists, CTOs and other creators to make the world work better.
Byron Cook
@byroncook
logic, math, proof, computation
Arvind Krishna
@arvindkrishna
Chairman and CEO of @IBM, avid learner and listener, relentlessly focused on what's next, #GoodTechIBM, father, husband, @Illinois_Alma, @IITKanpur
rodric
@rabbah
Building Postman Flows @getpostman. Previously, founder of serverless startup Nimbella, successfully acquired by @DigitalOcean.
Thomas Zimmermann
@tomzimmermann
Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.
sean
@seantalts
in my feelings arc. research engineer @ google, previously Jane Street, previously technical director of mc-stan.org, etc
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]
Manuel Maarek
@manuel_maarek
@peergramming @SecriousProject @hwcybersec @MACSHW @HeriotWattUni
\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.
Julien Narboux
@jnarboux
@[email protected]
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
David Van Horn
@lambda_calculus
Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: bsky.app/profile/dvanho… Mastodon: @[email protected]
Fritz Obermeyer
@ftzo
Inference engineer @Positron_AI. Maintains @PyroAi. Bayesian pragmatist
Michael Greenberg
@mgrnbrg
👋
@cmrn_dp
Over on the other app now @[email protected]
Simon Peyton Jones
@simonpj0
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.
Aki Vehtari - @[email protected]
@avehtari
Professor in computational Bayesian modeling @AaltoPML @CSAalto @AaltoUniversity, BDA3 and ROS co-author, @mcmc_stan and @arviz_devs developer
FSE 2025
@fseconf
ACM International Conference on the Foundations of Software Engineering (FSE)
Josh Milthorpe
@joshmilthorpe
Computer Scientist @ORNL; Honorary Lecturer @ANUComputing. Parallel computing; science; computing education; anti-fascism. Views my own
Daniel Lee
@djsyclik
Ramblings of a Bayesian statistician, dj, basketball theorist. @mcmc_stan developer, @ZelusAnalytics data scientist
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.
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
Thomas Rausch @thrau.bsky.social
@thrauat
🏋 co-founder @localstack, @dsg_tuwien PhD, briefly @IBMResearch, founder of @edgerunio @cognitivexr, coder of software, eater of cheese, 🌓🦉
Du Phan
@fehiepsi
Make AI more interpretable via probabilistic methods. Improve LLM reasoning at Google DeepMind. Core dev @PyroAI.
Theofanis Karaletsos
@tkaraletsos
Head of AI @cziscience | Achira.ai | probabilistic and deep ML
olivier pons
@oepons
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Guido Salvaneschi
@guidosalva
Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Curtis Walker
@alphasnupe
90s Hacker; Chief Scientist at STR
Jorge A. Pérez
@perezjorgea_
Fundamental Computing (rug.nl/fse/fc) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
PROBPROG 2021
@probprog
The International Conference on Probabilistic Programming
The Rocq Prover
@coqlang
This account is no longer used. Follow us on Mastodon at @[email protected] (mastodon.acm.org/@rocqprover) instead.
Epic Maps 🗺️
@theepicmap
Educational and informative world Maps 🗺️. We do not own any content posted. Dm for removal/credit.
OCaml Security
@ocamlsecurity
News about #OCaml and Security. Not affiliated with @OCamlLang core team.
Ellie Cheng
@ellieyhc
PhD student @mit_csail | Programming systems for ML/AI | don’t ask how many cups of coffee I’ve drank
Pyro
@pyroai
Deep Universal Probabilistic Programming in PyTorch & JAX
Helmstetter Claude
@claudeppr
Generable
@generablehq
Computational oncology done right. Powered with Stan. Techstars NYC '17. Calibrated Webcast: bit.ly/generable-yout…
Zay
@zaynahnicolas
Alan Cha
@therealalancha
PyTorch
@pytorch
Tensors and neural networks in Python with strong hardware acceleration. PyTorch is an open source project at the Linux Foundation. #PyTorchFoundation
JamieDavis
@thedavisjam
Assistant Professor, ECE@Purdue. PhD, CS@VT. Onetime IBMer. I study software engineering, often empirically.
POPL 2025
@poplconf
ACM SIGPLAN Symposium on Principles of Programming Languages. Denver, Colorado, United States, 22-24 January 2025 (#POPL2025). Tweets by @xnningxie
OCaml Discuss
@ocamldiscuss
Tweets every new topics posted by the community to the OCaml Discuss page. Inspired by @elixirforum.
Bayesean
@bayesean
Stan is #Baye