Arnaud Spiwack @aspiwack

Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. https://t.co/iFlKRVeGpN assert-false.science/arnaud/ Joined March 2019

Tweets

5K
Followers

679
Following

22
Likes

547

Tom 7 @tom7

2 weeks ago

Descry my newest movie, which is about boring math, in the sense of boring a hole through one cube with a same sized cube, or one icosidodecahedron with its same-size self, or previously unknown polyhedra, and other platonic fetishes and horrors: youtu.be/QH4MviUE0_s

7 17 138 21K 12

Andrej Bauer @andrejbauer

7K Followers 147 Following Mathematician, computer scientist, aikidoka

Founder/Chief Scientist @Positron_AI

Haskell, category theory, AI, and safety.

https://t.co/wYaTDISbEB
https://t.co/XwbnuaOUzq
🦋 @kmett.ai

Edward Kmett @kmett

16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Tweag @tweagio

6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.

Joe @alpha_convert

4K Followers 2K Following friend of types

KC Sivaramakrishnan @kc_srk

4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

Zanzi Tangle, now at ... @tangled_zans

3K Followers 324 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social

Dad×2_jack @Iceland_jack

3K Followers 569 Following Haskell

Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

davidad 🎇 @davidad

20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

José A. Alonso @Jose_A_Alonso

4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

Tom Sydney Kerckhove @kerckhove_ts

3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language

Eric Torreborre @etorreborre

7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)

Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

Jacques Carette @jjcarett2

2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

0ch4rl3s.nfo @acid2

4K Followers 1K Following Also @[email protected]

2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.

Rick @rickasaurus

9K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.

Matti Palli 🧙‍�... @tritlo

3K Followers 2K Following uncertified haskell engineer | certified researcher

guaraqe @guaraqe

6 Followers 28 Following

Brendan @Amoeba314

31 Followers 402 Following Just a wee cell sack trying to learn and survive these chaotic and dangerous waters

mineel @mineel5

595 Followers 598 Following 情報学研究科/男/計算, 意味, 論理/web開発

PinePathWanderer @Fifa13Rumours

40 Followers 215 Following 刺繍の愛好者です。皆さんが好きかどうかは分かりませんが、「これは丑い」とは言わないでいただけますか、これは私の国の伝統芸術なのです。お願いします。

chreke @therealchreke

672 Followers 899 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.

James Caldwell @jlcaldwell2

41 Followers 227 Following Professor Emeritus, Department of Computer Science, University of Wyoming.

Software developer, loves FP and dynamical systems.
Family guy, occasionally party guy.
Amateur guitarist, amateur baker

ℙierangelo ℂecche... @pierangelocecc

709 Followers 4K Following Software developer, loves FP and dynamical systems. Family guy, occasionally party guy. Amateur guitarist, amateur baker

Ilya @Zlonast

13 Followers 228 Following

A doctoral student at Kyoto Univ. and a software engineer. Interested in program verification, type theory, etc. ( ja: @bd_gfngfn ) he/him (or they/them)

Takashi Suwa @en_gfngfn

281 Followers 298 Following A doctoral student at Kyoto Univ. and a software engineer. Interested in program verification, type theory, etc. ( ja: @bd_gfngfn ) he/him (or they/them)

PatrickWales @patpaterish

16 Followers 157 Following Open source, GHC contributor, Haskell, HLS🐣🐣🐣 Freelancer

Sliosaw @SliosawXu3je_1

64 Followers 2K Following

Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang.

JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

Aram Hăvărneanu @aramh

3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

Yusuke Matsushita @shiatsumat

2K Followers 2K Following 京都大学白眉第15期特定助教 / ソフトウェア科学者 / 代表作 RustHorn https://t.co/itiqfxlkyd / 作曲と即興 https://t.co/DkVawvtflf

James Chapman @jmchapman_

193 Followers 413 Following to infinity and no further.

ysmanp @ysmanp

37 Followers 831 Following ok ouais

Arandeep Wong @a5da8230

17 Followers 3K Following

Foolish stuff ... I read _all_ the things :-)
Email: agam@hey.com

Agam @agambrahma

716 Followers 6K Following Foolish stuff ... I read _all_ the things :-) Email: [email protected]

k h ô i @khoiiiind

674 Followers 917 Following day goes up to dawn

Enis Bayramoğlu @enobayram

121 Followers 53 Following

Ananda Umamil @zweimach

60 Followers 714 Following FP Enthusiast, Compiler Geek, Software Engineer

dimaheve @dimaheve

28 Followers 152 Following Opinions not my own (Outsourced to entities I can't disclose).

Artin Ghasivand @Ei30metry

291 Followers 740 Following Haskell and PLT enthusiast

dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control

likes + retweets are 🤔, maybe 👍

Lewis Brown @lewiswbrown

354 Followers 3K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍

CS student. Studying logic and programming languages. Mastodon: @tomstructured@mathstodon.xyz

Tom @tomstructured

24 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]

Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid.

Love to hang around in the Haskell community, too.

hellwolf @hellwolf2025

115 Followers 211 Following Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.

calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics

One Happy Fellow @onehappyfellow

2K Followers 702 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics

Leonardo Ramos 🌳�... @li0tdev

227 Followers 3K Following Software Engineer - Math enthusiast 🤓

traveling through life in this infinite space time continuum holding on to whatever the cosmic energy conspires into it

https://t.co/1TZHYjyQ15

surbhi @surbhiDooBeeDoo

105 Followers 1K Following traveling through life in this infinite space time continuum holding on to whatever the cosmic energy conspires into it https://t.co/1TZHYjyQ15

Andrey Prokopenko @marunarh

169 Followers 429 Following

CoolBasedName @iuAiqsFskk7ixIU

0 Followers 65 Following

Ershad @3R5H4D

140 Followers 2K Following

Daniel Fullmer @danielfullmer

318 Followers 396 Following Wartech + Nix stuff at @anduriltech.

Learning about computers: rumpocodes@gmail.com

臀部学 @tunbuxue

271 Followers 7K Following Learning about computers: [email protected]

Reynald Affeldt @ReynaldAffeldt

208 Followers 52 Following

Wenhao Tang @tangwh1999

36 Followers 146 Following PhD student at the University of Edinburgh

Guillaume Duboc @duboc_guillaume

391 Followers 196 Following PhD student @dashbit and @IRIF_Paris. Working on typing Elixir, see (https://t.co/9nSI9EmtXl)

Raphaël Lopoukhine @RaphLopoukhine

784 Followers 775 Following Press+editorial manager @Fidh_en Responsable du bureau éditorial et des RP @fidh_fr - views are my own Il/Lui - He/Him - Он/Его

orphée @orpheeeeeee

16 Followers 152 Following

junxan @jmatsushita

482 Followers 1K Following Balancing creative/constructive, in human/organisational/technological development

ambre pieds ❤️‍... @ambrep13

6 Followers 88 Following ‼️PAYPAL ONLY‼️ je vends mes pieds en fonction des prix que vous me proposez !! // i sell my fit with the prices you will propose !!

Pigou Parker @PigouParke37199

17 Followers 463 Following

neuroevolutus @neuroevolutus

22 Followers 3K Following

wasabi @wasabi__315

277 Followers 554 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)

Juan Pablo Yamamoto @si_compila

103 Followers 118 Following 💻 scientist & mathematician / I ⌨️ code and ✍ proofs / Sharing the knowledge 📚

_pierre_75015 @_pierre_75015

252 Followers 3K Following

Louis @meniga_l

207 Followers 8K Following #bitfinexed

Laurent @laurent_tokyo

0 Followers 48 Following

Rihards Krišlauks @_rihards

204 Followers 198 Following

🌑 Qamarade Hécate... @TechnoEmpress

2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.

blindpikachu @hetzerkian

97 Followers 959 Following AI PhD student, hetzerk

Andrej Bauer @andrejbauer

7K Followers 147 Following Mathematician, computer scientist, aikidoka

Edward Kmett @kmett

16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.

〚Dan R. Ghica〛 @danghica

1K Followers 312 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.

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

Timothy Gowers @wtgow... @wtgowers

48K Followers 184 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.

Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.

Gro-Tsen @gro_tsen

7K Followers 92 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.

Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)

Dominic Orchard @dorchard

2K Followers 687 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)

Alex Kavvos @lambdabetaeta

730 Followers 887 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni

Reynald Affeldt @ReynaldAffeldt

208 Followers 52 Following

The home of terrible maps with a pinch of humour
terriblemaps@gmail.com

Terrible Maps @TerribleMaps

1.7M Followers 1K Following The home of terrible maps with a pinch of humour [email protected]

Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨‍✈️

Mitchell Hashimoto @mitchellh

146K Followers 141 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨‍✈️

Nicolas Hervieu @N_Hervieu

50K Followers 91 Following Droit public & droit européen des droits de l’homme || Enseignant à @sciencespo & @UnivEvry. Entre autres.

Arlen Cox @arlencox

173 Followers 192 Following Researcher in formal methods, photography nerd and musician

Ryan Newton @rrnewton

542 Followers 300 Following Software engineer and researcher, studies deterministic parallelism, containers, compilers.

Director @UGI_at_UCL. Interest in Infectious disease epidemiology, pathogen genomics, global health, and all sorts of other stuff.

Prof Francois Balloux @BallouxFrancois

144K Followers 1K Following Director @UGI_at_UCL. Interest in Infectious disease epidemiology, pathogen genomics, global health, and all sorts of other stuff.

Paul-André Melliès @pamellies

636 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris

Simon Peyton Jones @simonpj0

5K Followers 3 Following

Matthieu Sozeau @mattam_

252 Followers 87 Following CS researcher @INRIA, #Coq dev, type theory advocate and diletante artist.

lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.

Tom 7 @tom7

8K Followers 364 Following lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.

Nick Benton @SystemFOmega

577 Followers 572 Following Unpredictably impredicative

Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO

Noam Zeilberger @noamzoam

740 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO

Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse

Roberto Di Cosmo @rdicosmo

5K Followers 5K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse

Yann Régis-Gianas @yurug

1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming

No recent Favorites. New Favorites will appear here.