емаксеры о хаскеле: <tali713> ijp: clearly not, haskell is byzantine language, possibly from the iconoclast period.

Внезапно, для emacs-a есть достаточно качественно сделанный matlab-mode, который умеет хороший inferior shell для матлаба и кучу плюшек. Поскольку, matlab - не хрен собачий, это доказывает, что emacs нужен.

Сегодня получил звездюлей от пьяного быдла. Шел с другом и его подругой по улице, и тут подбежали два урода, один из которых ударил меня в челюсть. Спустя мгновение я лежал на земле и они били меня ногами. Щастье, что они увидели прохожего и переметнулись к нему. Я успел смыться. Собсно, реквестирую success stories и crash-курс по противодействию быдлу в подобных ситуациях.

Возвращаясь домой вечером 1 января я зашел в вагон метро. Вагон был заполнен сидящими, но с одной странностью. Одна скамейка была полностью свободна. Ну, я сел. Спустя мгновение я понял, в чем было дело. В метре от меня была лужа последствий нового года, в которой отлично узнавлся известный салат. Через некоторое время начали заходить новые пассажиры, которые неизбежно замечали это дело и естественно потом смотрели на меня, вероятно думая, что я это и сделал. К счастью, мое положение спасли две чурки, которые зашли в вагон и сели на скамейку так, что их ноги как раз оказались на этом продукте нового года.

Прекрасное с ЛОРа. _Можно ли использовать Slackware в школе?_ Разработал список программ для обучения: * Основная ОС - Slackware Linux. * Офис - LaTeX, Emacs. * Основы программирования - Haskell, Assembler. * Работа с БД - PostgreSQL. *Все правильно сделол*

Из интервью с Леннартом Поттерингом: /So, get yourself a copy of The Linux Programming Interface, ignore everything it says about POSIX compatibility and hack away your amazing Linux software. It's quite relieving!/ http://archive.fosdem.org/2011/interview.....poettering Поубывав бы.

В нашей конторе не проводятся всякие быдлокорпоративы. Это ВИН, ящитаю

Чят, тут такое дело. Один товарищ обнаружил на улице двух почти только что вылупишвихся котят. Одного хочет взять себе, второй вероятно замерзнет, когда холода нагрянут. Кто взять готов?

Годное расставление точек над i с ЛОРа. Поддерживаю. *1. примитивные системы типов (навроде как в хаскеле) могут отловить лишь примитивные ошибки, логика все равно тестируется. 2. тесты на логику падают на примитивных ошибках в том числе, то есть в итоге эти ошибки один хер не пропускаются и профит от системы типов в области гарантий становится де-факто сильно преувеличен. 3. Не примитивные системы типов чрезвычайно сложны в использовании, перспективы использования ЯП с подобными системами типов в качестве ЯП общего назначения - весьма смутны. Хотя, естественно, существует определенный класс задач, где этот инструмент весьма эффективен. 4. Из-за типодрочесртва CS последние десятилетия не развивается вообще никак - вместо поиска и развития альтернативных подходов легче написать диссер про никому не нужное расширение лямбда-хуямбда-омега-стрелки зигохистоморфическими препроморфизмами. Вообще, сложилось мнение, будто CS = исследования в области систем типов и больше исследовать нечего. Тупик, как есть. То есть, понятно, системы типов исследовать тупо _удобно_, но хотя бы в некоторой мере наука должна идти и от требований практики в том числе, потому что, блять, оно так всегда - полезные для практики задачи обычно неудобны. Хотя бы потому что помимо гарантии корректности у системы типов есть еще и конструктивистская функция. Но для адептов динамики это просто не понятно. Это для адептов статики непонятно, что есть и альтернативные ебле с типами подходы к разработке программ, потому что за узким статическим мирком для этих адептов жизни нет. И ты, кстати, ни о какой "конструктивистской функции" не упоминаешь - а прыгаешь по тредам, как еблан, и срешь везде на тему "но без типов даже факториала не напишешь".*

Внезапно утро на работе в субботу лучше, чем могло быть дома.

Купил молоко и кашу, хотел сделать себе кашки. Начал кипятить молоко - оно стало выделять воду и превращаться в какую-то хрень. Глянул - купил топленую. Думаю, ничего, так выпью. Начал пить - кислятина. FAIL. Кипячу воду чо.