kouzdra - October 7th, 2005

October 7th, 2005

October 7th, 2005
03:08 pm

[Link]

Чеканная формулировка от Пионера
Вот

Государство должно быть в руках людей, которые смотрят на капиталистов как полезных домашних животных. Тогда капитализм будет развиваться нормально, с пользой для себя и общества. Это мысль старая, к ней ещё Гоббс пришел. На Западе в общем так и есть.

Либертарианцев нельзя привлекать к управлению капиталистическим государством. Коровы же не управляют молокозаводами.

(6 comments | Leave a comment)

TimeEvent
09:16 pm

[Link]

США снижают свою нефтяную зависимость
"Из-за высоких цен на бензин продажи велосипедов в США приближаются к рекордному уровню за 30 лет"
(http://www.rbc.ru/rbcfreenews.shtml?/20051007175530.shtml)

(3 comments | Leave a comment)

TimeEvent
10:59 pm

[Link]

Объектное программирование по-норвежски


Подпись под рисунком:

Already in the age of the Vikings Norwegians had
a firm grasp (of important principles of modern technology)

(отсюда)

(Leave a comment)

TimeEvent
11:15 pm

[Link]

Интересно, почему авторы русской википедии столь часто вместо того,
чтобы просто перевести английскую статью, пишут какую-то удивительную
хрень?

(навеяно этим)

Остальное по этой теме не сильно лучше. Даже про Симулу-67 чухню написали (Симулу я поправил более или менее - там короткое).

Upd: Я уже получил ответ:

... Более того, по данной kleisli triple (или что то же самое, монаде) можно постоить ...

popn:

"левый присоединянный" -- левый сопряженный это у нас зовут.
Монады, да, всегда возникают как из пар сопряженных функторов,
И много пар дают одну монаду. Клешли, кажется (забыл) -- свободный объект в этом множестве.
Вообще коротко монада -- объект моноида в категории. Я давно знал эту связь с функциональными
языками и удевлен, что кажется еще никто не перенес в лингвистический контекст разные интересные вещи, связанные с монадами, например гомологии и когомологии, которые естественно строятся для любой монады. Должны выходить некие интересные инварианты языка.

Вот примерно такие и пишут. На этот тред я вышел после анонса [info]ru_cs@lj.
Ну и что с этим делать? Я написал такой коммент -

"и портрет основателя ордена иезуитов Игнатия Лойолы в золоченой
раме. Портрет ему всучили на барахолке, строго заверив, что это изображен
знаменитый физик Бойль-Мариотт."
(c) Вадим Шефнер "Записки зубовладельца"

Извините - но не смог удержаться.

Генрих Клейсли - это человек.

(17 comments | Leave a comment)

Previous Day 2005/10/07
[Archive]
Next Day
My Website Powered by LJ.Rossia.org