codingteam@conference.jabber.ru

codingteam

02.05.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
Юным погромцам сюда: 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:00:20] <Minoru> 0xd34df00d: ага, я видел. Я боюсь дня, когда я за этой портянкой начну видеть хаскелекод
[00:00:38] <0xd34df00d> :(
[00:00:59] <gsomix> Minoru, 0xd34df00d, я хаскеля не знаю, но с приложением некоторых усилий код можно прочитать.
[00:01:16] <gsomix> Код на хаскеле, кажется, я читаю с приложением таких же усилий.
[00:01:22] <Minoru> ну т.е. как плюсокод оно хорошо выглядит, но после попытки представить то же самое на хаскеле он начинает выглядеть как Перл — куча какого-то шума
[00:02:19] <rexim> xO
[00:02:23] <rexim> Всем снов!
[00:02:27] rexim вышел из конференции
[00:02:29] <gsomix> Minoru, я думаю, когда глаз "набьется", то весь шум просто становится незаметным.
[00:04:48] <Minoru> 0xd34df00d: можешь подтвердить или опровергнуть ↑ ?
[00:05:11] <Minoru> у меня такого пока что ни с одним языком не случилось, вроде
[00:07:27] xmi вышел из конференции
[00:09:09] <gsomix> Minoru, поэтому ты пишешь на хаскеле?
[00:16:39] <gsomix> Minoru решил не отвечать на провокационные вопросы.
[00:16:43] gsomix вышел из конференции
[00:21:47] <Minoru> send/gsomix/Нет, Минору просто кушать ходил. Иначе провокация удалась бы, я бы ответил что-то!/
[00:21:49] <horta hell> Minoru: Сообщение помещено в очередь.
[00:22:07] <unclechu> функциорасты
[00:25:05] <Minoru> unclechu: :(
[00:26:04] dzhon зашёл в конференцию
[00:26:49] <unclechu> что это за фиолетовая точка? http://pix.toile-libre.org/upload/original/1462134679.png
[00:26:51] Minoru вышел из конференции
[00:27:46] Mr.Purple вышел из конференции
[00:27:49] portnov вышел из конференции
[00:29:11] <unclechu> во, это ещё интересенее) http://pix.toile-libre.org/upload/original/1462134835.png
[00:42:38] ɹǝɟılʍǝu зашёл в конференцию
[00:53:16] Славный капитан вышел из конференции
[01:26:19] superka зашёл в конференцию
[01:26:36] <superka> кто нибудь подключал caffe к проекту?
[01:26:37] <superka> cpp
[01:26:43] <superka> не могу понять чо как =/
[01:28:50] <0xd34df00d> Лёл.
[01:28:59] <0xd34df00d> Нейросети дейта сайенс стартап смузи.
[01:35:15] <superka> 0xd34df00d: я уже понял, спасибо, у меня vs не той версии маза фака
[01:35:31] <0xd34df00d> Лёл [2].
[01:35:35] <0xd34df00d> superka: а чо ты делать хочешь?
[01:36:00] <superka> 0xd34df00d: хочу распознать рукописный текст
[01:36:16] <superka> а вообще стать крутым cpp программистом
[01:36:18] <superka> :D
[01:37:06] <0xd34df00d> Начинать изучение плюсов с нейросетей странно.
[01:37:27] <0xd34df00d> superka: перепиши мне https://github.com/0xd34df00d/RefractOptics/tree/master/cpp на куда.
[01:37:29] <0xd34df00d> Соавтором сделаю.
[01:38:52] <superka> 0xd34df00d там небось надо в оптике шарить?
[01:39:28] <superka> я не знаю ни куда. ни cpp, ни оптики
[01:39:53] <0xd34df00d> В оптике шарить там совсем не надо.
[01:39:57] <0xd34df00d> Надо шарить в плюсах и cuda, впрочем.
[01:41:31] Aman вышел из конференции
[01:46:42] magog вышел из конференции
[01:46:48] magog зашёл в конференцию
[01:46:54] magog вышел из конференции
[01:51:42] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[01:55:34] magog зашёл в конференцию
[02:13:03] magog вышел из конференции
[02:22:37] superka вышел из конференции
[02:26:36] unclechu вышел из конференции
[02:32:07] superka зашёл в конференцию
[03:14:52] ɹǝɟılʍǝu вышел из конференции
[03:33:54] dzhon вышел из конференции
[04:31:23] eaeee вышел из конференции
[06:58:39] Kumba_yo вышел из конференции
[07:16:00] xmi зашёл в конференцию
[07:35:52] Mr.Purple зашёл в конференцию
[07:56:14] Славный капитан зашёл в конференцию
[08:02:15] <Mr.Purple> утра
[08:07:12] magog зашёл в конференцию
[08:20:56] Mr.Purple вышел из конференции
[08:28:38] Mr.Purple зашёл в конференцию
[08:54:28] superka вышел из конференции: Logged out
[08:54:34] superka зашёл в конференцию
[09:09:03] superka вышел из конференции: Logged out
[09:09:08] superka зашёл в конференцию
[09:35:31] grouzen зашёл в конференцию
[09:37:50] xmi вышел из конференции
[09:40:13] ɹǝɟılʍǝu зашёл в конференцию
[09:40:20] ɹǝɟılʍǝu вышел из конференции
[09:40:29] ɹǝɟılʍǝu зашёл в конференцию
[09:46:22] magog вышел из конференции
[09:54:29] rexim зашёл в конференцию
[09:55:22] <rexim> Чпоки-чпоки?
[10:00:43] <Mr.Purple> миксер
[10:01:02] <rexim> ._.
[10:01:16] <rexim> Мг.Ригрле!
[10:01:20] <Mr.Purple> ·..·
[10:01:21] <rexim> Mr.Purple: дратуте! :3
[10:06:16] <ForNeVeR> rexim: а что вчера со стримом случилось? Он помер или закончился, когда я жаловался?
[10:06:34] <ForNeVeR> Я его ни на лцтв, ни на тытрубе не смог досмотреть.
[10:07:16] <ForNeVeR> Правда, в этот же момент у меня померли интернеты, но я заребутал впа-суппликанта, и всё равно не досмотрел :(
[10:09:05] <rexim> ForNeVeR: все норм. Запись доступна ютубе. Ни единого разрыва.
[10:09:22] <rexim> ForNeVeR: https://www.youtube.com/watch?v=fX2fVAJBbRk
[10:09:32] <ForNeVeR> О, ок, досмотрю :3
[10:17:22] <ForNeVeR> http://www.imageglass.org/support - интересно, для "нетехнических" юзоров есть гуглоплюс, а для нормальных - ишуи на гитхабе :)
[10:18:01] <rexim> Хм...
[10:18:07] <rexim> Что-то в этом есть, да...
[10:19:00] <ForNeVeR> Да. В ишуи популярных проектов постоянно постят всякую фигню.
[10:19:24] <ForNeVeR> Хотя теперь, с введением шаблонов ишуёв на гитхабе, это перестаёт быть такой большой проблемой.
[10:21:36] <Славный капитан> Для нетехнических юзеров нужен не гуглоплюс, а гуглокол.
[10:22:05] <ForNeVeR> Славный капитан: спокойствие. Нетехническим мы специальные укольчики прописываем.
[10:22:31] <ForNeVeR> За два месяца можно реабилитировать.
[10:24:19] <Славный капитан> Да. Надо успокоиться, запушить пару коммитов...
[10:24:26] <ɹǝɟılʍǝu> ОЫВЛВА
[10:24:27] <ɹǝɟılʍǝu> а ваполырврпопрол
[10:24:29] <ɹǝɟılʍǝu> олор рол арол орл ао
[10:24:31] <ɹǝɟılʍǝu> ап рфвпрапр ап
[10:24:32] <ɹǝɟılʍǝu> ¹¹¹
[10:26:03] dzhon зашёл в конференцию
[10:26:31] <ɹǝɟılʍǝu> dzhon, \0
[10:26:38] <dzhon> ɹǝɟılʍǝu: \0
[10:27:03] <dzhon> ~/ g++ --version
g++ (GCC) 5.3.0
[10:27:11] <dzhon> и это арчлинупс, тьфу
[10:33:18] * rexim нажрался и добрый
[10:42:30] <ForNeVeR> dzhon: а что такого? Нормально же, не шибко старая версия.
[10:42:39] <ForNeVeR> Или тебе сразу 7.0 подавай?
[10:52:58] <Славный капитан> ɹǝɟılʍǝu: Y TE6R KOguPOBKA C/\ETE/\A
[10:53:29] <ForNeVeR> ?? ???, ? ???? ? ?? ?.
[10:55:49] <grouzen> пыщпыщ
[10:55:51] <grouzen> коданы
[10:57:04] <Славный капитан> ForNeVeR: Ó òåáÿ òîæå
[10:57:34] portnov зашёл в конференцию
[10:58:17] <ForNeVeR> яКЮБМШИ ЙЮОХРЮМ: ОНДШЛЮК
[11:01:11] <portnov> вХРЮК?
[11:03:30] <ForNeVeR> portnov: йопт.
[11:11:25] <rexim> $loglist 6866
[11:11:33] <rexim> $access
[11:11:35] <horta hell> rexim: #6866
<циничный пофигист> Один арабский мудрец сказал:

??????? ???? ????? ?????????? ??? ????? ? ?????????????????? ??? ??????? ?????? ??? ????? ??????? ???? ????? ???????? ? ????????? ??? ???? ???? ???????. ????? ????? ???? ? ?? ? ??????? ??????? ?? ?????? ?????? ??????. ???????? ???????? ???? ??? ?????? ???? ?????? ???? ????? ??? ??? ? ???? ?????? ? ??? ????? ?????????? ????. ????? ?????????? ?????? ?????? ?? ????? ??????????? ????? ?????? ????? ???? ?????????? ?? ???? ??????? ? ????? ??????? ?? ????? ?????. ???? ??????? ? ??????? ??? ??????? ?? ??? ???????? ???????? ??? ????? ?????????? ????????. ??? ??????? ???? ?????? ??? ?????? ???? ??????? ???? ?????????? ??? ????? ? ??????????????

Зашибись, правда?
Я плакал… Особенно в этом месте:
???? ?????? ???
<MEZON> циничный пофигист, вот тут ???? ?????? небольшая не точность
<MEZON> правильнее будет ??? ??? ??????????????
<муталямбда> O_o

http://www.loglist.net/quote/6866
[11:12:00] <horta hell> rexim: Администратор
[11:12:07] <rexim> ~_~
[11:12:17] <ForNeVeR> Хорта очень долго собирается с мыслями, прежде чем изречь такую мудрость.
[11:12:43] <ForNeVeR> У нас же там задержка от длины сообщения стоит.
[11:12:45] <dzhon> ForNeVeR: 6.1 выпустили
[11:12:49] <dzhon> С++14 по дефолту
[11:12:53] <dzhon> а они некрофилируют
[11:13:00] <dzhon> ещё арчлинупсом себя называют
[11:13:01] <dzhon> тьфу!
[11:13:16] <ForNeVeR> dzhon: а оно уже к продакшену готово, всё ок, можно смело юзать?
[11:13:19] <dzhon> это тот дистрибутив с машиной времени KDE, например
[11:13:24] <ForNeVeR> C++14 по дефолту - это хорошо.
[11:13:45] <dzhon> ForNeVeR: конечно, там же 6.0 была анстейбл, а 6.1 — пердакшен риди и мейнтейнебл
[11:13:53] <ForNeVeR> Отлично.
[11:14:13] <dzhon> ForNeVeR: https://gcc.gnu.org/gcc-6/
[11:14:15] <dzhon> пруфы
[11:14:24] <dzhon> >This release is a major release
[11:14:34] <dzhon> никаких слов о тестинге или чём-то таком
[11:14:49] <dzhon> И КОНЬЦЕПТЫ
[11:15:00] <rexim> > никаких слов о тестинге
Т.е. они его даже не тестировали?
[11:15:00] <dzhon> C++ Concepts are now supported when compiling with -fconcepts.
[11:15:02] <dzhon> тыц тыц
[11:15:02] <rexim> Ох...
[11:15:43] <ForNeVeR> Дак их же в стандарте нету :(
[11:15:54] <dzhon> будут
[11:16:00] <ForNeVeR> В каком?
[11:16:01] <dzhon> в С++2047
[11:16:07] <ForNeVeR> А, ну отлично.
[11:16:11] <ForNeVeR> :(
[11:16:27] <dzhon> их же отвергли из-за того, что пока только одна реализация в гоцаце, да и та очень незаурядным человеком запилена
[11:16:34] <dzhon> побоялись подводных камней
[11:16:51] <ForNeVeR> Например, что у него кончатся вещества?
[11:17:14] <dzhon> например, что в других конопляторах это будет повторить нетривиально :) или что чувак что-то не учёл
[11:19:55] eternastudento зашёл в конференцию
[11:20:12] <ɹǝɟılʍǝu> dzhon, хотеть коньцепты!!((!(
[11:20:57] <ɹǝɟılʍǝu> dzhon, а что за незаурядный человек?
[11:21:28] <ForNeVeR> http://haskellbook.com/ говорят, что весь контент дописали, и принимаются за финальные правки.
[11:22:16] <rexim> Финальный плавки!
[11:22:26] <dzhon> ɹǝɟılʍǝu: а хз, мопед не мой: http://honermann.net/blog/?p=3
[11:25:53] <ɹǝɟılʍǝu> rexim, ну нафик плавки!
[11:27:40] <rexim> ɹǝɟılʍǝu: поздно!
[11:38:09] Graf зашёл в конференцию
[11:38:14] Graf вышел из конференции
[11:43:20] ɹǝɟılʍǝu вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[12:08:39] dzhon вышел из конференции
[12:26:52] Aman зашёл в конференцию
[12:27:52] <rexim> IT"S CHPOKING TIME!11
[12:31:47] <Aman> rexim: кого вы собираетесь тыкать?
[12:32:26] <ForNeVeR> А меня Джейка покусал. Пишу на асме: https://github.com/ForNeVeR/SpySharp/blob/develop/SpySharp.Hooker/Hooker.il
[12:32:31] <ForNeVeR> Ну, правда, как обычно, в своём стиле :3
[12:37:56] <rexim> Aman: время
[12:38:11] <rexim> ForNeVeR: I am the man who speaks from the fart.
[12:38:41] <ForNeVeR> rexim: you are, indeed.
[12:38:47] <rexim> Лет ми спик фром май фарт ин инглишь.
[12:39:25] <Aman> rexim: ok lets talk in farting language
[13:08:20] 2tsun4u зашёл в конференцию
[13:10:50] a1batross зашёл в конференцию
[13:16:32] eaeee зашёл в конференцию
[13:16:52] eaeee вышел из конференции
[13:18:05] ɹǝɟılʍǝu зашёл в конференцию
[13:20:49] rexim вышел из конференции
[13:23:46] <ɹǝɟılʍǝu> rexim, чпок
[13:24:38] <ɹǝɟılʍǝu> ForNeVeR, вив блэкджек и хукер?
[13:35:40] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[13:38:52] Graf зашёл в конференцию
[13:39:00] Graf вышел из конференции
[13:39:07] gsomix зашёл в конференцию
[13:39:07] horta hell вышел из конференции
[13:39:09] horta hell зашёл в конференцию
[13:41:24] <gsomix> ForNeVeR, значит, у меня есть шанс изучить Haskell?
[13:41:35] <ForNeVeR> gsomix: кто знает.
[13:41:41] <ForNeVeR> gsomix: о, наконец-то ты припёрсо!
[13:42:00] <ForNeVeR> gsomix: во-первых, я послушал начало курса про теоретическую физику на Степике, и мне не понравилось.
[13:42:03] <ɹǝɟılʍǝu> gsomix, няша!
[13:42:12] <ForNeVeR> Там сразу вариационное счисление вводят, а я про него ничего не знаю.
[13:42:35] <ForNeVeR> gsomix: во-вторых, го пилить https://github.com/ForNeVeR/SpySharp, я там ужно на CIL пишу :3
[13:42:39] <Mr.Purple> узнать нельзя?
[13:42:56] <ForNeVeR> Mr.Purple: можно, но пока я его буду изучать - курс уже закончится.
[13:43:09] <Mr.Purple> ForNeVeR: в приреквизитов его нет?
[13:43:20] <ForNeVeR> А хрен его знает, я не смотрел :D
[13:43:50] <ForNeVeR> gsomix: в-третьих, я почитал Quantum Computation and Quantum Information, и вот это хорошая книжка.
[13:43:58] <ForNeVeR> Прям совсем хорошая.
[13:44:45] <gsomix> ForNeVeR, никто не читает перед курсом физики соответствующий курс математики.
[13:44:56] <gsomix> ForNeVeR, хорошо, я скачаю.
[13:45:01] Aman вышел из конференции
[13:45:08] Aman зашёл в конференцию
[13:45:55] <gsomix> Про вариационное исчисление и группы, например, я впервые в курсе теоретической механики услышал.
[13:46:03] <Mr.Purple> -_-
[13:46:08] <Mr.Purple> фига у вас там термех
[13:46:28] <gsomix> Mr.Purple, ну, по ландафшицу.
[13:47:16] <gsomix> ForNeVeR, а что там в SpySharp?
[13:48:07] <ForNeVeR> gsomix: это замена для ManagedSpy. Я придумал делать хуки как он, но без C++/CLI.
[13:48:33] <ForNeVeR> Ну и, соответственно, раз без C++/CLI, то я прям на CIL написал экспортных функций :3
[13:48:56] <ForNeVeR> Пока, правда, не придумал, как хуки будут конкретно общаться с родительским приложением.
[13:49:37] Aman вышел из конференции
[13:51:31] <ɹǝɟılʍǝu> ForNeVeR, фига ты!
[13:53:39] <gsomix> ForNeVeR, интересно. Но пока я пока диплом не напишу...
[13:54:00] <ForNeVeR> А, ну пиши, пиши
[14:00:51] Minoru зашёл в конференцию
[14:02:09] 2tsun4u вышел из конференции
[14:03:02] 2tsun4u зашёл в конференцию
[14:06:04] Mr.Purple вышел из конференции
[14:06:10] Mr.Purple зашёл в конференцию
[14:09:23] Aman зашёл в конференцию
[14:12:41] kpecmuk вышел из конференции: Replaced by new connection
[14:12:42] kpecmuk зашёл в конференцию
[14:13:44] eaeee зашёл в конференцию
[14:18:18] gsomix вышел из конференции
[14:29:27] Aman вышел из конференции
[14:33:11] <ɹǝɟılʍǝu> Minoru, чпоки-чпоки?
[14:33:55] <Minoru> ɹǝɟılʍǝu: утра!
[14:34:18] <ɹǝɟılʍǝu> Minoru, чмоки-чмоки!
[14:40:20] Kumba_yo зашёл в конференцию
[14:45:01] Aman зашёл в конференцию
[15:15:03] <Minoru> uggur: да, я действительно немного попилил Gestalt на прошлой неделе, оттуда и нотификашки, наверное
[15:21:05] <ɹǝɟılʍǝu> Minoru, уруру. Айда на великах катацца)
[15:24:03] <Minoru> ɹǝɟılʍǝu: до вас далеко слишком :(
[15:27:00] <ɹǝɟılʍǝu> Minoru, щито поделать
[15:27:07] <ɹǝɟılʍǝu> Minoru, вид на площадь Гагарина http://cs8.pikabu.ru/post_img/2016/05/02/7/1462186416178813558.jpg
[15:27:19] <ɹǝɟılʍǝu> СССР, 2061й год.
[15:28:40] <ForNeVeR> Капитан, обнаружен временной парадокс!
[15:28:47] <ForNeVeR> Высылайте команду содержания.
[15:29:00] <ɹǝɟılʍǝu> ForNeVeR, щито.
[15:29:37] <ForNeVeR> ɹǝɟılʍǝu: мне кажется, на этой площади не очень удобно будет на велике кататься.
[15:29:52] <ɹǝɟılʍǝu> ForNeVeR, http://2061.su/
[15:29:58] <ɹǝɟılʍǝu> ForNeVeR, там летающие велики)
[15:42:23] 2tsun4u вышел из конференции
[15:43:00] 2tsun4u зашёл в конференцию
[16:01:41] 2tsun4u вышел из конференции
[16:02:18] 2tsun4u зашёл в конференцию
[16:13:17] eaeee вышел из конференции: Replaced by new connection
[16:13:18] eaeee зашёл в конференцию
[16:29:21] superka вышел из конференции: Logged out
[16:31:19] Aman вышел из конференции
[16:31:29] Kumba_yo вышел из конференции
[16:46:23] rexim зашёл в конференцию
[16:46:41] <rexim> ForNeVeR: $ nix-repl
nix-repl> concat = x: y: x + y

nix-repl> map (concat "khooy") ["foo" "bar" "chpoke"]
[ "khooyfoo" "khooybar" "khooychpoke" ]

nix-repl>
[16:47:14] <ForNeVeR> Занимательные упражнения.
[16:47:22] <rexim> Да
[16:47:31] <rexim> Я хочу написать пакмана на Nix
[16:47:55] <rexim> Который сжирает твои пакеты в системе^U
[16:49:09] eternastudento зашёл в конференцию
[16:49:14] superka зашёл в конференцию
[16:51:06] <ɹǝɟılʍǝu> rexim, шикарна
[16:59:12] <ForNeVeR> rexim: а я дочитал хоумстак до того места, в котором играет Megalovania :3
[16:59:14] superka вышел из конференции: Replaced by new connection
[16:59:15] superka зашёл в конференцию
[16:59:43] <rexim> ForNeVeR: =3
[17:05:02] <rexim> ForNeVeR: а вундертейл когда дойдешь до момента, в котором играет Megalovania?
[17:05:50] <ForNeVeR> Это ещё долго...
[17:10:57] <ɹǝɟılʍǝu> rexim, под хвостик
[17:17:43] <rexim> ɹǝɟılʍǝu: чпок
[17:18:32] <Minoru> O_O
[17:18:42] <Minoru> чото эти ваши чпоки начали меня настораживать…
[17:18:59] <ɹǝɟılʍǝu> Minoru, чпок
[17:19:06] <Minoru> ɹǝɟılʍǝu: ну уж нет!
[17:19:17] <rexim> Minoru: чпок
[17:19:30] <Minoru> rexim: нет, нет и ещё раз нет!
[17:19:36] <rexim> xP
[17:21:00] <ForNeVeR> Minoru: у Рексима хвостик на затылке, ты помнишь?
[17:21:21] <rexim> ._.
[17:21:25] <ForNeVeR> Больше мне про его физиологию ничего не известно.
[17:21:29] <rexim> Откуда вы знаете?
[17:21:34] <ForNeVeR> Да все знают!
[17:21:43] <Minoru> ForNeVeR: вот именно! А вдруг у него… *два хвостика*?
[17:21:50] <ForNeVeR> ._.
[17:21:55] <ForNeVeR> Как у девчонки чтоли?
[17:21:56] <ɹǝɟılʍǝu> .__.
[17:22:20] <rexim> О, а я делал один раз так.
[17:22:24] <rexim> Забавно вышло :)
[17:22:32] <ForNeVeR> ._.
[17:31:02] <rexim> И все так неловко сразу замолчали!
[17:31:08] <rexim> Ладно, я вам помогу.
[17:31:10] <rexim> .ping
[17:31:11] <DeadBot> rexim: понг от тебя 0.08 секунды
[17:31:12] <rexim> .ping
[17:31:12] <DeadBot> rexim: понг от тебя 0.14 секунды
[17:31:14] <rexim> .ping
[17:31:14] <DeadBot> rexim: понг от тебя 0.07 секунды
[17:31:17] <rexim> $say 10
[17:31:23] <rexim> $access
[17:31:25] <horta hell> rexim: Администратор
[17:31:27] <rexim> =3
[17:31:48] <Minoru> чо неловко-то? Я очень даже ловко замолчал!
[17:31:53] <horta hell> rexim: phantasm, ага. Можете сделать коммит в https://github.com/9630/Ruby с мессанджом "rexim nyasha"
[17:32:02] <rexim> ._.
[17:32:09] <ForNeVeR> XD
[17:32:26] * rexim на этот раз ловко замолчал
[17:32:51] <ForNeVeR> > Merge pull request #116 from eaeee/rexim-nyasha.
[17:33:10] <ForNeVeR> Я вмерживал, кстати :3
[17:33:17] <rexim> $say 10
[17:33:18] <horta hell> rexim: gsomix, что-то я уже года два уже не такой Линус.
[17:33:26] <rexim> .__.
[17:33:29] <ForNeVeR> о__О
[17:33:33] <ɹǝɟılʍǝu> $say 10
[17:33:39] <rexim> $say 10
[17:33:40] <horta hell> rexim: > Supported image formats (and the required support libraries) include PBM and XBM (which do not depend on the bottom some uber haxor shit going on
[17:33:40] <ForNeVeR> $say 10
[17:33:52] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, ты 10 строк раскурить не можешь? шарп размягчил тебя!
[17:33:58] <rexim> !!
[17:33:58] <ForNeVeR> ЧО!
[17:34:02] <ɹǝɟılʍǝu> гг
[17:34:11] <rexim> $say 10
[17:34:11] <horta hell> rexim: p-rtnov: лол, ну под капотом оно нормально все забиндит, что ты что-то такое припоминаю, ты рассказывал :)
[17:34:12] <ForNeVeR> Я и десять, и десять тысяч строк раскурить могу!
[17:34:14] <ɹǝɟılʍǝu> $say 10
[17:34:15] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, а, то есть смысл брать сразу тока пацифику и плевать на аккустику)
[17:34:25] <ɹǝɟılʍǝu> $say 10
[17:34:25] <horta hell> ɹǝɟılʍǝu: Оператор --- это документально записанный стандарт хуёвого оформления кода. Страдайте!
[17:34:30] <eaeee> привет
[17:34:33] <rexim> xD
[17:34:43] <ɹǝɟılʍǝu> eaeee, привет. Давай устроим дельфи-парад?
[17:34:44] <ɹǝɟılʍǝu> =)
[17:34:47] <rexim> $say 10
[17:34:48] <horta hell> rexim: M-noru: ты же плюсы знаешь. За чем тебе твой прошлый вариант не нравится?
[17:34:54] <eaeee> обратите внимание когда открыта и закрыта задача https://hibernate.atlassian.net/browse/HHH-16
[17:34:56] <ɹǝɟılʍǝu> $say 10
[17:34:57] <horta hell> ɹǝɟılʍǝu: Kerrigаn, какая разница между ёблей отлова бага, позерившего тонны данных и методов, которые не пересобирают, а ждут общей сюлрки. Це ж долга!
[17:35:13] <rexim> $say 10
[17:35:14] <horta hell> rexim: Нет! Ты меня просто вообще нет понятия платного или бесплатного акка. Есть понятие платных или бесплатных услуг.
[17:35:22] <ɹǝɟılʍǝu> $say 10
[17:35:24] <horta hell> ɹǝɟılʍǝu: Короче, чтобы ругался, что ему нужно, вплоть до ос. Не вижу в этом.)
[17:35:26] <ForNeVeR> eaeee: норм, в любом проекте таких хватает.
[17:35:31] <ɹǝɟılʍǝu> $say 10
[17:35:33] <horta hell> ɹǝɟılʍǝu: Сл-вный капитан, а как сделать так, чтобы была идентична оригинальной?
[17:35:33] <rexim> $say 10
[17:35:37] <horta hell> rexim: Он же под NetBSD. NetBSD портирован под Sega Dreamcast. Это значит, что я сегодня вечером будет
[17:35:38] <eaeee> ɹǝɟılʍǝu: я пас
[17:35:44] <ForNeVeR> В JVM не все баги закрыты с 1998 года :3
[17:36:00] <ForNeVeR> rexim: это значит, что я сегодня вечером будет!
[17:36:02] <ɹǝɟılʍǝu> $say 10
[17:36:10] <ForNeVeR> rexim: а ты сегодня вечером будет?
[17:36:11] <rexim> ForNeVeR: да!
[17:36:17] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, m4n71k0r, хочется сделать так: иметь просто поля класса, а некоторый метод класса мог их перебрать?
[17:36:23] <ɹǝɟılʍǝu> $say 10
[17:36:25] <rexim> !!!
[17:36:30] <rexim> $say 10
[17:36:43] <rexim> $access
[17:36:46] <rexim> .ping
[17:36:46] <DeadBot> rexim: понг от тебя 0.07 секунды
[17:36:49] <rexim> =(
[17:36:50] <ForNeVeR> $say 10
[17:36:51] <ɹǝɟılʍǝu> $say 10
[17:36:56] <horta hell> rexim: Администратор
[17:36:57] <ForNeVeR> Что-то жуткое хорта готовит.
[17:37:03] <ɹǝɟılʍǝu> horta hell, тужься
[17:37:22] <horta hell> rexim: folex, хотелось бы юзать удобно вот так выглядел <a href="http://media.funlol.com/pictures/6905.jpg">http://media.funlol.com/pictures/6905.jpg</a>
[17:37:36] <rexim> О_О
[17:37:50] <ɹǝɟılʍǝu> $say 10
[17:38:00] <rexim> horta hell: ты это... Не пали меня так!
[17:38:01] <ForNeVeR> $say 10
[17:38:16] <ForNeVeR> rexim: на картинке странное.
[17:38:38] <rexim> ForNeVeR: я не помню такого! Хорта все выдумала!
[17:38:40] <rexim> $say1 0
[17:38:43] <rexim> $say 10
[17:39:00] <Minoru> я начал иначе смотреть на цепи Маркова. Это жесть какая-то!
[17:39:03] <ForNeVeR> У хорты не всё хорошо.
[17:39:15] <ɹǝɟılʍǝu> $say 10
[17:39:18] <rexim> ForNeVeR: она заболела? :(
[17:39:35] <ForNeVeR> Логи заканчиваются 5 минут назад.
[17:39:44] <rexim> Ох...
[17:39:49] <rexim> Запор!
[17:39:57] <ForNeVeR> Может, у неё там просто часы сбились?
[17:40:01] <ForNeVeR> $access
[17:40:01] <rexim> Я явно запор прямого пайпа.
[17:40:20] <ForNeVeR> Хм, и она CPU схавала. Я сразу не заметил.
[17:40:24] <rexim> Minoru: кстати, мы вчера с тобой лечили запор пайпа.
[17:40:28] <ForNeVeR> А, ладно, ребутнем!
[17:40:29] <horta hell> ɹǝɟılʍǝu: Офигеть, в списках инициализации ругается на длинные имена. Как починиьб?
[17:40:30] horta hell вышел из конференции: Disconnected: closed
[17:40:35] <ForNeVeR> о
[17:40:36] horta hell зашёл в конференцию
[17:40:38] <rexim> лол
[17:40:40] <ForNeVeR> java.lang.OutOfMemoryError: Java heap space
[17:40:44] <rexim> О_О
[17:40:51] <ForNeVeR> Похоже, Хорта готовила *грандиозное* сообщение.
[17:40:57] <eaeee> нужно больше памяти
[17:41:01] <ForNeVeR> Хорошо, что у неё закончилась память :)
[17:41:05] <rexim> ForNeVeR: арабскую мудрость
[17:41:10] <ForNeVeR> Надо будет лимит добавить.
[17:41:21] <ɹǝɟılʍǝu> $say 10
[17:41:45] <ɹǝɟılʍǝu> ForNeVeR, SPACE
[17:41:47] <horta hell> ɹǝɟılʍǝu: Akon32, newlifer@newlifer-Z97-HD3:~$ lsmod Module Size Used by amdkfd 122880 1 amd_iommu_v2 20480 1 amdkfd radeon 1507328 4 i915 1138688 1 i2c_algo_bit 16384 2 i915,radeon serio_raw 16384 0 sdhci 45056 1 sdhci_acpi mmc_core 122880 2 i915,radeon ttm 90112 1 radeon drm_kms_helper 122880 2 i915,radeon serio_raw 16384 0 sdhci 45056 1 sdhci_acpi mmc_core 122880 2 i915,radeon serio_raw 16384 0 sdhci 45056 1 sdhci_acpi mmc_core 122880 2 i915,radeon serio_raw 16384 0 sdhci 45056 1 sdhci_acpi mmc_core 122880 2 sdhci,sdhci_acpi video 36864 1 i915 fjes 28672 0 i2c_hid 20480 0
[17:41:54] <ɹǝɟılʍǝu> што
[17:42:17] <ɹǝɟılʍǝu> А, вспомнил.
[17:42:19] <ɹǝɟılʍǝu> $say 10
[17:42:19] <horta hell> ɹǝɟılʍǝu: К сожалению, запрошенное сообщение не было найдено.
[17:42:22] <ɹǝɟılʍǝu> $say 10
[17:42:22] <horta hell> ɹǝɟılʍǝu: К сожалению, запрошенное сообщение не было найдено.
[17:42:24] <ɹǝɟılʍǝu> $say 10
[17:42:25] <horta hell> ɹǝɟılʍǝu: Как напишешь -- сравни оба варианта min( a, b ) >> filter ( c ) >> filter ( c )
[17:42:29] <ɹǝɟılʍǝu> $say 10
[17:42:29] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, я так всегда в крупных сериях... Взять те же шутки? Или сарказм-мастерами?
[17:42:34] <ɹǝɟılʍǝu> $say 10
[17:42:48] <ɹǝɟılʍǝu> ForNeVeR, САРКАЗМ-МАСТЕРАМИ
[17:43:10] <ɹǝɟılʍǝu> > ‎[16:50:24] ‎horta hell‎: Взять немножечко укропу, Сунь туда кошачью попу, Тараканьи лапки, Сикель старой бабки,
ЧТОБЛЯТЬ
[17:43:10] <ForNeVeR> Я даже не знаю, что тут можно добавить.
[17:44:07] <rexim> $say 10
[17:44:24] <ɹǝɟılʍǝu> $say 10
[17:44:24] <horta hell> ɹǝɟılʍǝu: Всё, что придумал человек — просто. Иначе бы он сам не знаешь, откуда вечная тьма.
[17:44:31] <ɹǝɟılʍǝu> $say 10
[17:44:32] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, даже в C++11 есть норм Numeric Conversions, а не просто смена цвета фона и шрифта.
[17:44:34] <rexim> $say 10
[17:44:36] <horta hell> rexim: Плюсы пути к либам для никсов протухшие. Но это пока без пагинации), страничка на конкретный пост и какую нибудь простую страничку для добавления с уже забитыми данными.
[17:44:41] <horta hell> rexim: Серьезно, я только разбираюсь. :) Но если между теми двумя, то Маша.
[17:44:50] <rexim> ._.
[17:45:01] <ɹǝɟılʍǝu> rexim, кто такая Маша?
[17:45:07] <ɹǝɟılʍǝu> $say 10
[17:45:07] <horta hell> ɹǝɟılʍǝu: M-noru, так вот. Repaint лучше вызывать сразу по таймеру и иметь к примеру 60 fps, или по наработкам?
[17:45:15] <ɹǝɟılʍǝu> $say 10
[17:45:15] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, не переспи там только и есть Bamboo в новом синтаксисе ухайдокали коннекты к теймплейтам.
[17:45:32] <ɹǝɟılʍǝu> $say 10
[17:45:33] <horta hell> ɹǝɟılʍǝu: gsomix, что-то упоротое из заделок то ли valve то ли valve то ли 70е
[17:45:43] <ɹǝɟılʍǝu> 0_о
[17:46:00] <ForNeVeR> $say 5
[17:46:18] <ɹǝɟılʍǝu> $say 10
[17:46:18] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, да нет, во все проходы все текстуры статичны (кроме одной, и то, только когда рисуешь), пишу только во фреймбуфер
[17:46:25] <ɹǝɟılʍǝu> $say 10
[17:46:26] <horta hell> ɹǝɟılʍǝu: К сожалению, запрошенное сообщение не было найдено.
[17:46:29] <ɹǝɟılʍǝu> $say 7
[17:46:29] <horta hell> ɹǝɟılʍǝu: Не будешь же спорить, что матан учит чОткому мышлению?)
[17:46:37] <ɹǝɟılʍǝu> Нет, не буду)
[17:46:43] <ɹǝɟılʍǝu> $say 10
[17:46:43] <horta hell> ɹǝɟılʍǝu: К сожалению, запрошенное сообщение не было найдено.
[17:46:47] <ɹǝɟılʍǝu> $say 7
[17:46:48] <horta hell> ɹǝɟılʍǝu: F-rNeVeR, The greatest waste of flesh and bone born in the hope that it will be created. ня, так можно и тае.
[17:47:06] <ɹǝɟılʍǝu> $say 7
[17:47:11] <ForNeVeR> Нет, с хортой что-то не так, я её ребутну.
[17:47:30] horta hell вышел из конференции: Disconnected: closed
[17:47:36] horta hell зашёл в конференцию
[17:50:16] horta hell вышел из конференции: Disconnected: closed
[17:50:17] <ɹǝɟılʍǝu> $say 7
[17:50:23] horta hell зашёл в конференцию
[17:51:34] <ɹǝɟılʍǝu> $say 7
[17:51:56] <horta hell> ɹǝɟılʍǝu: Предлагаю переделать так, чтобы объект всегда был почти идеальный)
[17:51:59] <ForNeVeR> Прикиньте, в соседнем чате чувак два раза триггернул BLOOD GORE DESTROY.
[17:52:36] <ɹǝɟılʍǝu> ыыы
[17:52:41] <ɹǝɟılʍǝu> Так вот почему оно все так упал
[17:53:19] <ForNeVeR> Нет.
[17:53:22] <ForNeVeR> Я ребутнул.
[17:54:07] <ɹǝɟılʍǝu> $say 7
[17:54:08] <horta hell> ɹǝɟılʍǝu: Вы все видели, что он там длает?
[17:54:20] <ɹǝɟılʍǝu> ForNeVeR, что ты там делаешь? ._.
[17:54:27] <ForNeVeR> о_О
[17:54:33] <ForNeVeR> Нет, никто не видел!
[17:54:57] <ForNeVeR> $say
[17:54:58] <horta hell> ForNeVeR: пффффш
[17:54:59] <horta hell> ForNeVeR: шпфффф
[17:55:01] <horta hell> ForNeVeR: я твой Хортец!
[17:55:02] <ForNeVeR> :3
[17:55:36] <rexim> Чпоктец
[17:55:37] <rexim> $say 10
[17:56:04] <horta hell> rexim: Нужно еще много чего умеет, только это для не знающих емакс.
[17:56:16] <rexim> Хм...
[17:56:18] <rexim> $say 10
[17:56:19] <horta hell> rexim: Это ты, когда устроишься в гугл, одна из первых картинок: <a href="http://www.voofoostudios.com/wp-content/uploads/2010/07/Mug_Mark_01.jpg">http://www.voofoostudios.com/wp-content/uploads/2010/07/Mug_Mark_01.jpg</a>
[17:56:30] <rexim> WTF!@!1
[17:56:38] <ForNeVeR> о_О
[17:56:40] <rexim> Откуда она берет все
[17:56:42] <rexim> эти
[17:56:43] <rexim> фотки?
[17:56:52] <rexim> $say 10
[17:56:52] <horta hell> rexim: F-rNeVeR, ты уже одну свою рисовалку выкинул. Где гарантии, что мы банка, Минору прав.
[17:57:01] <rexim> ШТА!1
[17:57:01] <ForNeVeR> $search Mug_Mark_01
[17:57:16] <ForNeVeR> rexim: у меня нет гарантий, что вы банка.
[17:57:24] gsomix зашёл в конференцию
[17:57:24] <rexim> ForNeVeR: Минору прав
[17:57:33] <horta hell> ForNeVeR: 2014-08-06T14:14:54.000Z r-xim Одна из первых картинок: <a href="http://www.voof…
2016-05-02T14:01:29.047Z h-rta hell r-xim: Это ты, когда устроишься в гугл, одна из п…
[17:57:36] <gsomix> Утро.
[17:57:45] <ForNeVeR> $search мы\ банка
[17:58:02] <ɹǝɟılʍǝu> gsomix, чпок
[17:58:11] <horta hell> ForNeVeR: 2016-01-05T18:58:20.034Z r-xim Ну и да, потому что мы банка, Минору прав.
2016-05-02T14:02:02.498Z h-rta hell r-xim: F-rNeVeR, ты уже одну свою рисовалку выкин…
[17:58:14] <gsomix> ɹǝɟılʍǝu, чпок.
[17:58:19] <ForNeVeR> rexim: о_О
[17:58:26] <rexim> ForNeVeR: О_о
[17:58:31] <rexim> Да выдумывает она все!
[17:58:35] <rexim> Не было ничего такого1
[17:58:37] <rexim> $say 10
[17:58:37] <horta hell> rexim: Myp, по ссылке выше, есть неуважение к читающему этот код.
[17:58:44] <rexim> $say 10
[17:58:45] <horta hell> rexim: F-rNeVeR, а "свидетельство о смерти" ты специально первым поставил? :)
[17:58:50] <rexim> $say 10
[17:58:50] <horta hell> rexim: Странное заявление. Решето код или чтобы про что-нибудь другое уже попробовать.
[17:58:56] <rexim> $say 10
[17:58:56] <horta hell> rexim: К сожалению, запрошенное сообщение не было найдено.
[17:58:59] <rexim> $say 10
[17:58:59] <horta hell> rexim: К сожалению, запрошенное сообщение не было найдено.
[17:59:04] <ForNeVeR> rexim: http://0xd34df00d.me/logs/chat/codingteam@conference.jabber.ru/2016/01/05.html#22:55:35
[17:59:29] <ɹǝɟılʍǝu> Ребят, чо за люди? Замечаешь, что сидят в консоли (да еще и не в одной одновременно), советуешь им ConEMU или Cmder. А они грят, что не нужно, они не часто ими пользуются. Начинаешь следить, а они, как оказывается,ею пользуются постоянно.
[17:59:38] <ɹǝɟılʍǝu> Почему не принимают помощь?..
[17:59:45] <gsomix> "Therefore, I predict, that as TDD becomes ever more accepted as a necessary professional discipline, dynamic languages will become the preferred languages".
[17:59:55] <ForNeVeR> ɹǝɟılʍǝu: действительно, странные люди.
[18:00:03] <rexim> $say 10
[18:00:03] <horta hell> rexim: Это потому, что мой клиент раскрасил ваши ники почти в одинаковый цвет. =(
[18:00:09] <rexim> $say 10
[18:00:09] <horta hell> rexim: пффффш
[18:00:11] <horta hell> rexim: шпфффф
[18:00:11] <rexim> =3
[18:00:13] <horta hell> rexim: я твой Хортец!
[18:00:17] <rexim> $say 10
[18:00:18] <horta hell> rexim: Даже кафедра, на которой Дима Егоров получил ОК за 13-мерную динамику. В программе была строка длиной 723 символа."
[18:00:22] <ɹǝɟılʍǝu> gsomix, што?
[18:00:36] <rexim> $say 10
[18:00:36] <horta hell> rexim: Да ну. Мне кажется или он настолько сложен, что не сохранил коробку.
[18:00:42] <rexim> $say 10
[18:00:42] <horta hell> rexim: Они же хранятся в списке может быть размещен в txt файле.
[18:00:43] <gsomix> ɹǝɟılʍǝu, Uncle Bob.
[18:00:54] <rexim> gsomix: http://www.voofoostudios.com/wp-content/uploads/2010/07/Mug_Mark_01.jpg
[18:00:58] <ɹǝɟılʍǝu> Не, TDD это круто (а иногда и единственный возможный вариант разработки), но блин.
[18:01:05] <ɹǝɟılʍǝu> gsomix, он уже мне не нравится ._.
[18:01:25] <ForNeVeR> gsomix: странное утверждение.
[18:01:44] <gsomix> ForNeVeR, ɹǝɟılʍǝu, http://blog.cleancoder.com/uncle-bob/2016/05/01/TypeWars.html
[18:02:00] rexim вышел из конференции
[18:02:06] <gsomix> ɹǝɟılʍǝu, я читал его книгу -- Clean Code. Мне понравилось.
[18:02:16] <gsomix> Но там сборник советов, как писать код на джаве. :)
[18:02:58] <ɹǝɟılʍǝu> gsomix, видел. =)
[18:03:09] <ɹǝɟılʍǝu> У соседа на работе на столе лежит.
[18:03:54] <ForNeVeR> Не могу согласиться с выводом этого человека.
[18:06:42] <ForNeVeR> Хорошо, что у него комментов в бложике нету, а то там бы точно устроили срач :)
[18:09:40] <ɹǝɟılʍǝu> ForNeVeR, http://cs8.pikabu.ru/post_img/2016/05/02/6/1462176003169958285.jpg
[18:09:48] <ForNeVeR> :3
[18:14:11] <Minoru> just a friendly reminder: рассказывая людям о git bisect, не забывайте рассказать о skip
[18:16:40] <ɹǝɟılʍǝu> Бля
[18:16:45] <ɹǝɟılʍǝu> Батарейка в мышке села(
[18:19:10] <gsomix> Minoru, одну мою линзу одобрили.
[18:19:18] <gsomix> Я даже письмо писал с описание результатов.
[18:19:43] <gsomix> Часа два, наверное. =__=
[18:23:51] <Minoru> ɹǝɟılʍǝu: юзай трекболлы. В моём вот недавно села батарейка, которую я туда почти два года назад поставил
[18:24:12] <ɹǝɟılʍǝu> Minoru, какой коварный <_<
[18:24:28] <Minoru> gsomix: ты такой молодец! Да, важные письма я тоже подолгу пишу. А потом сижу и жду ответа, каждые пять минут поглядывая в клиент!
[18:25:07] <gsomix> Читаю F# Survey 2016. Куча нытья. :)
[18:25:33] <ForNeVeR> gsomix: разве задача survey не в том, чтобы это нытьё выявить?
[18:25:45] <gsomix> Для этого.
[18:26:05] <Minoru> а что с нытиками потом делают?
[18:26:10] <gsomix> > If you were using F# but have now stopped, please tell us why:
> Haskell
[18:26:37] <Minoru> лол
[18:26:54] <gsomix> Но больше всего жалоб на инструменты и поддержку линукса, кажется.
[18:27:34] <ForNeVeR> Minoru: ты не поверишь, но с нытиками ничего не делают. А нытьё собирают в кучу и пытаются пофиксить.
[18:27:58] superka вышел из конференции: Logged out
[18:28:08] <gsomix> ForNeVeR, там, кстати, опять тусовка. Теперь в офисе Microsoft Research.
[18:30:25] <gsomix> Что-то я всегда говорю о новостях из F# мира.
[18:30:57] <gsomix> Но в твиттере я не могу пока найти кучу прикладных математиков. :)
[18:31:18] <ɹǝɟılʍǝu> gsomix, сидят и ноють, что нет хаскеля?
[18:32:32] <ɹǝɟılʍǝu> Хм.
[18:32:32] gsomix вышел из конференции
[18:32:37] <ɹǝɟılʍǝu> Пойду поем суп.
[18:32:43] <ɹǝɟılʍǝu> О ШИКАРНЫЙ СУП НАВАРИЛИ
[18:32:52] <ɹǝɟılʍǝu> Minoru, ЕШЬ СУП
[18:32:55] <ɹǝɟılʍǝu> ГОРЯЧИЙ СУП
[18:35:09] gsomix зашёл в конференцию
[18:35:30] <ForNeVeR> $send rexim https://www.youtube.com/watch?v=hJwSO-fgF2I
[18:35:31] <horta hell> ForNeVeR: Сообщение помещено в очередь.
[18:35:39] <gsomix> ɹǝɟılʍǝu, можно и так сказать. Жалоб на отсутствие тайпклассов и HKT тоже много.
[18:44:09] eaeee вышел из конференции: Replaced by new connection
[18:44:10] eaeee зашёл в конференцию
[18:44:10] <gsomix> ForNeVeR, http://files.meetup.com/10193032/Fstar%20Dependent%20types%20effects%20and%20the%20future%20of%20functional%20progr.pdf
[18:47:27] eaeee вышел из конференции: Replaced by new connection
[18:47:28] eaeee зашёл в конференцию
[18:47:29] gsomix вышел из конференции
[18:47:37] gsomix зашёл в конференцию
[18:47:42] eaeee вышел из конференции
[18:56:23] <gsomix> Я вот думаю, dependent types должны быть хороши для вычислительных и околонаучных задач.
[18:56:33] <gsomix> Но пока не могу придумать хорошего примера, когда это было бы киллерфичей.
[18:58:45] <gsomix> ɹǝɟılʍǝu, Minoru, есть идеи?
[18:59:28] <ɹǝɟılʍǝu> gsomix, в функциях.
[18:59:50] <ɹǝɟılʍǝu> Ща покажу какие
[19:00:36] <ɹǝɟılʍǝu> Не, не покажу)
[19:00:41] <ɹǝɟılʍǝu> Не могу найти.
[19:00:45] <gsomix> :(
[19:00:57] Kumba_yo зашёл в конференцию
[19:01:19] uggur вышел из конференции
[19:01:30] <ɹǝɟılʍǝu> gsomix, а ты знаешь такие, которые п условию выдают разный тип?
[19:01:53] <gsomix> Да вот в голову не приходит пока.
[19:03:36] <gsomix> Как описывать сложные типы, мне тоже не понятно.
[19:04:27] <Minoru> gsomix: у меня про зависимые типы какое-то расплывчатое представление, так что не знаю. что тебе подсказать
[19:04:33] <gsomix> Могу ли я, например, описать сплайн, значения которого положительные?
[19:04:47] <ɹǝɟılʍǝu> Levf.? lf
[19:05:05] <gsomix> Учитывая, что эти значения расчитываются по определенным формулам через коэффициенты.
[19:06:04] <gsomix> ɹǝɟılʍǝu, мне кажется, что нельзя.
[19:06:29] <gsomix> Ну что же вы, хаскелиты?
[19:07:31] <ɹǝɟılʍǝu> gsomix, просто у меня тут блинчики(
[19:07:52] <eternastudento> Котаки, салют) Никто не находил какого-нибудь блога или статейки о реализации многоуровневого рогалика? Чтобы высоты, чтобы расчёт видимости, всё
[19:07:54] <eternastudento> это вот
[19:08:47] <ɹǝɟılʍǝu> eternastudento, посмотри Enter the Gundeon
[19:11:10] <gsomix> ɹǝɟılʍǝu, Minoru, правильно я понимаю, что если я описываю функцию, которая возвращает только положительне значения, то я сразу получаю ограничения на операции. Например, не могу использовать вычитание.
[19:11:34] <ɹǝɟılʍǝu> gsomix, если на натуральных числах, то да.
[19:11:37] <ɹǝɟılʍǝu> Тьфу
[19:11:49] <Minoru> gsomix: насколько я понимаю, нет. Тебе просто в функцию вычитания придётся передать доказательство того, что после вычитания получится положительное число
[19:11:54] <ɹǝɟılʍǝu> Положиельных
[19:12:29] <gsomix> Minoru, а это как-нибудь автоматически выводится?
[19:12:51] <gsomix> Ну, я описываю операцию вычитания.
[19:13:05] <gsomix> И вызываю с константами "5 - 3".
[19:13:11] <Minoru> gsomix: вот этого не знаю
[19:13:17] rexim зашёл в конференцию
[19:13:28] <gsomix> Современные языки смогут вывести, что получится положительное число на выходе?
[19:13:39] <ɹǝɟılʍǝu> Суть зависимой типизации в том, что к типам можно прилямывать предикаты.
[19:13:45] <ɹǝɟılʍǝu> Получая подтипы (subtypes)
[19:13:51] <ɹǝɟılʍǝu> Совсем не обязательно доказывать)
[19:14:05] <rexim> ForNeVeR: охуенный рисунок! :)
[19:14:08] <ɹǝɟılʍǝu> Просто так удобней создавать подтипы типа некоторых множеств.
[19:14:26] <ForNeVeR> rexim: а мелодия тебе не понравилась? :(
[19:14:29] <eternastudento> newlifer, там же обычный плоский рогалик?
[19:14:42] <rexim> ForNeVeR: я только минуту прослушал. Пока еще не понял.
[19:14:42] <ɹǝɟılʍǝu> да
[19:14:50] <ForNeVeR> eternastudento: мне не видится особенной сложности с этим.
[19:15:09] <ForNeVeR> eternastudento: у нас вот в Кетере дак вообще есть зоны локального ускорения и замедления времени .__.
[19:15:09] <ɹǝɟılʍǝu> Типы не про доказательство, а про проверку их.
[19:15:21] <gsomix> ForNeVeR, а ты что скажешь про возможности применения dependent types в вычислительных и околонаучных задачах?
[19:15:24] <ForNeVeR> eternastudento: алсо, я себе это представляю так, как реализовано в Dwarf Fortress.
[19:15:34] <ForNeVeR> gsomix: я думаю, что там лучше подходит суперкомпиляция.
[19:15:37] <eternastudento> даа, именно DF
[19:16:01] <ForNeVeR> Которая имеет как общее, так и отличное от зависимой типизации. Возможно, это другой вариант применения тех же идей.
[19:16:02] <rexim> ForNeVeR: да, нравится. Спасибо!
[19:16:11] <ɹǝɟılʍǝu> gsomix, в доказательствах может помочь
[19:16:15] <gsomix> ForNeVeR, можешь привести пример?
[19:16:17] <ForNeVeR> eternastudento: а какие вопросы? Давай подумаем вместе, если сможешь сформулировать.
[19:16:22] <gsomix> ɹǝɟılʍǝu, доказательства не интересуют.
[19:16:41] <ForNeVeR> gsomix: пример: суперкомпилятор выводит, что какая-то функция всегда положительна, и использует это при оптимизации.
[19:17:00] <ForNeVeR> Ну, как минимум отрицательные ветки можно порезать, а, может, и битовую арифметику упростить.
[19:17:09] <gsomix> Звучит неплохо!
[19:17:34] <ForNeVeR> gsomix: ещё более интересный пример будет, если суперкомпилятор установит точность, с которой требуется решить задачу, и сгенерит формат чисел с фиксированной точкой подходящей размерности
[19:17:51] <gsomix> А реализации какие есть?
[19:17:53] <ForNeVeR> Laz недавно вбрасывал доклад про такой интересный формат.
[19:18:10] <gsomix> ForNeVeR, а я вбрасывал до этого. =__=
[19:18:15] <ForNeVeR> Реализации не знаю. Слышал только, что что-то такое делали для Рефала. И, возможно, Фортрана.
[19:18:24] <ForNeVeR> gsomix: странно, я от тебя не видел
[19:19:02] rexim вышел из конференции
[19:20:24] <ɹǝɟılʍǝu> О
[19:20:28] <ɹǝɟılʍǝu> ForNeVeR, интересная тема.
[19:20:39] <ɹǝɟılʍǝu> ForNeVeR, можно ли ей загрузить учеников?
[19:21:11] <ForNeVeR> Ну, это уж ты сам смотри, чем можно загружать учеников.
[19:21:14] <eternastudento> ForNeVeR, ɹǝɟılʍǝu‎, смотрите. Есть площадочка на высоте 1 над плоскостью уровня, который на высоте 0. Есть тайл уровня, который лестница, на него можно зайти с земли только с одного конца, а с площадочки с трёх остальных концов. С площадочки можно спрыгнуть на землю, но с земли нельзя запрыгнуть на площадочку. Вопрос звучит так - хранить ли уровень в виде 3d массива кубиков или в виде графа кубиков со связями между ними? Во втором случае можно легче играться с телепортами и всякими свёрнутыми пространствами. В первом случае проще искать обьекты, попадающие в какую-либо область.
[19:21:16] <ForNeVeR> Главное - не перегрузи.
[19:22:48] <ForNeVeR> eternastudento: в Кетере у нас для этого задаются подпространственные матрицы, которые в себе хранят коэффициенты смещения, растяжения/сжатия, и преобразования времени. Можно делать порталы в то же самое пространство, но с другим временным коэффициентом. Впрочем, это у нас почти случайно получилось, и я пока не знаю, зачем :D
[19:23:24] <ForNeVeR> eternastudento: по поводу 3D-массива - мне идея не очень нравится. Я всё-таки вижу поле как совокупность объектов, пожалуй.
[19:23:26] <Славный капитан> eternastudento: оба сразу
[19:23:52] <ForNeVeR> eternastudento: плюс, если обратиться к DF, то учитывай, что клетка может быть заполнена и не целиком, а только на какую-то часть. Как у них реализована вода, например.
[19:23:57] <Славный капитан> на диске хранишь в виде графа, при загрузке уровня перестраиваешь в 3D-массив
[19:26:09] <eternastudento> *скипел чай, ушел думать и смотреть новую серию ИП*
[19:26:40] <gsomix> ForNeVeR, но суперкомпиляция это про оптимизацию.
[19:26:58] <ForNeVeR> gsomix: что и требуется при решении научных задач, разве нет?
[19:27:07] <gsomix> Я вот и думаю.
[19:27:12] <gsomix> А нужно ли как-то сильно проверять корректность?
[19:27:26] <ForNeVeR> А как её можно проверить?
[19:27:52] <gsomix> Я не очень smart guy.
[19:28:28] <gsomix> Но вдруг там теория типов дает какую-нибудь магическую возможность.
[19:28:58] <ForNeVeR> Ты можешь определить тип чисел, которые соответствуют некоторому сложному набору критериев.
[19:29:04] <ɹǝɟılʍǝu> gsomix, запомни простую вещь: теория множеств про доказательства (и семантику), теория типов про их прверку (синтаксис).
[19:29:16] sss|zombie зашёл в конференцию
[19:29:28] <ForNeVeR> Но пока что мне видится, что эта задача так же сложна, как и изначальная (получить алгоритм расчёта чего-то).
[19:29:30] <ɹǝɟılʍǝu> Профиты теории типов в снижении ошибок и усилении автоматической оптимизации.
[19:29:43] <ForNeVeR> ɹǝɟılʍǝu: доказательства и типы - одно и то же :)
[19:29:55] <ForNeVeR> Изоморфизм Карри-Говарда же!
[19:30:06] <ɹǝɟılʍǝu> ForNeVeR, я до туда не дошел(
[19:30:14] * ForNeVeR выучил несколько умных слов и бросается ими в любой дискуссии.
[19:30:56] <ForNeVeR> ɹǝɟılʍǝu: но такое понятие и правда существует. Оно говорит о соответствии типов и доказательств. Что-то навроде того, что если ты можешь получить инстанс типа - то ты доказал теорему.
[19:32:02] <ForNeVeR> На этой основе работают все эти наши agda и coq. Ты вроде как описываешь типы, но одновременно с этим ты оперируешь набором утверждений и доказываешь что-то.
[19:33:07] <ForNeVeR> При этом -> даже становится настоящей импликацией, если я не путаю.
[19:33:42] <ForNeVeR> И новичок может даже самостоятельно доказать какие-то простые вещи типа (a < b) -> (b >= a)
[19:34:10] <gsomix> ForNeVeR, ɹǝɟılʍǝu, ну окей, значит это все мимо.
[19:34:23] <gsomix> Максимум, что нужно -- какая-нибудь обычная система типов.
[19:34:58] <ForNeVeR> gsomix: зависит от того, какие задачи ты решаешь, и какие результаты хочешь получить :)
[19:35:16] <gsomix> Для моих задач, я имею в виду.
[19:35:19] <ForNeVeR> Например, для всяких там доказательств (вполне научная задача, не так ли?) применяют зависимые типы.
[19:35:31] <ForNeVeR> А вот для задачи инженерных расчётов - да, пока что я применений не встречал.
[19:35:43] <gsomix> Какой скукой я занимаюсь...
[19:35:46] <ForNeVeR> Но это не значит, что это не имеет смысла. Вполне себе направление для исследований.
[19:36:07] <ForNeVeR> Вдруг окажется, что применение зависимых типов открывает какие-нибудь невиданные бенефиты для вычислений?
[19:37:36] <ForNeVeR> gsomix: и ещё один момент!
[19:37:57] <ForNeVeR> gsomix: совершенно недавно я тут под вечер уже сообщал в чате, что HoTT используется для квантовой механики!
[19:38:51] <gsomix> ForNeVeR, а как?
[19:39:05] <ForNeVeR> Понятия не имею %)
[19:39:25] <ForNeVeR> Просто заинтересовался возможностью связать доказательства в рамках КМ и теорию типов, и вот, нагуглил.
[19:40:21] <ForNeVeR> Это настолько интуитивно запутанная область, что только лишь для того, чтобы полностью отринуть интуицию и рассуждать о ней формально, людям приходится подниматься на самый отдалённый уровень абстракции.
[19:41:47] <ForNeVeR> gsomix: до такой фигни я очень нескоро докопаюсь. Пока что я в самом начале книжки, ещё даже основные кубитовые понятия худо-бедно осознал :)
[19:42:09] <gsomix> ɹǝɟılʍǝu, ForNeVeR, а что такое HoTT?
[19:42:16] <portnov> ForNeVeR осиливает HoTT ?
[19:42:22] <ForNeVeR> gsomix: homotopy type theory.
[19:42:22] <ɹǝɟılʍǝu> Гомотопческая теория типов.
[19:42:28] <ForNeVeR> Хрен знает что, если по-человечески.
[19:42:32] <gsomix> В чем профит?
[19:43:02] <ForNeVeR> portnov: нет, я претендую лишь на усвоение основ квантовой механики. А HoTT просто к слову пришлась - вроде как её для чего-то там используют.
[19:43:09] <portnov> gsomix: говорят, это новые основания математики
[19:43:15] <ɹǝɟılʍǝu> Пилящие ее люди говорят, что хотят ее вхуячить ее в самую основу науки.
[19:43:37] <gsomix> Блин, чат.
[19:43:41] <ForNeVeR> Какое совпадение!
[19:43:45] <gsomix> Почему я всегда расстраиваюсь от таких разговоров?
[19:43:51] <ForNeVeR> Пилящие Quantum Informatics говорят то же самое :)
[19:44:10] <ForNeVeR> Мол, мы щас узнаем вычислительные способности вселенной, и заставим её работать на нас калькулятором :3
[19:44:24] <portnov> gsomix: почитай вот https://homotopytypetheory.org/book/
[19:44:37] <ɹǝɟılʍǝu> gsomix, я не знаю.
[19:44:52] <gsomix> portnov, нет, спасибо. Мне для этого надо несколько лет бэкграунда нарабатывать.
[19:44:57] <ForNeVeR> gsomix: помнишь это изречение про знание и незнание? Чем больше знаешь - тем больше не знаешь.
[19:45:21] <ɹǝɟılʍǝu> Да.
[19:45:26] <ForNeVeR> Я вот в течение последних нескольких недель с каждым днём обнаруживаю, что не знаю всё больше. И это хорошо, я считаю!
[19:45:33] <ɹǝɟılʍǝu> Я вот хочу все узнать по теории типов(
[19:45:33] <portnov> ForNeVeR: а умножая познание, умножаешь скорбь.
[19:45:43] <ɹǝɟılʍǝu> И что-то в ней сотворить(((
[19:46:07] <ɹǝɟılʍǝu> portnov, у меня наоборот, больше узнаю, больше еще хочется)
[19:46:11] <gsomix> ForNeVeR, я расстраиваюсь из-за того, наверное, что все занимаются чем-то модным и сложным.
[19:46:14] <gsomix> Ну, или стараются.
[19:46:19] <gsomix> Или делают вид...
[19:46:57] <ForNeVeR> gsomix: очень ценное наблюдение, особенно последнее :)
[19:47:03] <ForNeVeR> Всем хочется выглядеть умными.
[19:47:20] <ɹǝɟılʍǝu> Да.
[19:47:20] <ForNeVeR> Ты должен за них радоваться. Это как минимум значит, что они придают твоему мнению значение.
[19:47:27] <ForNeVeR> А, может, и правда умные :D
[19:47:32] <ɹǝɟılʍǝu> ггг
[19:48:16] <portnov> http://www.cs.cmu.edu/~rwh/courses/hott/
[19:49:37] <gsomix> Надо просто найти сообщество прикладных математиков.
[19:49:43] <ForNeVeR> eternastudento: вот тут какое-то кратенькое описание: http://www.roguebasin.com/index.php?title=Third_dimension_in_an_ASCII-based_roguelike
[19:49:47] <gsomix> И с ними обсуждать, как сплайны натягивать, бгг. :(
[19:49:53] <ForNeVeR> gsomix: math@?
[19:50:11] <ForNeVeR> Лично я всегда считал так. Если не можешь найти сообщество - создай его.
[19:50:14] <portnov> gsomix: переехать в новосибирск или иркутск?
[19:50:18] <gsomix> Там тихо и какие-то очень умные ребята сидят.
[19:50:25] <ForNeVeR> Лол, да там все те же!
[19:50:30] <portnov> там этих математиков дохрена
[19:50:33] <gsomix> portnov, не, я про интернеты.
[19:50:34] <portnov> только осторожно
[19:50:37] <portnov> можно спиться
[19:50:48] <gsomix> У меня в институте прикладников куча.
[19:50:53] <gsomix> Я так.
[19:50:56] <gsomix> Про общение после работы.
[19:50:57] <ForNeVeR> И почему ты с ними не дружишь?
[19:51:22] <gsomix> ForNeVeR, потому что они профессора и не сидят в цодингтиме.
[19:51:34] <Minoru> > <gsomix> Про общение после работы.
> <portnov> только осторожно
> <portnov> можно спиться
Here, I fixed it for you!
[19:51:50] <ForNeVeR> gsomix: как будто профессора не могут сидеть в цодингтиме!
[19:51:52] <ɹǝɟılʍǝu> gsomix, общайся со мной =*
[19:51:57] <Minoru> у нас тут только жалкие магистры и младшие научные сотрудники :(
[19:52:06] <ɹǝɟılʍǝu> Minoru, бэй
[19:52:07] <ɹǝɟılʍǝu> Хэй
[19:52:10] <ɹǝɟılʍǝu> И магистранты
[19:52:15] <portnov> Minoru: по моему опыту, математики бухуют гораздо больше погромистов.
[19:52:19] <ForNeVeR> XD
[19:52:28] <ForNeVeR> (по опыту математика)
[19:52:37] <gsomix> Minoru, у нас тут программисты.
[19:52:38] <Minoru> ɹǝɟılʍǝu: ну если уж магистры «жалкие», то о магистрантах и заикаться не стоит! ;)
[19:53:01] <gsomix> ForNeVeR, но идея про сообщество мне нравится.
[19:55:30] <ɹǝɟılʍǝu> Minoru, крутил я это на своем пегасьем достоинстве)
[19:56:33] <Minoru> ɹǝɟılʍǝu: ну чего ты, я же шучу… Тем более что у нас наверняка найдутся тут и студенты младших курсов, и бакалавры, которые решили не идти дальше
[19:56:51] <ForNeVeR> Может, и не студенты вовсе.
[19:57:06] <ForNeVeR> Мунтикор, вон, ПТУ заканчивал. Или Мур, я уж не помню, который из них.
[19:57:09] <Minoru> …и всякие Форневерики, которые забрались уже куда-то настолько далеко, что обратно мы их можем и не дождаться!
[19:57:30] <ForNeVeR> Ещё школьники заходили. Мы их не всех ещё перебанили?
[19:57:52] <Minoru> перебанили? Последнего лично ты крышевал, не помнишь уже чтоль?
[19:58:07] <ForNeVeR> Я крышую молотком.
[19:58:27] <ForNeVeR> Это единственный известный мне надёжный способ крышевания.
[19:58:30] <Minoru> подивон-молоток
[19:59:22] 2tsun4u вышел из конференции
[20:00:22] <gsomix> http://fivebooks.com/interview/nicholas-higham-applied-mathematics/
[20:02:47] <gsomix> ForNeVeR, у тебя есть уникальная возможность стать первым профессором в цодингтиме.
[20:03:08] <ForNeVeR> На данный момент я этого не планирую.
[20:03:33] <gsomix> ForNeVeR, а ты останешься в университете после защиты?
[20:03:51] <ForNeVeR> У меня есть некоторые планы на среднюю перспективу, но я предпочитаю их не оглашать.
[20:04:03] <Minoru> ForNeVeR: а университет останется после твоего нападения?
[20:04:12] <ForNeVeR> gsomix: зависит от конъюнктурных факторов. Может быть да, но может быть и нет.
[20:04:19] <gsomix> Ок.
[20:04:31] <ForNeVeR> Minoru: это же не я нападаю, а на меня!
[20:04:34] <gsomix> А я планирую остаться. // я больше ничего не умею
[20:04:35] <ForNeVeR> Я защищаюсь!
[20:05:19] <ForNeVeR> gsomix: а я довольно мнительный товарищ, и считаю, что умею много чего ещё. И хочу попробовать этим заняться :3
[20:06:01] <gsomix> А я боюсь что-то менять
[20:06:07] <gsomix> Вроде и так неплохо идет.
[20:06:32] <gsomix> // поэтому я уже четыре месяца без зарплаты
[20:06:38] <ForNeVeR> Бедняга!
[20:06:50] <ForNeVeR> А я, наоборот, боюсь ничего не менять.
[20:07:06] <ForNeVeR> Тогда будет застой, коррупция, деградация!
[20:07:41] <ForNeVeR> И моргнуть не успеешь, как обнаружишь себя лежащим на пляже, смотрящим телевизор и *в смокинге*!
[20:07:52] <ForNeVeR> Какое деграданство!
[20:08:04] <gsomix> Но я же строю эти, как их...
[20:08:05] <ForNeVeR> s/нст/нтст/
[20:08:06] <horta hell> ForNeVeR: Какое деградантство!
[20:08:14] <ForNeVeR> Гидростанции!
[20:08:25] <gsomix> Да!
[20:08:27] <ForNeVeR> Но это не такое дело, что один раз построил - и всё, на всю жизнь.
[20:08:44] <ForNeVeR> Гидростанции нужно строить регулярно. Нельзя давать себе морально разлагаться!
[20:09:34] <portnov> препод по последней ссылке забавный
[20:09:52] <gsomix> portnov, почему?
[20:10:18] <portnov> каждые минут 5 останавливается и говорит что-то типа «вы не думайте что я тут собираюсь вас весь семестр first-order logic учить, щас интересные вещи пойдут!»
[20:10:38] <Mr.Purple> и так до конца7
[20:10:53] <portnov> хз, я пока минут 20 посмотрел
[20:13:51] <portnov> так, на 21й минуте у него появляется «ну тут вы можете сказать что это объект в категории, но то что я рассказываю is prior to понятию категории, а так-то да, вот это объект, а вот это экспонента в категории»
[20:19:32] gsomix вышел из конференции
[20:20:46] gsomix зашёл в конференцию
[20:21:18] <a1batross> Ребзя. Есть либа, которая грузится в рантайме. У неё есть функция -- foo. Как приложению, которое грузит эту саму либу, заменить её реализацию foo на свою?
[20:25:48] <gsomix> “TDD replaces a type checker in a dynamically typed language in the same way that a bottle of whisky replaces your daily problems“
[20:26:06] Kumba_yo вышел из конференции
[20:26:21] Kumba_yo зашёл в конференцию
[20:29:43] <ForNeVeR> Good argument!
[20:29:51] <Mr.Purple> *strong
[20:45:18] <portnov> you might wonder why i'm saying this, but nevermind... it's logical!
[20:45:46] <Mr.Purple> это у него юмор такой?
[20:46:09] <gsomix> Да каждый второй преподаватель юморист.
[20:46:14] Mr.Purple вышел из конференции
[20:46:16] <gsomix> Ну, или считает себя таковым.
[20:52:06] <portnov> у меня такими перлами все поля тетрадей исписаны, да.
[20:54:18] <ɹǝɟılʍǝu> gsomix,
[21:01:14] <gsomix> ɹǝɟılʍǝu, что?
[21:01:35] <gsomix> portnov, а я все тетради выбрасываю.
[21:16:44] sss|zombie вышел из конференции
[21:32:27] dzhon зашёл в конференцию
[21:34:14] unclechu зашёл в конференцию
[21:41:27] eaeee зашёл в конференцию
[21:41:47] <eaeee> привет
[21:43:07] <Minoru> хэй-хо!
[21:44:36] <eaeee> объясните пожалуйста как работает OAuth 2.0
[21:46:25] <Minoru> нинаю ._.
[21:47:09] <eaeee> Minoru: !
[22:00:48] <portnov> gsomix, ну, у меня не настолько хорошая память.
[22:08:18] Aman зашёл в конференцию
[22:09:40] <gsomix> portnov, я выбрасываю из-за того, что все в книгах есть.
[22:10:43] <portnov> в тетрадках мне как-то быстрее искать
[22:10:57] <portnov> и потом, кажется, всё-таки есть ассоциативная связь
[22:11:19] <portnov> когда смотришь на закорючки в тетрадке, вторая половина информации из глубин памяти всплывает.
[22:16:47] <gsomix> Никогда об этом не задумывался.
[22:17:10] <gsomix> Я записывал и хранил ровно до экзамена.
[22:22:16] <ɹǝɟılʍǝu> portnov, ты первый такой.
[22:22:20] <ɹǝɟılʍǝu> И я запомнил твой аргумент.
[22:22:55] <portnov> ы?
[22:27:06] Gustav вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[22:29:10] Aman вышел из конференции: Replaced by new connection
[22:29:11] Aman зашёл в конференцию
[22:31:22] kpecmuk вышел из конференции
[22:45:08] <gsomix> Как же тяжело искать книги в интернетах. .__.
[22:46:01] eaeee вышел из конференции
[22:53:06] <ɹǝɟılʍǝu> gsomix, вот тебе немного всемогущества https://youtu.be/Dzj7hm4AuQo?t=57s
[22:54:41] <gsomix> ɹǝɟılʍǝu, да, красота.
[22:54:48] Славный капитан вышел из конференции
[22:56:11] <ɹǝɟılʍǝu> gsomix, еще https://youtu.be/lhZEXNONGoE?t=2m53s
[22:56:38] magog зашёл в конференцию
[22:57:13] gsomix вышел из конференции
[22:58:52] gsomix зашёл в конференцию
[22:59:05] gsomix вышел из конференции
[22:59:17] gsomix зашёл в конференцию
[23:00:38] <gsomix> Жаль, что не летал больше.
[23:00:45] <ɹǝɟılʍǝu> Да.
[23:00:52] <gsomix> У нас около университета модель стоит.
[23:21:36] <gsomix> О, я придумал.
[23:21:45] <gsomix> Надо искать авторов книг в твиттее.
[23:28:09] <gsomix> А потом смотреть, кого они читаю.
[23:28:28] <gsomix> Minoru, а тебе твиттер еще не нравится...
[23:28:44] <Minoru> ._.
[23:28:46] <Minoru> что?
[23:28:57] <Minoru> а что я тебе про Твиттер рассказывал?
[23:29:19] <Minoru> прямо сейчас мне из аргументов вспоминается только то, что там дискуссию как-то неудобно вести
[23:29:29] <Minoru> то есть это такой write-only медиум
[23:29:37] <Minoru> для *очень* коротких штук
[23:29:59] <Minoru> anyway, я что-то засыпаю, пойду лучше книжечку почитаю — и спатоньки
[23:30:00] Minoru вышел из конференции
[23:30:54] <gsomix> Ок.
[23:31:04] <gsomix> Как отучиться сидеть в чатах?
[23:31:34] <gsomix> А то это какая-то хуета, что я так много времени в них трачу.
[23:31:39] <ɹǝɟılʍǝu> gsomix, РАБОТАТЬ
[23:32:11] <gsomix> ɹǝɟılʍǝu, это вещи вполне совместимые.
[23:32:34] <ɹǝɟılʍǝu> Тогда все ок.
[23:32:39] <ɹǝɟılʍǝu> Проблема решена.
[23:34:00] <gsomix> Но есть ощущение, что время все равно бесполезно тратится. Кажется, за сегодня полезными оказались минут десять, когда я пообщался с Форнёвериком при входе. Знаете, я, наверное, попробую не заходить сюда какое-то время. Может отвыкну немного.
[23:34:03] <gsomix> Спокойной.
[23:34:07] gsomix вышел из конференции
[23:34:54] <ɹǝɟılʍǝu> Щито.
[23:34:57] <ɹǝɟılʍǝu> Поехавший.
[23:37:56] <ɹǝɟılʍǝu> Бля, мне нужна песочница для конструирования систем типов.
[23:38:09] <ɹǝɟılʍǝu> magog, не знаешь таких?
[23:38:45] <magog> нет
[23:47:37] Славный капитан зашёл в конференцию