Statebox @statebox
Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires statebox.org Everywhere Joined November 2017-
Tweets950
-
Followers2K
-
Following155
-
Likes2K
so much suffering violence only generates more violence war is cringe peace is based mindfulness is the way
I am there as well, in many ways. Who else here? qspace.fqxi.org/articles/264#:…
I am there as well, in many ways. Who else here? qspace.fqxi.org/articles/264#:…
RIP Bill Lawvere, the one who took category theory to a different level. en.wikipedia.org/wiki/William_L…
Modelling OAuth and common OAuth attacks in the @statebox closed beta! Fun so far but still bit getting used to the whole thing.
Day 4 of #ACT2022 and @davidad is at it again! We've just had @mattecapu talk on "Diegetic representation of feedback in open games" You can see the notes here: statebox.tv/act2022/feedba… See what's live here: statebox.tv/act2022/live
Stay on the same page with everyone at ACT2022 Sign up on statebox.tv/act2022 and start 👀 ✍️
Nice, @davidad is doing a great job keeping lecture notes now. 💥🔥 Statebox.tv/act2022/diff-c… #CategoryTheory #MachineLearning
We're live and notes are rolling in on #ACT2022🚀 Feel free to sign up and collaborate over at statebox.tv/act2022/live 🍿
ACT 2022 is starting today. Stay up to date on what is happening with statebox.tv/act2022 👀🍿
Also: checkout @statebox's statebox.tv/act22/live for live collaborative note-taking and keep an eye on the web-public CT Zulip stream dedicated to the conference (read-only, ask me for an invite if you want to write too) categorytheory.zulipchat.com/#narrow/stream…
Check out the shortest tutorial ever statebox.tv/act2022/tutori… and get on board for ACT 2022. Starting Monday, 9am BST.
Ready for ACT 2022 @UniStrathclyde next week? Find the program, links to the papers as well as collab documents per lecture at statebox.tv/act2022 See you there!
The Applied Category Theory Conference (ACT2022) is in #Glasgow next week! Statebox is hosting a collab note taking platform during the conference. ✍️✍️👀 buff.ly/3z2H4HF
Behind the scenes look at Applied Category Theory 2022 live streaming test from my point of view. Stay tuned 18th - 22th this month
We (@statebox) are looking for a nice person to join our team. For more details, follow this link stateboxio-bv.homerun.co/web-developer

julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
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
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
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
ieva @HyperboIeva
12K Followers 738 Following Quantum information, useless information, generally informed. Quantum algorithms researcher @PhasecraftLtd. All views are my own.
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Prathyush @prathyvsh
6K Followers 226 Following Map maker @patternatlas ∩ Interface Engineer @prabros
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Eigil Fjeldgren Risch... @Ayegill
2K Followers 543 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
Stefano Gogioso @StefanoGogioso
3K Followers 855 Following Accelerating quantum cryptography @nvrlcl ⚛️👻🚀
alexis.toumi @AlexisToumi
1K Followers 257 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
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
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Jacques Carette @jjcarett2
2K Followers 934 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Hawsdui @Hawsdui67409
26 Followers 997 Following
不破 一夜 @jd171102818
39 Followers 1K Following
Liexor @Liexor1054
28 Followers 1K Following
柳染/Yanagi @Liuran_jyz
492 Followers 2K Following 唯自由与勇气永存 | Research Assistant at WLU | AI4Science & Protein Design | System Biology | Independent Developer | English /中文/簡単な日本語 OK
Benny Profane @bulb_the_byron
48 Followers 1K Following
darthur @darthur
1K Followers 2K Following intuitionist - reality - math - distributed systems design - robotics - tree-felling - - - @mit_triune @apple @idealab @openai @daedalus @sf
لبنان مغنية @lebmogh
135 Followers 3K Following الدنيا كلها جهل، الّا مواضع العلم والعلم كله جهل، الّا ما عُمِل به والعمَل كله رياء، الّا ما كان مخلصاً والاخلاص على خطَر، حتى ينظرَ العبد بما يُختم له
Fluffy Dice Cloud @fluffydicecloud
1 Followers 33 Following
hellwolf @hellwolf2025
110 Followers 212 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.
Carlos Göpfert @carlos_gop51122
135 Followers 1K Following
Philipp Nagel @philippnag
168 Followers 2K Following I work on energy @ https://t.co/03g2wa9gij & a couple of other things.
David @mindequalsi
11 Followers 74 Following
Mev-Rael @Mevrael
2K Followers 7K Following Founder/CEO @athenno_com | Creator https://t.co/WgRPpCPYw0 | Philosopher-Warrior | Business Science | AI | Python | Behavioral Economics | UXR | Jurisprudence | ENTJ
Darius Liddell @nousandnoose
93 Followers 1K Following "that the trees are high and the grasses short is a mere accident of our own foot-rules and our own stature" ~ plants, feminism(s) https://t.co/5dljKARxPA
Ceren Aygün Muçuoğ... @Jerenimou
99 Followers 546 Following Anesthesiology and Reanimation (M.D), 🏨 Başkent Üniversitesi İstanbul SUAM
M.m @Mm4032267349671
1 Followers 25 Following
Kevin Languasco @kevinalh
543 Followers 4K Following Distributed Systems Engineer @Cloudflare. Focused on data. Studied Math at PUCP. Always playing guitar and bass.
fronx 🐙✨ @fronxer
540 Followers 680 Following Qualia are not just representational. Ready for the age of abundant intelligence. (Also: @fronx)
Peter Nemes-Incze @peternemes
100 Followers 332 Following condensed matter physicist, teacher, husband and dad
Peter Jones @h2cm
10K Followers 11K Following Community MH Nurse. Hodges' Model. Person Ctrd & Holistic Integ. Care; Literacy; Systems; NHS & Global Health He/him https://t.co/tjuLu9hmpN
rizomer @rizomer
168 Followers 771 Following cinematic | interactions | cinématographiques ⚡ [email protected] #nostr npub15f593s4sx68c5umzu8j72zq47et8tdj6d3vunxjwvxlul0nq7tjqjgfpam
Jhonatan @Jhonarama
5 Followers 148 Following
Heitor Baldo @heitorbaldo
73 Followers 874 Following PhD in Bioinformatics @usponline | Affiliate Researcher @IGDOREinstitute | Postdoctoral Fellow @UniLeipzig @usponline
Julius Hamilton @HamiltonJulius0
112 Followers 811 Following Thus does conscience make cowards of us all.
Alex Griffiths @AJF_Griffiths
75 Followers 804 Following Major programmes and megaprojects practitioner, interested in how humanity can achieve great endeavours more effectively and efficiently.
Lord Welt Meister @Welt__Meister__
2K Followers 7K Following Staunchly anti-Hindi. Dasyu Dravidian Sepoy. Macaulayist. Disciple of Lord Macaulay. Anti Decolonization.
0pedro.eth @oxpedrot
232 Followers 5K Following
Datawizz @datawizz0112358
91 Followers 1K Following
Paul Gee 🇪🇺🇵... @42gee
21 Followers 179 Following Engineer Philosopher, Cognitive Scientist, ML Engineer
Evgeny M @EvgenyM1934969
0 Followers 45 Following
Andy @cryptowanderer
4K Followers 3K Following https://t.co/zMjvYMCHEt https://t.co/WXdwm9Qqrg https://t.co/THHDUBkCe4 https://t.co/IjTPXIMML1 https://t.co/Ehdri6rqvV
이중우 @vloters14
53 Followers 3K Following
Ali Miharbi @alimiharbi
653 Followers 628 Following Türkçe tweet'ler için: @alimiharbitr | Mastodon: @[email protected] | Bluesky: @alimiharbi.bsky.social
Kallol Roy @ryankallol
120 Followers 816 Following Assistant Professor, University of Tartu, Estonia
Beauce @Beauce541073
31 Followers 1K Following
Finnin @TensityX_045
14 Followers 3K Following
Sang Dao @SangDao811932
104 Followers 1K Following
Osdinato @osdinato
462 Followers 135 Following
Lewis Nick @LewisNick6
0 Followers 6K Following
Shane Montague @ackgoonthen
97 Followers 2K Following
Martin Milan @martin12333
153 Followers 3K Following #f8_text_file(s) (not only for PowerShell); #visual_conlangs; (and I am #survivingAntidepressants )Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
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
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
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Zanzi Tangle, now at ... @tangled_zans
3K Followers 327 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Stefano Gogioso @StefanoGogioso
3K Followers 855 Following Accelerating quantum cryptography @nvrlcl ⚛️👻🚀
alexis.toumi @AlexisToumi
1K Followers 257 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Amar Hadzihasanovic @amar_hh
960 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
☀️👀 @zei_squirrel
325K Followers 0 Following https://t.co/NbtDw6O4K1 | https://t.co/KKP8K845AV | [email protected] | https://t.co/cCwmebUdaj | https://t.co/wljPw2lIp9
Human Rights Foundati... @HRF
241K Followers 2K Following We promote and protect democracy & human rights around the world, with a focus on authoritarian regimes. 👉 Join our human rights conference: @osloff
b10c @0xB10C
10K Followers 215 Following Bitcoin developer and observer. @OpenSats grantee. Previously funded by @spiralbtc, @hrf, @bitcoinbrink, and @coinbase. [email protected] (not an e-mail address)
Stephanie Weirich @fancytypes
3K Followers 355 Following
Dan Marsden @StringDiagram
1K Followers 184 Following Categories, computer science and logic. @[email protected]
MSP Group (now at mas... @mspstrath
856 Followers 20 Following Mathematically Structured Programming group @UniStrathclyde We are interested in type theory, category theory, and how to stop seeing them as different things.
Yohan J. John @DrYohanJohn
7K Followers 975 Following 🧠 computational neuroscience | emergence 🤖 Science Writer, Kempner Institute at Harvard University @KempnerInst 🎓 Lecturer at BU (views here are my own!)
Mitchell Hashimoto @mitchellh
141K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Anonymous @YourAnonOne
1.7M Followers 138 Following We are Anonymous. We are legion. We do not forgive. We do not forget. Expect us. News. CULT.
Antonio García Mart�... @antoniogm
203K Followers 15K Following Director, @base Ads. Founder @spindl_xyz (acq. @coinbase). Wrote bestseller 'Chaos Monkeys'. "To fill the hour—that is happiness." גם זה יעבור 🇺🇸🇪🇸
Aleks Kissinger @AleksKissinger
2K Followers 290 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.
Center For Humane Tec... @HumaneTech_
62K Followers 454 Following We envision a world where technology supports our shared well-being, sense-making, democracy, and ability to tackle complex global challenges.
CairoLang @CairoLang
6K Followers 6 Following A programming language that makes it easy to build provable programs
⿻ Audrey Tang 唐�... @audreyt
277K Followers 187 Following 🇹🇼 Cyber Ambassador, 1st Digital Minister (2016-2024) & 🌐 1st 🏳️⚧️ cabinet minister.
Joshua Tan @joshuaztan
1K Followers 164 Following math, AI, governance @ Oxford and @metagov_project https://t.co/mnSk4psfUr
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
Process @processdisco
120 Followers 1 Following correct by construction process modelling platform. design, refine, deploy. collaboratively. powered by @statebox
Tom Bosschaert @Tom_Bosschaert
324 Followers 88 Following Foolhardedly pioneering sustainable development since 1999. Systems thinker, social entrepreneur, engineer, strategist, architect, designer. Has one live plant.
Except Integrated Sus... @Except_NL
683 Followers 607 Following Sustainability design consultancy applying a systemic approach to complex environmental challenges for over 20 years
Kristleifur Daðason @kristleifur
914 Followers 4K Following mental model / out of the closet of abstraction / applied theoretic humanistic computer science / ½ of @larayoh
David Spivak @david_i_spivak
669 Followers 16 Following
Alexandra Silva @alexandra8silva
2K Followers 869 Following Computer scientist, loves traveling and food tasting!
Jessie Frazelle @jessfraz
131K Followers 229 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
LEDGER_EU @LedgerEu
987 Followers 1K Following The Venture Builder For Human Centric Solutions, powered by @NGI4eu partners @FundingBox, @DyneOrg, & @BlumorphoSAS #NGI #nextgenerationinternet #peoplefirst
Anastasia Mackert (in... @AnaMackert
381 Followers 542 Following Tech lawyer interested in AI, XR, blockchain, biotech, IP, programming, and tech policy. Tweets do not represent my firm and are not legal or financial advice.
OpenLibra @open_libra
695 Followers 16 Following An open platform for financial inclusion. Not run by Facebook.
The Highly Automated ... @atlantis__labs
2K Followers 2K Following Building a world of bots, preferably in Greenland and involving catgirls
Blake Pollard @B_lak_aye
67 Followers 207 Following
Rage Against The Mona... @BuildAtlantis2
237 Followers 354 Following Where is the world going? How can we avoid an AI-fueled dystopia or WW3?
Idris Language @idrislang
2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady
kumavis @kumavis_
9K Followers 8K Following ࿂ p2p ࿂ ocaps ࿂ js langsec ࿂ ࿋ Endo ࿋ LavaMoat ࿋ founder MetaMask ࿋ ∴ he/him 日本語・中文 ∴ 👉 hiring js devs interested in security 👈 bsky: 🦋https://t.co/KLceIhYNiZ
Scott Beibin @scottbeibin
848 Followers 917 Following Stuff I make and do: Offworld Voyage, Mandelbot Ecotech, Groucho Fractal, Ptelepathetique, AncientScan, Evil Twin Booking & a plethora of other things.
QPL 2019 @QPL2019
51 Followers 0 Following The 16th International Conference on Quantum Physics and Logic Official Twitter account.
Philipp Banhardt @pbanhardt
2K Followers 1K Following @blueyard prior @nudgexyz (fka @violetidentity @mauve_org) @filecoin @protocollabs
Compose Conference @composeconf
669 Followers 189 Following Haskell, F#, OCaml, sml. NYC, June 24-25 2019