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] 1ceheart.livejournal.com 2007-10-13 10:17 pm (UTC)(link)
Да, лямбда-исчисление выносит мозг.

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

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

Это был overkill.

Image


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