0xd34df00d
19.10.2011 16:40
Оказывается:
> :t (\x → (x *** x)) undefined
(\x → (x *** x)) undefined :: Arrow a => a (b', b') (c', c')
В то же время:
> let x = undefined
> :t (x *** x)
(x *** x) :: Arrow a => a (b, b') (c, c')
Нахуй так жить?
0xd34df00d
19.10.2011 16:20
Спросил, почему join (***) :: a b c → a (b, b) (c, c):
[20:15] <Cale> d34df00d: So, in general fmap :: (a → b) → f a → f b, so for f = (e →), we get fmap :: (a → b) → (e → a) → (e → b), which is exactly the type of composition
[20:15] <Cale> and for join :: f (f a) → f a, we get (e → (e → a)) → (e → ... more →
0xd34df00d
19.10.2011 00:13
Скомпилировать дотнетокод под AMD64 мне так и не удалось. Компилятор ругался чем-то очень вразумительным типа «Could not write output file, reason: AMD64».
0xd34df00d
18.10.2011 16:23
Олсо, с утра минут 5 не мог фокусировать взгляд после того, как проснулся. Чего-то меня состояние моего тела, мозга и всяких перцептивных способностей настораживает все больше.
0xd34df00d
17.10.2011 23:01
Я какое-то улыбчивое говно.
0xd34df00d
17.10.2011 14:01
Ненавижу брить это место на шее рядом с кадыком, ничерта не пробривается.
0xd34df00d
16.10.2011 09:03
Оче хорошо, Панель Задач в KDE считает, что развернутое на весь экран окно находится на всех экранах в мультимониторной конфигурации. Пиздец.
0xd34df00d
15.10.2011 14:50
\1 настолько \2, что продолжает слать антиспам-вопросы, даже если удалил чувака из ростера и отозвал запрос авторизации.
0xd34df00d
14.10.2011 19:35
В ubuntu@cjr обсуждают проблемы съема шлюх. Символизирует, ящетаю.
0xd34df00d
14.10.2011 17:54
Блять, шаблон отчета в .doc. Естественно, все форматирование распидарасило нахуй. И что теперь делац, интересно.
Ладно, пусть сосут свои проприетарные хуйцы.
0xd34df00d
14.10.2011 16:58
novafilm сильно тормозит с релизами. Вон, Terra Nova и Dexter уже есть на лостфилме несколько дней как, а на нове хуй. :(
0xd34df00d
14.10.2011 11:35
Андроед по 3G с запущенным жабиру жрет 10% батареи в час. То же, но без Jabiru жрет 4% батареи в час.
При этом, я еще сегодня читал с мобилачьки, много фоткал и ваще.
0xd34df00d
13.10.2011 12:48
Впрочем, похоже, группа из предыдущего матан-поста не будет абелевой. Либо я немножко накосячил с доказательством. В любом случае, это печально, но я еще не придумал, почему.
0xd34df00d
12.10.2011 00:54
Охуеть, судя по публикациям, до меня вообще мало кто заморачивался теоретическим обоснованием применимости ГА и прочей хуйни.
0xd34df00d
11.10.2011 22:49
Блядь, мне не хватает греческих и латинских букв.
0xd34df00d
11.10.2011 21:49
Блядь, vim-latex не дает напечатать SSE, подменяя это словосочетание на \section{}.
0xd34df00d
11.10.2011 19:18
А вообще надо тоже сделать какую-нибудь сраную пафосную фоточку с гитарой и повесить ее на аватарку в сраном контактике.
0xd34df00d
11.10.2011 15:20
Господа, где можно побенчмаркать производительность движка на всяких псевдо-2D и псевдо-3D вещах типа CSS animations и прочей хуйни?
0xd34df00d
10.10.2011 18:10
Тред в qt5-мейллисте на тему QML vs QWidgets в Qt 5 уже подходит к сотне писем за джва дня. Белки-истерички есть даже в иностранном тырнетике, и даже в иностранном тырнетике все тот же троллинг, как и у нас здесь. Просто существенно потоньше и повежливее:
— Вы хуйло, сэр.
— А не предоставите ли доказательств, мсье? ... more →
0xd34df00d
09.10.2011 23:16
И вообще, альфапроблемы гораздо хуже омегапроблем и УМННБТ-проблем.
0xd34df00d
09.10.2011 13:01
Интересно как. Вот есть матрицы, например. Вот их можно там складывать, умножать очевидным образом. Делить можно (A/B = C <=> A = CB). Ну с negate еще понятно, наверное — умножить матрицу на скаляр (-1). abs можно каким-то раком ввести, хотя сходу неочевидно, как, норму шоле выбрать какую. signum — ну, тоже хуй ... more →
0xd34df00d
08.10.2011 22:17
В очередной раз поблевал с mutability-проблем в императивных языках. Уняняговно. :(
2 comments
Subscribe to *говно
