Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...

dj finny's dnb mixes have been sustaining me for years: http://www.mixcloud.com/finny/

i can't handle the monotony of trance, and dubstep can be a bit too much. a lot of dnb also tends to be repetitive, but finny keeps things lively enough for you to pay attention to code

Stick with current proper naming.

1. By using these names someone that comes across combinators somewhere else can relate to a previous "popular" jquery library they've used. This makes the new knowledge easier to digest thanks to partial familiarity.

2. I've come across other formal methods material in the past that was "decorated" to be seemingly be easier to understand. Instead, I thought this material was the author's original invention and had no way to search for more information on the subjects with "made up", rather than established, terms.

3. You're also a pretty popular internet persona. Just like with your previous "raganwald" blog, having someone in the spotlight promote lesser known but useful information is beneficial for the programming community.

A little more info in the mailing list status update: http://www.mail-archive.com/macruby-devel@lists.macosforge.o...