утренние новости

Джулия Хейнер (которая однажды зачитала список корейских летчиков) сегодня нудно перечисляла недавние случаи когда турист с горы упал. Много падают.

Потом рассказали об успехах обамакеры. Как известно, в Калифорнии она лучше всего устроена. 56% населения якобы одобряют. 1/3 даже посетила вебсайт. 9% получили обамскую страховку. Тут, конечно, возникает вопрос, за что боролись и кого спасаем. Может, их силой заставлять страховаться, а кто не страхуется, тем отключать воду?

Тем временем в пустыне Мохаве начали взрываться птицы. Гугл понаставил солнечных электростанций - как у Архимеда, тысячи зеркал фокусируют свет на башне; там температурка типа 1000 по цельсию. Птица влетает в такой луч смерти - и бабах! только дымный след остается. Птичку жалко. Гугл виноват.

реальность

http://odd414.livejournal.com/377186.html

начался сезон

Сегодня наблюдал озверевших водительниц. Вдруг подсекать стали, сплошь и рядом. Ну типа рано встали, детей злобно разбудили, в школу оттащили, адреналин повышенный, и вот давай подсекать.

Уже около работы, поворачиваю направо, там узкий проезд между тротуаром и островком, вдруг бац, слева красная камри перед носом прямо впиливается в проезд. Ну хорошо, и едет туда же на наш паркинг. Приехал, посмотрел. Азиатка, типа камбоджийка (похожа на вьетнамку, но лоб широкий). Долго из машины не выходила, боялась, наверно, что стрелять буду или что-нибудь в таком духе. Психов-то у нас много.

расскажу вам кое-что

Это я расследую ПТТ, "правильную теорию типов". Нигде про это не читал пока что.

Короче, вот у нас есть теория типов. Не обязательно там какой-нибудь "функциональный яп", сиквел с потенциальными запросами и вьюшками вполне годится в качестве модели.

И вот в этой нашей Правильной Теории для типа T есть тип подтипов T, P[T].

Тождественному отображению P[T] → P[T] соответствует предикат на T × P[T], а этому предикату - подтип T × P[T]. Инстансы этого подтипа будут состоять из пар (x:T, X:P[T]), где x:X.

Теперь транспонируем это дело, перекинем P[T] налево, и получим отображение уже T → P[P[T]] - где каждому инстансу x:T сопоставляется фильтр на подтипах T, т.е. набор таких наборов подтипов T, что каждый тип U<:T из набора содержит x, в смысле что x:U. Это на самом деле будет ультафильтр (фильтр, который нельзя расширить), более того, это будет главный ультрафильтр.

http://en.wikipedia.org/wiki/Ultrafilter

Так. Все не так уж сложно, на самом деле.

Я просто потихоньку двигаюсь к (конструктивному) построению копределов. Для этого нужна монада P.

Есть вопросы? Можем обсудить.

learn the art of BS from Chomsky

""I think we should be responsible for what we do, not for the bureaucratic question of who stamps the paycheck," he wrote, adding provocatively, "Do you think you are not working for the Pentagon? Ask yourself about the origins of the computer and the Internet you are now using."" - he wrote this when asked how come he's been working for the Pentagon actually, for decades, while demanding everybody else not to do it.

рифмы в жж

ходил во Фрайз

Просто так, прошвырнуться.

Не вижу прогресса в последние три года. Лаптопы - все тот же хлам, 4 гига, такие же толстые и тяжелые. И венда внутре. Ужас.

comet, from a close distance

src: http://apod.nasa.gov/apod/ap140819.html

интерпретация китайских иероглифов

Как известно всякому читающему газеты, китайские слова обычно состоят из двух-трех иероглифов. Например "бардак" - две женщины под одной крышей. Или "программирование" - глупый человек с электричеством.

Но нет системы. Надо бы какую-нибудь матрицу такую нарисовать, таблицу в смысле, русско-китайский разговорник иероглифов.

	земля	женщина	заяц	биссектриса	небо
земля	летчик-космонавт	Родина-мать	пятая колонна	запуск православной ракеты "Сатана"	Вселенная наша
женщина	Мать-родина	я не понял	повышение рождаемости	депутат Государственной Думы	летчица Гризодуб
заяц	комета	еврогей	нас все боятся	нас все боятся	кролик

(ну и т д мне спать пора)