http://sochi.lenta.ru/news/2014/02/07/zemfira/ Лол, ещё при просмотре задумался, а всё ли в порядке у них с лицензионной чистотой? Ещё, кстати, Daft Punk (The Game Has Changed) приметил.
Странное(но понимаемое и не разделяемое) желание алгоритмизировать процесс проверки доказательств теорем. Почему бы не пойти дальше и не алгоритмизировать проверку на «красоту» и «правильность» различных произведений искусства вроде картин, скульптур, стихотворений, музыки.
Сделал так, чтобы <C-n> в сабже переключал на следующую видимую (не свёрнутую) вкладку.
По пути выяснилось, что :map <C-n> :js foo()<CR> тормозит (заметно, если зажать C-n), поэтому пришлось использовать :js mappings.addUserMap(/* ... */).
Запилить бы ещё возможность перемещения вкладок по дереву без помощи мыши.