codingteam@conference.jabber.ru

codingteam

11.09.2016< ^ >

Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust, Kotlin.
Backup channel: codingteam@conference.codingteam.org.ru
HQ: http://codingteam.org.ru
Код постить сюда: http://lpaste.net/
Логи: http://tinyurl.com/ctcjr-logs
Юным погромцам сюда: http://e-maxx.ru/algo/ , а ещё читать Кнутца, Корменца, Седжвикца и др.
Morning Tsoding (вт, чт, вс, збс): https://twitter.com/tsoding
Let's Dev (когда Капитан на мостике): http://www.youtube.com/playlist?list=PLK6mcZkmN4QTusFvp_0GVtscQbCiIg81Y
http://i.imgur.com/slnyI6a.jpg

[00:06:28] portnov вышел из конференции
[00:09:47] ckorzhik вышел из конференции
[00:45:00] <Minoru> все ошибки от спешки :(
[00:45:15] * Minoru наконец-то выписал все условия задачи на бумажку и неспешно проанализировал все варианты
[01:35:58] <Minoru> > So I was in an unusual position of taking a class for which I have written a textbook.
Кнут офигенен!
[01:51:54] ckorzhik зашёл в конференцию
[02:09:58] dzhon вышел из конференции
[02:35:04] eaeee зашёл в конференцию
[03:35:43] Minoru вышел из конференции
[04:18:51] <horta hell> Python забился в самый темный угол конфы и смотрит больными глазами в одну точку.
[04:20:30] <eaeee> $pet feed
[04:20:31] <horta hell> eaeee: Python презрительно фыркнул, отстранившись от пищи.
[04:20:36] <eaeee> $pet heal
[04:20:37] <horta hell> eaeee: Python был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[04:20:49] <eaeee> я спас Питон!
[04:21:05] <eaeee> $pet stats
[04:21:05] <horta hell> eaeee:
Кличка: Python
Здоровье: 100
Сытость: 34
Возраст: 10 часов
[04:23:34] eaeee вышел из конференции
[04:34:18] ckorzhik вышел из конференции
[04:51:02] unclechu вышел из конференции
[06:12:51] <horta hell> Python пытается сожрать все, что найдет.
[06:42:51] <horta hell> Python издал тихий рык и испустил дух. Все теряют по 1PTC.
[08:36:12] portnov зашёл в конференцию
[08:49:48] ckorzhik зашёл в конференцию
[09:12:19] Славный капитан зашёл в конференцию
[09:30:04] <Славный капитан> https://vk.com/feed?w=wall-72495085_505139
[09:30:23] <Славный капитан> $pet re... ааа, и хуй бы с ним.
[09:30:25] <horta hell> Славный капитан: Попробуйте $pet help.
[09:33:10] ckorzhik вышел из конференции
[09:44:11] Akon32 зашёл в конференцию
[09:52:25] ckorzhik зашёл в конференцию
[10:31:22] m4n71k0r вышел из конференции
[10:33:41] dzhon зашёл в конференцию
[10:45:03] ckorzhik вышел из конференции
[11:01:55] <uggur> Славный капитан: re?
[11:09:01] <uggur> "Славный капитан: https://vk.com/feed?w=wall-72495085_505139 " лол, зачёт :D
[11:10:47] grouzen зашёл в конференцию
[11:10:50] <uggur> мне интересно, этично ли выпиливать сильный ИИ, который ты же и форкнул, или это будет убийством?
[11:11:10] <uggur> а этично ли остановить работу и сохранить на энергонезависимую память?
[11:11:25] <uggur> А если форков более 100500?
[11:11:47] <uggur> А если это не сильный ИИ, а перенесённая копия чьей-то личности? (:
[11:36:34] <Славный капитан> uggur: нет, нет, может быть, два раза нет.
[11:36:58] <Славный капитан> а, стоп, ты про ИИ, а не про ИР.
[11:37:05] <Славный капитан> тогда да, да, да, нет.
[11:37:36] <uggur> Да, этично или да, будет убийством? %)
[11:37:56] <Akon32> да.
[11:38:52] <uggur> Akon32: тебя бы так!
[11:39:19] <Akon32> не надо меня так!^U
[11:40:10] <uggur> почему^U?
[11:40:15] <uggur> таки надо? :D
[11:40:57] <Славный капитан> uggur: да, этично.
[11:41:38] <uggur> Славный капитан: а почему убивать разумную систему -- этично? а копию ирл существовавшей такой же системы -- нет?
[11:41:51] <Славный капитан> это будет не более убийством, чем разрывать пасть какому-нибудь демону в DooM
[11:42:58] <Akon32> а убивать веганов - этично?
[11:43:29] <uggur> Славный капитан: а почему на последний вариант -- нет?
[11:43:33] <Славный капитан> потому что копия личности подразумевает обучаемость на том же уровне, что у оригинала.
[11:43:49] <uggur> а если ИИ будет так же обучаем, и даже лучше? :)
[11:43:59] <Славный капитан> тогда это будет не ИИ, а ИР =)
[11:44:10] <uggur> почему это?
[11:44:27] <uggur> в определение интеллекта обучаемость входит, а самосознание -- нет.
[11:44:58] <Akon32> uggur: как ты собираешься проверять на самосознание?
[11:45:17] <uggur> Akon32: никак. я буду всех убивать =)
[11:45:28] <uggur> кто сильнее -- тот и прав, вот и вся этика
[11:46:02] <uggur> я не вижу пути для установления социального взаиодействия с фейковыми китайскими комнатами (вроде тебя :)
[11:46:05] <Славный капитан> uggur: если ИИ будет хотя бы настолько же обучаем, то рано или поздно он научится и самосознанию.
[11:46:29] <uggur> Славный капитан: эмм, напомни, что такое самосознание?
[11:46:30] <Славный капитан> Этично ли убивать младенцев возрастом до 5 лет?
[11:46:51] <Славный капитан> s/младенцев/детей/
[11:46:54] <horta hell> Славный капитан: Этично ли убивать детей возрастом до 5 лет?
[11:47:03] <Славный капитан> horta hell: да, тебе можно!
[11:47:22] <uggur> Славный капитан: эмм, напомни, что такое самосознание?
[11:47:56] <Славный капитан> осознавание себя как отдельной, самостоятельной сущности?
[11:48:18] <uggur> оке
[11:48:40] <portnov> http://img-2.newatlas.com/hitler-acid-1.png?auto=format%2Ccompress&ch=Width%2CDPR&fit=max&h=700&q=60&w=616&s=a3f30499c2a9e0e785dd5b8b8c0821c8
[11:48:49] <uggur> и почему ты считаешь, что интеллектуальная система должна научиться осознавать себя самостоятельной сущностью?
[11:49:52] <Славный капитан> uggur: если у нее обучаемость будет на уровне среднестатистического H. sapiens sapiens -- то научится.
[11:50:00] <uggur> Славный капитан: почему? %)
[11:50:15] <Славный капитан> Инстансы H. sapiens sapience же этому обучаются.
[11:50:37] <uggur> либо это является естественным развитием интеллекта в рамках архитектуры мозга?
[11:51:05] <Славный капитан> То есть обучением в рамках имеющихся возможностей.
[11:51:10] <uggur> самосознание заложено архитектурно для создания эгоистичных действий с целями оптимизации собственной выгоды и репродуктивного потенциала
[11:51:25] <uggur> например
[11:55:05] <Славный капитан> Если бы оно было захардкорено в мозг, тогда это было бы известно.
[11:55:42] <Славный капитан> Сейчас известно, что самосознание у людей обычно развивается к 4-5 годам жизни, иногда раньше, иногда вообще не развивается.
[11:56:16] <Славный капитан> И кстати, у нас на районе за объективизм и побить могут ;3
[12:12:37] eaeee зашёл в конференцию
[12:14:59] Aman зашёл в конференцию
[12:15:48] ckorzhik зашёл в конференцию
[12:34:55] magog зашёл в конференцию
[12:42:45] Graf зашёл в конференцию
[12:42:52] Graf вышел из конференции
[13:09:32] Aman вышел из конференции
[13:13:13] rexim зашёл в конференцию
[13:14:29] ckorzhik вышел из конференции
[13:15:28] <rexim> АВАВАВА!! 8O
[13:20:38] <uggur> "Славный капитан: И кстати, у нас на районе за объективизм и побить могут ;3" какие вы злые :)
[13:21:22] <uggur> у нас на районе максимум могут лишить обнимашек в целях наказания.
[13:21:24] <uggur> ну, и еды.
[13:22:34] <Akon32> лишить обнимашек? физически?
[13:23:01] <rexim> uggur, точно! Надо покушать!
[13:23:28] <uggur> Akon32: да, в целях искоренения социально неприемлемой идеологии посредством искоренения её носителей :)
[13:33:46] <ɹǝɟılʍǝu> Доброе утро.
[13:49:47] Graf зашёл в конференцию
[13:50:51] Graf вышел из конференции
[13:51:55] mnu зашёл в конференцию
[14:15:10] Aman зашёл в конференцию
[14:20:32] mnu вышел из конференции
[14:33:29] unclechu зашёл в конференцию
[14:33:30] Aman вышел из конференции
[14:34:34] unixorn зашёл в конференцию
[14:39:50] Akon32 вышел из конференции
[14:39:57] sss|zombie зашёл в конференцию
[14:51:20] <rexim> $send Minoru helm-org-agenda-files-headings
[14:51:22] <horta hell> rexim: Сообщение помещено в очередь.
[15:03:57] Akon32 зашёл в конференцию
[15:09:35] Akon32 вышел из конференции
[15:29:26] <ɹǝɟılʍǝu> $send m4n71k0r‎ Change\ Management?\ Серьёзно?)
[15:29:29] <horta hell> ɹǝɟılʍǝu: Сообщение помещено в очередь.
[15:43:45] ckorzhik зашёл в конференцию
[15:52:50] ɹǝɟılʍǝu вышел из конференции
[15:59:18] sss|zombie вышел из конференции
[16:04:13] ɹǝɟılʍǝu зашёл в конференцию
[16:07:34] Aman зашёл в конференцию
[16:27:35] ckorzhik вышел из конференции
[16:28:50] <Славный капитан> ɹǝɟılʍǝu: а что такого в управлении изменениями?
[16:28:54] ckorzhik зашёл в конференцию
[16:30:21] <Славный капитан> http://i1.kym-cdn.com/photos/images/original/000/880/137/42c.png
[16:50:42] portnov вышел из конференции
[16:51:23] portnov зашёл в конференцию
[16:51:23] portnov вышел из конференции
[16:53:49] portnov зашёл в конференцию
[16:53:49] portnov вышел из конференции
[17:06:23] Aman вышел из конференции
[17:15:16] portnov зашёл в конференцию
[17:20:52] ɹǝɟılʍǝu вышел из конференции
[17:25:34] m4n71k0r зашёл в конференцию
[17:28:12] rexim вышел из конференции
[18:01:13] reximorning зашёл в конференцию
[18:16:14] Minoru зашёл в конференцию
[18:23:48] <Minoru> send/ɹǝɟılʍǝu/С равновесием по Нэшу разобрался, так что эта тема с обсуждения снимается. В курсе ВШЭ очень много примеров, советую смотреть для поддержания интереса. Я до четверга сваливаю из Интернетиков, но первый тест в обоих курсах уже сдал, так что не отставай :P/
[18:23:50] <horta hell> Minoru: Сообщение помещено в очередь.
[18:46:21] portnov вышел из конференции
[18:46:49] portnov зашёл в конференцию
[18:50:35] <horta hell> @tsoding твитит: Trying to start
- YT: https://t.co/EQOtYALIG8
- LCTV: https://t.co/ohg14rrT11
- Twitch: https://t.co/i7Wp0qakuX
[18:53:55] ɹǝɟılʍǝu зашёл в конференцию
[18:56:08] reximorning вышел из конференции
[19:06:26] gsomix зашёл в конференцию
[19:07:23] <gsomix> Утро.
[19:08:44] <Minoru> утро!
[19:13:10] <gsomix> Minoru, а где Форневер?
[19:18:15] <Minoru> gsomix: уехал куда-то по работе. Все выходные оффлайн. Не помню, чтобы он говорил, когда вернётся
[19:18:24] <gsomix> Ок.
[19:21:38] <ɹǝɟılʍǝu> Minoru, gsomix, Славный капитан https://vimeo.com/180291869
[19:25:05] <Minoru> ɹǝɟılʍǝu: я ничего не знаю о ракетных двигателях :( Это какая-то интересная перспективная технология?
[19:25:17] <ɹǝɟılʍǝu> Minoru, да, мощней и жрёт меньше.
[19:35:01] <Minoru> send/rexim/Кру-уто! А я по файликам разбивал, чтобы проще было искать :) Спасибо./
[19:35:04] <horta hell> Minoru: Сообщение помещено в очередь.
[19:38:05] dzhon вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[19:38:06] dzhon зашёл в конференцию
[19:45:03] <Славный капитан> ɹǝɟılʍǝu: штооооа?!
[19:45:16] <Славный капитан> Они таки нашли способ наебат химический предел?
[19:45:59] <m4n71k0r> ɹǝɟılʍǝu: ты о чём? Я тупой, больной
[19:46:14] <ɹǝɟılʍǝu> Славный капитан, в смысле? Обычный взрыводвигун.
[19:46:25] <ɹǝɟılʍǝu> m4n71k0r, ты мне скилы в линкедыне натыкал)
[19:46:30] <ɹǝɟılʍǝu> m4n71k0r, и поправляйся.
[19:46:33] <ɹǝɟılʍǝu> // но не жирей
[19:46:47] <m4n71k0r> ɹǝɟılʍǝu: я уже жирный
[19:46:57] <m4n71k0r> куда уж дальше?
[19:46:57] <ɹǝɟılʍǝu> m4n71k0r, ((
[19:47:45] <Славный капитан> ɹǝɟılʍǝu: для продолжительной реакции теоретически достижимая скорость истечения рабочего тела -- что-то около 3000 м/с
[19:48:02] <Славный капитан> ИРЛ чуть больше, 3200 м/с
[19:48:06] <ɹǝɟılʍǝu> Хм, не слушыл о таком.
[19:48:25] <ɹǝɟılʍǝu> Я видел кривую теплового КПД в зависимости от давления.
[19:48:36] <ɹǝɟılʍǝu> Что мне доставило)
[19:48:53] <Славный капитан> это связано с количеством энергии, которое освобождается при реакции и массой атомов
[19:49:24] <Славный капитан> при детонации скорость истечения может быть и больше
[19:51:47] <ɹǝɟılʍǝu> Круто
[19:51:48] <ɹǝɟılʍǝu> =)
[19:54:33] <Славный капитан> А от скорости истечения, обв, зависит эффективность двигателя
[19:54:44] <Славный капитан> Да, круто.
[19:55:59] <Славный капитан> Кроме этого, импульс действует очень небольшое время, что упростит расчеты маневров
[19:56:23] <Славный капитан> Но это все равно двигатель для непилотируемых орбитальных покатушек ._.
[19:57:45] <eaeee> $pet resurrect
[19:57:48] <horta hell> eaeee: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[19:57:53] <eaeee> $pet stats
[19:57:53] <horta hell> eaeee:
Кличка: Python
Здоровье: 100
Сытость: 100
Возраст: 0 часов
[19:58:27] <eaeee> horta hell: не уберегли тебя
[19:59:35] eaeee вышел из конференции
[20:01:36] <Славный капитан> ɹǝɟılʍǝu: скинь мне свой линкед, я тебе тоже скиллов понатыкаю ;3
[20:02:07] <Славный капитан> Advanced Trolling, Rocket Science Discussion, все дела
[20:04:25] grouzen вышел из конференции
[20:20:50] Graf зашёл в конференцию
[20:20:56] Graf вышел из конференции
[20:26:55] <gsomix> >> Нужен толковый программист на JavaScript для написания научной работы.
[20:29:07] <Minoru> его будут исследовать на предмет того, что же в развитии пошло не так? ._.
[20:32:39] <ɹǝɟılʍǝu> Да, будут изучать программиста.
[20:41:47] <gsomix> А я вспомнил прекрасное использование JS в Coeffects playground.
[20:42:31] <gsomix> И The Gamma Project (визуализация данных по олимпийским играм).
[20:47:43] <gsomix> Кто шарит с комбинаторной оптимизации?
[20:47:52] <gsomix> s/с/в/
[20:47:56] <horta hell> gsomix: Кто шарит в комбинаторной оптимизации?
[20:55:56] <gsomix> Я вчера руками смог найти решение для задачи фокусировки лазерного пучка в половинку креста.
[20:55:57] <gsomix> https://yadi.sk/i/wVglHTFsuyupY
[20:56:36] <gsomix> Но по используемому критерию это решение хуже оптимального. Но оптимальное решение не дает правильного изображения креста.
[20:56:37] <gsomix> :(
[20:56:56] <Minoru> gsomix: триумф человека над машиной? :)
[20:57:06] <Minoru> и, похоже, триумф математики над человеком
[20:57:24] <gsomix> Хотя есть теорема, которая обещает, что оптимальное решение будет давать нужную картинку.
[20:57:45] <gsomix> Minoru, вот с математикой что-то непонятное.
[20:58:01] <gsomix> То ли теорема неверна, то ли у меня в реализации ошибки.
[20:58:32] <gsomix> Я склоняюсь ко второму.
[20:58:46] <gsomix> Но чтобы это проверить, нужно зашарить комбинаторную оптимизацию.
[20:58:55] <Minoru> а, я думал ты там просто критерий неверно сформулировал
[21:00:00] <gsomix> Пока я могу только "воу, этот код умеет решать нужную мне задачу, заюзаю его".
[21:00:35] eaeee зашёл в конференцию
[21:00:52] <eaeee> куда Форнёвера дели?
[21:03:50] <Minoru> eaeee: да фиг его знает. Отправили Миксера выяснять — так его уже несколько часов нет! Капитан уже собирает полноценный спасотряд, будем искать.
[21:07:07] <gsomix> Minoru, а ты, судя по логам, в теорию игр подался?
[21:08:06] <gsomix> Кстати, мне в этом семестре нужно реферат по философии написать. Какую бы тему себе придумать?
[21:11:14] <Minoru> gsomix: ну как «подался»… Стало интересно, записался на пару курсов, посмотрел первую неделю, сдал тесты. Поглядим, что там дальше будет.
[21:16:48] <gsomix> Minoru, что интересного обещают?
[21:18:58] <Minoru> обещают чему-то научить :) Пока что я очень доволен тем, что мне рассказывают всякие интересные модели — трагедию общины, рациональное неведение, модель Бертрана, куча всего, в общем
[21:19:49] <Minoru> а вот почему это мне интересно, я не знаю. Эти штуки имеют отношение к «внешнему миру», который меня не очень-то интересует. С другой стороны, у меня тут уже были пара месяцев сильного интереса к экономике, например
[21:20:21] <gsomix> По философии, я думаю, можно написать про критику "научного метода": нужно почитать, что умные люди пишут; попробовать найти примеры научных открытий, которые плохо вписываются в привычную научную работу.
[21:23:55] <gsomix> Ну, или можно что-нибудь про философию техники написать.
[21:26:00] <gsomix> Правда, предполагается, что нужно писать реферат по философии применительно к теме научного исследования.
[21:26:11] <gsomix> Но я не знаю, что можно в оптике найти интересного с точки зрения философии.
[21:32:30] <Minoru> gsomix: не знаю, видел ли ты в логах: Дональд Кнут рассказывает о своём жизненном пути http://www.webofstories.com/playAll/donald.knuth (записано в 2006-м)
[21:32:47] <Minoru> Славный капитан, ɹǝɟılʍǝu, если ещё не видели — highly commended! ↑
[21:33:39] <gsomix> Minoru, есть версия для tl;dr? :)
[21:37:28] <gsomix> Или хотя бы текст... =__=
[21:41:16] <Minoru> gsomix: текст есть во вкладочке «Transcript» справа под видео
[21:41:54] <Minoru> вместо tl;dr почитай названия эпизодов и посмотри только те, что покажутся интересными
[21:42:52] <gsomix> Minoru, а тебе что понравилось?
[21:46:04] <Minoru> gsomix: я пока что посмотрел только половину. 9, 16, 31, 34, 44 в каком-то смысле выделяются, но это сложный вопрос: в этих видео просто *всё* интересное, понимаешь? Но у меня есть некоторый интерес к истории вычислительной техники, может, для других это просто скучная автобиография
[21:47:18] <Славный капитан> gsomix: ты вплотную приблизился к главной проблеме!
[21:47:51] <Славный капитан> Сфокусируй луч в форме котенка.
[21:48:41] <Славный капитан> Minoru: я пошел считать количество двоичных деревьев с N листьями. Это интересней, чем слушать, как другие считают.
[21:50:25] <Minoru> хехе. Ну, я не заставляю…
[21:56:03] <Славный капитан> что? я просто люблю комбинаторику ;3
[21:58:04] <Minoru> gsomix: в 48 Кнут говорит, что все методы анализа алгоритмов так или иначе были связаны с поиском и сортировками, поэтому третий том его книги был особенно важным — нужно было представить все эти методы так, чтобы в последующем читатели могли применять их где угодно
[21:58:07] <Minoru> полезнота!
[21:58:47] <gsomix> Minoru, есть на свете люди, которые читают Кнута?
[21:58:53] <Славный капитан> я читал
[21:58:59] <gsomix> Жуть.
[21:59:18] <Minoru> gsomix: я читал один из разделов про какие-то деревья, когда другу помогал
[21:59:21] <gsomix> Я когда-то пробовал открывать.
[21:59:23] <gsomix> И закрыл.
[22:00:01] <Minoru> ну, я тоже когда-то открыл, почитал немного про его ассемблер и закрыл. Надо бы хоть бы Кормена сотоварищи прочитать, а то вдруг я про какие-то интересные разделы не слышал даже
[22:00:19] <Minoru> (упомнить всё разнообразие алгоритмов я уже и не стремлюсь)
[22:00:52] <ɹǝɟılʍǝu> Ууух борщец сварил!
[22:04:05] <eaeee> ɹǝɟılʍǝu: ничего себе.
[22:06:38] <gsomix> Minoru, ну, вот мне кажется, что у Кормена изложение более удачное.
[22:10:37] eaeee вышел из конференции
[22:12:08] <Minoru> gsomix: учтём-с
[22:12:44] <ɹǝɟılʍǝu> Ух!
[22:12:47] <ɹǝɟılʍǝu> Вкусный!
[22:14:11] <Minoru> ɹǝɟılʍǝu: проведи слепой эксперимент!
[22:14:39] <ɹǝɟılʍǝu> Minoru, в смысле?
[22:15:32] <Minoru> ɹǝɟılʍǝu: ну, ты повар, у тебя bias. Тебе нужно провести слепой тест, чтобы определить, действительно твой борщ вкусный или тебе только кажется
[22:16:01] <Minoru> вообще у меня всё руки не дойдут прочитать про эти вещи Википедию. Там этих способов постановки экспериментов пруд пруди, а я в них ничего не понимаю
[22:19:41] ckorzhik вышел из конференции
[22:19:47] ckorzhik зашёл в конференцию
[22:34:25] <Славный капитан> хм, действительно интересная задача
[22:34:34] <Славный капитан> похоже, придется прибегнуть к ЧАЮ
[22:41:05] <Minoru> в 50 и дальше (по меньшей мере до 53) просто охуенное чувство того, что у Кнута в жизни всё само собой складывалось, как паззл: смотрит на гранки, грустит о качестве, тут же встречает гранки, сделанные компьютером, и понимает, что может написать для этого программу, потому что про типографическое искусство он уже немного знает (в школе и универе газеты издавал). Или вот ему нужен красивый шрифт, и тут он понимает, что шрифт — это просто график функции (а он в школе и универе много рисовал графики). А-а-а-ахуенна!
[22:44:18] <portnov> Minoru: игра в бисер?
[22:44:39] <Minoru> portnov: не читал
[22:44:58] <portnov> ну, там у главгероя примерно так же всё само собой складывалось
[22:49:19] <Славный капитан> ирым, чо
[22:50:57] <Славный капитан> если обладаешь каким-то навыком или знанием -- рано или поздно его используешь
[22:57:32] <Славный капитан> хмм
[23:01:01] portnov вышел из конференции
[23:04:06] rexim зашёл в конференцию
[23:05:58] <rexim> Minoru, чепоку тебя!
[23:06:42] <Minoru> rexim: у меня? Я думал, чепок у тебя… Ну я гляну, вдруг он куда-то закатился или ещё что…
[23:06:57] <Славный капитан> хм, у меня получилась какая-то странная рекурсивная херня
[23:07:22] <Minoru> Славный капитан: математики говорят «рекурентная», а не рекурсивная :P
[23:07:31] <Славный капитан> а я элтех, а не математик
[23:07:52] <Minoru> lTeX
[23:07:55] <Славный капитан> я еще и мнимую единицу буквой j обозначаю!
[23:08:03] <Славный капитан> Муа-ха-ха!
[23:17:18] <rexim> Minoru, где чепок, Джони?
[23:17:24] <Славный капитан> Ого, прямо в цель: https://oeis.org/A212342
[23:18:23] <Славный капитан> только я это определил как N(x) = (x-1) + N(x-1) | x >= 2, N(2) = 1
[23:18:41] <Славный капитан> Вот что чай животворящий делает!
[23:19:42] <Minoru> rexim: нету!
[23:23:18] <Славный капитан> только мимо искомого результата я промахнулся
[23:24:25] <Славный капитан> видимо, что-то не так с моим определением бинарного дерева было
[23:24:34] <Minoru> 58 и 59 про разработку софта, тоже любопытно
[23:34:26] <rexim> Minoru, чепок или я в пляс пущусь!
[23:34:58] <Minoru> rexim: google://non-credible treat
[23:35:03] <Minoru> *threat
[23:35:51] <Minoru> (это просто ассоциация)
[23:36:15] <Славный капитан> а, понятно, я только негомеоморфные деревья считал.
[23:36:24] <rexim> Minoru, treat мне больше понравилось
[23:37:08] <Minoru> rexim: «тортик-то у вас какой-то… неправдоподобный»
[23:37:30] <rexim> Minoru, мы сегодня на стриме рассматривали концепцию Khooy Identity
[23:37:53] <Minoru> rexim: как примитивно!
[23:38:23] <Minoru> во всех развитых обществах уже давно определены операции упорядочивания для Khooy, а вы только до identity добрались
[23:38:59] <rexim> Minoru, boner wave?
[23:39:15] <Minoru> я не буду это гуглить, даже не надейся
[23:39:34] <rexim> Minoru, это sfw если что.
[23:39:40] <rexim> И довольно забавная концепция :)
[23:39:43] eaeee зашёл в конференцию
[23:39:51] <rexim> Minoru, http://www.urbandictionary.com/define.php?term=boner%20wave
[23:39:52] <Minoru> ну ок
[23:40:04] <eaeee> rexim: привет. Нашел Форнёвера?
[23:41:06] <Minoru> rexim: для ответа на вопрос тебе понадобится вот это: http://0xd34df00d.me/logs/chat/codingteam@conference.jabber.ru/2016/09/11.html#21:00:52
[23:41:42] <rexim> Minoru, спасибо
[23:41:46] <rexim> eaeee, я его сожрал
[23:41:57] <eaeee> =-O
[23:41:58] <Славный капитан> rexim: Khooy Identity это \khooy.khooy ?
[23:42:18] <eaeee> rexim: плохо
[23:42:29] <rexim> Славный капитан, Да, вроде оно
[23:45:33] <Славный капитан> eaeee: форневер редеплоит вселенную.
[23:45:47] <eaeee> Славный капитан: собирает мир?
[23:45:55] <Славный капитан> Я добрался до него, потеряв по дороге весь отряд.
[23:47:15] <Славный капитан> Нет, уже собрал. Теперь деплоит заново. Говорит, починил баг, не позволяющий двигаться быстрее света и отрефакторил гравитацию, чтобы костыли из темной материи не нужны были.
[23:49:10] <Славный капитан> Я, правда, подозреваю, что он туда libimmaterium закомпилил и теперь придется все побочные эффекты заворачивать в монады Гольцмана.
[23:49:59] <Славный капитан> или Геллара?
[23:52:54] <Славный капитан> В общем, вернется -- расскажет нам release notes.