Andrej Bauer

@andrejbauer

Mathematician, computer scientist, aikidoka

+ Follow

Vlad Patryshev 🇺🇸 🇺🇦 🇮🇱 🇫🇷

@vpatryshev

Programmer. Taught logic etc at Santa Clara University. My slides and talks: github.com/vpatryshev/wow…

+ Follow

rntz

@arntzenius

Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 bsky.app/profile/rntz.n…

+ Follow

Torsten Scholak

@tscholak

Lead Research Scientist, Foundation Models Lab @ServiceNowRSRCH. Opinions are not that of my employer.

+ Follow

Comunidad de Madrid

@comunidadmadrid

Perfil oficial de la Comunidad de Madrid.

+ Follow

Igor Zhirkov (∎, ∆)

@rub_duck_type

Programmer, researcher, writer. Author of 'Low-Level Programming: C, assembly and program execution' Compiler team, @the_matter_labs

+ Follow

Taisiia

@thaisia_b

1985 edition, 100% geek person. IT, RoR, webdev, games, photo, science, gadgets, parrots, romans, making, baking, walking and salsa dancing.

+ Follow

Shryke Windgrace

@windgrace

Новосибирск, Академгородок, ММФ НГУ, ФМШ, Политехник. Шпаги и российские флаги. PhD. Ближнее подпарижье, вычислительная геометрия, чай с сахаром и вино Maury.

+ Follow

Germán Delbianco

@knayawp

Computer arsonist. Tries to reason with block thingies @trilitech ex @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario (opinions are entirely my own)

+ Follow

Хуёвые Фундуки

@wtain

Software engineer, reside in 🇪🇸. I practice shitposting. I worship 🍕

+ Follow

DziadekꙮPająk

@kleschby

Senior Code Review Spider Mastermind

+ Follow

Kirill Shelopugin

@z1kkurat

Scala developer

+ Follow

Habla Computing

@hablapps

The functional architecture studio

+ Follow

Daniel Murfet

@danielmurfet

Mathematician at the University of Melbourne. Working on Singular Learning Theory and AI alignment.

+ Follow

Nikita Zyuzin

@nzyuzin

+ Follow

Siegmentation Fault

@siegment

+ Follow

Madrid Scala Meetup

@madridscala

Grupo de entusiastas del lenguaje de programación Scala, residentes en Madrid o interesados en dejarse caer por aquí

+ Follow

Paul-André Melliès

@pamellies

logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris

+ Follow

Manuel Carro 😷 💉💉💉

@manuel__carro

Computer scientist. Associate professor at @La_UPM and Director at the @IMDEA_Software Institute. I like too many things.

+ Follow

Eric Bond

@ericbond10

Some intersection of type theory, category theory, proof assistants, and formal math. #NSF CSGrad4US Fellow. PhD student @UMich under @ProfMaxNew.

+ Follow

↑ Michael Bukatin ↩🇺🇦

@computingbyarts

Dataflow matrix machines (neuromorphic computations with linear streams). Julia, Python, Clojure, C, Processing. Shaders, ambient, psytrance, 40hz sound.

+ Follow

Paul E. McKenney

@paulmckrcu

+ Follow

Oisín Kidney

@oisdk

I don't use this account much anymore. Go here instead: mathstodon.xyz/@oisdk

+ Follow

IMAGURU Madrid

@imaguru_madrid

🚀Aceleramos las startups 📈Realizamos inversiones comprometidas 💡Impulsamos la innovación empresarial 👥Creamos y desarrollamos comunidades

+ Follow

Lambda World

@lambda_world

An international conference for Functional Programming enthusiasts. October 23-24, 2025 - Palacio de Congresos de Cadiz, Spain.

+ Follow

💻🐴Ngnghm

@ngnghm

Welcome to the Swiftian World of Houyhnhnm Computing ("Hunam"). I am @fare's software alter ego (but see @phanaero for cryptofoo). Call me "Ann". 🐎Read my blog!

+ Follow

Rusty Shackleford

@interpretantion

+ Follow

Bruno Gavranović

@bgavran3

Category Theory + Deep Learning.

+ Follow

λoλcat

@katzenstrophe

+ Follow

Arnaud Spiwack

@aspiwack

Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. github.com/aspiwack/

+ Follow

Franta Farka

@frantafarka

Hacking Coq at @bedrocksystems

+ Follow

comonoidal esotericist 🇨🇿🇪🇺🇺🇸🦀

@adamnemecek1

Scaling energy-based models @ traceoid.ai, integral transform tycoon, involution-maxxer, as seen on HN: news.ycombinator.com/user?id=adamne…

+ Follow

Dan Marsden

@stringdiagram

Categories, computer science and logic. @[email protected]

+ Follow

PL Tea

@plteaforplt

Tea for PLT folks

+ Follow

BelarusinSpain ⚪🔴⚪🇪🇸🇪🇺

@belarusins

Embajada Popular de Belarús en España

+ Follow

Cats-as-Code

@catsascode

Typed Functional Programming

+ Follow

TTTCast

@cast_ttt

TTTCast это подкаст, которого ждал каждый.

+ Follow

Gryzlock

@gryzlock

Simple comic strips

+ Follow

applied.fm

@appliedfm

Mechanized logic is transforming computer science. We are working to help make it happen.

+ Follow

algebraic wolf

@algebraicwolf

24 | he/him | cs msc student at mipt | NF of a wild canine

+ Follow

CyberCat Institute

@cybercatinst

Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering

+ Follow

Vladimir Žilin

@vzhilin_me

Software engineer Logic enthusiast

+ Follow

Алексей Троицкий

@amtroitskiy

Плохо придумываю юзернеймы

+ Follow

effectfully

@effectfully

Haskell, compilers, mental decay

+ Follow

Informatics Europe

@informatics_eu

🔊 We are the European Voice of Informatics Research and Education. We represent the academic and research community in Informatics in Europe. 🌍

+ Follow

Owen Lynch

@u_map_prop

This is no longer an active account: see localcharts.org or @[email protected] for any updates.

+ Follow

Samo Burja

@samoburja

There's never been an immortal society. Figuring out why. Founder of @bismarckanlys.

+ Follow

Madriz Memes

@madriz_memes

Ejque Madriz tiene la mejor agua del mundo, renta mazo (la de los demás me da ajco) Contacto: MD

+ Follow

EU processor

@euprocessor

This project has received funding from the EuroHPC JU under Framework Partnership Agreement No 800928 and Specific Grant Agreement No 101036168 (EPI SGA2).

+ Follow

ля какая монада

@ghostwhispersme

Scala dev

+ Follow