Categories, computer science and logic. @stringdiagram@mathstodon.xyz
Joined January 2020
- Tweets 258
- Following 179
- Followers 1,099
- Likes 211
19 Photos and videos
Pinned Tweet
18 Nov 2024
As well as my mathstodon account, I can now be found at:
bsky.app/profile/stringdiagr…
I currently plan to post less, if at all, on here in future.
1
348
Dan Marsden retweeted
24 Nov 2024
I will soon start microblogging again about academic life on bluesky.
Goodbye Elon. I wish you all the worst.
1
1
11
633
Dan Marsden retweeted
4 Nov 2024
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-abstract…
9
34
2,805
Dan Marsden retweeted
31 Oct 2024
The Applied Category Theory Adjoint School 2025 is coming!
golem.ph.utexas.edu/category…
11
41
2,603
Dan Marsden retweeted
26 Sep 2024
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/S09567968240…
17
98
3,991
Dan Marsden retweeted
25 Sep 2024
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/vacanc…
1
2
2
827
Dan Marsden retweeted
12 Sep 2024
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
2
35
128
6,568
Dan Marsden retweeted
6 Sep 2024
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/36746….
1
11
58
4,819
30 Aug 2024
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…
2
10
44
1,787
2 Aug 2024
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.
1
2
37
1,946
Dan Marsden retweeted
22 Jul 2024
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/
4
26
2,055
Dan Marsden retweeted
19 Jul 2024
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… Closing date 9th September 2024. Potential topics include:
1
13
15
1,974
Dan Marsden retweeted
9 Jul 2024
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.pdf
4
13
1,152
Dan Marsden retweeted
27 Jun 2024
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/… . Any comments are welcome!
1
1
322
Dan Marsden retweeted
27 Jun 2024
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/piperma…
5
12
25
2,696
25 Jun 2024
An enjoyable day pushing to get our second string diagrams book finished. Really just drawing colourful pictures in the garden.
3
26
1,789
Dan Marsden retweeted
10 Jun 2024
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…
2
1
8
1,615
Dan Marsden retweeted
6 Jun 2024
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.
1
11
35
2,676
Dan Marsden retweeted
31 May 2024
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 ;)
6
5
2,192
Dan Marsden retweeted
22 May 2024
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/flop…
8
14
1,488