codingteam@conference.jabber.ru

codingteam

09.02.2016< ^ >

Тема: Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Backup channel: codingteam@conference.codingteam.org.ru
HQ: http://codingteam.org.ru
Код постить сюда: http://hastebin.com/
Логи: http://tinyurl.com/ctcjr-logs
Morning Tsoding (вт, чт, сб, вс, збс): http://www.youtube.com/playlist?list=PLguYJK7ydFE75hzLFTKwMDVRkDlJ8rEiA
Let's Dev (когда Капитан на мостике): http://www.youtube.com/playlist?list=PLK6mcZkmN4QTusFvp_0GVtscQbCiIg81Y

[00:00:10] <Minoru> целую минуту предупреждал в чат, что сейчас будет смеяться
[00:00:11] <uggur> Славный капитан: Ты спишь с Minoru и вы друг-друга будите?
[00:00:12] <Славный капитан> Minoru: я видосы с хуйлоада смотрю
[00:00:23] <ɹǝɟılʍǝu> Уф
[00:00:23] <rexim> ШТА?!
[00:00:26] * ɹǝɟılʍǝu упоролся
[00:00:50] <Minoru> uggur: ну ты уже хуйню какую-то несёшь, честное слово. Побойся гнева Бога-Императора!
[00:01:22] <uggur> Minoru: Т.е. про лаконичные языки ты, в принципе, согласен? :)
[00:01:40] * uggur умеет убежать (:
[00:01:50] <Славный капитан> я не согласен
[00:02:05] <Славный капитан> твоя теорема не верна, т.к. у нее есть контрпример
[00:02:08] <ɹǝɟılʍǝu> Что у вас тут?
[00:02:12] <uggur> Славный капитан: расскажи :)
[00:02:18] <Славный капитан> Пёрл лаконичный, но хорошим языком не является.
[00:02:36] <Minoru> ɹǝɟılʍǝu: о! Ты-то точно знаешь! Глянь на мой вопрос экраном выше про количество функций с заданной сигнатурой
[00:02:40] <uggur> Славный капитан: Эмм..
[00:02:50] <uggur> Я вообще-то высказал необходимое условие
[00:02:53] <uggur> так что не контрпример
[00:03:05] <ɹǝɟılʍǝu> Minoru, это ж тупо вычисляется.
[00:03:18] <uggur> Контрпример -- это если ты назовёшь хороший язык с запутанным и усложнённым синтаксисом, либо с вербозными грамматиками
[00:03:28] <Minoru> ɹǝɟılʍǝu: да? А как? Можно кейвордами для гугла, если тебе так удобней
[00:03:31] <Славный капитан> ɹǝɟılʍǝu: если a -- это численный тип, то таких функций бесконечно много
[00:03:33] <ɹǝɟılʍǝu> Идёшь по дереву «типов».
[00:03:36] <uggur> Славный капитан: Malbolge, например
[00:03:55] <ɹǝɟılʍǝu> Славный капитан, думаю, он про типы...
[00:03:58] <ɹǝɟılʍǝu> Minoru, верно?
[00:04:15] <rexim> ˌˈ:3
[00:04:19] <rexim> ˈˌ:3
[00:04:21] <Minoru> я не понял вопроса, ɹǝɟılʍǝu
[00:04:21] <ɹǝɟılʍǝu> Славный капитан, какой численный?
[00:04:32] <ɹǝɟılʍǝu> натуральный, то их счётное кол-во.
[00:04:35] <Minoru> Славный капитан привёл хорошее замечание, на самом деле
[00:04:39] <Славный капитан> uggur: ML, H-l, Scala
[00:04:43] <ɹǝɟılʍǝu> Minoru, уф, тогда раскрой мысль.
[00:05:21] <Славный капитан> ɹǝɟılʍǝu: предположим, что а - тип из численной башни
[00:05:22] <uggur> Славный капитан: У Scala такой уж вербозный синтаксис?
[00:05:57] <ɹǝɟılʍǝu> числовой башни*
[00:06:20] <Славный капитан> тогда существует бесконечно много функций вида y(x) = x + C, где C - константа, натуральное число
[00:06:33] <Славный капитан> uggur: да
[00:06:36] <Minoru> окей, зайду издалека. В упоминавшемся выступлении автора Идриса он генерирует код zipWith исходя из его сигнатуры. Отсюда я делаю вывод, что в типе достаточно информации, чтобы существовала единственная удовлетворяющая типу имплементация. Отсюда вопрос: можно ли как-то по сигнатуре понять, сколько разных имплементаций ей удовлетворяют?
[00:06:59] <Славный капитан> а ко- или контравариантность это вообще ад какой-то
[00:07:05] <ɹǝɟılʍǝu> Minoru, ровно дохуя
[00:07:07] <uggur> Славный капитан: расскажи, почему?
[00:07:14] <ɹǝɟılʍǝu> Сигнатура не определяет имплементацию жеж
[00:07:29] <ɹǝɟılʍǝu> Ф-ция есть чёрный ящик)
[00:07:58] <Minoru> ɹǝɟılʍǝu: ну вот как-то же написали zipWith, руководствуясь лишь сигнатурой. Олсо повторюсь: в курсе по Haskell на Stepic утверждалось, что функция с сигнатурой a -> a всего одна (id).
[00:08:07] <Minoru> мы тут, очевидно, говорим о чистых функциях
[00:08:28] <ɹǝɟılʍǝu> Minoru, почему одна?
[00:08:35] <ɹǝɟılʍǝu> Хотя.
[00:08:39] <Minoru> придумай мне вторую :D
[00:08:40] <ɹǝɟılʍǝu> Да, согласен.
[00:08:40] <rexim> Minoru: это был просто удачный пример для создания Wow-эффекта на выступлении, не более того. Автор сам сказал, что все эти фичи не означают, что тебе не надо делать свою работу. ;)
[00:09:00] <Славный капитан> uggur: почитай исходники scalaz =)
[00:09:24] <uggur> а я не сойду с ума как ты^W^W?
[00:09:34] <Minoru> ну, я понимаю, что сгенерированное нужно ещё проверить. ПРосто мне интересно, можно ли в Idris добавить какую-то штуку, чтобы он сам генерировал функции, для которых возможна всего одна имплементация, например
[00:09:38] <Minoru> rexim:
[00:10:10] <ɹǝɟılʍǝu> Minoru, чисто по типу (без имени) можно наклепать много таких функций.
[00:10:13] <rexim> Эм... ты еще хочешь, чтобы он и типы за тебя писал?
[00:10:16] <rexim> Ну ты разашелся!
[00:10:17] <Славный капитан> uggur: нет, я еще раньше сошел^U
[00:10:21] <rexim> Совсем ленивый стал. %)
[00:10:41] <Славный капитан> так что как я не получится. но сойдешь^U
[00:10:50] <uggur> :D
[00:10:55] ≈(^o^)≈ зашёл в конференцию
[00:11:05] <ɹǝɟılʍǝu> Так, нужно зарядить нюка колы и присутпать к типам!
[00:11:19] <rexim> ɹǝɟılʍǝu: ˈˌ:3
[00:11:26] <rexim> ɹǝɟılʍǝu: ˌˈ:3
[00:11:30] <uggur> Славный капитан: "≈(^o^)≈ entered the room" кажется, ты призвал %)
[00:12:46] <ɹǝɟılʍǝu> rexim, :3
[00:12:47] <Minoru> rexim: нет. Типы я сам пишу, просто в какой-то момент Idris такой выскакивает из-за угла и^W^W^W^Wговорит: чувак, ты тут написал сигнатуру, для которой всего одна возможная реализация функции. Вот её код. Если нравится, жми лайк^W«Вставить», и она окажется у тебя в коде
[00:13:00] <Славный капитан> Minoru: что значит "функция, у которое есть всего одна имплементация"?
[00:13:09] <Minoru> ɹǝɟılʍǝu: ну, я функции по имплементациям различаю, а не по имени
[00:13:14] <Славный капитан> у любой функции есть одна имплементация -- своя собственная
[00:13:14] <ɹǝɟılʍǝu> Minoru, всё верно
[00:13:22] <rexim> Minoru: так он же это и так делает. На выступлении все показали.
[00:13:27] <ɹǝɟılʍǝu> Если у тебя две одинаковые сигнатуры — это «застревание».
[00:13:30] <rexim> Ладно
[00:13:33] <ɹǝɟılʍǝu> А!
[00:13:39] <ɹǝɟılʍǝu> Я вкурил чо Минора хотел
[00:13:42] <Славный капитан> если мы не говорим про чистое ООП
[00:14:10] <Minoru> Славный капитан: имелась в виду функция, удовлетворяющая типу, и реализовать её можно лишь единственным способом. Ну, как id. Ты можешь мне придумать функцию с типом a -> a, которая делает не то же самое, что id?
[00:15:00] <ɹǝɟılʍǝu> Собсна, функция с одной сигнатурой существует всегда одна.
[00:15:01] <Minoru> rexim: в выступлении не показано, может Idris понять, что решение одно, или нет. Я так понял, что там запускается просто поиск, и если бы нашлось больше одного решения, то Idris ругался бы (мол, уточняй входные данные)
[00:16:04] <ɹǝɟılʍǝu> Так, щас расчехлим линейную теорию типов!
[00:16:25] <Славный капитан> Minoru: что такое id?
[00:16:27] <Minoru> > <ɹǝɟılʍǝu> Собсна, функция с одной сигнатурой существует всегда одна.
Нет же. Назови мне функцию с сигнатурой (a -> Bool) -> [a] - [a]. А вторую такую функцию назвать можешь?
[00:16:35] <Славный капитан> единичная функция что ли?
[00:16:38] <Minoru> Славный капитан: id x = x. Да
[00:16:44] <ɹǝɟılʍǝu> Minoru, имя забываешь)
[00:17:17] <Minoru> ɹǝɟılʍǝu: имя компилятору или алгоритму ничего не скажет (ты же предлагаешь из имени угадывать, что там внутри должно происходить?)
[00:17:17] Mr.Purple зашёл в конференцию
[00:17:24] <Славный капитан> Minoru: интересную вещь заметил
[00:17:29] <ɹǝɟılʍǝu> Minoru, тип + имя.
[00:17:39] <ɹǝɟılʍǝu> Гарантирует уникальность.
[00:17:53] <ɹǝɟılʍǝu> Если её — уникальности — нет, то _застряли_.
[00:18:19] <ɹǝɟılʍǝu> В процессе построения дерева типов.
[00:18:33] <ɹǝɟılʍǝu> И ты получаешь шлепок по заднице.
[00:18:38] <Minoru> ɹǝɟılʍǝu: приехали. let { f1 = filter; f2 = filter; f3 = filter } in … — у меня четыре функции-фильтра, и все уникальные!
[00:18:38] <uggur> "предлагаешь из имени угадывать" ну, во всяких сомнительных технологиях есть конвенции именований...
[00:18:44] * DeadBot шлёпнул!
[00:18:46] <Славный капитан> для любой функции F(x) с сигнатурой a -> a существует функция F'(x) = F(F(x)), которая имеет такую же сигнатуру
[00:18:56] <Minoru> ɹǝɟılʍǝu: олсо, хватит отклоняться от темы. Я же только про сигнатуры говорил :(
[00:19:17] <Minoru> Славный капитан: окей. Чем это интересно?
[00:19:22] folex вышел из конференции
[00:19:23] <ɹǝɟılʍǝu> Minoru, ну так ты де и ответил на свой вопрос.
[00:19:30] <ɹǝɟılʍǝu> же*
[00:19:42] <Minoru> ой, простите, я отлучусь на десяток минут. Stay tuned!
[00:19:53] <ɹǝɟılʍǝu> Щито?
[00:20:08] <ɹǝɟılʍǝu> F'(x) = F(F(x)) это как?
[00:20:18] <Ender> почему никто из нас не играет в осу. =(
[00:20:22] <Славный капитан> тем, что если существует некоторая неединичная функция F(x) с сигнатурой a -> a, то количество функций с такой сигнатурой бесконечно.
[00:20:29] <ɹǝɟılʍǝu> Ender, айда в KF2!
[00:20:35] <Славный капитан> ɹǝɟılʍǝu: это не производная, а F-штрих
[00:20:36] <Ender> у меня его нету.
[00:20:45] <ɹǝɟılʍǝu> Славный капитан, ну вот тьфу блин
[00:20:50] * ɹǝɟılʍǝu отхлебнул нюки.
[00:21:06] <Ender> возможно, вы имели в виду "няки"?
[00:21:12] <Славный капитан> Ender: я в роксмит играю. good enough?
[00:21:13] <ɹǝɟılʍǝu> Нюка Кола, мать твою!
[00:21:30] <Ender> её где-то продают.
[00:21:47] <ɹǝɟılʍǝu> // на самом деле Тархун
[00:22:00] <Ender> Славный капитан, а фиг знает. я кроме порновара в думец ни с кем не играл больше ни во что.
[00:22:04] <Славный капитан> прозреваю, что это та же соса-сола, только на тяжелой воде
[00:22:15] <Ender> а я сейчас если и играю, то только в основном в osu!
[00:22:26] <Ender> миленькая игрулька на сишарпе. что ещё надо?
[00:22:51] <Ender> соса-сола на тяжёлой воде, кек.
[00:22:52] <Славный капитан> https://www.youtube.com/watch?v=KlCCIv3Je9k
[00:23:03] <Славный капитан> лущ всякой осы
[00:23:11] <Ender> ɹǝɟılʍǝu, охлади свой ряктор!
[00:23:19] <ɹǝɟılʍǝu> кряктор
[00:24:20] <Ender> Славный капитан, какая-то osu!mania
[00:24:45] <ɹǝɟılʍǝu> Славный капитан, с гитарой хоть?
[00:24:51] <Славный капитан> ɹǝɟılʍǝu: ага
[00:24:58] <ɹǝɟılʍǝu> Ну слава Мне!
[00:25:11] <Славный капитан> у меня например злющий кастомный эпифон ;3
[00:25:29] <Ender> https://www.youtube.com/watch?v=SB4AaHmK_UY
[00:25:57] <ɹǝɟılʍǝu> Славный капитан, а у меня!
[00:26:06] <ɹǝɟılʍǝu> Бля, я забыл какая у меня((
[00:26:16] <ɹǝɟılʍǝu> Надо бы привезти
[00:27:31] <Славный капитан> Ender: https://www.youtube.com/watch?v=new7xmgKFyA
[00:27:38] <Славный капитан> роксмит лущ ;3
[00:27:43] <ɹǝɟılʍǝu> Блин
[00:27:49] <ɹǝɟılʍǝu> Засоветуйте митола?
[00:27:55] <ɹǝɟılʍǝu> Под матан читать.
[00:28:06] <ɹǝɟılʍǝu> Славный капитан, вот ты
[00:28:11] rexim вышел из конференции
[00:28:28] <Славный капитан> под матан маткор надо %)
[00:28:49] <ɹǝɟılʍǝu> Так есть что годное на примете? /// вдруг что новое посоветуешь же
[00:29:47] <Славный капитан> ну Ensiferum хорош
[00:30:01] <Славный капитан> крайний альбом бодомов тоже ниче так
[00:31:19] <ɹǝɟılʍǝu> Славный капитан, неплохо // пусть и не маткор
[00:31:23] <Славный капитан> Origins и Evocation I за авторством Eluveitie
[00:32:38] <Славный капитан> и Flos Florum // хоть и не митол, но надо же земель продвигать ;3
[00:34:07] <Славный капитан> хоть они вокал и фейлят в 100 случаях из ста, но все же!
[00:39:46] <ɹǝɟılʍǝu> ((А Dаrkwood — клёвая игра ))
[00:44:49] <Mr.Purple> ɹǝɟılʍǝu: под матан нада idm а не митол
[00:45:03] <Mr.Purple> Славный капитан: записи у тебя есть:
[00:45:05] <Mr.Purple> ?
[00:45:06] <Славный капитан> idm?
[00:45:24] <Mr.Purple> Autechre первые два альбома, например
[00:45:31] <Славный капитан> который не интеллектуальная, не танцевальная и не музыка чо ли?
[00:45:38] <Славный капитан> да лучше мочой в кадык колоться!
[00:45:40] <Mr.Purple> https://www.youtube.com/watch?v=YwpW7LPvhxg
[00:46:20] <Mr.Purple> а для особо забористого матана можно Somatic Resonses - Adverts
[00:46:42] <Mr.Purple> https://www.youtube.com/watch?v=RUG9yMXhnz8
[00:46:44] <Mr.Purple> такое
[00:47:01] <Mr.Purple> (хоть это и ритмик нойз)
[00:47:06] <Славный капитан> для особо забористого матана голос кореи надо слушать
[00:47:14] <Mr.Purple> Славный капитан: дак а чочо
[00:47:20] <Mr.Purple> записи-то есть?
[00:47:34] <Славный капитан> 1) Врубаете любой подкаст Голос Кореи https://golos-korei.podfm.ru/northk/277/
2) параллельно врубаете любой rap sample, напр. отсюда https://soundcloud.com/freehiphopbeatsforyou
3) PROFIT
[00:47:54] <Mr.Purple> твоей гитары
[00:48:59] <Славный капитан> в смысле?
[00:49:04] <Mr.Purple> в прямом
[00:49:13] <Mr.Purple> сандклауд, бандкамп, етуб
[00:49:21] <Mr.Purple> гитарплеер, в конце концов
[00:49:35] dzhon вышел из конференции
[00:49:57] <Славный капитан> нет
[00:50:09] <Mr.Purple> диванно играю. последние два раза Mercyful Fate - In the Shadows включал и подбирал что мог
[00:50:29] <Славный капитан> кстати, надо роксмит постримить будет
[00:50:52] <Mr.Purple> Славный капитан: f
[00:51:00] <Mr.Purple> а что играешь?
[00:51:22] <Славный капитан> сейчас Avenged Sevenfold прохожу
[00:51:27] <Mr.Purple> сам или с пацанами?
[00:51:54] <Славный капитан> https://www.youtube.com/watch?v=sP-lNTVv19M
[00:52:07] <Славный капитан> ты с лора что ли?
[00:53:54] <Mr.Purple> нет
[00:54:04] <Славный капитан> тогда пройди по ссылке
[00:54:09] <Славный капитан> обещаю, все понятно станет
[00:54:38] <Славный капитан> все вопросы отпадут, останутся только "что делать?", "кто виноват?" и "ты меня уважаешь?"
[00:55:59] eaeee зашёл в конференцию
[00:57:04] <ɹǝɟılʍǝu> Minoru, короче, ты путаешь множества и типы.
[00:57:31] <ɹǝɟılʍǝu> Множества задают семантику, типы синтаксис.
[00:57:54] <Minoru> Славный капитан: ок, замечание касательно f(f(x)) принято. Переопределю равенство функций следующим образом: функции f и g считаются равными, если для всех x f(x) == g(x).
[00:58:15] <Minoru> в такой постановке посчитать количество возможных разных функций, удовлетворяющих заданной сигнатуре, можно?
[00:58:20] <Славный капитан> Minoru: нет
[00:58:34] <Славный капитан> я же сказал, для любой *неединичной* функции
[00:58:37] <Minoru> ∞ тоже считается ответом для «посчитать», если что
[00:58:59] <Славный капитан> >если существует некоторая неединичная функция F(x)
[00:59:07] <Minoru> тогда я не понял замечания
[00:59:12] <Minoru> зачем ты сделал эту оговорку?
[00:59:39] <Славный капитан> потому что так интереснее!
[00:59:58] <Minoru> это же было ещё когда я равенство функций через имплементации задавал. id.id было не равно id, id.id.id отличалось от id.id и id, и так далее
[01:00:00] <Mr.Purple> Славный капитан: у тебя живой аппарат есть?
[01:00:09] <Славный капитан> Mr.Purple: нет
[01:00:15] <Mr.Purple> печаль
[01:00:27] <Славный капитан> я когда переезжал, оставил комбо и проц младшему
[01:00:40] <Minoru> ɹǝɟılʍǝu: я не понимаю :(
[01:01:05] <Mr.Purple> Славный капитан: а играл в то время то же попсометалкор?
[01:01:13] <ɹǝɟılʍǝu> Minoru, первые три абзаца http://www.cs.ru.nl/~herman/onderwijs/provingwithCA/paper-lncs.pdf
[01:01:15] <Minoru> ɹǝɟılʍǝu: если ты будешь читать мои «a -> a» как «маппинг из множества A в само себя», ты сможешь ответить на мой вопрос? :)
[01:01:22] <Славный капитан> Mr.Purple: вот не надо
[01:01:41] <Славный капитан> митолкол я играл только два раза в жизни
[01:02:35] <Mr.Purple> Славный капитан: в группе играл? (комбики обычно просто так не покупают)
[01:02:49] <ɹǝɟılʍǝu> А на чём ещё играть?)
[01:02:53] <ɹǝɟılʍǝu> Кроме как не на комбике.
[01:03:00] <ɹǝɟılʍǝu> Не к ПК же подрубать!
[01:03:03] <Славный капитан> Первый раз, когда прослушивался в группу, второй раз на репетиции, перед тем, как мы решили каверить энсиферум, а не AILD
[01:03:17] <Mr.Purple> на бошке и кабинете 4x12
[01:03:47] <Mr.Purple> на 5150
[01:03:57] <Mr.Purple> какой-нибудь каркас
[01:04:01] <ɹǝɟılʍǝu> Mr.Purple, ты один из тех, кто счиатет, что Xeon не проц для десктопа?
[01:04:01] <Славный капитан> на неподключенной
[01:04:05] <Mr.Purple> heartwork, или что у них там
[01:04:09] <Mr.Purple> ɹǝɟılʍǝu: чоето
[01:04:09] <Славный капитан> питаться сырыми продуктами
[01:04:12] <Славный капитан> и все это вот
[01:04:15] <ɹǝɟılʍǝu> Ясн.
[01:05:15] * Ender всю жизнь играл "в линию"...
[01:05:19] <Mr.Purple> сам в проц играю
[01:05:25] <Mr.Purple> так что вы понели
[01:05:33] <Mr.Purple> что не сыроед
[01:06:01] <Славный капитан> Ender: а надо в Hi-Z!
[01:06:21] <Славный капитан> ну или хотя бы говнопред на операционнике сделать...
[01:06:23] <Minoru> ɹǝɟılʍǝu: ты имел в виду первые три абзаца из 2.1? То есть ты меня подталкиваешь к тому, что вопрос мой решается попыткой построить все такие функции и посмотреть на мощность получившегося множества?
[01:06:24] * Ender соврал. ту часть жизни, где он играл на фортепиано он играл не в линию. потому что играл на аналоговом инструменте. а потом в линию.
[01:06:40] folex зашёл в конференцию
[01:06:40] <ɹǝɟılʍǝu> Minoru, например, можно и так.
[01:06:45] <Ender> Hi-Z для педиков.
[01:06:54] <ɹǝɟılʍǝu> Хотя вопрос очень интересный, кстати...
[01:07:05] <ɹǝɟılʍǝu> Я даже задумался.
[01:07:20] <Ender> Славный капитан, ты гетару с активными звукоснимателями подключал в Hi-Z?
[01:07:21] <ɹǝɟılʍǝu> А можно ли в типы ёбнуть ещё и семантику?
[01:07:27] <Славный капитан> Ender: йеп
[01:07:33] <Ender> и как говно вкусное?
[01:07:34] <ɹǝɟılʍǝu> Как раз типизировать акторы получится!
[01:07:59] <Minoru> ɹǝɟılʍǝu: и тут я понял, что больше не могу об этом думать ._.
[01:08:06] <ɹǝɟılʍǝu> Minoru, (((
[01:08:09] <Minoru> ɹǝɟılʍǝu: короче, беру тайм-аут. Спасибо за ответы!
[01:08:15] <ɹǝɟılʍǝu> И с кем я буду общаться по теории типов?((
[01:08:17] <Minoru> Славный капитан: и тебе тоже спасибо
[01:08:17] <Славный капитан> Ender: не знаю, в линию не играл
[01:08:21] <ɹǝɟılʍǝu> КОГО Я ЕЩЁ ВОСПИТАЮ?!?!
[01:08:29] eternastudento вышел из конференции
[01:08:30] <Minoru> ɹǝɟılʍǝu: не-не, не вообще устал, а только на сегодня
[01:08:37] <ɹǝɟılʍǝu> .time
[01:08:38] <DeadBot> ɹǝɟılʍǝu: 09.02.2016 0:12:00
[01:08:39] <ɹǝɟılʍǝu> Ну ладно!
[01:08:59] <Minoru> («сегодня» — это до ближайшего сеанса полноценного сна)
[01:09:38] <Ender> Славный капитан, Я когда играл через emu0204 там мне Hi-Z понравился. Инструментальный же вход Scarlet 2i2, в которую я пхал эпифон лес потолок на этот раз с пасивными стоковыми звукоснимателями меня выбесил.
[01:10:18] <Ender> Я хуй знает чему, но оно краснело даже с выкрученной круглой хуёвинкой.
[01:10:50] <Ender> напротив, в линию было нормально, не краснело примерно на половинке и не шипело.
[01:10:54] <Ender> почти не шипело.
[01:11:02] <Ender> в миксе так и вообще норм.
[01:15:24] <Ender> http://pastexen.com/i/SVR40S6oQs.png
[01:15:55] <Славный капитан> Ender: да это как раз понятно почему
[01:16:24] <Славный капитан> потому что экранировантвой кабель был канцелярским скотчем, видимо
[01:16:42] <Ender> ЗА ПИЦОТ РУБЛЕЙ!
[01:16:50] <Ender> кабель в смысле. не скочч.
[01:16:53] <Славный капитан> и/или разъем раздрочен и не зануляет экран с одной или более сторон
[01:17:18] <Славный капитан> высокоимпедансный разъем же все помехи ловит как гребаная антенна
[01:17:47] <Ender> за что ему нужно поставить памятник. AVE LINE-IN!
[01:18:19] <Славный капитан> жлобиться не надо, вот что
[01:18:48] <Славный капитан> и всякие китайские говнокабели за пицот перебирать после покупки
[01:19:31] folex вышел из конференции
[01:19:53] folex зашёл в конференцию
[01:20:19] <Славный капитан> потому что если там экран не законтачен на холодный контакт со стороны гитары, то он превращается в неебическую антенну
[01:20:28] folex вышел из конференции
[01:20:58] <Mr.Purple> только серебро двухлетней выдержки в земле?
[01:21:01] folex зашёл в конференцию
[01:21:02] <Mr.Purple> ой
[01:21:12] folex вышел из конференции
[01:21:15] <Mr.Purple> или то тарелки были?
[01:21:19] <Славный капитан> у меня была кстати бухта серебряного кабеля
[01:21:37] <uggur> я закопал её за вторым поворотом М69
[01:21:39] <uggur> ой
[01:21:59] <Славный капитан> я из него межблочник запилил, ничего особенного не услышал
[01:22:20] <ɹǝɟılʍǝu> а я выпил тархун
[01:22:21] <ɹǝɟılʍǝu> ой
[01:22:22] <Славный капитан> ну и сдал на лом;3
[01:23:13] <uggur> "оно краснело даже с выкрученной круглой хуёвинкой" http://img-fotki.yandex.ru/get/16108/35931700.d8/0_d6fa4_edf41ac1_orig
[01:23:31] <DeadBot> А я умер
[01:23:34] <DeadBot> ой
[01:27:13] <Ender> http://pastexen.com/i/HvfnYGLukF.png
[01:35:06] <DeadBot> Ender: suffer
[01:40:53] <Ender> .ban DeadBot
[01:40:53] <DeadBot> Ender: фиг
[01:46:24] Славный капитан вышел из конференции
[01:58:42] <Minoru> ɹǝɟılʍǝu: в докладе «Effective ML» предлагают никогда не использовать _ в паттерн-метчинге, чтобы не терять преимуществ exhaustiveness checks
[01:58:59] <ɹǝɟılʍǝu> Хм.
[02:01:29] <Minoru> и модули предлагают импортировать с qualified (доклад вообще на OCaml сделан, я перевожу на Haskell). Мотивируют повышенной читабельностью
[02:02:14] <Minoru> вообще чувак начал с того, что в спорах при код-ревью нужно отдавать предпочтение читателям, а не писателям, потому что первые заботятся о читабельности, понятности и поддерживаемости кода, т.е. о важных вещах
[02:02:50] <ɹǝɟılʍǝu> Да.
[02:03:10] <Minoru> так-с, я тут посмотрел ещё двадцать секунд и понял, что нужно сначала досмотреть, а потом отчитываться :)
[02:04:05] <Minoru> в общем, он советует делать import поближе к месту использования
[02:04:21] <Minoru> можно даже несколько раз один и тот же модуль импортировать, если использования по всему файлу разбросаны
[02:05:23] <Minoru> но у него пример скорей про то, что «вот мне здесь быстренько заюзать библиотечку». То есть в модуле с парсерами EXPRESS всё же логично импортировать Attoparsec в самом начале :)
[02:06:03] Mr.Purple вышел из конференции
[02:06:50] <ɹǝɟılʍǝu> Ага!
[02:07:36] <Minoru> а в Haskell нельзя импортировать локально:
> The entities exported by a module may be brought into scope in another module with an import declaration *at the beginning of the module.*
(формулировка одинаковая и в 98-м, и в 2010-м репортах)
[02:08:01] <Minoru> настало время переходить на Python!
[02:09:33] <ɹǝɟılʍǝu> ._.
[02:16:13] grouzen зашёл в конференцию
[02:38:29] <Minoru> > Programs written in C also spend time garbage-collecting; it's just that the programmer also spends time writing the garbage collector, and it's probably not written very well.
Прикольная цитата из вышеупомянутого доклада.
[02:45:35] Minoru вышел из конференции
[02:48:16] ≈(^o^)≈ вышел из конференции
[03:00:16] Ender вышел из конференции: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[03:35:20] Славный капитан зашёл в конференцию
[04:48:57] grouzen вышел из конференции
[04:51:21] kokokossss зашёл в конференцию
[05:46:26] eaeee вышел из конференции
[06:01:28] Kumba_yo вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[06:14:27] rafaelrs вышел из конференции
[07:32:38] MaXGGXaM вышел из конференции
[07:37:54] MaXGGXaM зашёл в конференцию
[07:42:35] kpecmuk вышел из конференции
[07:49:33] kosc вышел из конференции
[08:27:56] Mr.Purple зашёл в конференцию
[08:40:39] <gsomix> .ping
[08:40:40] <DeadBot> gsomix: понг от тебя 0.44 секунды
[08:57:54] <gsomix> Утро.
[09:26:38] <ForNeVeR> Так точно!
[09:31:13] <Mr.Purple> утра
[09:31:26] Славный капитан вышел из конференции
[09:34:35] ckorzhik зашёл в конференцию
[09:57:15] dzhon зашёл в конференцию
[10:28:12] ckorzhik вышел из конференции
[10:28:14] ckorzhik зашёл в конференцию
[10:40:02] dzhon вышел из конференции
[10:56:08] OKTAVIUS вышел из конференции
[11:00:15] dzhon зашёл в конференцию
[11:16:19] Kumba_yo зашёл в конференцию
[11:20:39] kokokossss вышел из конференции
[11:24:04] kpecmuk зашёл в конференцию
[11:38:52] hdhog зашёл в конференцию
[11:42:20] (≈^-^≈) зашёл в конференцию
[11:43:53] <gsomix> http://projects.haskell.org/diagrams/
[11:43:56] <gsomix> Годно!
[11:45:12] dzhon вышел из конференции
[11:46:06] <gsomix> Вот бы посмотреть список хороших годных библиотек для Haskell.
[11:46:25] dzhon зашёл в конференцию
[11:46:46] <gsomix> А то все скидывают просто огромный список наименований и все. .__.
[11:56:18] ascrazy вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[12:00:56] ascrazy зашёл в конференцию
[12:01:27] ascrazy вышел из конференции
[12:02:38] m4n71k0r зашёл в конференцию
[12:11:53] kokokossss зашёл в конференцию
[12:22:11] ckorzhik вышел из конференции
[12:24:59] folex зашёл в конференцию
[12:29:30] <ForNeVeR> gsomix: да, классная библиотека, спасибо.
[12:30:24] <ɹǝɟılʍǝu> ForNeVeR, ДА ТЫ ЖЕ ДРУЖЕ ГСОМЯШИ
[12:30:33] <ForNeVeR> ._.
[12:33:00] <ForNeVeR> gsomix, ɹǝɟılʍǝu: а как бы эту штуку встроить в TeX?
[12:33:36] <ForNeVeR> Ну вот я прям так и вижу, что я описания диаграмм в диссертации делаю на Хаскеле прямо в tex-файлах, а они во время сборки отдаются на откуп этой прекрасной библиотеке. Так можно?
[12:33:42] <ɹǝɟılʍǝu> Хм.
[12:34:14] <ɹǝɟılʍǝu> ForNeVeR, возможно, можно инклудить вывод такой штуки.
[12:34:27] <ForNeVeR> ɹǝɟılʍǝu: и как это бы могло выглядеть?
[12:34:34] <ForNeVeR> Хотя, хм.
[12:34:49] <ForNeVeR> Можно просто из tex-файлов ссылаться на png, сгенеренные этой штукой. А билдскрипт отдельно держать.
[12:35:11] <ForNeVeR> Не так круто, возможно, но вполне практично. У меня всё равно для всех tex-документов нетривиальные билд-скрипты :)
[12:35:19] kpecmuk вышел из конференции: Replaced by new connection
[12:35:19] kpecmuk зашёл в конференцию
[12:35:21] <ɹǝɟılʍǝu> Хех
[12:35:49] <gsomix> Выучить чтоли хаскел.
[12:35:58] <ForNeVeR> Ну, например, я вызываю inkscape.com для каждого svg-файла, чтоб сгенерить их в PNG.
[12:36:26] <ForNeVeR> XeTeX поддерживает svg из коробки, но там какие-то непонятные проблемы со шрифтами, так что пришлось использовать рендер от Inkscape.
[12:39:52] <ɹǝɟılʍǝu> Фига ты.
[12:41:11] <ForNeVeR> Причём я не опечатался - натурально есть файл inkscape.com
[12:41:31] <ForNeVeR> Правда, на самом деле это нормальный pe32-бинарник. Не знаю, почему они так его назвали :)
[12:42:10] <ɹǝɟılʍǝu> омфг 0_0
[12:49:31] MaXGXaM зашёл в конференцию
[12:54:49] <gsomix> Качаю платформу.
[12:55:12] <gsomix> С этими языка одни проблемы — развелось их куча.
[12:55:33] <gsomix> s/ка/ками/
[12:58:30] <gsomix> И где-то одни библиотеки годные, где-то другие.
[12:59:22] rexim зашёл в конференцию
[13:00:01] <gsomix> И у меня от этого фрустрация.
[13:00:05] <rexim> Среднестатистическому node.js программисту требуется 3 года, чтобы научиться различать stdout и stderr https://github.com/shelljs/shelljs/issues/92
[13:00:22] <gsomix> То ли все языки сразу попробовать надо, то ли выучить парочку но хорошо. .__.
[13:01:12] <rexim> gsomix: изучай node.js
[13:01:25] <rexim> Node.js программисты - самые счастиливые люди на свете.
[13:01:38] <rexim> В их мире программы могут срать только из одной дырки.
[13:01:43] <gsomix> rexim, но я уже не смогу.
[13:01:48] MaXGXaM вышел из конференции: Replaced by new connection
[13:01:57] MaXGXaM зашёл в конференцию
[13:04:07] rexim вышел из конференции
[13:06:33] <gsomix> Но иногда мне кажется, что лучше бы я не знал про существование кучи различных языков и парадигм, угу.
[13:06:36] <gsomix> .__.
[13:06:40] <gsomix> Что со мной не так?
[13:17:08] * ForNeVeR хотел пошутить про deep bunny hole, но rexim уже убежал.
[13:28:39] <ɹǝɟılʍǝu> ForNeVeR, eb bunny v rote
[13:28:52] dzhon вышел из конференции
[13:28:58] <ForNeVeR> ɹǝɟılʍǝu: это ты самую суть уловил!
[13:29:08] dzhon зашёл в конференцию
[13:29:21] <Mr.Purple> your bunny wrote же
[13:29:46] kpecmuk вышел из конференции
[13:35:48] ascrazy зашёл в конференцию
[14:03:35] Славный капитан зашёл в конференцию
[14:03:54] <Славный капитан> $send rexim нормально выступил, короче.
[14:04:13] <Славный капитан> Они убили Хорту!
[14:06:37] <Славный капитан> Выяснили, что на SIGGRAPH мне еще рано выступать, но и собеседовал ни разу не Кармак.
[14:06:55] ascrazy вышел из конференции
[14:07:57] <Славный капитан> Жаль только, что та позиция, на которую я метил, уехала вместе с проектом в страну вечного бэклога =(
[14:08:58] <Mr.Purple> Славный капитан: что за страна? на кого собеседовался7
[14:09:58] <Славный капитан> http://dic.academic.ru/dic.nsf/dic_synonims/380743/страна
[14:10:43] <Славный капитан> собеседовался на старшего слесаря по полигонам и шейдерам
[14:11:20] <Mr.Purple> плюсцы и опежл?
[14:12:24] <Славный капитан> все это, плюс додиез, юнити и шейдоры в нагрузку
[14:16:06] grouzen зашёл в конференцию
[14:18:19] <ForNeVeR> Славный капитан: дак это, чо, не взяли?
[14:18:27] <ForNeVeR> Или ты дальше будешь собеседоваться?
[14:18:33] <Славный капитан> дальше буду
[14:19:45] horta hell зашёл в конференцию
[14:20:04] <Славный капитан> видел, кстати, человека, похожего на шмиксера ;3
[14:29:49] <Славный капитан> (они даже ниасилили мой проект собрать ._.)
[14:36:27] <ForNeVeR> А ты сам его собирал?
[14:39:19] Minoru зашёл в конференцию
[14:39:32] <Minoru> утро!
[14:40:47] <ForNeVeR> Affirmative!
[14:40:49] <Mr.Purple> орту
[14:47:00] <Славный капитан> ForNeVeR: да!
[14:47:14] <Славный капитан> я его в прямом эфире регулярно собираю
[14:47:45] <ForNeVeR> О, ты им прям вот эту игрулю показывал?
[14:48:26] dzhon вышел из конференции
[14:48:50] dzhon зашёл в конференцию
[14:49:03] <Славный капитан> ага
[14:51:21] <Славный капитан> ну пох, сейчас зашлю им сборку новой версии
[14:51:27] <Славный капитан> с кокококорутинами и боссом
[15:06:05] rafaelrs зашёл в конференцию
[15:40:35] kosc зашёл в конференцию
[15:46:08] grouzen вышел из конференции
[15:46:33] (≈^-^≈) вышел из конференции: Replaced by new connection
[15:46:36] (≈^-^≈) зашёл в конференцию
[15:50:00] m4n71k0r вышел из конференции
[15:51:02] m4n71k0r зашёл в конференцию
[15:56:01] <horta hell> Alf рычит от голода.
[15:56:24] <Minoru> $pet feed
[15:56:24] <horta hell> Minoru: Alf, покосившись, брезгливо жуёт подачку. Вы зарабатываете 1PTC.
[16:03:50] <MaXGXaM> $pet help
[16:03:50] <horta hell> MaXGXaM: Доступные команды: change-nick, stats, resurrect, transfer, rating, heal, feed, coins, kill
[16:04:03] <MaXGXaM> $pet status
[16:04:03] <horta hell> MaXGXaM: Попробуйте $pet help.
[16:04:14] <MaXGXaM> $pet stats
[16:04:15] <horta hell> MaXGXaM:
Кличка: Alf
Здоровье: 49
Сытость: 99
Возраст: 54 часов
[16:12:41] <m4n71k0r> почему тут https://www.reddit.com/r/haskell/ так много вопросов и так мало статей?
[16:21:33] * ForNeVeR вообще не понимает, что такое реддит.
[16:25:29] grouzen зашёл в конференцию
[16:30:35] <ɹǝɟılʍǝu> ForNeVeR, там бывает интересно.
[16:52:32] <Славный капитан> я у себя гейм-дизайнер https://trello.com/c/vktQ1AW2/25-first-level
[16:54:43] <ForNeVeR> Ого, а у тебя доска в трелло есть, организатор!
[16:57:54] folex вышел из конференции
[16:57:55] ckorzhik зашёл в конференцию
[16:58:26] folex зашёл в конференцию
[17:18:02] kpecmuk зашёл в конференцию
[17:27:52] MaXGXaM вышел из конференции
[17:37:14] dzhon вышел из конференции
[17:37:29] dzhon зашёл в конференцию
[17:52:03] rexim зашёл в конференцию
[17:52:34] <rexim> Славный капитан: ты молодец! :)
[17:52:39] <rexim> Удачи на следющих этапах!
[17:53:17] rexim установил(а) тему: Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Backup channel: codingteam@conference.codingteam.org.ru
HQ: http://codingteam.org.ru
Код постить сюда: http://hastebin.com/
Логи: http://tinyurl.com/ctcjr-logs
Morning Tsoding (вт, чт, сб, вс, збс)(09.20.2016 стрима нет): http://www.youtube.com/playlist?list=PLguYJK7ydFE75hzLFTKwMDVRkDlJ8rEiA
Let's Dev (когда Капитан на мостике): http://www.youtube.com/playlist?list=PLK6mcZkmN4QTusFvp_0GVtscQbCiIg81Y
[17:53:20] <rexim> Сорри
[17:53:22] <Славный капитан> rexim: спасибо
[17:53:30] <rexim> Надо кое-что закончить...
[17:53:33] <Славный капитан> я, короче, понял, в чем суть
[17:53:59] <Славный капитан> когда я не высыпаюсь, я веселый и злой
[17:54:20] <Славный капитан> всем почему-то нравится веселый и злой капитан.
[17:54:24] <Славный капитан> Люди странные.
[17:54:33] rexim вышел из конференции
[17:54:45] <Mr.Purple> good for ya
[17:54:56] <ForNeVeR> А когда высыпаешься - то грустный и добрый?
[17:54:56] <Славный капитан> в птх я тоже собеседовался после всенощного бдения над раскрашенной картой Европы
[17:55:02] <Славный капитан> ForNeVeR: йеп
[17:55:17] <ForNeVeR> Славный капитан: никому не нравится грустный капитан!
[17:56:04] <Славный капитан> (а перед тем трое суток кряду я писал код!)
[17:56:33] rexim зашёл в конференцию
[17:56:40] <Славный капитан> короче, я слишком упорот
[17:56:42] <Славный капитан> надо спать
[17:56:49] rexim установил(а) тему: Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Backup channel: codingteam@conference.codingteam.org.ru
HQ: http://codingteam.org.ru
Код постить сюда: http://hastebin.com/
Логи: http://tinyurl.com/ctcjr-logs
Morning Tsoding (вт, чт, сб, вс, збс)(09.02.2016 стрима нет): http://www.youtube.com/playlist?list=PLguYJK7ydFE75hzLFTKwMDVRkDlJ8rEiA
Let's Dev (когда Капитан на мостике): http://www.youtube.com/playlist?list=PLK6mcZkmN4QTusFvp_0GVtscQbCiIg81Y
[17:56:52] rexim вышел из конференции
[17:59:29] Славный капитан вышел из конференции
[18:01:37] Graf зашёл в конференцию
[18:01:39] Graf вышел из конференции
[18:03:39] portnov зашёл в конференцию
[18:10:40] * gsomix посмотрел на метапрограммирование в Julia.
[18:10:49] <gsomix> Круто, можно генерировать числодробилки.
[18:16:22] MaXGGXaM вышел из конференции: Вышел из Vacuum-IM
[18:18:56] <m4n71k0r> что-то не так с бенчмарками... http://julialang.org/#high-performance-jit-compiler
[18:19:28] <m4n71k0r> mandel
[18:20:31] MaXGGXaM зашёл в конференцию
[18:24:07] <gsomix> m4n71k0r, быстрее C получилось?
[18:24:11] <m4n71k0r> а, ок... это же учоные кот писали, а не программисты
[18:24:22] <m4n71k0r> какой-то пиздец https://github.com/JuliaLang/julia/blob/master/test/perf/micro/perf.c#L126
[18:25:00] <m4n71k0r> или это https://github.com/JuliaLang/julia/blob/master/test/perf/micro/perf.c#L81
[18:25:37] <gsomix> m4n71k0r, а что не так?
[18:25:48] MaXGGXaM вышел из конференции: Вышел из Vacuum-IM
[18:25:49] <m4n71k0r> gsomix: а ты в сишку умеешь?
[18:26:14] <gsomix> m4n71k0r, видел пару раз.
[18:31:40] <gsomix> m4n71k0r, .__.
[18:32:31] <m4n71k0r> по первой ссылке я там промазал... мне до сих пор интересно, почему вышло так, что mandel на сишке просел
[18:32:47] <m4n71k0r> казалось бы https://github.com/JuliaLang/julia/blob/master/test/perf/micro/perf.c#L59
[18:33:39] sss|zombie зашёл в конференцию
[18:33:51] <gsomix> m4n71k0r, а в qsort тебе рекурсия не понравилась?
[18:34:07] <m4n71k0r> gsomix: а зачем она нужна?
[18:34:10] <m4n71k0r> в сишке
[18:34:38] <m4n71k0r> стэк порвёт и пейсдос
[18:34:51] <gsomix> m4n71k0r, это типа просто код.
[18:35:32] <m4n71k0r> нет, это типа код, целью которого является показать, что динамические ЯП нужны
[18:35:39] <m4n71k0r> в том числе и джулька
[18:35:44] <m4n71k0r> с жабаскрыпом
[18:36:11] <gsomix> m4n71k0r, нет.
[18:36:12] <m4n71k0r> почему-то кода на пёрле нет
[18:36:35] <m4n71k0r> а нахер сравнивать динамические языки с нормальными?)
[18:37:25] <gsomix> m4n71k0r, надо просто было убрать Java, JS и Go.
[18:37:30] <gsomix> Тогда был бы нормальный бенчмарк.
[18:37:37] <m4n71k0r> gsomix: и Си убрать
[18:37:39] <gsomix> Нет.
[18:37:44] <m4n71k0r> пусть бы было сравнение с питоном
[18:38:01] <gsomix> Сравниваются языки с точки зрения применения для написания численных штук.
[18:38:23] <m4n71k0r> ну они никак не применимы, если нужна мощь
[18:38:34] <m4n71k0r> и применимы, если нужны рюшечки
[18:39:15] <m4n71k0r> это так весело перемножать матрицы на жабаскрыпе, видимо
[18:39:32] <gsomix> m4n71k0r, ну, я тебе и говорю, что JS там лишний.
[18:39:39] <gsomix> И Java с Go.
[18:39:41] <m4n71k0r> и Си
[18:39:45] <gsomix> Нет.
[18:39:49] <m4n71k0r> почему?
[18:39:52] <gsomix> На си пишут числодробилки.
[18:39:53] <m4n71k0r> он же не динамический
[18:40:02] <gsomix> И на фортране.
[18:40:07] <m4n71k0r> фортран - труп
[18:40:08] MaXGGXaM зашёл в конференцию
[18:40:19] <gsomix> И на всем остальном можно.
[18:40:26] <m4n71k0r> почему не на плюсах?
[18:40:35] <m4n71k0r> где C# ?
[18:40:42] <m4n71k0r> F# ?
[18:40:44] <m4n71k0r> Haskell
[18:41:22] <m4n71k0r> почему на джаве не пишут числодробилки?
[18:41:28] <m4n71k0r> чем Go плох?
[18:41:44] <m4n71k0r> странные критерии
[18:44:26] <gsomix> m4n71k0r, на C#/F# это не очень приятно делать, на мой вкус.
[18:44:39] <gsomix> На Haskell — что-то из разряда черной магии.
[18:44:50] <m4n71k0r> а на питоне почему приятно?
[18:44:55] <m4n71k0r> он же тормоз
[18:44:59] <gsomix> Потому что все пишут.
[18:45:12] <m4n71k0r> миллионы мух
[18:45:36] <gsomix> Если убрать JS, Java и Go, то там получится списко самых популярных языков для написания всякой численной математики.
[18:45:58] <gsomix> m4n71k0r, а Julia изначально делается для такой математики. В отличие от питона.
[18:46:04] <gsomix> Поэтому твои претензии мне непонятны.
[18:46:41] <m4n71k0r> gsomix: для такой математики, которая использует в основе либы на сишке?
[18:46:49] <gsomix> В бенчмарке, например, не хватает JIT для питона.
[18:46:51] <m4n71k0r> что за математика?)
[18:47:11] <gsomix> m4n71k0r, вычислительная что-нибудь.
[18:47:22] <m4n71k0r> ну и на пацкале такую писали и что?
[18:47:32] <gsomix> Ну и на джаве такую можно писать.
[18:47:51] <gsomix> Но лично я не стану, а возьму си или матлаб.
[18:48:00] <gsomix> В зависимости от требуемой скорости.
[18:48:05] <gsomix> И возможности векторизовать задачу, например.
[18:51:11] <gsomix> > а на питоне почему приятно?

Простой код. И его мало.
[18:51:17] <gsomix> На си код сложный и его много.
[18:52:59] <ɹǝɟılʍǝu> Пиши на хаскеле
[18:53:02] <ɹǝɟılʍǝu> Там даже меньше
[18:53:10] <gsomix> ɹǝɟılʍǝu, числодробилки?
[18:53:18] <ɹǝɟılʍǝu> Что угодно.
[18:53:21] <gsomix> > что-то из разряда черной магии.
[18:53:36] <ɹǝɟılʍǝu> Да почему?!
[18:54:45] <gsomix> ɹǝɟılʍǝu, 1) Haskell сложный; 2) оптимизация Haskell кода еще сложнее.
[18:54:58] <ɹǝɟılʍǝu> 1) почему?
[18:55:53] <gsomix> ɹǝɟılʍǝu, чтобы использовать библиотеку тебе может понадобиться знание кучи терминологии и каких-то хитрых решений. Это даже в книжке, что ForNeVeR рекомендовал, пишут.
[18:56:11] <ForNeVeR> Я рекомендовал книжки?
[18:56:55] kokokossss вышел из конференции
[18:58:48] <m4n71k0r> ничего та мне хитро... берёшь х-лелопату и хуяришь...
[18:58:56] <m4n71k0r> в монаду только заверни
[19:00:45] <gsomix> m4n71k0r, какой-то рокетсайнс просто для того, чтобы посчитать какой-нибудь хуйни.
[19:01:52] <gsomix> Я не понимаю вашего снобизма, короче.
[19:01:57] m4n71k0r вышел из конференции
[19:03:24] <ForNeVeR> gsomix: а я вот с тобой не согласен.
[19:03:39] <ForNeVeR> gsomix: хаскель настолько сложнее конвенционного языка, насколько сложнее его система типов.
[19:03:48] <ForNeVeR> gsomix: то есть ненамного, если честно.
[19:04:10] <ForNeVeR> А дальше уже сказывается, что с конвенционным языком ты знаком, а с хаскелем ещё нет.
[19:05:16] <Mr.Purple> ForNeVeR: пили lco-урок про это
[19:05:43] <ForNeVeR> Чо он говорит?
[19:07:32] <gsomix> ForNeVeR, нужна какая-то мотивация, чтобы ознакомиться с Haskell.
[19:07:59] <gsomix> Знать, чем он сделает мою жизнь лучше в конкретной ситуации.
[19:08:34] <gsomix> Ни мантикор, ни ɹǝɟılʍǝu числодробилок на математики не пишут, насколько я понял.
[19:08:40] <gsomix> И ничего сказать мотивационного не могут.
[19:08:47] <gsomix> *на Haskell
[19:08:53] <ForNeVeR> Дедфуд пишед.
[19:09:05] <gsomix> Я его с радостью послушаю.
[19:09:39] <ɹǝɟılʍǝu> Я на работе прототипирую.
[19:09:45] <ɹǝɟılʍǝu> И щас пишу автопостер.
[19:09:50] <ForNeVeR> А я на работе работаю!
[19:11:19] <gsomix> ɹǝɟılʍǝu, мне будет интересно послушать, когда/если ты начнешь гидродинамику на Haskell.
[19:11:33] <ɹǝɟılʍǝu> gsomix, не раньше магистерской.
[19:12:01] <gsomix> Пока что мне непонятен профит чистого функционального языка в алгоритмах, которые целиком и полностью про изменяемые состояния.
[19:12:08] <ɹǝɟılʍǝu> Сначала типизировать акторы.
[19:12:10] <gsomix> И мало того.
[19:12:15] <ɹǝɟılʍǝu> А это Idris/Coq.
[19:12:27] <gsomix> Алгоритмы императивные с рождения.
[19:13:03] <ɹǝɟılʍǝu> На счёт динамического программирования может и соглашусь.
[19:14:35] <ForNeVeR> gsomix: чисто функциональный язык умеет в изменяемые состояния.
[19:14:56] <ForNeVeR> gsomix: берёшь какой-нибудь ST, в него всё заворачиваешь - и внутри мутируешь. А наружу отдаёшь в ридонли
[19:15:02] <ForNeVeR> Frege так делает.
[19:15:22] <ForNeVeR> (ну, я в хаскеле такого и не пробовал, если честно, а вот во Frege - кажись, пробовал)
[19:15:30] (≈^-^≈) вышел из конференции
[19:15:34] <gsomix> ForNeVeR, а что взамен?
[19:16:15] <ForNeVeR> gsomix: взамен исключается классы ошибок, связанные с мутабельностью, а в более общем смысле - с нежелательными эффектами.
[19:17:08] <ForNeVeR> Ну а вообще, у меня нету каких-то серьёзных аргументов в таком ключе.
[19:17:18] <ForNeVeR> Я считаю, что если система типов круче - то и язык круче.
[19:17:34] <ForNeVeR> Ну а тайпклассы - это хорошо.
[19:17:52] <ForNeVeR> Был бы язык с тайпклассами и сабтайпингом одновременно - ых, цены б ему не было!
[19:20:02] <ForNeVeR> Надо бы Nemerle посмотреть. Чего там вообще надобавляли, пока я гулял?
[19:20:12] <ɹǝɟılʍǝu> Не смотрел пока.
[19:22:41] <Minoru> его же в Nim переименовали, вроде
[19:22:56] <ForNeVeR> Э, нет, бро, ты очень сильно путаешь всё.
[19:23:04] <ForNeVeR> Nemerle никуда не девали и не переименовывали.
[19:23:11] <ForNeVeR> Это Nimrod переименовали в Nim.
[19:25:25] <Minoru> а, окей
[19:25:50] <ɹǝɟılʍǝu> Minoru, смотри! http://www.fontsquirrel.com/fonts/TeX-Gyre-Cursor
[19:25:55] <ɹǝɟılʍǝu> Пишу кот на таком шрифте
[19:26:02] * ɹǝɟılʍǝu довольне пегасе
[19:27:46] <Minoru> красивенько, да :)
[19:36:49] grouzen вышел из конференции
[19:37:08] portnov вышел из конференции
[19:37:38] portnov зашёл в конференцию
[19:38:47] folex вышел из конференции
[19:39:23] folex зашёл в конференцию
[19:39:32] folex вышел из конференции
[19:51:42] dzhon вышел из конференции: Replaced by new connection
[19:51:44] dzhon зашёл в конференцию
[19:51:59] dzhon вышел из конференции: Replaced by new connection
[19:51:59] dzhon зашёл в конференцию
[19:52:57] folex зашёл в конференцию
[19:53:43] eternastudento зашёл в конференцию
[19:54:40] eternastudento вышел из конференции
[20:07:36] <gsomix> ForNeVeR, .__.
[20:10:17] <gsomix> ForNeVeR, мне тоже кажется, что система типов решает. Но это в абстрактном смысле, а чисто прагматически я склоняюсь к другим показателям крутости.
[20:11:36] <gsomix> И в динамической Julia, например, можно указание типов опционально. И multiple dispatch есть.
[20:11:48] <gsomix> И вообще это такой лисп с JIT.
[20:11:49] eternastudento зашёл в конференцию
[20:11:56] <gsomix> ForNeVeR, чего мантикор взъелся?
[20:14:30] <Minoru> про optional/gradual typing в недавнем выпуске «Бананов и линз» Рома Чепляка мнение высказал
[20:14:35] <ForNeVeR> gsomix: мне кажется, что показатели крутости языков у нас с тобой сходятся, только границы немного разнятся.
[20:14:50] <ForNeVeR> gsomix: вот Coq с мощной системой типов я не считаю практичным, а Haskell - уже считаю.
[20:15:00] <ForNeVeR> gsomix: а ты просто ещё Хаскель тоже не считаешь практичным!
[20:15:10] <ɹǝɟılʍǝu> Coq же для доказательств и исследований.
[20:15:24] <ForNeVeR> Но можно и запрогать!
[20:15:47] <ɹǝɟılʍǝu> Конечно.
[20:16:16] <Minoru> мол, сила типизации не в том, чтобы во время компиляции убедиться, что ты всегда передаёшь int в качестве параметра, а в том, что ты можешь наплодить newtype-ов (typedef в C и C++) и получать ошибки компиляции, когда вместо Celsius передаёшь Farenheit
[20:16:29] <Minoru> (примеры не Ромины, но суть мысли я стараюсь передать верно)
[20:16:58] <Minoru> и тут получается, что optional и gradual typing нас к такому использованию типов не подталкивают, и в итоге мы от типов особого профита не имеем
[20:18:30] <gsomix> Minoru, почему не подталкивают?
[20:18:51] <gsomix> Мне кажется, что опциональные типы + multiple dispatch тоже об этом.
[20:18:58] <gsomix> Наплодить типов.
[20:19:05] <gsomix> Для них описать функции.
[20:19:28] <gsomix> Только вместо ошибок компиляции будут ошибки времени исполнения.
[20:23:28] <ɹǝɟılʍǝu> И это лучше выбор?
[20:23:49] <gsomix> ɹǝɟılʍǝu, нет.
[20:23:53] <ɹǝɟılʍǝu> Эти ошибки трудней и болезненней выявлять.
[20:24:00] <gsomix> В абстрактном смысле.
[20:24:06] rexim зашёл в конференцию
[20:24:24] <gsomix> Если бы мне не нужно было писать код, то я бы всегда выбирал строгую статическую типизацию.
[20:24:29] <gsomix> С самой мощной системой типов.
[20:24:55] Mr.Purple вышел из конференции
[20:26:00] <gsomix> ɹǝɟılʍǝu, но почему-то такого языка с популяностью питона, например, нет.
[20:26:11] <gsomix> Ну, для определенного круга задач.
[20:26:18] <gsomix> Которые я всегда подразумеваю.
[20:27:00] <ɹǝɟılʍǝu> Я, кстати, перестал понимать, что имеет сказать Гсомикс...
[20:27:13] <Minoru> gsomix: начни с проверки того, есть ли в Julia newtype-ы
[20:28:23] <ɹǝɟılʍǝu> typedef, кстати, не newtype
[20:28:27] <ɹǝɟılʍǝu> Это alias.
[20:29:35] <rexim> А где капитанушка? =(
[20:30:31] <gsomix> Minoru, а давай ты мне еще скажешь, что это такое.
[20:30:37] <gsomix> Чтобы я не ошибся.
[20:30:39] <gsomix> При поиске.
[20:31:12] <gsomix> ɹǝɟılʍǝu, я говорю то же самое, что ForNeVeR на ‎[20:18:07].
[20:31:14] <rexim> gsomix: you sound so sassy today =3
[20:31:24] <rexim> I like that
[20:31:30] <ɹǝɟılʍǝu> .time
[20:31:31] <DeadBot> ɹǝɟılʍǝu: 09.02.2016 19:34:56
[20:31:36] <ɹǝɟılʍǝu> gsomix, где? ._.
[20:31:37] <gsomix> А, черт.
[20:31:53] <gsomix> ɹǝɟılʍǝu, 19:18 c поправкой на пояс.
[20:32:12] <gsomix> rexim, Капитан спит.
[20:32:20] <rexim> gsomix: ага, спасибо
[20:32:24] <rexim> Не буду его будить.
[20:32:29] <rexim> Пусть выспится и подобреет
[20:33:37] <Minoru> ɹǝɟılʍǝu: а, ок. typedef — это Хаскелевский type
[20:33:46] <Minoru> gsomix: минутку, я перепроверяю, не переврал ли Рому
[20:37:09] <gsomix> Minoru, хорошо.
[20:37:18] <gsomix> А я пока посмотрю документацию Julia по типам.
[20:37:41] <Minoru> ок, проверил, не переврал. Референс: выпуск 21, 24-я минута
[20:38:20] <gsomix> Minoru, ну, что ищем?
[20:38:57] <Minoru> gsomix: newtype — это такой способ обернуть существующий тип в новый конструктор и таким образом получить новый тип. Фактически это сахар для ADT с одним конструктором, у которого один параметр; кроме того, он после тайпчекинга полностью уходит из кода и потому не влияет на производительность
[20:39:33] <Minoru> таким образом, ты можешь написать:
newtype Celsius = Celsius Int
newtype Fahrenheit = Fahrenheit Int
и дальше в коде ты эти два инта уже никогда не перепутаешь
[20:39:49] <Minoru> gsomix: вот что-то такое и ищем.
[20:39:59] <rexim> Minoru: спасибо
[20:40:17] <Minoru> rexim: пожалуйста. А за что?
[20:40:33] <ɹǝɟılʍǝu> rexim, спасибо.
[20:40:34] <gsomix> Minoru, это можно сделать через subtyping в Julia.
[20:40:37] <rexim> Minoru: за newtype. Я давно хотел это погуглить, но как-то не до этого было. :)
[20:40:45] <rexim> А тут в чятике взял и все объяснил
[20:40:46] <rexim> Спасибо.
[20:40:54] <ɹǝɟılʍǝu> Спасибо!
[20:41:20] <Minoru> gsomix: а ошибки при попытке подсунуть Celsius там, где ждём Fahrenheit, точно будут?
[20:41:31] <gsomix> Сейчас проверю.
[20:42:19] <Minoru> gsomix: я же так понимаю, «через сабтайпинг» — это сказать, что Int является надтипом Celsius и Fahrenheit?
[20:42:29] <gsomix> Да.
[20:48:45] <rexim> ForNeVeR: https://github.com/emacs-mirror/emacs/blob/master/lisp/play/gamegrid.el
[20:49:04] <rexim> И, судя по результатам гугления, мало кто про это знает =)
[20:50:21] <rexim> Да, у емакс есть простенький встроенный движок для grid-based игр
[20:50:49] <rexim> На нем тетрис построен.
[20:50:53] <rexim> Чисто случайно узнал.
[20:56:36] <rexim> Но мы запилим круче
[20:58:53] <rexim> gsomix: https://www.youtube.com/watch?v=y0vQKcYnMfw
[21:15:52] dzhon вышел из конференции
[21:19:03] m4n71k0r зашёл в конференцию
[21:19:09] m4n71k0r вышел из конференции
[21:19:13] m4n71k0r зашёл в конференцию
[21:25:18] <ɹǝɟılʍǝu> rexim, ты такой фырка
[21:29:35] a1batross зашёл в конференцию
[21:32:01] <horta hell> Alf умер в забвении с гримасой страдания на морде. Все теряют по 1PTC.
[21:32:15] <m4n71k0r> $pet resurrect
[21:32:15] <horta hell> m4n71k0r: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[21:35:04] a1batross вышел из конференции: Disconnected: closed
[21:40:50] sss|zombie вышел из конференции
[21:42:07] a1batross зашёл в конференцию
[22:04:49] Graf зашёл в конференцию
[22:04:52] Graf вышел из конференции
[22:06:46] <ɹǝɟılʍǝu> Minoru, ты тут?
[22:06:59] <Minoru> да
[22:07:11] <ɹǝɟılʍǝu> Minoru, у меня проблема!
[22:07:13] <ɹǝɟılʍǝu> maybe_beginning <- A.peekChar '"'
case maybe_beginning of
Just Char -> do
[22:07:24] <ɹǝɟılʍǝu> Какого хера он ругается на Char тут? =)
[22:07:29] <ɹǝɟılʍǝu> Nox.hs:55:14:
Not in scope: data constructor `Char'
Perhaps you meant variable `A.char' (imported from Data.Attoparsec.Text)
[22:07:40] <ɹǝɟılʍǝu> Data.Char заимпорчен
[22:07:45] <Minoru> потому что это конструктор типа
[22:08:21] <rexim> ɹǝɟılʍǝu: напиши x :: Maybe Char ->
[22:08:27] <rexim> Или типа того
[22:08:37] <rexim> Не уверен, что сработает, но идея такая
[22:08:42] <Minoru> ты после Just должен был написать имя, к которому будет привязано значение, которое внутри Just, а написал имя конструктора типа
[22:09:34] <ɹǝɟılʍǝu> А, тьфу
[22:17:41] <rexim> Minoru: вот эта программка в скопилированном виде обрабатывает 10^5 сиволов за 12 секунд https://github.com/rexim/ebf/blob/9c6ff72dacd8cd797b264aefaefc8de0d9b9b0f3/samples/rot13.el
[22:17:51] <gsomix> Minoru, слушай, если newtype — это сахар, то мне же достаточно просто объявить соответствующие ADT с одним конструктором.
[22:18:57] <Minoru> gsomix: окей, тогда я отзываю утверждение о том, что это сахар. Ты прав.
[22:19:42] <Minoru> rexim: переедь подальше от упоринового завода уже, а то это всё плохо закончится!
[22:19:47] ≈(^o^)≈ зашёл в конференцию
[22:19:53] <rexim> Хм...
[22:20:02] <gsomix> m4n71k0r, а чем тебе еще Julia не нравится, кроме динамической типизации?
[22:20:09] <rexim> Minoru: ладно, извини. Не буду тебя больше с этим доставать.
[22:21:02] <Minoru> rexim: я просто как-то на Brainfuck поглядел, порадовался идее и забил. Я не знаю, почему тебя прикалывает возиться с его компиляцией :(
[22:22:15] <gsomix> Minoru, там еще typealias есть, но по ним dispatch не делается.
[22:22:21] <gsomix> Может запилят когда-нибудь.
[22:22:41] <Minoru> так ты это, выяснил, есть newtype в Julia?
[22:22:51] <Minoru> и что за dispatch? Патерн-матчинг?
[22:23:16] <gsomix> Minoru, newtype нет. Ну, если это больше, чем сахар.
[22:24:47] <gsomix> Minoru, https://en.wikipedia.org/wiki/Multiple_dispatch
[22:24:48] <Minoru> на самом деле в рамках данной дискусии достаточно, чтобы была возможность удобно создать новый тип. То, что это можно сделать с нулевой стоимостью с точки зрения производительности — это уже плюшки.
[22:25:00] <Minoru> можно в Julia простенько создать новый тип?
[22:26:01] <gsomix> Minoru, в одну строчку? Нет.
[22:26:30] <gsomix> Но я уже не понимаю, какое это имеет отношение к optional typing.
[22:27:07] <Minoru> окей, давай я ещё раз объясню, в этот раз начав чуть дальше
[22:28:08] <gsomix> Minoru, забей.
[22:28:14] <Minoru> польза от типов какая? Они ограничивают твою программу (запрещают тебе писать какой-то код). Программисты умеют пользоваться типами так, чтобы запрещать написание кода с багами. Для этого они пытаются вынести в типы некоторые кусочки семантики
[22:28:29] <Minoru> точно забить? Я уже начал писать :)
[22:28:32] <gsomix> Да.
[22:28:34] <Minoru> и мнене влом
[22:28:35] <Minoru> :(
[22:28:37] <gsomix> Я знаю, зачем нужны типы.
[22:31:06] portnov вышел из конференции
[22:31:32] <Minoru> окей, тогда я перейду сразу к сути: т.к. авторы систем optional/gradual typing не смотрят на типы как инструмент разработки, в итоге получаются поделки, годящиеся только запрещать передачу Int вместо String
[22:31:39] <Minoru> т.е. такие системы бесполезны
[22:31:45] <gsomix> Да, я понял, спасибо.
[22:32:24] <gsomix> Про это мне еще m4n71k0r напомнил сегодня.
[22:32:28] <gsomix> "Бесполезны", да.
[22:32:41] <gsomix> Надоел мне этот снобизм.
[22:36:24] <ɹǝɟılʍǝu> gsomix, я всё ещё не понимаю, чего ты хочешь)
[22:36:35] <Minoru> окей, признаю, что я преувеличиваю. Optional/gradual typing лучше динамической типизации, если ты хочешь двигаться в сторону типизации твоего кода. Но это все равно очень слабая типизация.
[22:36:54] <Minoru> ɹǝɟılʍǝu: видимо, того, чтобы мы перестали относиться ко всему, что слабее Хаскеля, как к говну
[22:37:06] <ɹǝɟılʍǝu> А я и не отношусь.
[22:37:14] <ɹǝɟılʍǝu> Я даже на плюсах пишу.
[22:38:03] <gsomix> ɹǝɟılʍǝu, я ничего не хочу.
[22:38:14] <gsomix> Меня просто раздражает местная нетерпимость.
[22:39:10] <rexim> Нетерпимость к чему? К местной нетерпимости?
[22:39:12] <ɹǝɟılʍǝu> Нетерпимость?..
[22:39:37] <gsomix> К питону, к пхп, к динамическим языкам, к чужим потребностям.
[22:39:45] <ɹǝɟılʍǝu> Ну окей. Если говорить про меня, у меня есть претензии к инструментам, которые пользуются мной реально.
[22:39:55] <ɹǝɟılʍǝu> >к чужим потребностям.
Где?
[22:40:11] * ɹǝɟılʍǝu видит проблему и пытается её решать.
[22:40:20] <gsomix> Ну вот m4n71k0r знает лучше, что нужно использовать «учоным».
[22:40:24] <gsomix> И как писать код.
[22:40:33] <m4n71k0r> мне похуй на твою нетерпимость)
[22:40:40] <m4n71k0r> иди поной в углу
[22:41:03] <ɹǝɟılʍǝu> gsomix, ну, пиши на чём хочешь, в чём проблема-то?
[22:41:04] <m4n71k0r> или пиши код
[22:41:08] <ɹǝɟılʍǝu> Мне вот уггур не нравится.
[22:41:12] <ɹǝɟılʍǝu> Например.
[22:41:15] <ɹǝɟılʍǝu> Но мне же похуй.
[22:41:18] <m4n71k0r> мнепохуй на уггура
[22:41:24] gsomix вышел из конференции: offline
[22:41:31] <ɹǝɟılʍǝu> ЯННП
[22:41:59] <m4n71k0r> ноет и ноет
[22:42:03] <m4n71k0r> жулька хуюлька
[22:42:12] <m4n71k0r> вон котлин написали
[22:42:17] <m4n71k0r> никому не нужный язык
[22:42:21] <m4n71k0r> и пишут же на нём
[22:42:31] <m4n71k0r> мозгоструи
[22:42:51] <m4n71k0r> или опять же немерле
[22:46:59] <rexim> Эх...
[22:47:04] <rexim> Это я его испортил...
[22:47:19] * rexim внушает людям ложное чувство атмосферы радуги и единорогов
[22:48:48] <m4n71k0r> да ладно, всё равно уже времена не те... фуд не тот, анализёра нет... грустнота, толстые тролли перевелись
[22:48:55] <m4n71k0r> мура нет
[22:49:01] <rexim> m4n71k0r: ты еще здесь
[22:49:40] <m4n71k0r> я научил дишку реагировать на изменение размеров консольки вот
[22:49:56] <m4n71k0r> осталось выводить буфер и учитывать z-order
[22:50:14] <m4n71k0r> ну ещё красивые ascii-эффекты
[22:50:32] <rexim> m4n71k0r: ты такой молодец! =3
[22:50:41] <m4n71k0r> int main(string[] argv){
auto c = new Console();

writeln("Hello D-World!");

c.keyboardEventsHandler() += delegate (Az a, KeyboardEvent e) {
writeln(".");
};

c.sizeEventsHandler() += delegate (Az a, SizeEvent e) {
writeln("\n" ~ e.oldValue.toString ~ " -> " ~ e.newValue.toString);
};

c.run();
return 0;
}
[22:50:48] <m4n71k0r> ой, код не туда
[22:50:48] <rexim> А вот щас немолодец!
[22:50:52] <m4n71k0r> да
[22:50:53] <rexim> .\_/.
[22:50:57] <m4n71k0r> бебебе
[22:51:05] <Minoru> ascii-эффекты «s'ehalo», «razneslo», «slomalos'», «raspidorasilo»
[22:51:16] <m4n71k0r> не
[22:51:41] <m4n71k0r> я могу блымкать шрифтом, бэкграундом и фореграундом
[22:51:49] <m4n71k0r> вот и всё эффекты
[22:52:04] <m4n71k0r> а...ещё бипать могу
[22:52:11] <m4n71k0r> но это не аски-эффект
[22:52:34] <m4n71k0r> а ещё я устал от того что штудия ломается)
[22:56:15] <rexim> m4n71k0r: почини!
[22:56:19] <rexim> Стоп
[22:56:21] <rexim> Ах
[22:56:23] <rexim> Оу...
[22:56:26] <rexim> %)
[22:56:40] <rexim> Ну, ты знаешь, что с такими вещями надо делать.
[22:56:53] <m4n71k0r> отдать детям!
[22:57:11] <rexim> Хм... Ты так ненужные вещи выбрасываешь, да?
[22:57:14] <rexim> Ну чтож
[22:57:40] <m4n71k0r> ну детям дают отвёртки, плоскогубцы и ненужную вещь
[22:57:46] <rexim> Ок
[22:57:49] <m4n71k0r> можно молоток дать
[22:57:57] <rexim> Миксер не забудь!
[22:59:53] <Minoru> rexim: ох…
[22:59:57] <Minoru> как бы тебе сказать…
[23:00:21] <Minoru> > ну детям дают отвёртки, плоскогубцы и ненужную вещь
> отвёртки, плоскогубцы и ненужную вещь
> ненужную вещь
._.
[23:00:36] <rexim> Я тебя тоже люблю, Minoru
[23:00:40] <Minoru> день злости в Цодингтиме ._.
[23:00:58] <Minoru> хорошо, что через два часа он закончится, и начнётся год радости!
[23:01:04] <rexim> Почему? Я от чистого сердца. :)
[23:01:23] <rexim> Ты же меня знаешь.
[23:01:54] <m4n71k0r> а что сделал eaeaeaeeaeaeeaeaeaeaeaeeaeaeae?
[23:02:48] <m4n71k0r> жил бы тихий модер, любил сисярп...
[23:03:00] <rexim> public interface ICustomToolConfigurationRuntime {
void getTools();
}
[23:03:41] <Minoru> rexim: я про свою шутку
[23:03:49] <Minoru> а что с eaea…?
[23:03:59] <m4n71k0r> ... и не модер
[23:04:25] <m4n71k0r> вот бы с уггуром так сделали
[23:12:30] <rexim> [->+<]
[23:13:55] <Minoru> Гсомикс — единственный, кто понимает все эти смайлики!
[23:14:04] <uggur> это не смайлики
[23:14:06] <uggur> это брейнфак
[23:14:13] <rexim> Это смайлик
[23:14:44] <Minoru> uggur: ты что, не знал, что у Миксера компилятся даже смайлики?
[23:14:55] <rexim> Ничего я там не компилю!
[23:15:04] <uggur> Minoru: Они продуцируют смайлики в результате :D
[23:15:34] <Minoru> uggur: нет. Они продуцируют эмоции.
[23:15:43] <Minoru> не зря же их по-английски называют emoticons
[23:15:56] <rexim> titicons
[23:15:58] <rexim> хм...
[23:16:12] <rexim> https://cdn2.iconfinder.com/data/icons/medicine-reproduction/512/breast-128.png
[23:45:52] Mr.Purple зашёл в конференцию