Lean (@leanprover) Twitter Following • TwiCopy

Madan Musuvathi

@madanmus

Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)

+ Follow

Tudor Achim

@tachim

harmonic.fun

+ Follow

Adolfo Neto

@adolfont

Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.

+ Follow

Scratch Team

@scratch

The coding language and online community where kids create and share stories, games, & animations. Scratch is operated by the nonprofit Scratch Foundation. 😺

+ Follow

@[email protected]

@lemmster

Principal Research Software Engineer at Microsoft Research

+ Follow

Edward Kmett

@kmett

Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai

+ Follow

Adam Marblestone

@adammarblestone

Technologist, Scientist Co-founder and CEO @Convergent_FROs Tweets do not represent employers

+ Follow

Microsoft Research

@msftresearch

We advance science and technology to benefit humanity.

+ Follow

RiSE Team @ MSR

@rise_msr

Research in Software Engineering team at Microsoft Research.

+ Follow

Yann LeCun

@ylecun

Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.

+ Follow

Sebastian Ullrich

@derkha

find me at @[email protected]

+ Follow

Leonardo de Moura

@leodemoura

I'm a researcher at Microsoft.

+ Follow

Rust Language

@rustlang

A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **

+ Follow

David Thrane Christiansen

@d_christiansen

I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him

+ Follow

Jonathan Protzenko

@_protz_

Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc

+ Follow

Black Girls Code

@blackgirlscode

Inspire, educate, and launch one million Black girls in tech by 2040.

+ Follow

Women Who Code

@womenwhocode

⚡️WWCode is BACK! ⚡️500K+ technologists, 147+ Countries, leveling up our skills #wwcode ⚡️Read our 2025 Roadmap at womenwhocode.com

+ Follow

David Renshaw

@dwrensha

• Formalizing math problems in Lean: dwrensha.github.io/compfiles/. • Acronymizing every word: acronymy.net. • Maintaining capnproto-rust.

+ Follow

Girls Who Code

@girlswhocode

here to change the face of tech

+ Follow

Vlad Tenev

@vladtenev

CEO and Co-Founder @RobinhoodApp

+ Follow

Code.org

@codeorg

Code.org is a nonprofit dedicated to giving every student in every school the opportunity to learn computer science. Anybody can learn!

+ Follow

Quanta Magazine

@quantamagazine

Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.

+ Follow

Simons Foundation

@simonsfdn

Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newsletter

+ Follow

Christian Szegedy

@chrszegedy

#deeplearning, #ai research scientist. Opinions are mine.

+ Follow

Alex Kontorovich

@alexkontorovich

Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.

+ Follow

Timothy Gowers @wtgowers

@wtgowers

Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.

+ Follow

Kaiyu Yang

@kaiyuyang4

Research Scientist at @Meta Fundamental AI Research (FAIR). Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.

+ Follow

London Institute for Mathematical Sciences

@london_inst

Britain’s only independent research institute in physics and mathematics.

+ Follow

The Rocq Prover

@coqlang

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

+ Follow

Yannick Forster

@yforster_cs

@[email protected]

+ Follow

Jesse Michael Han

@jessemhan

@morph_labs // prev. research @OpenAI / PhD in math and neural theorem proving

+ Follow

Haskell Foundation

@haskellfound

haskell.foundation • a non-profit for building the future of Haskell

+ Follow

Topos Institute

@toposinstitute

Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.

+ Follow

Prof. Anima Anandkumar

@animaanandkumar

Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia, Fmr Principal Scientist @awscloud, AI+Science, PDE, Neural operators. Views my own.

+ Follow

Convergent Research

@convergent_fros

Convergent Research enables fundamental research that requires unusual levels of scale and coordination.

+ Follow

Lean Nightlies

@lean4_nightly

I tweet release notes from github.com/leanprover/lea…. Managed by @derKha.

+ Follow

Morph

@morph_labs

+ Follow

zkSecurity

@zksecurityxyz

Security audits, development, and research for ZKP, FHE, and MPC applications, and more generally advanced cryptography. Contact us: [email protected]

+ Follow