Monday, August 10th, 2009
|
|
11:58 am - Библиотека
|
У меня собралось несколько книжек, которые не в каждом московском магазине можно купить.
Сам я их не каждый день читаю, а книжкам обидно лежать мёртвым грузом на полке.
Поэтому могу дать кому-нибудь на почитать.
* Algorithmics for Hard Problems
* Design and Analysis of Randomized Algorithms
* Interactive Theorem Proving and Program Development
* Essentials of Constraint Programming
* Types and Programming Languages (могу дать, но скоро она будет мне нужна на пару месяцев)
* Advanced Topics in Types and Programming Languages
* Purely Functional Data Structures
* Lectures on the Curry-Howard Isomorphism (читаю)
* Compiling for the .Net Common Language Runtime
* Programming Language Pragmatics (читаю)
* The Visual Display of Quantitative Information
* Gödel, Escher, Bach: an Eternal Golden Braid (![[info]](http://l-stat.livejournal.com/img/userinfo.gif) asviraspossible читает)
* I am a Strange Loop
* Surreal Numbers
* Basic Category Theory for Computer Scientists
+Ещё несколько в пути.
Как получить книжку:
* сообщить мне свою контактную информацию
* и когда обещаете вернуть
* встретиться (я живу в Москве, бываю в Питере, теперь ещё и в Минске)
* сказать: "Мамой клянусь, отдам!"
Некоторые книжки я пока читаю, но это не на долго, можете записываться в очередь.
UPD. тут с картинками: http://books.google.com/books?uid=10198184020364437895
|
|
(4 comments | comment on this)
|
|
Wednesday, July 22nd, 2009
|
|
2:47 pm - Питер больше чем в два раза меньше чем Москва
|
В питерском метрополитене звук "трям", предваряющий объявление следующей станции, точно такой же как и в Барселоне.
Трям! Próxima estación -- La Rambla
|
|
(comment on this)
|
|
Sunday, April 5th, 2009
|
|
1:18 pm - conway & free will
|
У Конуэя был чудный рассказик: диалог с богом о свободной воле.
Помнится, первую половину прочитал на одном дыхании, а вторую не успел, а потом и забыл как-то.
Никак не могу найти, перебрал уже все возможные ключевые слова, гугл меня не понимает.
Хотя, после бесплодных поисков, закрадывается подозрение, что это и не Конуэй вовсе был.
UPD: Нашлось!
|
|
(9 comments | comment on this)
|
|
Friday, February 13th, 2009
|
|
12:35 am
|
У меня на людей плохая память, но почему-то кажется, что кто-то из бывших на mskhug'е ходит в ДДС и даже имеет там свой шкафчик.
current mood: пора в отпуск
|
|
(comment on this)
|
|
Monday, February 2nd, 2009
|
|
2:02 pm - тема
|
Таки выложил вчера видео.
Ничего не редактировал, потому как так и не понял как это делается. Даже оглавление не сделал. Только ужал.
Лежит тут: http://mskhug.ru/attachment/wiki/MskHUG2_1/mov001.avi (265 мб, 1.33 часа).
Надеюсь, хостинг не отвалится от неожиданности (хотел на youtube выложить, но там больше 10 минут нельзя).
А ещё у меня внезапно отвалилась гугл-почта (то ли потырили, то ли забанили), поэтому скиньте кто-нибудь ссылочку в рассылку, пожалуйста.
|
|
(2 comments | comment on this)
|
|
Monday, September 22nd, 2008
|
|
8:06 pm - "Слово есть, а _|_ нету..."
|
Впечатления от SPbHUG
( Read more... )
Кроме того, пополнил свою коллекцию зоопарков.
В отделе с обезъянами был специальный дяденька, который приставал к интересующимся и рассказывал познавательные истории.
Больше нигде такого не встречал. Между тем, идея просто великолепная.
|
|
(14 comments | comment on this)
|
|
Tuesday, August 26th, 2008
|
|
5:38 pm - Trace-based compiler
|
Что-то пока не слышно шума о супербыстром яваскрипте.
А между тем, разработчики JIT компилятора TraceMonkey во всю хвалятся тем, что закомитили его в development-ветку firefox.
Обещают чудовищный прирост производительности.
( вкратце, как оно работает )
Всё это я вычитал по вот этим ссылкам (там есть некоторые подробности реализации):
|
|
(comment on this)
|
|
Friday, August 1st, 2008
|
|
8:13 am - факт
|
|
|
Thursday, July 24th, 2008
|
|
2:32 pm - про mysql
|
Товарищи оутсорсеры из Украины помогли обнаружить багу в mysql (http://bugs.mysql.com/bug.php?id=38195). С её помощью можно одним запросом уронить сервер.
Забавы ради решил поковыряться в исходниках.
Половина стектрейса лежит в файлике sql_select.cpp который насчитывает 15609 строчек!
Ещё наткнулся вот на что: field->ptr[-1]= (byte) (field->is_null() ? 1 : 0); Очень понравилось, надо тоже так попробовать.
|
|
(comment on this)
|
|
Tuesday, July 15th, 2008
|
|
12:20 am - icfpc08
|
Отучаствовал. Без фанатизма, зато с удовольствием.
Вышло 15 килобайт кода на хаскелле.
Если перевести в c++ или яву, то получается больше, чем я написал за последние пару месяцев.
Похоже, пора менять работу.
Обидно, что кусок ночи и половину первого дня пришлось убить на борьбу с чёрными экранами. В итоге, вторую половину первого дня потратил на написание гуя, что в последствии оказалось очень даже удобно для визуализации построенных путей и стратегий.
|
|
(4 comments | comment on this)
|
|
Thursday, July 3rd, 2008
|
|
8:11 am
|
|
Годовой план по концертам выполнен на две трети: сначала Broken Social Scene, теперь вот Radiohead. Остался Sigur Ros в августе.
|
|
(5 comments | comment on this)
|
|
Monday, June 16th, 2008
|
|
10:28 am - Отдаю даром книжки
|
|
|
Thursday, June 5th, 2008
|
|
7:18 pm - Church numerals придумал Витгенштейн
|
Как-то в магазине перелистывал "Логико-философский трактат" Витгенштейна, обнаружил интересную штуку, записал в блокнот и забыл.
А теперь вот вспомнил.
( Read more... )
|
|
(4 comments | comment on this)
|
|
Friday, May 2nd, 2008
|
|
1:09 pm - Спортивное
|
Тренер:
-- Раз... Два... Три... Три... Три...
-- Почему три?
-- Спину держим! Хорошо... Четыре... Пять...
|
|
(4 comments | comment on this)
|
|
Tuesday, March 11th, 2008
|
|
1:11 pm - Ещё один город мечты
|
Побывал давеча в Минске. Уже не в первый раз, но впечатления опять положительные.
Взять бы свою московскую зарплату и уехать туда насовсем.
|
|
(comment on this)
|
|
Sunday, February 17th, 2008
|
|
7:51 pm - ZEA
|
Прости, SPbHUG, до Питера я так и не доехал.
Всю субботу торчал в конторе: фигачил скрипты на питоне.
Зато вечером был в ОГИ на ZEA!
Последний раз я так отрывался не помню когда. Кстати, посещение спортзала (даже нерегулярное) даёт о себе знать: болит только шея.
current mood: ZEA
current music: ZEA
|
|
(6 comments | comment on this)
|
|
Sunday, February 10th, 2008
|
|
1:34 pm
|
Под новый год мне рассказали про забавный метод полиномиальной интерполяции.
( Read more... )
current mood: новогоднее
|
|
(comment on this)
|
|
Wednesday, November 14th, 2007
|
|
11:38 pm - Про устройство мира
|
Складывается впечатление, что аксиома выбора, теорема Гёделя и проблема остановки это всё одно и то же.
Интересно, что ещё можно добавить и насколько это конструктивно.
|
|
(2 comments | comment on this)
|
|
|
1:05 pm - Совпадения кругом
|
Говорят, что таки обнаружили куда firefox память девает. Нет, он её не кушает, просто активно пользует, а она от этого фрагментируется сильно [1].
Совершенно случайно, у нас в конторе тоже борьба с фрагментацией идёт.
Службы регулярно отъедают память независимо от числа проводимых платежей. Сначала грешили на утечки, но всякие leak детекторы ничего не обнаружили (!). Зато заметили, что от количества транзакций зависит число ошибок страниц (есть версия, что утечки постепенно переползают в своп и тихо там лежат никому не мешая, а из-за фрагментации живые данные постоянно свопятся и число ошибок страниц растёт).
Пока экспериментируем с виндовой low-fragmentation heap.
А ещё и на яве у нас проблемы с памятью, тоже надо думать.
1. http://pavlovdotnet.wordpress.com/2007/11/10/memory-fragmentation/
|
|
(comment on this)
|
|
|
12:35 pm - Народ желает const в C#
|
|
|
