Robin Piedeleu

boxes-and-wires scientist

[Robin Piedeleu @rwolffoot]

🚀 Call for Submissions – SYCO 13! 🚀

Join us in London (April 24-25) to share your work on category theory, logic, & more.

✅ Easy submission (papers, WIP, theses...), no proceedings
📅 Deadline: 14 March 2025 (this Friday!)
🔗 Details here: https://t.co/zC09ZRdpVF

[Robin Piedeleu @rwolffoot]

@arntzenius Do you know Dice? https://t.co/01mb1LI9dG

It's a functional PL for finite *probabilistic* programming that compiles to BDDs. It does not have higher-order functions, so it would be nice to work out how to compile H.-O. functions to BDDs without the probabilistic constructs

[Robin Piedeleu @rwolffoot]

@hackerdocc @VictorTaelin No worries and thanks a lot for taking the time to research the answer!

[Robin Piedeleu @rwolffoot]

@hackerdocc @VictorTaelin Thank you! The paper attached discusses HVM2, which appears to disallow copying functions which copy their arguments. Do you know how Bend achieves this? Is it through disallowing these functions (with a type system, presumably) or via some transformation at compile-time or...?

[Vincent Wang-Maścianica @vinnylarouge]

@_julesh_ @coecke

[Robin Piedeleu @rwolffoot]

@fabgenovese @bgavran3 Haha! Also wondered what the difference was...

[Robin Piedeleu @rwolffoot]

@bgavran3 It is useful to distinguish what is man-made and what is not, though, even if the distinction is culturally conditioned. This implies that the human agency--i.e. who, for what purpose, and with what data--behind ML or "AI" models (and all programs, really) should not be ignored.

[Robin Piedeleu @rwolffoot]

Yes! Bloor's *Knowledge and Social Imagery* (which was apparently quite controversial) has a strong focus on logic and mathematics

https://t.co/dPuOuEHhy7

[Robin Piedeleu @rwolffoot]

Zooming out a bit (a lot!), it looks like the so-called "strong programme" of David Bloor, Barry Barnes and others in the sociology of scientific knowledge is what I'm after. Will need to dig to see whether any of them has looked at maths or other deductive sciences specifically

[Robin Piedeleu @rwolffoot]

What are good books/articles about the sociology of mathematical research? As in, the study of the social factors that influence (the formation of) research communities, guide their activity and how they produce mathematical knowledge?

[Robin Piedeleu @rwolffoot]

@_julesh_ https://t.co/3fJr1eU13U

[Robin Piedeleu @rwolffoot]

@MathisHammel "En un coup d'oeil" plus efficace que le discriminateur du GAN qui a produit ces images... la classe !

[Robin Piedeleu @rwolffoot]

@prathyvsh Thank you! (I have read 1/, though it felt closer to philosophy, with its focus on an idealised scenario, in which broader social factors are mostly absent. I should still reread it and pay closer attention to the footnotes and appendix, which link the main text to real events)

[Robin Piedeleu @rwolffoot]

What are good books/articles about the sociology of mathematical research? As in, the study of the social factors that influence (the formation of) research communities, guide their activity and how they produce mathematical knowledge?

[Robin Piedeleu @rwolffoot]

@tangled_zans Very cool! Several people have now suggested we include string diagrams for premonoidal categories, à la Jeffrey. They are quite intuitive for computer scientists, as diagrams representing state-passing operations. I think they'd be a nice addition to the next version!

[Robin Piedeleu @rwolffoot]

Just released a small update to this paper, with more examples of diagrammatic reasoning in action.

https://t.co/KnnHLb3sGK

Thanks for all the suggestions. We could not include all of them yet, but will certainly consider them for future versions.

[Robin Piedeleu @rwolffoot]

Curious about string diagrams and wondering where to start? Fabio Zanasi and I wrote an introduction designed to onboard CS students into our own research and offer a glimpse into current research on the topic.

https://t.co/KnnHLb2URc

This is a first draft--feedback welcome!

[Robin Piedeleu @rwolffoot]

@Twisol We use the TikZ library with a GUI tool called TikZit (https://t.co/uLXh6e3J1v). (And that's the one I used to draw the particular diagram you mention. I assure you there's nothing magical about it!

[Robin Piedeleu @rwolffoot]

@SovsDenEtEller Yes, don't hesitate to DM me with them!

[Robin Piedeleu @rwolffoot]

Curious about string diagrams and wondering where to start? Fabio Zanasi and I wrote an introduction designed to onboard CS students into our own research and offer a glimpse into current research on the topic.

https://t.co/KnnHLb2URc

This is a first draft--feedback welcome!

[Robin Piedeleu @rwolffoot]

@sbbls I use https://t.co/uLXh6e3J1v, but I'm also aware of https://t.co/BGOYRkRZ2e, which can output tikz.

[Robin Piedeleu @rwolffoot]

@cole_comfort And I'll add diagrams for premonoidal categories and (di)operads to the list of suggestions I've already received.

[Robin Piedeleu @rwolffoot]

@cole_comfort Yes, we plan to update it; that's why we would like feedback! If you feel that something is missing, and that we misrepresented or did not cite some work, please let me know.

Of course, we won't be able to incorporate everything, but we will certainly consider all suggestions!