Compositionality (@compositional_j) Twitter Followers • TwiCopy

Cosmin Lehene

@clehene

bsky.app/profile/clehen… CS, math free diving. Reinventing all wheels. Founder TapWater / B2B fintech infra, ex distributed systems at Adobe

+ Follow

davidad 🎇

@davidad

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

+ Follow

Yuriy S

@y_solodkyy

+ Follow

Edward Kmett

@kmett

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

+ Follow

metamathmagicianm

@f_aezs

The Law is a topos

+ Follow

Dr Valeria dePaiva

@valeriadepaiva

Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her

+ Follow

Aziem Chawdhary

@aziemchawdhary

Program Analysis Geek

+ Follow

Yoichiro Hasebe

@yohasebe

+ Follow

Jeff Nickerson

@jvnickerson

+ Follow

bOb cOeCke

@coecke

Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish

+ Follow

Ignacio Lopez

@nacho_lopez

+ Follow

よしお🌗

@yosiokayosio

I want to be a madscientist & a popstar⭐👽

+ Follow

ChengKuan

@kring818

+ Follow

José A. Alonso

@jose_a_alonso

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

+ Follow

Evan Washington

@evanewashington

phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

+ Follow

Matteo Capucci

@mattecapu

🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

+ Follow

Pawel Sobocinski

@pawsob

Academic. Fan of concurrency, string diagrams and linear algebra (graphicallinearalgebra.net). Head of Compositionality Group at Taltech (compose.ioc.ee).

+ Follow

Chris Heunen

@chrisheunen

computer scientist, mathematician, father, karateka, pianist

+ Follow

LOL@TXwitterFASCIST

@stphrolland

I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!

+ Follow

Giosuè Baggio

@giosuebaggio

Cognitive scientist @NTNU · Author of ‘Meaning in the Brain’ and ‘Neurolinguistics’ @mitpress · mitpress.mit.edu/author/giosue-…

+ Follow

Scott McKuen

@mckuens

Papercut Maximizer | Finance, math, software, data | Quantum hobbyist | Ex-hedge fund guy | He/him

+ Follow

toraritte

@toraritte

I've become the old helicopter pilot from Explorers. (image credits: falseknees.com/321.html and @geciorkan)

+ Follow

al glantz

@glantzal

+ Follow

Jeremy Gibbons

@jer_gib

Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]

+ Follow

Alexandre Pasqualini

@alexandrepasqu7

Advogado, Professor, Presidente do Instituto Brasileiro de Altos Estudos de Direito Público - IBRAED, Coordenador-Geral da Revista Interesse Público

+ Follow

Bruno Gavranović

@bgavran3

Category Theory + Deep Learning.

+ Follow

julesh

@_julesh_

Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]

+ Follow

Egbert Rijke

@egbertrijke

Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

+ Follow

alexis.toumi

@alexistoumi

If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]

+ Follow

Paolo Perrone

@paolopmath

Mathematician & math teacher.

+ Follow

Category Witch

@jademastermath

Mathematics is fun

+ Follow

Aleks Kissinger

@alekskissinger

Assoc Prof of Quantum Computing. Co-author of Picturing Quantum Processes a.k.a. "the dodo book". Likes to teach, learn, prove, and calculate stuff w pictures.

+ Follow

Dan Marsden

@stringdiagram

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

+ Follow

Robin Piedeleu

@rwolffoot

boxes-and-wires scientist

+ Follow

Jacques Carette

@jjcarett2

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

+ Follow

Owen Lynch

@u_map_prop

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

+ Follow

Unruly Abstractions

@unrulyabstract

unrulyabstractions.substack.com lesswrong.com/users/unruly-a… All my failures are hopefully interesting.

+ Follow

loūcr

@lukasx65600723

+ Follow

Junche Yu

@juncheyu

+ Follow

Heitor Baldo

@heitorbaldo

PhD in Bioinformatics @usponline | Affiliate Researcher @IGDOREinstitute | Postdoctoral Fellow @UniLeipzig @usponline

+ Follow

screentellect

@screentellect

Technology and web development.

+ Follow

Kobie Williams

@kadub_4

Internet guy, Artist, Engineer, Founder Tech, biz, memes “It’s not when you come, it’s how hard you come” -Doris Burke Likes/RT ≠ direct endorsement

+ Follow

Tim Lawson ✈️ ICLR

@tslwn

AI PhD student @BristolUni. Physics MSci @Cambridge_Uni. Previously, software @graphcoreai. Language, cognition, etc.

+ Follow

Marie Kerjean

@kerjean_marie

Computer Scientist, Researcher @LipnLab @CNRS. Logic and analysis, through semantics and formal proofs 🐓. She/her. Mother of two. 🐘 : @[email protected]

+ Follow

Sang Dao

@sangdao811932

+ Follow

ThereIsNoSmartContract

@hsethv

DLTs, Decentralized Computing, & Al enable society to dynamically align short-mid-long term interests by identifying, creating & balancing economic incentives

+ Follow

Dr. Bernadette Stolz

@stolzbernadette

Mathematician studying topology in biomedical data. Project leader @MPI_Biochem | Previously @EPFL & @OxUniMaths | 2022 L’Oréal-Unesco #ForWomenInScience Fellow

+ Follow