🚀 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
@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
@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...?
@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.
Yes! Bloor's *Knowledge and Social Imagery* (which was apparently quite controversial) has a strong focus on logic and mathematics
https://t.co/dPuOuEHhy7
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
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?
@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)
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?
@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!
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.
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!
@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!
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!
@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!