From Resolution Magazine: Brett Porter explains why the new MIDI spec is important: greater expressivity, better timing, better data. At NAMM 2020 Roland introduced a new high-end keyboard with weighted action and lots of extras. The most dramatic revelation was that this is the first ‘MIDI 2.0’ instrument from Roland. The A-88MKII has three configurable zones, an advanced arpeggiator, chord memory, and multipurpose pads that can trigger commands and events.
Exploring Dependent Types in Idris
When I'm not coding the "impossible" at Art+Logic, I take a lot of interest in new programming technologies and paradigms; even if they're not yet viable for use in production, there can often be takeaways for improving your everyday code. My current...
