Dan Marsden

Categories, computer science and logic. @[email protected]

[Dan Marsden @StringDiagram]

As well as my mathstodon account, I can now be found at:

https://t.co/HPsV7ZQF7d

I currently plan to post less, if at all, on here in future.

[Ivan Di Liberti @ivandiliberti]

I will soon start microblogging again about academic life on bluesky.

Goodbye Elon. I wish you all the worst.

[Graham Hutton @haskellhutt]

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! https://t.co/EdpoahnZmW

[Paolo Perrone @PaoloPMath]

The Applied Category Theory Adjoint School 2025 is coming!
https://t.co/CLjeoSf51f

[Dan Marsden @StringDiagram]

@cole_comfort @mattecapu That might be the most useful thing I've learned today. Thanks!

[Graham Hutton @haskellhutt]

FP fans - 11 new PhD abstracts have just been published in the Journal of Functional Programming, with links to the full dissertations! https://t.co/NfRnt07RHW

[Jeremy Gibbons @jer_gib]

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.
https://t.co/KucEWQkyD9

[Aleks Kissinger @AleksKissinger]

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: https://t.co/v1NouwVOoE

[Graham Hutton @haskellhutt]

Interested in learning about compiler calculation? Check out Patrick Bahr's great talk on our paper at #ICFP in Milan this week: https://t.co/2ArUCwvq5V. The paper is freely available from: https://t.co/eERHhrw8Ge.

[Dan Marsden @StringDiagram]

@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.
https://t.co/VDonDgrfcV

[Dan Marsden @StringDiagram]

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.

https://t.co/fdicRbv9Vu

[Dan Marsden @StringDiagram]

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.

[Graham Hutton @haskellhutt]

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. https://t.co/jKemULIFGX

[Dominic Orchard @dorchard]

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 https://t.co/nvfPHXnfyu Closing date 9th September 2024. Potential topics include:

[Achim Blumensath @ABlumensath]

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.

https://t.co/Lj5sLJIaiS

[Dan Marsden @StringDiagram]

@lambdabetaeta Looks fascinating!

[Anupam Das @ADasAcademic]

I have a new blog post comparing exponentials with their fixed point encodings in linear logic on The Proof Theory Blog: https://t.co/s5jnEzoAnn . Any comments are welcome!

[Dan Marsden @StringDiagram]

@mattecapu This suggests a fundraising opportunity for higher category theory - pay a small sum to have 10275-cells named after you, and so on...

[Graham Hutton @haskellhutt]

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. https://t.co/HgfNbd8TLL

[Dan Marsden @StringDiagram]

An enjoyable day pushing to get our second string diagrams book finished. Really just drawing colourful pictures in the garden.