http://a-v-k-73.livejournal.com/125090.html
http://a-v-k-73.livejournal.com/125299.html
http://a-v-k-73.livejournal.com/125494.html
Лично я прочитал с удовольствием.
Спасибо тов. a_v_k_73.

UPD:
Ещё тут подсказали, что всё это
можно единым текстом почитать на
http://vivovoco.rsl.ru/VV/PAPERS/ECCE/MIND.HTM
Спасибо тов. beroal.

Прям вопрос из IQ-теста какой-то получился.
Остался другой вопрос типа "назовите лишнего".

Их высказывания (не знаю, какого года) ->
http://marta-getman.livejournal.com/6723.html
По-моему, много очень смешного. Я серьёзно.

По-моему, великолепно!
http://www.kirovmuseum.spb.ru/rus/ekspozicija_muzeja/za_detstvo_schastlivoe_nashe.../kalendar_revoljucionnyh_imen.html

Спасибо тов. beremich
(из комментариев к посту
http://a-shen.livejournal.com/6377.html )

Правда, маловато там.
Но кое-чего новое я нашёл :-)

Вот как ->
http://www.ncom-ufa.ru/page/get/12/page.t

А я-то, поначалу, думал было,
что прикол про уборщицу выдуманный.
Ан нет, оказывается, вот откуда это пошло.

Например, тут ->
http://lib.aldebaran.ru/author/petrov_evgenii
и тут ->
http://lib.ru/ILFPETROV/

Я впервые что-то у них,
кроме "стульев" или "телёнка".
Очень приятные впечатления.

Не могу отделаться от постоянно
приходящих на ум сравнительных параллелей
между Чеховым-Аверченко и ИльфомПетровым-Жванецким.

Вот тут статья, а в ней
в конце ссылки интересные ->
СТАТЬЯ

Не могу не пропеарить. Молодцы!
http://fprog.ru/2009/issue1

Комментариев не будет, читайте сами
и сами составляйте своё мнение ;-)

Вот о чём я говорил!
Насколько успел прочитать,
это почти в точности оно.
Только я предполагал
чисто асинхронный дизайн.

The Fleet architecture uses
a uniform switch fabric to simplify chip design.
A few thousand identical copies of a
programmable interface connect a
thousand or so repetitions of
basic arithmetic, logical, input-output,
and storage units to the switch fabric.
The uniform switch fabric and its
identical programmable interfaces replace
many of the hard parts of designing
the computing elements themselves.
http://syndicated.livejournal.com/planet_haskell/484984.html

Сейчас наблюдал увлекательнейшую дискуссию
на тему "Как правильно переводится "so fucking what".

Участники вели обсуждение ярко и эмоционально.
Ей богу, стало интересно, чем же закончится.
Но опять дела меня отвлекли.

Вот оно как!
http://topos-physics.org

А именно.

Отец купил пару ульев и завтра
я поеду ему помогать перевозить пчёл.
Так как с отцом я общаюсь часто,
то постепенно буду знать всё больше и больше
про пчёл, а главное, про правильный мёд :-)

Оказывается, если забыть перевести регистр,
то ПW-претопос и ПWM-претопос пишутся, как
ПЦ-претопос и ПЦЬ-претопос, соответственно!

Зацените!
В том числе, это то,
о чём я давно говорил.
Только уже реализованное.
http://math.ucr.edu/home/baez/topos_physics
Спасибо dsav, это он нагуглил.

Там много картинок этого "уровня" --
http://hectop.livejournal.com/719936.html

По-моему, восхитительно!
Нашёл через тов. nponeccop

Возникли у меня по поводу предстоящего
сборища "MskHUG" некоторые сложности.
Сложности не с тем, чтобы приехать.
А с тем, что есть куча глупых дел и думать
про действительно важные важные и нужные,
и что немаловажно, интересные вещи, сложновато.
Я пока не умею "5 минут подумать про категории",
надо как-то посидеть, "раскрутить мозги"...

( Но постараюсь. )

Вот подтверждающая ссылка --
http://ethology.ru/news/?id=541

Система -- 64-битный Gentoo Linux.
Можно сказать, специально
для предстоящего сборища
купил себе нотбук, а туут...
( Симптомы такие )
Проблема решилась установкой ядра 2.6.28.
Вникать подробнее нет никакого желания.

Цитирую --
"
Думайте о том, как применить навык
вашего персонала в новом деле, кризис --
это лучшее время для новых прорывных идей.

Технари, кого сократили и у кого руки
растут не из зада, обращайтесь ко мне.
Мне вы нужны.

Банковских работников и топ-топ-топ
менеджеров различных направлений --
просьба не беспокоить.
Мне вы не нужны.
"

Занимаются видеонаблюдением.
Это где-то в подмосковье.
Ссылка на конкретный пост --
http://tony-fly.livejournal.com/33495.html

Для дальнейших подробностей нужно
либо обратиться непосредственно к tony_fly,
либо посмотреть его журнал.

Вдруг кому окажется полезным?
Хотя я уже сомневаюсь, что среди
моих знакомых окажутся такие люди.
Но пост стирать не буду.

Категорная модель higher order типов -- это топос.
Категорная модель зависимых типов -- это Local CCC.

Естественно, что все-все возможные системы
с зависимыми типами на практике не нужны.
Какие-то из них вполне впихиваются в топосы.

Так вот, меня взяло сомнение, а все ли "полезные"
системы типов могут упихаться в некоторый топос?...
Есть ли какая очень нужная и полезная система
с зависимыми типами, которая не описывается топосом
(топосом из топосов и функторов между ними)?...

( Дополнение )