Dan Marsden @StringDiagram
Categories, computer science and logic. @[email protected] stringdiagram.com Joined January 2020-
Tweets258
-
Followers1K
-
Following184
-
Likes213
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
568
0
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/…
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….
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!
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.
Dan Marsden retweeted
E.g., should the string diagrammatists be reading more Peirce, or should the @symbolica people be reading Ernst Cassirer? Here's the link to attend online: teams.microsoft.com/l/meetup-join/…
Dan Marsden retweeted
The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to Thomas Ehrhard and Laurent Regnier for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence.
Dan Marsden retweeted
We are still looking for talk proposal for SREPLS 15 / CW. This will be in in Canterbury, UK, on the 18th-19th of July. Participation is free, but you need to register. cw-srepls-24.github.io Functional programming/Category Theory talks highly welcome ;)
Dan Marsden retweeted
The proceedings of FLOPS 2024 are free to read and download until end of June 2024. You have to get there via the conference website: conf.researchr.org/home/flops-2024
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
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
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
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
19K 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 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
Stefano Gogioso @StefanoGogioso
3K Followers 856 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.
FRG @fabgenovese
4K Followers 373 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
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.
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 802 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
keinsell @keinsell_
325 Followers 1K Following
Kenji Tokuo @ktokuo
994 Followers 1K Following Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy
lucaspdrssn @lucaspdrssn
5 Followers 189 Following
Martin @sub31 @sub31
229 Followers 1K Following “Simplicity is the ultimate sophistication.” Leonardo da Vinci
Clasha Rinox @ClashaRino65182
221 Followers 8K Following
ardalaan @ardalaaaan
1 Followers 47 Following
francos.eth @panteramodern
1K Followers 4K Following Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. @Starknet grantee
Okay @eulersconstanto
120 Followers 3K Following
Tom @tomstructured
23 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
Nikolay Vasiliy @Djimy2kurtky
0 Followers 50 Following
ug1/2-Manion @bluegreen_funct
19 Followers 157 Following Wraa wraaa wronskian wandering around Wightman axioms
Arvin Kushwaha (they)... @arvin_s_k
206 Followers 615 Following NCSU '25 Physics + Math | 20 | vegan | 🏳️🌈🏳️⚧️ | Research in Quantum Computing, Numerical Optimization, and Machine Learning
Wong Sing Lam @WongSingLam1
14 Followers 858 Following
小鹿 @xiaoluxiaoluG
136 Followers 2K Following
Chuyên gia Bất đ�... @ngocthang678
2K Followers 7K Following
Koshur @KoshyKoshur
16 Followers 6K Following
donMariscal @Quitapenas3rd
3 Followers 263 Following
Jad Fayad @JadFayad6
5 Followers 287 Following
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
iDare e/acc @idare
2K Followers 5K 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
68 Followers 556 Following
zio @whoiszio
1 Followers 57 Following
Bas @basketticode
5 Followers 676 Following
spacechimplives @spacechimplife
186 Followers 593 Following A dad trying to use information theory & cognitive science to figure out how to give people a voice. @spacechimplives.bsky.social
spider-zan @sariaenthusiast
20 Followers 109 Following
eldal @eldal157109
0 Followers 103 Following
Vassilios Morellas @VassiliosMorel
6 Followers 68 Following
John Back @JohnBack1701
321 Followers 3K Following
Ned Whitman @othernedwin
835 Followers 6K Following Philosophy, poetry, information science, law, security, cryptography, formal methods, math, distributed systems, and operating systems. 🧩🏳️🌈
Barak A. Pearlmutter @BAPearlmutter
972 Followers 3K 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.
Alfred Rossi (@fredro... @fredRossi
78 Followers 470 Following Computer scientist and information privacy geek. Distinguished Engineer and Scientist @Immuta. Senior Lecturer @OhioState. My views are my own.
Daniel Fuentes @DanielF0_
1 Followers 216 Following
Jake Ndai @JakeNdai7
275 Followers 5K Following In the vast tapestry of the cosmos, we are but humble threads wooven in space and time.⚡🛸
John @dirsum7
3 Followers 1K Following
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
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
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
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
ieva @HyperboIeva
12K Followers 738 Following Quantum information, useless information, generally informed. Quantum algorithms researcher @PhasecraftLtd. All views are my own.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Joel David Hamkins @JDHamkins
25K Followers 279 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
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 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
Daniel Litt @littmath
50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Stefano Gogioso @StefanoGogioso
3K Followers 856 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]
Anupam Gupta @anupamg
2K Followers 202 Following Professor, Computer Science, New York University. Also at: @[email protected] @anupamg.bsky.social
Nicole Wein @WeinNicole
920 Followers 90 Following Assistant professor at University of Michigan. Theoretical computer science. she/her
ACM SIGACT @sigact
2K Followers 4 Following Special Interest Group on Algorithms and Computation Theory
James Hefford @The_Heff_
100 Followers 58 Following Postdoc @ Inria LMF, into categorical quantum things
Owen Lynch @u_map_prop
603 Followers 114 Following This is no longer an active account: see https://t.co/g9E26Tj999 or @[email protected] for any updates.
Barton Rhodes @bmorphism
3K Followers 7K Following instantiating • _🦆 discovery engine machinist 🔧 • {-1, 0, 1} • 🛸 #XM
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 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
275 Followers 31 Following
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.
TCS+ @TCS_plus
3K Followers 32 Following An online seminar series in theoretical computer science. Carbon-free dissemination of ideas across the globe.
Ryan Williams @rrwill... @rrwilliams
8K Followers 451 Following Professor @MITEECS and @MIT_CSAIL. Computational complexity, algorithm design, and related math. I'll let you know when P != NP is proved (and when it's not)
Pravesh K. Kothari @praveshkkothari
4K Followers 346 Following Assistant Professor @PrincetonCS, @the_ias 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
95 Followers 26 Following
Tom Gur @TomGur
5K Followers 297 Following Professor @Cambridge_Uni. My research is in Theoretical Computer Science and Quantum Computing.
Alex Bellos @alexbellos
26K Followers 543 Following Maths, computer science, puzzles, football, Brazil. New book THINK TWICE, out September 2024
Boaz Barak @boazbaraktcs
24K Followers 587 Following Computer Scientist. See also https://t.co/EXWR5k634w . @harvard @openai opinions my own.
Rui Soares Barbosa @ruisb
77 Followers 96 Following researcher at @QLOC_INL quantum computer science, quantum foundations, mathematics of quantum structures he/him
José A. Alonso @Jose_A_Alonso
4K 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
186 Followers 30 Following I'm a mathematician at the University of Western Ontario. I'm on Mastodon at https://t.co/JxvlNFwIpl
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Richie Yeung @richie_yeung
263 Followers 740 Following do quantum stuff @QuantinuumQC. do cs dphil @UniofOxford. Cultris II main, Tetris 40L PB: 25.759
Vincent Abbott @vtabbott_
7K Followers 335 Following Maker of *those* diagrams for deep learning algorithms | @mit @mitlids incoming PhD
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 505 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator
Ed Copeland @ProfEdCopeland
9K Followers 107 Following Particle cosmologist working on the Early Universe at the University of Nottingham. Views expressed are my own.
Michele Sevegnani @michele_seve
217 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) | Disclaimer: All views expressed here are my own and do not represent the views of my employer
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
99 Followers 514 Following research fellow @unibirmingham | meme economist | Zizek impersonator | ☭
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Dr Kareem Carr, Stati... @kareem_carr
172K Followers 350 Following Statistician. PhD @Harvard • Follow me for fun, nerdy content • Author of the Vital Statistics newsletter (link in bio)
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Ciarán Gilligan-Lee @quantumciaran
3K Followers 985 Following Causal Inference & ML | Head of Causal Inference Research Lab @spotifyresearch & Honorary Associate Professor @ucl | Ex @CompSciOxford & @Perimeter
Nicolas Wu @nicolasgwu
479 Followers 112 Following Reader in Computer Science at Imperial College London
George Kaye @thegeorgejkaye
207 Followers 741 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
49 Followers 209 Following For bio see: https://t.co/TmwSvKN4Zb Automatic reposts from https://t.co/gclveLFo1B (#indieweb)
Oege de Moor @oegerikus
6K Followers 602 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.
Trends for United States
75,2 B posts
81,2 B posts
199 B posts
57,1 B posts
246 B posts
68,1 B posts
195 B posts
24,3 B posts
41,7 B posts
3.885 posts
55,8 B posts
5.684 posts
8.141 posts
4.341 posts
5.356 posts
5.562 posts
6.391 posts
7.234 posts
118 B posts
3.706 posts
You might like
Bruno Gavranović
@bgavran3
9K Followers
Paolo Perrone
@PaoloPMath
2K Followers
Matteo Capucci
@mattecapu
6K Followers
arXiv math.CT Categor...
@mathCTbot
2K Followers
Ethan Epperly
@ethanepperly
1K Followers
K-Theory
@KristapsBalodi3
1K Followers
Amar Hadzihasanovic
@amar_hh
960 Followers
David Corfield
@DavidCorfield8
2K Followers
Alex Kavvos
@lambdabetaeta
725 Followers
Rémi Lodh
@LodhSpringer
981 Followers
Ben Grimmer
@prof_grimmer
3K Followers
fouche
@ququ7
823 Followers
〚Dan R. Ghica〛
@danghica
1K Followers
Zanzi Tangle, now at ...
@tangled_zans
3K Followers
Stefano Gogioso
@StefanoGogioso
3K Followers