#introduction hello, grüße, 嗨 :)
I am a composer exploring algorithms in music and music in algorithms. I am a live coder using #SuperCollider, coding alone or with friends. Having fun building networks and defining communication mechanism together in #NetworkMusic. Reading Category Theory for Programmers by #BartoszMilewski and Mathematics of the Transcendental by #AlainBadiou
Currently researching temporality and recursivity in musical algorithms.
Hope to learn a lot here!

@brab
That paper looks pedagogical indeed :)

As for myself I've mainly used #BartoszMilewski 's #CategoryTheory for #Programmers: « There is a free pdf version of this #book with nicer typesetting available for download. You may order a hard-cover version with color illustrations at #Blurb. Or you may watch me #teaching this material to a live audience. »
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

He has also written a few articles for the #SchoolOfHaskell, including a few on #Yoneda: https://www.schoolofhaskell.com/user/bartosz

« #CategoryTheory for Programmers by #BartoszMilewski is now available in hardcover »
https://np.reddit.com/r/haskell/comments/9q6edo/category_theory_for_programmers_by_bartosz/
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
#Haskell #CPP

#BartoszMilewski : « it would seem that #mathematical proofs are irrelevant to #programming. Or so it may seem, until you learn about the #CurryHoward isomorphism — or #propositions as #types, as it is sometimes called — which says that there is a one to one correspondence between #logic and #programs, and that every #function can be seen as a #proof of a #theorem. »
https://bartoszmilewski.com/2018/01/23/pointwise-kan-extensions/
#CategoryTheory #Haskell

@leconnarddufond
#BartoszMilewski : « I’m afraid of the scenario in which we ask the #AI a question like, “Can #QuantumMechanics be unified with #gravity?” and it will answer, “Yes, but I can’t explain it to you, because you don’t have the brain capacity to understand the explanation.”

And this is the optimistic scenario. It assumes that such questions can be answered within the #decomposition / #recomposition framework. »
https://bartoszmilewski.com/2018/01/11/the-earth-is-flat/

#BartoszMilewski : « The Earth is Flat: Exploring the Limits of #Science »
https://vimeo.com/242784236

« #science is not a property of the #Universe, but rather a construct of our limited brains. […] There is no guarantee, however, that the #Universe is decomposable. Assuming that would be tantamount to postulating that its structure revolves around #human brains, just like we used to believe that the #Universe revolves around #Earth. »
https://bartoszmilewski.com/2018/01/11/the-earth-is-flat/
#CategoryTheory #Philosophy

An unofficial PDF version of "#CategoryTheory for Programmers" by #BartoszMilewski, converted from his blogpost series. »
https://github.com/hmemcpy/milewski-ctfp-pdf

Filmed courses by #BartoszMilewski :
https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
https://www.youtube.com/watch?v=3XTQSx1A3x8&list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm