1. 15
    It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness art formalmethods infoq.com
    ehamberg avatar via ehamberg 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 3
      jfo avatar jfo 5 years ago

      as soon as I read “in this article chris…” I knew it would be Chris Ford. I’ve loved everything I’ve ever seen from him, most specifically this talk and some other one I can’t seem to find right now.

    🇬🇧 The UK geoblock is lifted, hopefully permanently.