Viewing profile — larrytheliquid

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

http://typetheorypodcast.com

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 t…

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 …

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