Dan Marsden @StringDiagram
Categories, computer science and logic. @[email protected] stringdiagram.com Joined January 2020-
Tweets258
-
Followers1K
-
Following179
-
Likes211
Dan Marsden retweeted
I will soon start microblogging again about academic life on bluesky. Goodbye Elon. I wish you all the worst.
1
1
11
638
0
View Details
Dan Marsden retweeted
FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 29th November 2024. Please share! tinyurl.com/jfp-phd-abstra…
Dan Marsden retweeted
The Applied Category Theory Adjoint School 2025 is coming! golem.ph.utexas.edu/category/2024/…
@cole_comfort @mattecapu That might be the most useful thing I've learned today. Thanks!
Dan Marsden retweeted
FP fans - 11 new PhD abstracts have just been published in the Journal of Functional Programming, with links to the full dissertations! doi.org/10.1017/S09567…
Dan Marsden retweeted
St John's College Oxford is currently advertising for CDRF (analogous to a JRF) in CS. This is a great opportunity: basically to be a postdoc on your own project rather than someone else's. sjc.ox.ac.uk/discover/vacan…
Dan Marsden retweeted
Picturing Quantum Software is a brand new book covering state of the art methods in quantum compiling, circuit optimisation, classical simulation, and fault-tolerant quantum computing using the language of the ZX-calculus. Get the preprint for free: github.com/zxcalc/book
Dan Marsden retweeted
Interested in learning about compiler calculation? Check out Patrick Bahr's great talk on our paper at #ICFP in Milan this week: tinyurl.com/53uvyjxy. The paper is freely available from: dl.acm.org/doi/10.1145/36….
@Esteban08240516 The paper has a small introduction. Ralf and I also have a couple of other papers that are expository in nature, and an introductory book if you really want to go in depth. An early expository preprint of mine is on the arXiv. arxiv.org/pdf/1401.7220
Revised draft paper with Ralf Hinze, with many improvements. Formal monad theory, calculational reasoning with string diagrams, and lots of colourful pictures. Now featuring this funny robot like character. On my website as too much for the arXiv. stringdiagram.com/wp-content/upl…
Back to drawing string diagrams, this time related to commutative squares of adjunctions. Just two iterations of a proof step that intuitively slides a twist around a bend. Also evidence I seem to be turning into some sort of retro wallpaper designer.
Dan Marsden retweeted
I'm delighted to announce that the next Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 at the University of Sheffield, UK. Further details will be announced as soon as they are available. cs.nott.ac.uk/MGS/
Dan Marsden retweeted
I'm hiring a postdoc to work with me at the University of Kent on programming languages, tools, and systems for climate science in partnership with @Cambridge_ICCS jobs.kent.ac.uk/Vacancy.aspx?r… Closing date 9th September 2024. Potential topics include:
Dan Marsden retweeted
I just put a new version of my book on a category-theoretical approach to Formal Language Theory onto my homepage. It includes two new chapters on power sets and distributive laws. fi.muni.cz/~blumens/ALT.p…
Dan Marsden retweeted
I have a new blog post comparing exponentials with their fixed point encodings in linear logic on The Proof Theory Blog: prooftheory.blog/2024/06/27/exp… . Any comments are welcome!
@mattecapu This suggests a fundraising opportunity for higher category theory - pay a small sum to have 10275-cells named after you, and so on...
Dan Marsden retweeted
Interested in joining our project on semantics-directed compiler construction? @danghica is advertising a 3-year postdoctoral position in Birmingham, UK. Please share, and pass on to anyone who may be interested in applying! Closing date 11 July 2024. lists.seas.upenn.edu/pipermail/type…
An enjoyable day pushing to get our second string diagrams book finished. Really just drawing colourful pictures in the garden.
Matteo Capucci @mattecapu
6K Followers 811 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
bOb cOeCke @coecke
9K Followers 592 Following Created Quantum Picturalism, ZX-calculus, Categorical QM, Quantum NLP, DisCoCat/Circ, Quantum Guitar. Books: Quantum in Pictures & Picturing Quantum Processes.
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
Graham Hutton @haskellhutt
9K Followers 699 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Edward Kmett @kmett
17K Followers 812 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 345 Following Co-Founder and Director @ GLAIVE Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
alexis.toumi @AlexisToumi
1K Followers 254 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 292 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
FRG @fabgenovese
4K Followers 412 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
Simon Pepin Lehalleur @plain_simon
4K Followers 7K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Essen.
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
Pawel Sobocinski @PawSob
1K Followers 800 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
Will @Willaiw1
1 Followers 481 Following
Domenico Giuliani @DomenicoG97
0 Followers 31 Following
lucas @lucaspdrssn
4 Followers 200 Following
Dario Fiorito @DFiorito10784
1 Followers 191 Following
wuc9521 @wuc9521
85 Followers 1K Following
erectfully @errectfully
372 Followers 1K Following
Kenji Tokuo @ktokuo
971 Followers 1K Following Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy
Martin @sub31 @sub31
222 Followers 1K Following “Simplicity is the ultimate sophistication.” Leonardo da Vinci
Clasha Rinox @ClashaRino65182
134 Followers 8K Following
ardalaan @ardalaaaan
1 Followers 87 Following
franco @panteramodern
1K Followers 5K Following Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions.
Nikolay Vasiliy @Djimy2kurtky
0 Followers 64 Following
ug1/2-Manion @bluegreen_funct
17 Followers 149 Following Wraa wraaa wronskian wandering around Wightman axioms
Arson Kushwaha (they)... @arvin_s_k
201 Followers 630 Following Physics @ UniStuttgart | 21 | vegan | 🏳️🌈🏳️⚧️ | Research in Quantum Computing, Numerical Opt., and Machine Learning, less sfw: @queerinanarchy
Wong Sing Lam @WongSingLam1
15 Followers 855 Following
Chuyên gia Bất đ�... @ngocthang678
2K Followers 7K Following
Koutur @KoshyKoshur
21 Followers 8K Following
donMariscal @Quitapenas3rd
3 Followers 262 Following
Jad Fayad @Jadfyd
44 Followers 3K Following Founding Engineer @MoonSurg | Robotics × AI × Medtech | Sharing insights in AI agents, robotics & next-gen health tech
Darius Liddell @nousandnoose
86 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
iDare e/acc @idare
2K Followers 6K Following Disruptor @AxiMinds | Silver-tongued, no fluff, just blades. Jamming the AI dam with thumb-wrought context, hacking endless memory and edge cognitive evolution.
MartaDellAtti @AttiMarta
75 Followers 567 Following
zio @whoiszio
1 Followers 54 Following
Bas @basketticode
6 Followers 928 Following
spacechimplives @spacechimplife
183 Followers 616 Following
eldal @eldal157109
0 Followers 99 Following
Vassilios Morellas @VassiliosMorel
3 Followers 74 Following
John Back @JohnBack1701
273 Followers 3K Following
Ned Whitman @othernedwin
783 Followers 7K Following Philosophy, information science, law, security, cryptography, formal methods, math, systems. he/him/his 🧩
Barak A. Pearlmutter @BAPearlmutter
1K Followers 4K Following Abusing minions, torturing cats, maligning the innocent. 🐘 @[email protected]
icCube @iccube
5K Followers 5K Following Embedded Analytics for Demanding SaaS Teams Elevate your SaaS offerings with icCube’s seamless analytics integration.
Matteo Capucci @mattecapu
6K Followers 811 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
bOb cOeCke @coecke
9K Followers 592 Following Created Quantum Picturalism, ZX-calculus, Categorical QM, Quantum NLP, DisCoCat/Circ, Quantum Guitar. Books: Quantum in Pictures & Picturing Quantum Processes.
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
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
9K Followers 699 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Joel David Hamkins @JDHamkins
29K Followers 286 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Dr Eugenia Cheng --no... @DrEugeniaCheng
26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
David Jaz Myers @myers_jaz
1K Followers 183 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.
Edward Kmett @kmett
17K Followers 812 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 345 Following Co-Founder and Director @ GLAIVE Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Daniel Litt @littmath
58K Followers 917 Following Assistant professor (of mathematics) at the University of Toronto. "Tireless math ronin." Algebraic geometry, number theory, etc. He/him.
Anupam Gupta @anupamg
2K Followers 191 Following Professor, Computer Science, New York University. Also at: @[email protected] @anupamg.bsky.social
Nicole Wein @WeinNicole
953 Followers 86 Following Assistant professor at University of Michigan. Theoretical computer science. she/her
ACM SIGACT @sigact
1K Followers 4 Following Special Interest Group on Algorithms and Computation Theory
James Hefford @The_Heff_
97 Followers 55 Following Postdoc @ Inria LMF, into categorical quantum things
Owen Lynch @u_map_prop
578 Followers 112 Following This is no longer an active account: see https://t.co/g9E26Tj999 or @[email protected] for any updates.
barton.wasm @bmorphism
4K Followers 7K Following _ • 🪱🦆 discovery engine machinist 🔧 • {-1, 0, +1} • 🛸 #XM
Tomas Petricek (find ... @tomaspetricek
10K Followers 928 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
ACM SIGLOG @acmsiglog
271 Followers 31 Following
Simon Pepin Lehalleur @plain_simon
4K Followers 7K Following Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML). 'Geometry is successful magic' (R. Thom) University of Essen.
TCS+ @TCS_plus
3K Followers 31 Following An online seminar series in theoretical computer science. Carbon-free dissemination of ideas across the globe.
Ryan Williams @rrwill... @rrwilliams
8K Followers 477 Following Professor @MITEECS and @MIT_CSAIL. Complexity, algorithms, and related math. I'll let you know when P != NP (and when it's not)
Pravesh K. Kothari @praveshkkothari
4K Followers 459 Following Associate Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
arXiv math.CT Categor... @mathCTbot
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...
Guy McCusker @guymccusker
93 Followers 24 Following
Tom Gur @TomGur
5K Followers 311 Following Professor @Cambridge_Uni. My research is in Theoretical Computer Science and Quantum Computing.
Alex Bellos @alexbellos
25K Followers 537 Following Maths, computer science, puzzles, football, Brazil. New book THINK TWICE, out September 2024
Boaz Barak @boazbaraktcs
34K Followers 828 Following Computer Scientist. See also https://t.co/EXWR5k634w . @harvard @openai opinions my own.
Rui Soares Barbosa @ruisb
77 Followers 94 Following researcher at @QLOC_INL quantum computer science, quantum foundations, mathematics of quantum structures he/him
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Dan Christensen @dan2christensen
181 Followers 30 Following I'm a mathematician at the University of Western Ontario. I'm on Mastodon at https://t.co/JxvlNFwIpl
Philip Zucker @SandMouth
2K Followers 2K Following Computer Friend, Not a Bird. https://t.co/hnYqnXLnqW
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Richie Yeung @richie_yeung
290 Followers 785 Following do quantum stuff @QuantinuumQC. do cs dphil @UniofOxford. Cultris II main, Tetris 40L PB: 25.759
Vincent Abbott @vtabbott_
7K Followers 359 Following Maker of *those* diagrams for deep learning algorithms | @mit @mitlids PhD student under @GioeleZardini
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 481 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/VLdOs3ykjM https://t.co/vOS46mmPbB 👫@boekencurator
Michele Sevegnani @michele_seve
210 Followers 1K Following Senior Lecturer in Computer Science at the University of Glasgow
Hamza Waseem @quantum_physics
2K Followers 1K Following Oxford Physics DPhil (Rhodes Scholar) | All opinions my own
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
Abhishek De @throughabhishek
96 Followers 513 Following research fellow @unibirmingham | meme economist | Zizek impersonator | ☭
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Neil Mitchell (neildm... @ndm_haskell
5K Followers 163 Following Haskell/Rust programmer. Views expressed are my own.
David Thrane Christia... @d_christiansen
3K Followers 610 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Kareem Carr, Ph.D. @kareem_carr
174K Followers 329 Following Statistician. Writer. PhD@Harvard. Thinking about scientific evidence, judgment, and modern life
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Ciarán Gilligan-Lee @quantumciaran
3K Followers 993 Following Causal Inference & ML | Head of Causal Inference Research Lab @spotifyresearch & Honorary Associate Professor @ucl | Ex @CompSciOxford & @Perimeter
Nicolas Wu @nicolasgwu
472 Followers 110 Following Professor of Computer Science at Imperial College London
George Kaye @thegeorgejkaye
204 Followers 721 Following Computer Science PhD student at the University of Birmingham, interested in applied category theory. Tweets about walking, cycling, railways, and arsenal.
TCS blog aggregator @cstheory
6K Followers 9 Following Posts from the Theory of Computing Blog Aggregator maintained by @nimaanari, @abhatt2, and @thegautamkamath.
Tomas Jakl @jakl_one
46 Followers 208 Following For bio see: https://t.co/TmwSvKN4Zb Automatic reposts from https://t.co/gclveLFo1B (#indieweb)
Oege de Moor @oegerikus
7K Followers 601 Following CEO and founder of XBOW. Previously: Founder of GitHub Next, founder of GitHub Copilot, CEO and founder of Semmle (GitHub Advanced Security), prof at Oxford.
Ulrik Buchholtz @UlrikBuchholtz
412 Followers 198 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of NottinghamTrends for United States
You might like
Paolo Perrone
@PaoloPMath
2K Followers
Max ⊶ New @maxsnew@...
@maxstewartnew
1K Followers
arXiv math.CT Categor...
@mathCTbot
2K Followers
K-Theory
@KristapsBalodi3
2K Followers
Pawel Sobocinski
@PawSob
1K Followers
Amar Hadzihasanovic
@amar_hh
1K Followers
David Corfield
@DavidCorfield8
2K Followers
Alex Kavvos
@lambdabetaeta
772 Followers
Rémi Lodh
@LodhSpringer
1K Followers
Dr Valeria dePaiva
@valeriadepaiva
4K Followers
Ben Grimmer
@prof_grimmer
3K Followers
fouche
@ququ7
847 Followers
〚Dan R. Ghica〛
@danghica
1K Followers
Zanzi Tangle, now at ...
@tangled_zans
3K Followers
Stefano Gogioso
@StefanoGogioso
3K Followers