In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was… Continue reading Notes on Idris
Month: December 2017
MIREX 2017 submissions
For the fifth year in a row, this year the Centre for Digital Music submitted a number of Vamp audio analysis plugins to the MIREX evaluation for "music information retrieval" tasks. This year we submitted the same set of plugins as last year; there were no new implementations, and some of the existing ones are… Continue reading MIREX 2017 submissions