XMonad, Zipper і всі-всі-всі

Прекрасне відео про нутрощі XMonad:

Продовження: http://www.youtube.com/watch?v=ivdyLaH3PhY&list=PLxj9UAX4Em-IBXkvcC3MycLlcxyoi7v8B&index=4
В основному мова йде про StackSet, структуру даних що керує вікнами і workspace'ами, і про Zipper. Показано принципи зневадження на реальному прикладі. Про Zipper зовсім трохи, поверхнево. Про нього краще почитати у Дона Стюарта (один із співавторів Real World Haskell і XMonad): https://donsbot.wordpress.com/2007/05/17/roll-your-own-window-manager-tracking-focus-with-a-zipper/
Там же є посилання на оригінальну працю Gerard’а Huet’а, який і придумав Zipper.
А у джерельних кодах XMonad можна знайти цитату самого Олега:

--    A Zipper is essentially an `updateable' and yet pure functional           
--    cursor into a data structure. Zipper is also a delimited                  
--    continuation reified as a data structure.                                 
--                                                                              
--    The Zipper lets us replace an item deep in a complex data                 
--    structure, e.g., a tree or a term, without an  mutation.  The             
--    resulting data structure will share as much of its components with        
--    the old structure as possible.                                            
--                                                                              
--      Oleg Kiselyov, 27 Apr 2005, haskell\@, "Zipper as a delimited continuation"

Краса!

Озеро у долині Ulten, Італія.


( Ще )

by Renato Zanotti

Як оновити Gentoo...

... на чомусь для цього непридатному.
Як ви, мабуть, знаєте, у мене є VPS'ка з Gentoo на борту. Я там довго тримав gitolite і trac для одного проекту — ну так, на пробу. Пам’яті мало, проблем багато. І одна із проблем — неможливість нормального оновлення. Ядро там 2.6.18, а сучасні версії udev хочуть щонайменше 2.6.32. А значить сам udev і все що від нього залежить оновленню не підлягає.
І от, після останніх подій навколо Google Reader я узнав про Tiny Tiny RSS і узнав що Liferea вміє з ним синхронізуватись. А це була моя давня мрія — нормальний RSS Reader з синхронізацією між компами (веб інтерфейси на стільки убогі що використовувати їх можна тільки у безвиході).
Тож вирішив спробувати. Правда, я зараз використовую Akregator, а він синхронізацію не вміє, але як воно заведеться то можна і дописати.
( Read more... )

Поки писав

Поки дописував попереднього поста, у мене тут сюрприз стався. Зателефонував наш тімлід. Із Аризони. На мобільний.
Мені з/п піднімають, і бонус непоганий начислили.
Живемо!

А ще випадково так сталось (я не підбирав, чесно!), між моєю відпусткою і травневими святами всього 2 робочих дні :) Треба придумати куди з’їздити. Минулого року їздили у Кам’янець-Подільський. Може у Львів — давно збирався там побувати.