Chris Sach's talk yesterday at Scala Bay

https://drive.google.com/file/d/0BwRrcixvqFQgeTJZdVRaZ0hMU3ZMOFVKNlo2RENwN3c5ekZR/edit?usp=sharing

So, typeclasses conveniently combined with cake pattern, giving cupcake pattern.
Liked it.

георгиевские кавалеры и дамы дают ценные указания на местах

Через некоторое время приехали вооруженные люди с георгиевскими ленточками. Узнав обстановку у самообороны, распорядились сохранять спокойствие, а в случае стрельбы падать на землю. После чего они уехали

my slides from this winter's course of formal methods at scu

1) http://tinyurl.com/scufm01
2) http://tinyurl.com/scufm2
3) http://tinyurl.com/scufm3
4) http://tinyurl.com/scufm4
5) http://tinyurl.com/scufm5
6) http://tinyurl.com/scufm6
7) http://tinyurl.com/scufm07
8) http://tinyurl.com/scufm8