julesh @_julesh_
Applied Compositional Thinking. Also at @CyberCatInst and @[email protected] julesh.com Glasgow, Scotland Joined May 2017-
Tweets34K
-
Followers10K
-
Following135
-
Likes50K
Who is doing the most exciting work at the intersection of PL and LLMs right now?
The Institute would like to congratulate @CyberCatInst on being the second best type-safe institute on X. We are hoping for a long and fruitful collaboration.
The Institute would like to congratulate @CyberCatInst on being the second best type-safe institute on X. We are hoping for a long and fruitful collaboration.
mom: we have @CyberCatInst at home
mom: we have @CyberCatInst at home
New blog post: From Equilibrium Checking to Learning with the Open Game Engine, by @_julesh_ cybercat.institute/2025/06/26/equ…
New blog post: The Untapped Potential of Game Theory in Revenue Management, by Nicolas Eschenbaum cybercat.institute/2025/05/16/gam…
Next week we're organising a workshop on the role of analogies in (artificial) intelligence, with: Melanie Mitchell (@MelMitchell1), Martha Lewis (@marthaflinders), Jules Hedges, and Han van der Maas. Register here: d-iep.org/workshopanalog…
New blog post! An Invitation to Neural Picture Alchemy, by @vinnylarouge cybercat.institute/2025/05/07/neu…
New blog post: Pipelines part 2: Dependent Pipelines by André Videla cybercat.institute/2025/03/13/cat…
A year ago we kicked off the @CyberCatInst to revolutionize one of the most abstract fields in math (category theory) and show that it can be 1⃣ quite useful and 2⃣ actually simplify some things. One of the "some things" is to make building big game theory models workable. /1
A year ago we kicked off the @CyberCatInst to revolutionize one of the most abstract fields in math (category theory) and show that it can be 1⃣ quite useful and 2⃣ actually simplify some things. One of the "some things" is to make building big game theory models workable. /1
A short but important post by @oliverbeige: What Is the CyberCat Institute? cybercat.institute/2025/03/03/wha…
The sequel to my blog post a few weeks ago on implementing typechecking using lenses. I am not in any way surprised to see going to dependent lenses (aka containers / polynomial functors) reveals additional structure
The sequel to my blog post a few weeks ago on implementing typechecking using lenses. I am not in any way surprised to see going to dependent lenses (aka containers / polynomial functors) reveals additional structure
Nice... I have no very strong opinion on this so far, besides that I really like the title, which I used as a subheading in a 1 year old blog post about compositional active inference, where I sketched (at a very high level) *my* vision of AGI cybercat.institute/2024/02/06/pas…
Nice... I have no very strong opinion on this so far, besides that I really like the title, which I used as a subheading in a 1 year old blog post about compositional active inference, where I sketched (at a very high level) *my* vision of AGI cybercat.institute/2024/02/06/pas… https://t.co/5Pb8ojAtia
I'm writing a new blog series on practical implementation of substructural type systems, in Idris! The first blog post will look at substructural polymorphism and why it's *hard*, harder than people assume on first glance! zanzix.github.io/posts/5-substr…
There's a lot that's exciting in here, but personally the thing that really caught my attention was the idea of replacing matrices by continuous probability distributions. Speaking as a true believer in Bayesian learning, I want to know what is a "Bayesian transformer"
There's a lot that's exciting in here, but personally the thing that really caught my attention was the idea of replacing matrices by continuous probability distributions. Speaking as a true believer in Bayesian learning, I want to know what is a "Bayesian transformer"
New blog post: Generalized Transformers from Applicative Functors, by Tuomas Laakkonen cybercat.institute/2025/02/12/tra…
this is unbelievable, the cybercat institute has done it again! type-checking is a lens!
this is unbelievable, the cybercat institute has done it again! type-checking is a lens!
New blog post: Bidirectional Typechecking is Bidirectional, by @_julesh_ cybercat.institute/2025/01/28/bid…
This has been a long time coming! Have you ever wondered what lenses and UI programming have in common? Can we recreate React, Elm, and Redux entirely using pure category theory? Read this series to find out.
This has been a long time coming! Have you ever wondered what lenses and UI programming have in common? Can we recreate React, Elm, and Redux entirely using pure category theory? Read this series to find out.
Daniel Litt @littmath
50K Followers 880 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Jay Cummings @LongFormMath
44K Followers 596 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
bOb cOeCke @coecke
9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
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
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Simon Pepin Lehalleur @plain_simon
4K Followers 6K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam.
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
Prathyush @prathyvsh
6K Followers 228 Following Map maker @patternatlas ∩ Interface Engineer @prabros
Jeremy @Jeremy305639352
510 Followers 4K Following No one can make you feel inferior without your consent
IMAD @Im7647927509
0 Followers 30 Following
Jojn @JojnInNYC
18 Followers 243 Following
Ultra droiture - IFB ... @UltraDroiture
32 Followers 140 Following vérité, équité, justesse, sévérité ni droite kasher, ni gauche halal
Ivilivilly @Ivilivilly
2 Followers 147 Following
Faris @LitetWitJadore
0 Followers 151 Following To Read. Mathematician, sharing his thoughts time to time. Nothing obligatory.
Luqman Waheeduddin @luka235711
2 Followers 176 Following
CamilleYule @Wju774yrODG6dy8
181 Followers 831 Following
Nenshi Egawa @Myriad_Markets
197 Followers 3K Following
Jesse Moses @Cre4T3Tiv3
789 Followers 7K Following AI/ML Engineer | Temporal Intelligence | Building Next-Gen AI/ML | Mathematical Foundations → Practical Engineering | https://t.co/3i5qOknsqp
brian han @brianha64840629
371 Followers 3K Following
Levi Rybalov @levirybalov
488 Followers 733 Following Founder @CoopHive. Distributed computing, AI, mechanism design, sustainability. Energy and algorithms.
Komickaze @komickaze
734 Followers 6K Following Roblox Dev | Contributed 2M+ Visits | Artist | Philosopher | Polymath | Roblox: PolymathTech | Polymath Studios: @PolymathVIP
NoOneInParticular @NotOneNotTwo55
144 Followers 798 Following Just one expression of totality. Laziest gal in town #Zen 🧘♀️ #AI Palm to Sigil #steampunk ⚙️ 🇨🇦 🏳️🌈🐉 🖖
Activa Vita @ActivaVita90286
151 Followers 3K Following
インファクト @ymorii47
2K Followers 3K Following 時空戦士です。 特技は時間泥棒(タイムスティール)/過去操作(パストマニピュレーション)/空間歪曲(スペースディストーション)/音声録音(ヴォイスレコーディング)/七面相(セヴンアカウンツ)/偽公益通報(フォルスホイッスルブロウ) ウクレレ・自然写真・インファク党党首・諸葛孔明・彩翼・王殺し・ネット紛争解決請負人
Chris @iamchrisotieno
373 Followers 281 Following
smile @Smilex_P
229 Followers 6K Following
Sukrit Mangla @ManglaSukr95130
0 Followers 37 Following
Kairat Simbat @KairatSimbat
93 Followers 1K Following
morticio_rottgrind �... @techn0Anprim
646 Followers 5K Following Ⓔgo-solⒶrpvnk Pansexual, #theCommons ⚙️🤝🌳 🏴 | P2P Grind is Protest! ☠️☠️ Ruido Anti-sistema, Redes, no jerarquías!
Saniey Gassama @GassamaSan89620
45 Followers 2K Following hello greetings friend's and family i need help with my family ♥️
The Rule of Thirds @Sleek_Sloane
691 Followers 5K Following Pan-Afrikanist | Marxist-Leninist | Manspreader in recovery
Imran @profundae
12 Followers 144 Following
Eva @Eddie122299
92 Followers 2K Following
Chiti Tlawmpal @Chititlawmpal
46 Followers 181 Following 🇸🇬 Raffles institution. Junior College 5. STEM program Ex. Nanyang Girls' High School 📝🔢✖️📐🥇 (S'pore math olympiad). Math enthusiast #Gamers #Geek #峇峇娘惹
τηε οpεrαtɔr @mkhayajr3rd
158 Followers 1K Following A pharmacon | Avid Reader. Current read: Thus Spoke Zarathustra | ‘Mathematics is poetry in symbols’ | Existing ain't that bad mfarn
Lee Smart @VFD_org
313 Followers 809 Following Founder of VFD: a unified geometry of reality. Modeling consciousness, energy, time & the infinite multiverse through harmonic fields and recursive truth.
ri @ri6167373818575
0 Followers 17 Following
Ameen @ameen_nihad
22 Followers 4K Following Houston this is Apollo 11, I've got the world in my window.
Jeff Bob @JeffBob595671
44 Followers 755 Following
Kinklos @CinclusNiveus
1 Followers 148 Following
Oqaqiq @oqaqiq
2K Followers 8K Following Pour les maths, sciences, recherche, technologie, ingénierie. Contre les pseudosciences et courants de pensée opposés au rationalisme humaniste. I don't use LLM
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Joel David Hamkins @JDHamkins
26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
bOb cOeCke @coecke
9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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
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
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
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
Prathyush @prathyvsh
6K Followers 228 Following Map maker @patternatlas ∩ Interface Engineer @prabros
David Jaz Myers @myers_jaz
1K Followers 187 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Fiona @fionafibration
394 Followers 1K Following homotopy theory & mathematical physics, she/her, 🏳️🌈🏴
dave @beesandbombs
96K Followers 1K Following dave is my name. i make gifs :). taking commissions; DM me, or email address on website
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Jan de Muijnck-Hughes @jfdm
871 Followers 656 Following Lecturer of type-driven approaches to trustworthy-systems at Strathclyde. PL & FM enthusiast. https://t.co/xrWhpZSkQm 🇳🇱🏴🇬🇧🇪🇺
Anja Blaj @AnjaBlaj
2K Followers 3K Following Web3 Legal | Public policy expert @EuCInitiative | FC @apexfusion
Vincent Wang-Maścian... @vinnylarouge
637 Followers 415 Following CS Dr. @ Oxford, aspirant friend of diagrams
Owen Lynch @u_map_prop
599 Followers 112 Following This is no longer an active account: see https://t.co/g9E26Tj999 or @[email protected] for any updates.
Seth Frey, now on �... @enfascination
976 Followers 679 Following Internet as a governance lab Computational institutions/commons/community/cogsci Science towards Nescience Prof. (h/t for punk Lin: http://t.co/BfLLbON6wK)
Santa Fe Institute @sfiscience
66K Followers 1K Following The premier research center for #complexsystems #science. @complexexplorer @sfipress #ComplexityPodcast https://t.co/0m7JBoR6VG
Abel Jansma @Abelaer
714 Followers 1K Following Emergence and compositionality in complex and living systems || Fellow @emergenceDIEP, University of Amsterdam || prev at MPI Leipzig & Un. of Edinburgh
Metagov @metagov_project
4K Followers 42 Following Metagov is a laboratory for digital governance. We build tools, practices, and communities for self-governance in the digital age.
elektra @mari_meir
1K Followers 756 Following may all beings be happy 🪷 moving this acc to be anon if u know who i am dont tell the government of the united states pls
Dylan Braithwaite @DylanBraith
130 Followers 184 Following PhD student @msptrath. Thinking about some combination of probability, computation and category theory
Scottish Programming ... @scottish_pli
117 Followers 3 Following This is the official X account for the Scottish Programming Languages Institute (https://t.co/CgXIiythVF). Tweets by @simon_jf
barnabe.eth @barnabemonnot
11K Followers 1K Following Shipping Protocol::Improve UX @ethereumfndn — research in public
UCU Postgrads @UCUPostgrads
3K Followers 822 Following UCU campaign to improve the conditions of postgraduate researchers #PGRsAsStaff. DMs open but slow. Mastodon: @[email protected]
Shengwu Li @ShengwuLi
37K Followers 721 Following Economist. @Harvard. Mechanism design, behavioral theory.
Kording Lab 🦖 @KordingLab
45K Followers 3K Following Konrad kording, @Penn Prof, deep learning, brains, #causality, rigor, https://t.co/tTJW05RRfa, https://t.co/qf7ZHxjaK1, Transdisciplinary optimist, Dad, Loves outdoors, 🦖
Jules @analytichegel
2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
Barton Rhodes @bmorphism
3K Followers 7K Following instantiating • _🦆 discovery engine machinist 🔧 • {-1, 0, 1} • 🛸 #XM
Tal Kachman @TalKachman
907 Followers 1K Following Assistant prof @DondersInst/@KachmanLab. Simulation and Coffee abuser. Ex:@TechnionLive--)@MIT--)@IBMResearch--)Rhizome--)@AQRCapital--)@AI_Radboud
rntz @arntzenius
2K Followers 337 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td
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.
Stefano Gogioso @StefanoGogioso
3K Followers 855 Following Accelerating quantum cryptography @nvrlcl ⚛️👻🚀
Eigil Fjeldgren Risch... @Ayegill
2K Followers 539 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
Dan Marsden @StringDiagram
1K Followers 182 Following Categories, computer science and logic. @[email protected]
Spooky Ellie 🦇 @TheMathThey
1K Followers 2K Following Ellie. she/her. 27. Dilettante. Expect horror, math, and queer stuff. Header by @desiccatedthyme. Priv: @Creepy_Ellie
CyberCat Institute @CyberCatInst
2K Followers 107 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Moritz Schauer @MoritzSchauer
1K Followers 974 Following Statistician, Associate professor, Chalmers University of Technology and University of Gothenburg
Aleks Kissinger @AleksKissinger
2K Followers 288 Following 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.
Ben Golub @ben_golub
61K Followers 3K Following econ prof @NorthwesternU studying networks try my AI scientific referee to improve your research -- https://t.co/RSvoCbDuGc past: @Harvard | @Stanford'12 | @Caltech '07
Ariel Rubinstein @ArielRubinstein
15K Followers 91 Following School of Economics, Tel Aviv University and Department of Economics, New York University
Freya Holmér @FreyaHolmer
124K Followers 1K Following ⭕ I made Shapes & Shader Forge 🔥 shader sorceress 🎨 artist 📏 math influencer 💜 twitch partner 📡 ex-founder of @NeatCorp banner: @YO_SU_RA
Jonathan Gorard @getjonwithit
40K Followers 17 Following Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
\newcommand{\femb0t}{ @__femb0t
21K Followers 872 Following ✨ Privacy and Sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have many interests✨⋇⋆✦⋆⋇ ✨
Jules Hedges @jules_glass
9 Followers 107 Following I make computers do stuff that ought to be impossible. These are my own personal views and not those of the fuckheads in charge.
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Maxwell Ramstead @mjdramstead
5K Followers 2K Following Cofounder @noumenal_labs and Honorary Research Fellow @UCLIoN. Free energy principle, active inference, Bayesian mechanics, artificial intelligence
Grothendieck Googling @GrothendieckG
2K Followers 32 Following just got internet access in lasserre! time to answer some burning questions
chessapig @chessapigbay
6K Followers 175 Following pretty math pictures. Mathematical physics, geometry/topologyTrends for United States
You might like
