У зв’язку з тим, що, судячи із стрічки, ЖЖ таки остаточно здихає (ура!), нагадую, що я є на dreamwidth (але не обіцяю там активної діяльності, за винятком коментування та репосту постів із своїх інших блогів (наприклад dmytrish.net/blog - додавайте в RSS!).

Також я більш-менш часто (але коротко) писав останнім часом в фейсбук і раніше в Google+ ( ( Read more... )

Недавно стукнула мені в голову одна ідейка щодо memory protection у операційних системах. Мабуть, я перевинайшов якийсь велосипед або в цій ідеї є якась принципова хріновість, - це я і хочу зрозуміти за допомогою шановної публіки ( Read more... )

Викладу свій архів фотографій Євромайдану. Постарався вибрати фото кращої якості, але деякі все одно досить розмиті (особливо нічні), перепрошую.

( Фотографії: 22-24 листопада )

Про implicit typing:

Писав на днях сервер на Happstack, а оскільки я тоді не додумався запускати ghci із :l Main.hs і дивитись типи обробників і таблиць маршрутизації (всі ці ServerPartT IO Response), то типові сигнатури я випускав, в результаті в мене вийшла програма на сотні три рядків практично без оголошень типів. Зручно? Можливо ( Read more... )

У мене сьогодні був день тикання паличкою в IDE.

IntelliJ Idea

- ставив на випадок, якщо захочеться порозбиратись із Скалою (та і з Java непогано було б познайомитись ближче, хоча б заради JVM). Стало не без бубна:

1. під лінукс іде архів, який треба розпакувати, далі запускається все саме, але коли я наставив плагінів, Ідея почала зависати при ( Read more... )

Недавно в моєму фейсбуку почалась досить гаряча суперечка про те, що краще, mc чи bash. Аргументи за mc були про швидкість і м’язову пам’ять (хоч при нормальному володінні клавіатурою м’язова пам’ять на башівські команди може бути нічим не гірше), я ж захищав можливо повільніший, але набагато більш потужний підхід командного рядка ( Read more... )

По сусідніх жежешках прокотилась хвиля вражень від реалізації SECD в рамках ICFPC 2014, а моєму репо на гітхабі поставили дві-три зірочки. Я багато пропустив? Тобто я дізнався про ICFPC хвилин за п’ятнадцять до його початку і подумав, що вже пізно і краще займусь своєю secd, а міг би написати її з користю і там.

DUM/RAP там були? Хвостова рекурсія

Вчора знову дорвався до свого коду і написав на Схемі аналізатор SECD-коду на стекову коректність. Штука невелика, але корисна, та і перша ластівка винесення статичного аналізу із сішного коду у схемівський (а то я намагався зробити аналіз на вільні змінні в сішному коді, вийшло не дуже гарно ( Read more... )

«Хто кров’ю й волею зціпить в цемент
Безвладний пісок міліонів...» (Ольжич)Непогана, обґрунтована стаття із несподіваної (і для багатьох дратівливої позиції) на Хвилі (вона в своєму репертуарі, кажу це як комплімент ( Read more... )