metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2007-10-13 09:36 pm

Когда едет крыша от чтения про лямбда-исчисление,

я ловлю насекомых и заставляю их позировать для макросъемки.

[identity profile] john-f-doe.livejournal.com 2007-10-13 08:48 pm (UTC)(link)
а вот теперь признайся, ты их заставляешь позировать при помощи лака для волос жены?

[identity profile] metaclass.livejournal.com 2007-10-13 09:32 pm (UTC)(link)
Не, это существо просто впало в ступор после того как я его посадил под стеклянную посудину для микроволновки и начал светить фонарем и фотить. Вплоть до того, что когда я убрал посудину - оно продолжало сидешь прямо под объективом :)

[identity profile] 1ceheart.livejournal.com 2007-10-13 10:17 pm (UTC)(link)
Да, лямбда-исчисление выносит мозг.

У нас его читал Вольфенгаген. Первый семестр он читал теорию суперкомбинаторов, в которой - и что немаловажно, о которой, естественно, 19 из 20 человек не поняли вообще ничего - ну абстрактная фигня какая-то. Потом начинается второй семестр, первая лекция Вольфенгагена, выходит он к доске и пафосно обьявляет:

"Категориальная абстрактная машина!"

Это был overkill.

Image


[identity profile] metaclass.livejournal.com 2007-10-14 07:27 am (UTC)(link)
Отлично. "Мизантропы-милитаристы, изучающие функциональное программирование, чтобы убить всех людей".

[identity profile] 1ceheart.livejournal.com 2007-10-14 05:22 pm (UTC)(link)
А то. Сам Вольфенгаген - вообще тот еще дядька, колоритный, начиная с фамилии. Не знаю, был ли у него дедушка штурмфюрером СС, но вполне мог быть :)

[identity profile] clayrat.livejournal.com 2007-10-25 04:08 pm (UTC)(link)
Про TUNES (http://tunes.org/) не слыхал кстати?