Home
codingteam
codingteam@conference.jabber.ru
01.06.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:18:51] rexim вышел из конференции
[00:19:35] <ɹǝɟılʍǝu> Minoru, тип-сумма задаётся же логикой xor-а...
[00:20:08] <ɹǝɟılʍǝu> Т.е. он же одноместный ведь, правильно?
[00:20:33] <ɹǝɟılʍǝu> Т.е. типу-сумме соответствует исключающее или, а не дизъюнкция.
[00:20:34] <Minoru> про XOR понял, про «одноместный» не понял
[00:20:50] <Minoru> я не помню, что такое дизъюнкция >_<
[00:20:54] <ɹǝɟılʍǝu> Minoru, ну тип-произведение ведь может содержать до двух значений)
[00:20:58] <ɹǝɟılʍǝu> Minoru, это ИЛИ
[00:21:01] <ɹǝɟılʍǝu> Просто или)
[00:21:34] <Minoru> да, всё верно
[00:21:40] <Minoru> а тип-произведение — это И
[00:24:05] <ɹǝɟılʍǝu> Minoru, с импликацией занятно
[00:25:18] rafaelrs зашёл в конференцию
[00:25:35] <Minoru> а что с ней?
[00:26:09] <Minoru> я уже устал и не могу сильно думать, так что прости, я сейчас глупей обычного
[00:27:10] <ɹǝɟılʍǝu> Minoru, ну вот тебе таблица типов https://flic.kr/p/GN3WwZ
[00:27:26] <ɹǝɟılʍǝu> $send ForNeVeR https://flic.kr/p/GN3WwZ
[00:27:29] <horta hell> ɹǝɟılʍǝu: Сообщение доставлено.
[00:31:04] <xfer~> Minoru: что будет если заксорить минору и форневера?
[00:31:20] <Minoru> ɹǝɟılʍǝu: я посмотрел и я не понимаю, на что я смотрю
[00:31:42] <Minoru> это действительно похоже на таблицы истинности, но я не вижу колонки для a
[00:31:50] <Minoru> что за пустое множество, тоже непонятно
[00:31:56] <Minoru> почему у b такие странные значения?
[00:32:09] <Minoru> xfer~: я не знаю. Не делай этого, пожалуйста!
[00:37:43] <xfer~> Minoru: я думаю что оперция нельзя будет завершить
[00:38:53] <xfer~> потому что левый операнд отсувует в выражениия ^ Minoru | ForNeVeR
[00:39:21] <xfer~> тупые игры со словами ._.
[00:39:26] <xfer~> до чего я опустился
[00:39:44] <Minoru> тупые? Я тогда вообще дно, потому что я ничено не понял!
[00:40:20] <Minoru> Нялайфер вбросил какую-то криптограмму и, похоже, ушёл спать =\
[00:43:50] <ɹǝɟılʍǝu> Minoru, эй
[00:43:52] <ɹǝɟılʍǝu> Так это
[00:44:03] <ɹǝɟılʍǝu> Пустое множество — считай false (aka 0)
[00:44:12] <ɹǝɟılʍǝu> А кокнерный тип за истину
[00:44:40] <Ender> xfer~, берём отвратительный саундтек к гулю, берём отвратительное видео про "Иди на хуй пидарас" и получаем блять шедевр
[00:44:56] <Ender> это охуенно, я считаю
[00:45:03] <Ender> я обосрался просто со смеху
[00:45:06] <xfer~> Ender: хуита контекстная какая-то
[00:45:11] <xfer~> уровня двача
[00:45:52] <Minoru> ɹǝɟılʍǝu: а что не так с импликацией из пустого множества в пустое множество?
[00:45:57] <Minoru> это же void f()
[00:46:03] <xfer~> Ender: когда кто-нибудь пальчиком дёргает под джазую линию, ты тоже смеёшься?
[00:46:03] <Minoru> или у тебя чистый язык?
[00:46:13] <ɹǝɟılʍǝu> Minoru, думаю чистый сделать.
[00:46:19] <ɹǝɟılʍǝu> Только какой там тип?
[00:46:47] <ɹǝɟılʍǝu> У импликации там 0 → 0 = 1
[00:46:54] <Minoru> но в чистом у тебя и void f(whatever) быть не может
[00:46:55] <ɹǝɟılʍǝu> И вот что это за тип, блять?)
[00:47:46] <Minoru> вообще это nop какой-то
[00:48:15] <Minoru> ну, или id
[00:48:21] <ɹǝɟılʍǝu> Хм...
[00:49:09] <Minoru> про невозможность a -> () в чистом языке я неправильно сказал: let f _ = ()
[00:49:17] <Minoru> так что может, может
[00:49:59] <ɹǝɟılʍǝu> Т.е., это у нас пустой тип, выходит?
[00:50:05] <ɹǝɟılʍǝu> Или bottom-type?
[00:50:09] <ɹǝɟılʍǝu> // тип-жопа
[00:50:37] <Minoru> а бывают типы-жопы?
[00:51:03] <Minoru> я вообще не в курсе, откуда вот это значение _|_, населяющее все типы
[00:51:11] <Minoru> почему не может быть пустого типа?
[00:51:17] <xfer~> Minoru: зацени https://www.youtube.com/watch?v=2ldXRgRjj4M
[00:51:21] <Minoru> или это конкретно хаскелевское ограничение?
[00:52:07] <ɹǝɟılʍǝu> Minoru, не, тут у нас не будет никаких ограничений!
[00:52:11] <ɹǝɟılʍǝu> Мы же пишем школьный язык)
[00:52:29] <ɹǝɟılʍǝu> И, кстати, есть практические примеры из практики с типами — суй мне!
[00:52:41] <ɹǝɟılʍǝu> А то я дальше предикатов хызы((
[00:52:52] <ɹǝɟılʍǝu> Т.е. простых зависимых типов(
[00:53:06] <Minoru> xfer~: что это за хуета?
[00:53:12] <ɹǝɟılʍǝu> Ну и вот щас почти придумали с тобой как разъяснить типы-суммы и типы-произведения.
[00:53:26] <xfer~> Minoru: вид дисциплины
[00:53:32] <xfer~> Minoru: на каяке
[00:55:11] <Minoru> ɹǝɟılʍǝu: я сейчас вообще почти ничего не понимаю из происходящего. Ты днём предложил пояснять типы через логические высказывания, но я пока что не переварил эту идею — у меня сомнения, что это облегчит понимание. Как видишь, у тебя даже не все логические высказывания на типы мапятся пока что. Про зависимые типы я тебе точно ничего не скажу, т.к. я всё ещё жду твой учебник, чтобы научиться им
[00:55:16] <Minoru> xfer~: ну это шутка такая?
[00:55:40] <xfer~> Minoru: ээ? Нет, дисциплина, награды получают за это
[00:55:50] <ɹǝɟılʍǝu> Minoru, я всё больше боюсь с этим учебником нафейлить ._.
[00:55:57] <xfer~> https://en.wikipedia.org/wiki/Squirt_boating
[00:56:49] <Minoru> xfer~: ._. А выглядит, как шутка. Залезли в воду, покрутились. В чём мастерство, в чём спорт?
[00:57:03] <xfer~> в кручении в струе
[00:57:12] <Minoru> ɹǝɟılʍǝu: вот именно для этого я и предложил тебе тестировать идеи на мне
[00:57:34] <Minoru> xfer~: ну ок
[00:58:02] ckorzhik вышел из конференции
[00:58:09] <Minoru> xfer~: мне как-то сложно, э-э-э, как это по-русски… relate to them, короче
[00:58:26] <xfer~> вощем, это что-то вроде акробатики
[00:58:34] <xfer~> на воде
[00:58:37] <xfer~> с доской вместо ног
[00:58:49] <xfer~> удержать доску в нужном положении не так-то просто, вощем
[00:59:10] <Minoru> нет, ну я понял уже: ловкость и сила
[00:59:16] <Minoru> как и во многих других видах спорта
[00:59:23] <Minoru> это ок, претензий к этому больше нет
[00:59:37] <Minoru> но я все равно как-то не нахожу это интересным. Вообще
[01:00:26] <xfer~> тебя просто нужно окунуть в бочку
[01:00:34] <xfer~> приезжай в питер
[01:01:33] uggur вышел из конференции: Replaced by new connection
[01:01:44] <xfer~> вода как раз тёплая
[01:01:47] uggur зашёл в конференцию
[01:02:03] <ɹǝɟılʍǝu> Minoru, окей, завтра утром жди небольшой кусок latex-а.
[01:02:37] <Minoru> xfer~: пугающее питерское гостеприимство! Я же еле плаваю, какую бочку?
[01:02:40] <Minoru> ɹǝɟılʍǝu: ^_^
[01:02:58] <xfer~> Minoru: не нужно плавать, нужно сидеть в каске и спасжилете
[01:03:33] unclechu зашёл в конференцию
[01:04:46] <xfer~> можно даже без весла
[01:05:00] <xfer~> если ты не больше 60кг
[01:06:13] <Minoru> а, это не настоящая бочка, это какой-то снаряд для обучения
[01:06:28] ckorzhik зашёл в конференцию
[01:08:30] <xfer~> Minoru: нет, это структура воды
https://pp.vk.me/c628226/v628226433/2d493/VECjFy60sX4.jpg вот такой вот слив справа, переходящий в такую пенную срань на заднем плане https://pp.vk.me/c631116/v631116433/257f7/u_srZXkmNrk.jpg
[01:10:00] <Minoru> что, живого человека сразу в речку? Стремнота!
[01:10:07] <Minoru> а научить?
[01:10:15] <xfer~> приезжай, научу
[01:11:09] <Minoru> я подумаю, спасибо
[01:15:19] <ɹǝɟılʍǝu> Minoru,
div x y : Nat -> Nat [x != 0] -> Nat
[01:15:25] <ɹǝɟılʍǝu> Как тебе такой предикат на тип?)
[01:16:12] <ɹǝɟılʍǝu> Хотя, имхо, нужно херачить чота типа
div x y : Nat a -> Nat b [b != 0] -> Nat c
[01:17:27] <Minoru> ты меня про синтаксис спрашиваешь или про что?
[01:17:50] <Minoru> div x y : Nat -> Nat [!= 0] -> Nat было бы ок
[01:17:52] <Minoru> я считаю
[01:20:37] <ɹǝɟılʍǝu> Спасибо.
[01:20:44] <ɹǝɟılʍǝu> Minoru, но как быть с sub?
[01:20:51] <ɹǝɟılʍǝu> sub x y : Nat -> Nat [y <= x] -> Nat
[01:21:01] <ɹǝɟılʍǝu> Minoru, так, утром обсудим?
[01:21:04] <ɹǝɟılʍǝu> Я спатеньки.
[01:22:05] <Minoru> окей, утром
[01:32:32] uggur вышел из конференции
[01:33:07] uggur зашёл в конференцию
[01:33:54] grouzen вышел из конференции
[01:42:29] rafaelrs вышел из конференции: Replaced by new connection
[01:42:30] rafaelrs зашёл в конференцию
[01:50:00] gsomix вышел из конференции: This participant is kicked from the room because he sent an error presence: recipient-unavailable
[02:02:24] ckorzhik вышел из конференции
[02:11:43] Minoru вышел из конференции
[02:12:58] unclechu вышел из конференции
[02:22:49] ckorzhik зашёл в конференцию
[02:23:07] ckorzhik вышел из конференции
[02:25:17] ckorzhik зашёл в конференцию
[02:54:51] <horta hell> \ с рыком впивается в бедро xf-r~, исполосовав когтями и чудом зацепившись за сумку с кошельком вместо живота. xf-r~ теряет 3PTC.
[03:31:30] Ender вышел из конференции
[03:36:05] rafaelrs вышел из конференции
[03:38:52] rafaelrs зашёл в конференцию
[03:55:23] superka вышел из конференции
[04:04:22] m4n71k0r вышел из конференции
[04:25:16] <0xd34df00d> Minoru: без жопы нельзя представить невычислимые функции.
[04:25:23] <0xd34df00d> То есть, будут проблемы с Тьюринг-полнотой.
[04:42:05] gsomix зашёл в конференцию
[05:03:41] ckorzhik вышел из конференции
[05:30:51] <horta hell> \ завалился на бок и окинул замутнённым болью взором конфу.
[06:03:50] proto_21h вышел из конференции: Replaced by new connection
[06:03:51] proto_21h зашёл в конференцию
[06:04:04] Славный капитан зашёл в конференцию
[06:10:38] proto_21h вышел из конференции: Replaced by new connection
[06:10:39] proto_21h зашёл в конференцию
[06:12:49] <horta hell> \ умер в забвении с гримасой страдания на морде. Все теряют по 1PTC.
[06:33:17] <ForNeVeR> .ban olmer-ass@draugr.de
[06:33:17] <DeadBot> ForNeVeR: ok
[06:34:53] <Славный капитан> $pet resurrect
[06:34:54] <horta hell> Славный капитан: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[06:36:46] <gsomix> Утро.
[07:03:05] rafaelrs вышел из конференции
[07:10:49] <ForNeVeR> Так точно!
[07:14:38] <gsomix> ForNeVeR, http://karpathy.github.io/2016/05/31/rl/
[07:16:09] sss|zombie вышел из конференции
[07:18:13] <ForNeVeR> gsomix: ого.
[07:18:17] kpecmuk вышел из конференции
[08:09:31] Славный капитан вышел из конференции
[08:40:13] <ɹǝɟılʍǝu> Утро
[08:40:13] gsomix вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[08:40:20] <ɹǝɟılʍǝu> ForNeVeR, видел, что я тебе прислал?
[08:40:36] <ForNeVeR> ɹǝɟılʍǝu: заметки на полях в книжке?
[08:40:47] <ɹǝɟılʍǝu> \ ForNeVeR это не книжка
[08:40:54] <ForNeVeR> Это что?
[08:41:02] <ɹǝɟılʍǝu> ForNeVeR, короч, «таблица типов» та)
[08:41:16] <ɹǝɟılʍǝu> С импликацией хызы какой тип должен быть в первой строке ._.
[08:41:22] <ForNeVeR> Я не понял, что там и что у тебя значит.
[08:41:44] <ɹǝɟılʍǝu> Ну, пустое значит пустой тип
[08:41:46] <ForNeVeR> В каких-то строчках почему-то b = b, а в каких-то b равно пустому множеству.
[08:42:05] <ɹǝɟılʍǝu> Там нет b = b
[08:42:16] <ForNeVeR> Тогда я вообще ничего не понял, сделай нормально!
[08:42:53] <ForNeVeR> И с пояснением, что есть что. Я так понял, что a и b - это типы, ок. А вот что такое b = b - мне категорически неясно!
[08:43:19] <ɹǝɟılʍǝu> Да где ты это нашёл?!
[08:44:11] <ForNeVeR> https://flic.kr/p/GN3WwZ
[08:44:17] <ForNeVeR> Вот же, левая колонка.
[08:44:55] <ForNeVeR> Ячейка A3, если тебе так угодно :)
[08:45:42] <ForNeVeR> И нету a! Почему нету a? Оно всегда подразумевается равным "a"?
[08:46:09] <ForNeVeR> Или просто на картинку не влезло?
[08:48:09] <ɹǝɟılʍǝu> ForNeVeR, щас отфоткаю по-новой
[08:48:38] <ɹǝɟılʍǝu> ForNeVeR, https://flic.kr/p/HiVRYb
[08:49:16] <ForNeVeR> ɹǝɟılʍǝu: а теперь объясни, что означают значения a и b в колонках, озаглавленных, соответственно, a и b.
[08:49:27] <ɹǝɟılʍǝu> ForNeVeR, типы?
[08:49:50] <ɹǝɟılʍǝu> ForNeVeR, если в колонке «a» есть «a», то тип населён?
[08:49:52] <ForNeVeR> Имеется в виду непустое множество типов? Или непустой тип?
[08:49:54] <ForNeVeR> Ок!
[08:49:56] <ɹǝɟılʍǝu> А если там пустое — то нет)
[08:49:59] <ForNeVeR> Так понятно.
[08:51:29] <ForNeVeR> Но я не уверен, что у тебя правильно определена конъюнкция.
[08:51:41] <ForNeVeR> Какой смысл она имеет для типов?
[08:52:10] <ForNeVeR> Суммы и произведения я понимаю, если что.
[08:55:02] <ɹǝɟılʍǝu> Почему неправильно?
[08:55:50] <ForNeVeR> Мне интуитивно кажется, что конъюнкция должна быть типом-произведением (т.е. кортежем), а дизъюникция - типом-суммой (т.е. Either). Но я не знаком с формализацией этих операций на типах, так что можно со мной поспорить с пруфами :)
[08:57:56] <ForNeVeR> ɹǝɟılʍǝu: ну а если ты пытаешься эти операции ввести на основании пересечения/объединения множеств значений, то мне непонятно, как a /\ b у тебя получилось равным a \/ b для случая, когда a и b населены. Мне кажется, что тут надо какую-то дополнительную нотацию вводить, или какие-то доп. предположения (например, что множетсва значений a и b совпадают для случая, когда они населены, ну или не совпадают - что забавно, оба этих тезиса не подходят для твоей записи, как бы я ни пытался её интерпретировать).
[08:58:58] <ɹǝɟılʍǝu> ForNeVeR, эм, ну я тоже так думал, но похоже, что XOR больше сгодится за тип-сумму.
[08:59:15] <ɹǝɟılʍǝu> Или и правда что-то не так.
[08:59:22] <ForNeVeR> Ты эти операции сам придумываешь, или берёшь откуда-то?
[08:59:57] <ɹǝɟılʍǝu> Тут придумываю.
[09:00:14] <ɹǝɟılʍǝu> Пытаюсь построить соответствие просто логике.
[09:00:20] <ForNeVeR> https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf
[09:00:30] <ForNeVeR> Тут вот описана конъюнкция и дизъюнкция на типах.
[09:00:36] <ForNeVeR> > A ∧ B is the product of the two types
[09:00:59] <ForNeVeR> (стр. 79)
[09:01:26] <ɹǝɟılʍǝu> Хм, ага.
[09:01:38] <ForNeVeR> Ну, там вообще-то читать нужно, я просто удачную цитату сходу нашёл :)
[09:01:58] <ForNeVeR> Мне кажется, раздел 4.4 этого документа тебе рекомендуем к прочтению.
[09:02:18] <ForNeVeR> Я его нагуглил по запросу "type theory conjunction" :)
[09:10:18] magog вышел из конференции
[09:12:17] MaXGXaM зашёл в конференцию
[09:12:41] <ɹǝɟılʍǝu> Хм, окей, спасибо)
[09:12:55] <ɹǝɟılʍǝu> ForNeVeR, чем можно занять ребят на изучении теории типов, например?
[09:15:31] <ForNeVeR> ɹǝɟılʍǝu: я не знаю :(
[09:33:46] gsomix зашёл в конференцию
[09:58:10] dzhon зашёл в конференцию
[10:17:15] xfer~ вышел из конференции
[10:24:19] Славный капитан зашёл в конференцию
[10:25:19] Славный капитан вышел из конференции: Replaced by new connection
[10:25:20] Славный капитан зашёл в конференцию
[10:25:51] <Славный капитан> МЕЯ ВИДО?
[10:25:56] <Славный капитан> курва
[10:25:58] <Славный капитан> <inInstantMessageInbox code="default">
<code>ok</code>
[10:26:20] <Славный капитан> </inInstantMessageInbox>
[10:26:25] <Славный капитан> убивал бы
[10:29:36] rexim зашёл в конференцию
[10:29:41] Славный капитан вышел из конференции: Replaced by new connection
[10:29:43] Славный капитан зашёл в конференцию
[10:29:53] <rexim> ɹǝɟılʍǝu: https://www.youtube.com/watch?v=vkU4fcEjTMk
[10:30:58] rexim вышел из конференции
[10:38:08] <ɹǝɟılʍǝu> Славный капитан, утра!
[10:38:13] <ɹǝɟılʍǝu> $send rexim Утра!
[10:38:15] <horta hell> ɹǝɟılʍǝu: Сообщение помещено в очередь.
[10:38:19] <ɹǝɟılʍǝu> $say
[10:38:19] <horta hell> ɹǝɟılʍǝu: Хомяк можно
[10:38:23] <ɹǝɟılʍǝu> $say
[10:38:23] <horta hell> ɹǝɟılʍǝu: А offscreen рендер понадобиться)
[10:38:28] <ɹǝɟılʍǝu> $say
[10:38:28] <horta hell> ɹǝɟılʍǝu: А просто так float не засунуть в zip.
[10:38:32] <ɹǝɟılʍǝu> $say
[10:38:33] <horta hell> ɹǝɟılʍǝu: gs-mix, \0/
[10:38:35] <ɹǝɟılʍǝu> $say
[10:38:35] <horta hell> ɹǝɟılʍǝu: $pet rating
[10:38:43] <ɹǝɟılʍǝu> gsomix, \0/
[10:38:45] <ɹǝɟılʍǝu> $say
[10:58:00] <ɹǝɟılʍǝu> ForNeVeR, короче, следующие типы заданий:
+ на вывод типов
- готового выражения, все термы которого с определёнными типами
- готового выражения, не все термы которого с определёнными типами.
+ на нормализацию
+ на доказательство корректности
- доказательство, что нет ошибок
- и доказательство обратного
[10:58:10] <ɹǝɟılʍǝu> Попробую их примеры оформить до конца недели...
[10:58:19] <ɹǝɟılʍǝu> ForNeVeR, будешь, как и Минорка, моим подобыптным? ^-^
[11:03:49] <ɹǝɟılʍǝu> Будешь!
[11:03:56] <ɹǝɟılʍǝu> Молчание — знак согласия.
[11:07:03] <ɹǝɟılʍǝu> gsomix, и тебя бы тоже, но ты молчишь, как партизан.
[11:10:51] dzhon вышел из конференции
[11:13:32] xfer~ зашёл в конференцию
[11:26:31] dzhon зашёл в конференцию
[11:35:30] <ForNeVeR> http://david-peter.de/articles/flare/ как интересно!
[11:36:08] <ForNeVeR> ɹǝɟılʍǝu: что такое "нормализация"?
[11:40:56] <ɹǝɟılʍǝu> ForNeVeR, доведение до терма, дальшейнее вычисление которого невозможно. Грубо говоря — значение)
[11:41:07] <ForNeVeR> А, ок.
[11:41:15] <ForNeVeR> Ну, наверное, нормально. Начни с таких задач.
[11:41:58] <ɹǝɟılʍǝu> (\a b -> a / b) 2
(\b -> 2 / b) 2
(\ -> 2 / 2)
1
[11:42:01] <ɹǝɟılʍǝu> Как-то так.
[11:42:35] <ɹǝɟılʍǝu> ForNeVeR, в принципе, и просто терм, типа (\b -> 2 / b) уже есть значение...
[11:42:47] <ɹǝɟılʍǝu> Потому что дальше не вычислить без подстановки аргумента.
[11:43:06] <ForNeVeR> Ок, я понял, это нормализация из лямбда-счисления.
[11:43:11] <ɹǝɟılʍǝu> Агась.
[11:43:17] <ForNeVeR> Или там она редукцией называется?
[11:43:20] <ɹǝɟılʍǝu> ForNeVeR, тут, как мне кажется, самый простой вариант оптимизации кода.
[11:43:55] <ɹǝɟılʍǝu> ForNeVeR, не, так номрализацией весь процесс и называется
[11:44:09] <ɹǝɟılʍǝu> А внутри включает бета-редукцию и альфа-подстановку)
[11:44:13] <ForNeVeR> Нормализация - это альфа-конверсия и бета-редукция?
[11:44:15] <ForNeVeR> Ок :)
[11:44:42] <ɹǝɟılʍǝu> ForNeVeR, кстати, хочешь занятную шняжку?
[11:44:46] <ɹǝɟılʍǝu> Не по типам.
[11:45:00] <ɹǝɟılʍǝu> ForNeVeR, есть в python 3 штука — мультипроцессинг.
[11:45:11] <xfer~> шотакое пурескрипт?
[11:45:28] <ForNeVeR> ɹǝɟılʍǝu: она и в python 2 была.
[11:45:39] <ɹǝɟılʍǝu> На линухах в дочерних процессах print() пишет через основной как-то в stdout и всё видно в консоли. А на винде — нет.
[11:45:42] <ɹǝɟılʍǝu> Почему так?
[11:45:46] <ɹǝɟılʍǝu> ForNeVeR, да, была.
[11:45:51] <ɹǝɟılʍǝu> Но я 2м не пользовался.
[11:45:52] <ForNeVeR> man наследование пайпов.
[11:45:57] <ɹǝɟılʍǝu> О
[11:46:09] <ForNeVeR> Видимо, для винды недоделали чего-то. Можно сделать.
[11:47:33] <ForNeVeR> Я даже сам так делал где-то, кажись. Или, по крайней мере, читал сорцы чего-то :)
[11:47:35] <ɹǝɟılʍǝu> ForNeVeR, таки да
[11:47:41] <ɹǝɟılʍǝu> ForNeVeR, оказывается, это баг: http://bugs.python.org/file28873/locked_send_recv.patch
[11:48:01] dzhon вышел из конференции
[11:48:29] <ForNeVeR> ɹǝɟılʍǝu: чота хз, про пайпы вообще ничо не вижу. Видимо, там сложнее сделано.
[11:49:11] <ɹǝɟılʍǝu> ForNeVeR, угу...
[11:59:27] Graf зашёл в конференцию
[11:59:48] Graf вышел из конференции
[12:03:37] <ɹǝɟılʍǝu> ForNeVeR, слуушай, а мне чот доставляет статический полиморфизм на шаблончиках!
[12:06:45] <horta hell> \ пытается сожрать все, что найдет.
[12:06:46] ckorzhik зашёл в конференцию
[12:07:06] <ɹǝɟılʍǝu> $pet feed
[12:07:06] <horta hell> ɹǝɟılʍǝu: \ вгрызается в пищу, разрывая зубами на части. Вы зарабатываете 1PTC.
[12:07:08] <ɹǝɟılʍǝu> $pet heal
[12:07:09] <horta hell> ɹǝɟılʍǝu: \ будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[12:07:13] <ɹǝɟılʍǝu> $pet rating
[12:07:13] <horta hell> ɹǝɟılʍǝu:
ɹǝɟılʍǝu: 13PTC
Сл-вный капитан: 3PTC
[12:08:05] <ɹǝɟılʍǝu> $send rexim https://github.com/hzlmn/xeon
[12:08:05] <horta hell> ɹǝɟılʍǝu: Сообщение помещено в очередь.
[12:12:00] m4n71k0r зашёл в конференцию
[12:17:39] <m4n71k0r> и сюда шмейкоубивца http://forum.dlang.org/post/uhozcvatvyztfuhivrjq@forum.dlang.org
[12:18:06] <xfer~> m4n71k0r: научи меня длангу
[12:20:47] Graf зашёл в конференцию
[12:39:04] <m4n71k0r> xfer~: научу, когда фуд научит тебя в фурьешечку
[12:39:14] <xfer~> m4n71k0r: он меня не научит
[12:39:47] <xfer~> :(
[12:40:17] <m4n71k0r> xfer~: се ля ви
[12:42:35] ckorzhik вышел из конференции
[12:43:18] <xfer~> m4n71k0r: а если я сам научусь?
[12:43:23] <xfer~> ты меня научишь длангу?
[12:44:05] <m4n71k0r> xfer~: мне некогда, изыни. Давай как-нибудь сам...
[12:44:57] <xfer~> :|
[13:00:34] <uggur> xfer~: давай я тебя научу FALу
[13:00:56] OKTAVIUS вышел из конференции
[13:01:22] <xfer~> uggur: это не больно?
[13:02:39] <uggur> больно
[13:02:56] <uggur> это язык для недетерминистической стэковой машины
[13:03:10] <uggur> по уровню близко к брейнфаку
[13:03:15] <uggur> по уровню абстракции
[13:03:26] OKTAVIUS зашёл в конференцию
[13:07:28] Ender зашёл в конференцию
[13:22:34] <Ender> https://upload.wikimedia.org/wikipedia/commons/4/44/Lunch_DRAKON%2C_Russian.png
[13:23:29] <xfer~> Не могу понять
[13:24:58] <uggur> https://raw.githubusercontent.com/IngvarJackal/FAP/master/examples/greeter/greeter.png
[13:25:01] <ɹǝɟılʍǝu> ForNeVeR, VS Code падает на файлах больше 5 мб.
[13:25:44] <xfer~> так вот, не могу понять
[13:25:53] <xfer~> if(UNIX)
set(OUTPUT_DIR ${CMAKE_BINARY_DIR}/${CMAKE_BUILD_TYPE})
endif(UNIX)
[13:25:58] <xfer~> зачем нужна эта конструкция?
[13:26:07] <xfer~> в другом cmake-файле (не нашем)
[13:26:18] <xfer~> конструкция такая же, но для другого компулятора
[13:26:24] <xfer~> if(MSVC)
set(output_dir ${CMAKE_BINARY_DIR}/${CMAKE_BUILD_TYPE})
else()
set(output_dir ${CMAKE_BINARY_DIR})
endif()
[13:27:23] OKTAVIUS вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[13:27:29] grouzen зашёл в конференцию
[13:27:34] <xfer~> это какая-то тёмная магия?
[13:45:49] <m4n71k0r> разделять дебаг от релиза?
[13:46:14] <m4n71k0r> не понятно, зачем вариант без типа быдла
[13:46:36] <m4n71k0r> ɹǝɟılʍǝu: хм, а почему 5? А дебажить пробовал?
[13:48:15] <ɹǝɟılʍǝu> m4n71k0r, неа.
[13:50:45] <xfer~> m4n71k0r: тип быдла?
[13:50:55] <xfer~> билда т.е.?
[13:58:35] <horta hell> @tsoding твитит: RT @whitequark: when you're writing C++ but wish you were writing Rust https://t.co/PxsFPejdSu
[14:03:24] <ɹǝɟılʍǝu> horta hell, so true
[14:05:36] Minoru зашёл в конференцию
[14:09:09] <ɹǝɟılʍǝu> Minoru, \0
[14:11:01] <Minoru> \o/
[14:13:37] rafaelrs зашёл в конференцию
[14:16:37] <m4n71k0r> а как сделать, чтобы мне хорта эту хуету не писал?
[14:25:05] <ɹǝɟılʍǝu> m4n71k0r, какую?
[14:25:06] <ɹǝɟılʍǝu> $say
[14:25:08] <horta hell> ɹǝɟılʍǝu: ¡½⅓¼¹²³
[14:25:12] <ɹǝɟılʍǝu> $say
[14:25:12] <horta hell> ɹǝɟılʍǝu: /me пошёл рыться на сайте ФСРАР из 16ти... А по самому базару: http://doc.bazaar.canonical.com/bzr.2.6/en/
[14:25:18] <ɹǝɟılʍǝu> $say
[14:25:19] <horta hell> ɹǝɟılʍǝu: Что у вас бывают предзащиты всякие?
[14:25:22] <ɹǝɟılʍǝu> $say
[14:25:22] <horta hell> ɹǝɟılʍǝu: rexim, утра
[14:25:28] <ɹǝɟılʍǝu> Утра!!!
[14:25:31] <ɹǝɟılʍǝu> $say
[14:25:31] <horta hell> ɹǝɟılʍǝu: тыъ такойъ молодецъ
[14:25:39] <ɹǝɟılʍǝu> horta hell, спасибо!
[14:27:46] <m4n71k0r> ɹǝɟılʍǝu: не важно. Лучше расскажи, ты тыкал же NLP ?
[14:28:04] <m4n71k0r> natural language processing который
[14:28:22] <ɹǝɟılʍǝu> Хм, нет пока что.
[14:28:26] <ɹǝɟılʍǝu> А ты?
[14:28:31] <m4n71k0r> хочу
[14:28:44] <m4n71k0r> хочу научить кое-что тырить факты из тырнета
[14:28:54] <m4n71k0r> "факты"
[14:28:59] <m4n71k0r> слухи... всё такое
[14:29:00] ckorzhik зашёл в конференцию
[14:29:15] <m4n71k0r> смотреть за распространением, выявлять возможные источники
[14:29:22] <m4n71k0r> кто вбрасывает итд
[14:31:30] <m4n71k0r> Наверное, оно http://nlp.lsi.upc.edu/freeling/
[14:32:10] Ender вышел из конференции
[14:35:00] <m4n71k0r> хм, на плюсах написано
[14:36:36] <horta hell> \ лежит и еле дышит, хвостиком едва колышет.
[14:36:46] <m4n71k0r> $pet heal
[14:36:46] <horta hell> m4n71k0r: \ был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[14:37:59] <m4n71k0r> $pet change-nick Торт
[14:37:59] <horta hell> m4n71k0r: Теперь нашего питомца зовут Торт.
[14:38:11] <m4n71k0r> $pet stats
[14:38:11] <horta hell> m4n71k0r:
Кличка: Торт
Здоровье: 100
Сытость: 56
Возраст: 8 часов
[14:38:19] <m4n71k0r> $pet rating
[14:38:19] <horta hell> m4n71k0r:
ɹ-ɟılʍǝu: 13PTC
Сл-вный капитан: 3PTC
[14:38:35] <m4n71k0r> ɹǝɟılʍǝu: фигасе ты мажор
[14:38:48] <ɹǝɟılʍǝu> m4n71k0r, да сам фигею)
[14:39:28] <m4n71k0r> не понимаю, зачем так делать https://github.com/TALP-UPC/FreeLing/blob/master/src/libfreeling/tokenizer.cc#L39
[14:39:40] unclechu зашёл в конференцию
[14:39:40] <m4n71k0r> экономия пяти символов ради чего?
[14:40:30] <ɹǝɟılʍǝu> m4n71k0r, ой фу
[14:45:14] <xfer~> у дедфуда график работ за последний год на гитхабе уже не такой мощный, как раньше :(
[14:45:21] <xfer~> он стареет?
[14:46:36] OKTAVIUS зашёл в конференцию
[14:47:46] <m4n71k0r> xfer~: у тебя норм `curl http://wttr.in/Rostov-on-Don` отрабатывает?
[14:48:43] <xfer~> m4n71k0r: https://pp.vk.me/c630823/v630823433/324a4/WGhw_ou3sLc.jpg
[14:49:09] <m4n71k0r> xfer~: какой шрифт?
[14:49:13] <xfer~> не знаю
[14:49:18] <m4n71k0r> меня мигающие молнии интересуют
[14:49:57] <xfer~> dejavu sans
[14:50:02] <m4n71k0r> спс
[14:50:24] <xfer~> http://unicode-table.com/en/26A1/
[14:54:12] <ɹǝɟılʍǝu> m4n71k0r, https://github.com/GPUOpen-Tools/CodeXL
[14:54:55] ckorzhik вышел из конференции
[14:55:03] <m4n71k0r> ɹǝɟılʍǝu: амдэшники опенсорснули?
[14:55:13] <ɹǝɟılʍǝu> m4n71k0r, угу.
[14:55:20] <ɹǝɟılʍǝu> m4n71k0r, свой профайлер cpu/gpu
[14:55:24] <ɹǝɟılʍǝu> Попробую!
[14:55:27] ckorzhik зашёл в конференцию
[14:55:32] <m4n71k0r> да я пробовал давно
[14:55:40] <m4n71k0r> когда ещё он не был опенсорс
[14:56:08] <ɹǝɟılʍǝu> И как оно?
[14:56:25] <m4n71k0r> ɹǝɟılʍǝu: нипанятна
[14:56:28] <m4n71k0r> было
[14:56:42] <m4n71k0r> оно позволяло опенцл дебажить вроде бы
[14:57:02] <m4n71k0r> вощем тогда я не осилил
[15:05:24] <ɹǝɟılʍǝu> m4n71k0r, а рабоатет!
[15:05:25] <ɹǝɟılʍǝu> Круто.
[15:05:29] <ɹǝɟılʍǝu> Моя довольне.
[15:05:33] <m4n71k0r> =)
[15:05:53] <unclechu> работает, но солнечно ночью - это как-то не про ростов
[15:08:26] <m4n71k0r> ɹǝɟılʍǝu: блин, сколько всего https://nlpub.ru/%D0%9E%D0%B1%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0_%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%B0
[15:08:46] <ɹǝɟılʍǝu> m4n71k0r, ага!
[15:12:59] OKTAVIUS вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[15:13:00] OKTAVIUS зашёл в конференцию
[15:18:40] rafaelrs вышел из конференции
[15:48:09] <xfer~> нихера не понимаю
[15:48:17] <xfer~> как делать трушную кросс-компиляцию на цмейке?
[15:48:34] <xfer~> что бы там библиотечки всякое
[15:48:36] <xfer~> всякие
[15:49:48] <ɹǝɟılʍǝu> Йобова.
[15:56:59] <ɹǝɟılʍǝu> Minoru, помнишь, ты жаловался, почему Catch у тебя медленный? https://github.com/philsquared/Catch/blob/master/docs/slow-compiles.md
[15:58:37] <Minoru> я это читал и у меня всё по инструкции сделано
[15:58:46] <Minoru> но даже вот тот файлик, в котором две строчечки, компилится 11 секунд!
[15:59:41] <ɹǝɟılʍǝu> фига
[16:02:29] <Minoru> ну я же жаловался на это
[16:03:41] <ɹǝɟılʍǝu> Minoru, эх(
[16:03:58] <ɹǝɟılʍǝu> Minoru,
‎[10:03:47] ‎ɹǝɟılʍǝu‎: F-rNeVeR, короче, следующие типы заданий:
+ на вывод типов
- готового выражения, все термы которого с определёнными типами
- готового выражения, не все термы которого с определёнными типами.
+ на нормализацию
+ на доказательство корректности
- доказательство, что нет ошибок
- и доказательство обратного
[16:05:03] <Minoru> ой, я не готов обсуждать >_<
[16:08:46] rafaelrs зашёл в конференцию
[16:46:08] <xfer~> а в личкрафте есть ограничение скачивания?
[16:48:00] <Славный капитан> http://joelonsoftware.com/items/2016/05/30.html
[16:48:20] <xfer~> *скорости
[16:53:51] rafaelrs вышел из конференции: Replaced by new connection
[16:53:52] rafaelrs зашёл в конференцию
[16:59:34] Ender зашёл в конференцию
[17:02:18] m4n71k0r вышел из конференции: Replaced by new connection
[17:02:18] m4n71k0r зашёл в конференцию
[17:04:20] Graf вышел из конференции: Replaced by new connection
[17:04:23] Graf зашёл в конференцию
[17:04:30] Graf вышел из конференции
[17:18:49] rexim зашёл в конференцию
[17:19:06] <rexim> Сочно
[17:19:07] <rexim> Смачно
[17:19:08] <rexim> Миксерячно
[17:22:53] OKTAVIUS вышел из конференции
[17:24:29] <horta hell> Торт демонстративно гремит миской, требовательно ворча.
[17:26:38] <rexim> $pet feed
[17:26:38] <horta hell> rexim: Торт, покосившись, брезгливо жуёт подачку. Вы зарабатываете 1PTC.
[17:27:32] MaXGXaM вышел из конференции
[17:29:45] <ForNeVeR> А вот вам отличный, инновационный язык, с новаторским синтаксисом!
[17:29:56] <ForNeVeR> Неймспейсы через \, лямбды через ~>
[17:29:59] <ForNeVeR> https://wiki.php.net/rfc/short_closures
[17:30:18] <rexim> Short Closure?
[17:30:22] <rexim> Короткое замыкание? %)
[17:30:33] <ForNeVeR> И авторы с чувством юмора!
[17:33:33] rexim вышел из конференции
[17:33:44] <ɹǝɟılʍǝu> ForNeVeR, да там больше половины против лямбд!
[17:34:03] <ForNeVeR> А в Java больше половины против var!
[17:37:24] <ɹǝɟılʍǝu> ForNeVeR, чой эта?
[17:37:32] <ɹǝɟılʍǝu> ForNeVeR, слишком невербозно?
[17:38:45] <ForNeVeR> ɹǝɟılʍǝu: пасаны путаются в понятиях и чото примерно половина из них считает, что var - это динамическая типизация %)
[17:39:15] <ForNeVeR> Вторая половина аргументирует тем, что по выражению var foo = bar() непонятно, какого типа будет foo.
[17:40:10] <ForNeVeR> Я не знаю, кстати, к чему там сообщество пришло, и какой вариант синтаксиса в итоге решили использовать.
[17:49:13] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[17:50:41] <ɹǝɟılʍǝu> ForNeVeR, вот про первое это что-то дикое.
[17:50:48] sss|zombie зашёл в конференцию
[17:52:04] <ForNeVeR> ɹǝɟılʍǝu: ну, просто не разобрались ещё. Я надеюсь, что у них пройдёт.
[17:52:31] <ForNeVeR> Хотя в бытность мою стажёром мне один сеньёр-программер говорил, что var в C# это тоже динамическая типизация :)
[17:52:48] <ForNeVeR> Я с ним спорить не стал, впрочем.
[17:55:39] Славный капитан вышел из конференции
[17:56:39] kpecmuk зашёл в конференцию
[17:57:08] <ɹǝɟılʍǝu> ForNeVeR, да, бывает такое.
[17:58:15] rexim зашёл в конференцию
[18:00:02] <ɹǝɟılʍǝu> ForNeVeR, а меж тем AMDшный CodeXL весьма годная тулза!
[18:00:37] <ForNeVeR> ɹǝɟılʍǝu: а что это такое?
[18:00:38] sleepyvenom зашёл в конференцию
[18:00:51] <ɹǝɟılʍǝu> ForNeVeR, опенсурсный профайлер.
[18:00:55] <ForNeVeR> А к нам в кабинет сегодня пыхаря подсадили, кстати ~_~
[18:01:06] <ɹǝɟılʍǝu> Типа VTune, только ещё и в OpenGL и OpenCL могёт.
[18:01:10] <ɹǝɟılʍǝu> ForNeVeR, ужас!
[18:01:28] <ForNeVeR> Админ сказал, что нам на троих огромной комнаты сильно жирно, и посадил новенького пыхаря.
[18:02:07] <ɹǝɟılʍǝu> ForNeVeR, подсуньте ему книгу по хаскелю.
[18:02:13] <ForNeVeR> Тот мужик постарше нас чуток, и, кажется, стал нас побаиваться, послушав наши разговорчики :)
[18:02:41] <ForNeVeR> А мы сегодня в обед обсуждали, гуманно ли умерщвлять людей перед заворачиванием в монады, а потом как мы перепишем проект на F# :D
[18:07:57] kpecmuk вышел из конференции: Replaced by new connection
[18:07:57] kpecmuk зашёл в конференцию
[18:08:52] portnov зашёл в конференцию
[18:09:12] grouzen вышел из конференции
[18:09:41] grouzen зашёл в конференцию
[18:10:10] <ɹǝɟılʍǝu> ForNeVeR, тут оно https://github.com/GPUOpen-Tools/CodeXL
[18:16:07] <rexim> Опяяять распчпооокались тут!
[18:16:15] * rexim что-то ворчит под нос
[18:16:54] * xfer~ вчпокнул rexim
[18:17:08] <rexim> .kick xfer~|чпок
[18:17:08] xfer~ выгнали из конференции: чпок
[18:17:09] <DeadBot> rexim: ok
[18:17:15] xfer~ зашёл в конференцию
[18:17:33] <rexim> xfer~: ^_^
[18:26:42] MaXGGXaM зашёл в конференцию
[18:35:34] portnov вышел из конференции
[18:37:35] portnov зашёл в конференцию
[18:45:55] <rexim> ɹǝɟılʍǝu: https://en.wikipedia.org/wiki/Cookie_Puss
[18:46:11] <unclechu> http://pix.toile-libre.org/upload/original/1464792696.png
[18:46:37] <rexim> Лол
[18:47:17] <ForNeVeR> :D
[18:47:22] <rexim> А что плюсы уже стандартизируют на межнациональном уровне?
[18:47:27] <ForNeVeR> Ну а вообще-то чуваки из Яндекса - молодцы.
[18:47:36] <ForNeVeR> rexim: вообще-то да, и довольно давно.
[18:47:47] <ForNeVeR> rexim: последние стандарты точно были приняты ISO.
[18:47:55] <rexim> Ну, я имею ввиду, при стандартизации учитываются интересы каких-то стран?
[18:48:08] <ForNeVeR> Я надеюсь, что нет.
[18:48:18] <rexim> Окей
[18:48:24] <ForNeVeR> Но ISO работает по территориальному признаку.
[18:48:44] <ForNeVeR> И у каждого члена комитета, вероятно, где-то выбита государственная принадлежность :)
[18:49:02] <ForNeVeR> Образно выражаясь, конечно. Но ты понел.
[18:50:09] <ForNeVeR> Я лично считаю, что туда нужно выбирать исключительно по признаку технической экспертизы, но в таких международных делах всегда хоть немного, но замешивается политика :(
[19:01:07] xfer~ вышел из конференции
[19:13:56] gsomix вышел из конференции
[19:15:14] <rexim> ForNeVeR: ты такой умный! :)
[19:15:19] <rexim> Хочу быть таким же как ты!
[19:15:24] <ForNeVeR> :(
[19:15:27] <ForNeVeR> .(
[19:15:32] <rexim> ForNeVeR: что такое? :(
[19:15:42] <rexim> Я же абсолютно искренне!
[19:15:45] <rexim> Правда-правда!
[19:15:48] <ForNeVeR> ,3
[19:15:55] <rexim> !3
[19:21:56] ckorzhik вышел из конференции
[19:22:32] Славный капитан зашёл в конференцию
[19:24:21] <rexim> ForNeVeR: https://www.youtube.com/watch?v=ON-3I315hcE
[19:30:45] <ForNeVeR> rexim: отлично, поржал :D
[19:32:04] <rexim> :D
[19:35:48] m4n71k0r вышел из конференции
[19:37:33] <ɹǝɟılʍǝu> ForNeVeR, у меня горе(
[19:37:50] <ForNeVeR> ɹǝɟılʍǝu: что случилось?
[19:37:55] <ɹǝɟılʍǝu> ForNeVeR, часть команды любят питон и грят «раз там так делают, то это правильно»((
[19:38:03] <ForNeVeR> Почему ж это горе?
[19:38:12] <ForNeVeR> Теперь ты можешь их сожрать!
[19:38:22] <ForNeVeR> Ом-ном-ном! :3
[19:38:26] <ɹǝɟılʍǝu> ForNeVeR, потому что они бояцца плюсов(
[19:38:28] <uggur> как питон
[19:38:32] <ɹǝɟılʍǝu> И говорят, что это сложна((
[19:38:41] <ɹǝɟılʍǝu> «Тесты всё решают» типа.
[19:38:44] <uggur> это прекрасно
[19:38:45] <ForNeVeR> ɹǝɟılʍǝu: это не случается внезапно, ты уже давно работаешь в этой команде. Пенетрируй их изнутри!
[19:38:58] <ɹǝɟılʍǝu> ForNeVeR, вот я потихоньку стараюсь)
[19:39:27] <uggur> ɹǝɟılʍǝu: лучше найди тулзу для проверок в питоне
[19:39:38] <ɹǝɟılʍǝu> uggur, мерять код в попугаях, да?
[19:39:53] <uggur> а что, вывести типы нельзя в питоне?
[19:40:00] <ɹǝɟılʍǝu> Все статические анализаторы питона проверяют соответствие pep8 и всё.
[19:40:17] eternastudento зашёл в конференцию
[19:40:19] <ɹǝɟılʍǝu> uggur, а есть?
[19:40:26] <uggur> тпы есть
[19:40:28] <ɹǝɟılʍǝu> Я не видел ни одного анализатора.
[19:40:30] <uggur> в питоне строгая типизация
[19:40:33] <ɹǝɟılʍǝu> Который аткое делает.
[19:40:55] <ɹǝɟılʍǝu> Это даже не смешно, блин.
[19:40:59] <uggur> не то, что в плюсах
[19:41:02] <ɹǝɟılʍǝu> А, стоп, это же мне уггур отвечает.
[19:41:04] <uggur> в плюсах не строгая
[19:41:18] <ɹǝɟılʍǝu> ForNeVeR, но не всё потеряно!
[19:41:33] <uggur> "ɹǝɟılʍǝu: Я не видел ни одного анализатора" будет повод поискать :Ь
[19:41:56] <ɹǝɟılʍǝu> uggur, нету таких.
[19:42:55] <uggur> http://stackoverflow.com/questions/6025714/tools-for-static-type-checking-in-python
[19:43:00] <uggur> не то?
[19:43:50] <ɹǝɟılʍǝu> uggur, всё хуйня
[19:44:08] <uggur> я-то ожидал от тебя нормального
[19:44:09] <uggur> ответа
[19:44:13] <uggur> а ты как питонист ведёшь себя
[19:44:17] <uggur> вот и команда такая :Ь
[19:44:20] <ForNeVeR> Вот это удар!
[19:44:22] <ForNeVeR> uggur: Ъ
[19:44:39] <ɹǝɟılʍǝu> uggur, оно реально меряет код в попугаях.
[19:46:21] <rexim> Охуенно! http://ideone.com/lisDwg
[19:46:48] <ɹǝɟılʍǝu> rexim, Ъ
[19:47:26] <ɹǝɟılʍǝu> ForNeVeR, типичный вывод pylint
Global evaluation
-----------------
Your code has been rated at -4.00/10
[19:50:16] <rexim> "тесты рухнут на землю / нет больше клауда / он придёт и молча замержит всё / …"
[19:51:39] ckorzhik зашёл в конференцию
[19:52:55] <uggur> "ɹǝɟılʍǝu: ForNeVeR, типичный вывод pylint" XD
[19:53:02] <uggur> тулза бога
[19:53:07] <ɹǝɟılʍǝu> Да ваще.
[19:53:18] <ɹǝɟılʍǝu> -4/10, господи, -4/10!
[19:53:28] <uggur> это на каком коде ты запустил?
[19:54:13] <ɹǝɟılʍǝu> В котором всё ок, кроме одной неиспользованной переменной + почти всё не по pep8
[19:54:21] <ForNeVeR> rexim: хорошие сообщения об ошибках.
[19:54:37] <uggur> "почти всё не по pep8" а ч0 так?
[19:54:58] <ɹǝɟılʍǝu> Потому что лень.
[19:55:01] <ForNeVeR> Я бы тоже такое отрицательно оценил!
[19:55:17] <ForNeVeR> ɹǝɟılʍǝu: не следование принятым в экосистеме стандартам я не одобряю.
[19:55:28] <ForNeVeR> ɹǝɟılʍǝu: и лень - не оправдание.
[19:55:37] <ɹǝɟılʍǝu> ForNeVeR, я прогнал через autopep8
[19:55:45] <ɹǝɟılʍǝu> Я не говорил, что лень — моя.
[19:55:51] <ForNeVeR> А, ну тогда же должно быть по pep8, не?
[19:55:58] <ɹǝɟılʍǝu> ForNeVeR, именование жеж.
[19:56:02] <ForNeVeR> А.
[19:56:15] <ɹǝɟılʍǝu> Но тут тонко.
[19:56:37] <ɹǝɟılʍǝu> Потому что есть код на плюсах, который проброшен в питон... С теми же именами.
[19:56:40] <ɹǝɟılʍǝu> Шоб не путаться.
[19:56:46] <ɹǝɟılʍǝu> Логично? Логично.
[19:56:47] <ForNeVeR> Я исследовал инфраструктуру своего бложика, и у меня тут какой-то архитектурный Ктулху %)
[19:57:15] <ɹǝɟılʍǝu> ForNeVeR, но так или иначе, такой статический анализатор не дал мне полезной информации(
[19:57:18] <ForNeVeR> Некоторые внешние HTTP-запросы в моей сети проходят ажно через три веб-сервера.
[19:57:27] <ForNeVeR> И всё равно всё работает быстро :)
[19:57:32] <ɹǝɟılʍǝu> ForNeVeR, славно!
[19:57:44] <uggur> ForNeVeR: а зачем так много?
[19:57:47] <ForNeVeR> Ну, достаточно быстро, учитывая, что за день у меня в среднем один-два посетителя :)
[19:58:00] <uggur> тыж не фавн чтобы лабиринты строить
[19:58:01] <ForNeVeR> uggur: да вот я и пытаюсь понять! Видимо, исторически сложилось.
[19:58:09] <ForNeVeR> Сначала я всё сервил с IIS.
[19:58:25] <ForNeVeR> Потом появились дополнительные сервисы, и я снаружи поставил nginx, который за бложиком обращался к IIS.
[19:58:27] <uggur> ForNeVeR: у тебя статические страницы?
[19:59:02] <ForNeVeR> А потом появился Омниссия, и я самый внешний nginx перенёс туда. Он иногда запрашивает нужные данные у nginx'а с виндовой машины, который может, в свою очередь, обратиться к IIS!
[19:59:22] <ForNeVeR> uggur: нет, у меня не статические страницы. У меня свой самодельный блогодвижок на F# :3
[19:59:35] <uggur> D:
[20:00:13] <ForNeVeR> Некоторые промежуточные уровни можно грохнуть, наверное.
[20:02:18] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[20:10:53] <uggur> rexim: музыке?
[20:12:58] <rexim> uggur: а, да. Музыке збс. Спасибо, понравилось :)
[20:17:39] <ForNeVeR> rexim: https://youtu.be/rfERtD_Db_k
[20:20:21] <uggur> ForNeVeR: больше эпика! https://youtu.be/tdW9MKD86V0
[20:24:07] MaXGXaM зашёл в конференцию
[20:24:25] MaXGXaM вышел из конференции
[20:36:03] ckorzhik вышел из конференции
[20:40:48] gsomix зашёл в конференцию
[20:41:45] eternastudento зашёл в конференцию
[20:53:55] m4n71k0r зашёл в конференцию
[20:57:43] dzhon зашёл в конференцию
[21:01:51] <rexim> ForNeVeR: =3
[21:01:54] rexim вышел из конференции
[21:02:23] rexim зашёл в конференцию
[21:04:59] <ɹǝɟılʍǝu> rexim, http://cs4.pikabu.ru/post_img/2016/06/01/4/1464759340160960192.png
[21:19:03] <Славный капитан> Слишком много пафоса!
[21:19:15] <Славный капитан> Разбавим-ка восьмидесятыми в новой обертке: https://www.youtube.com/watch?v=qYvqDqoYXMY
[21:29:44] <rexim> Славный капитан: =3
[21:29:44] <ɹǝɟılʍǝu> Славный капитан, http://cs4.pikabu.ru/images/previews_comm/2016-06_1/14647861051387050.jpg
[21:35:30] dzhon вышел из конференции
[21:38:16] Graf зашёл в конференцию
[21:38:22] Graf вышел из конференции
[21:45:42] <rexim> ForNeVeR: Я поднял Rust nightly на NixOS
[21:45:50] <rexim> ForNeVeR: у тебя есть немножко льда?
[21:46:01] <rexim> ForNeVeR: а то у меня пукан горит ._.
[21:47:30] <m4n71k0r> в подвале конфы айсберг поищи
[21:47:44] <m4n71k0r> как раз для пуканов держим
[21:48:03] <rexim> Александр Пуканов
[21:48:28] <rexim> И Генадий Айсберберг
[21:48:47] <m4n71k0r> и Пахом
[21:48:55] dzhon зашёл в конференцию
[21:49:11] <rexim> Куда ж без него!
[21:49:58] <kpecmuk> слыхал тут на одном стриме Пахома этого... народу нравится кажется =)
[21:50:40] dzhon вышел из конференции
[21:51:34] <m4n71k0r> а вот кому Прохора и Пузо? https://www.youtube.com/watch?v=8tkvymB900c
[21:53:24] <m4n71k0r> подмыло кладбище слегка - плывут гробы, идёт весна... нихуя не рифмуется, зато прекрасно
[21:54:26] unclechu вышел из конференции
[22:13:28] xfer~ зашёл в конференцию
[22:15:09] <xfer~> пацаны
[22:15:16] <xfer~> а как быстро развивается кишечная палочка?
[22:19:26] Ender вышел из конференции
[22:19:45] <m4n71k0r> xfer~: ОЧЕНЬ
[22:19:59] <m4n71k0r> её, поэтому и используют в экспериментах
[22:20:10] <m4n71k0r> количество поколений быстроменяется
[22:25:52] <xfer~> эх
[22:25:58] <xfer~> знначит, меня просрёт в ближайшие часы?
[22:36:17] <uggur> нет
[22:36:33] <uggur> ведь нужно ещё, чтобы ты начал отравляться продуктами её жизнедеятельности
[22:36:36] <uggur> а к чему ты спросил?
[22:36:51] <uggur> конечно, степень в микробиологии я так и не получил, но всё же
[22:41:49] <Minoru> uggur: степень самоуверенности обычно дают после первых двух лекций :P
[22:41:58] <Minoru> это общее наблюдение, а не оскорбление в твою сторону, если что
[22:42:15] <xfer~> uggur: наглотался воды из невы
[22:42:42] <Minoru> xfer~: а ещё в гости зовёшь!
[22:42:52] <xfer~> Minoru: в вуоксе вода чище
[22:42:59] <xfer~> а нева по городу проходит
[22:43:16] <uggur> Minoru: вот-вот
[22:43:18] <portnov> пить меньше надо
[22:43:18] <xfer~> Minoru: ты же всё равно не приедешь
[22:43:21] <portnov> надо меньше пить.
[22:43:32] <xfer~> меньше пить надо?
[22:43:37] <portnov> да.
[22:43:45] <uggur> потому я и предупредил про эффект Даннинга-Крюгера
[22:44:18] <uggur> Minoru: впрочем, у меня есть допуск в лаборатории 2 уровня биобезопасности, а не только начитанные годы лекций
[22:44:39] <uggur> так что вдруг я что-нибудь подскажу xfer~
[22:44:57] <xfer~> uggur: что?
[22:45:03] <uggur> например, могу подсказать что скорее всего его пронесёт не от кишечной палочки, а от ротавирусов каких-нибудь
[22:45:07] <xfer~> хочешь у меня анализы взять?
[22:45:11] <uggur> (впрочем, разве это что-то меняет? :)
[22:45:35] <Minoru> ɹǝɟılʍǝu: прости, а весь день занимаюсь левыми делами и вообще ленюсь ._.
[22:45:36] <uggur> xfer~: всё равно будешь СТРАДАТЬ
[22:45:45] <xfer~> блин
[22:45:51] <xfer~> я тут натолкнулся на этот эффект
[22:45:56] <xfer~> даннинга-крюгера
[22:46:09] <xfer~> понял что нихера вообще не знаю
[22:46:14] <xfer~> чо делать?
[22:46:48] <ɹǝɟılʍǝu> Minoru, на тебе http://cs4.pikabu.ru/post_img/2016/06/01/4/1464759340160960192.png
[22:47:44] <uggur> xfer~: выучи что-нибудь и делай
[22:47:51] <uggur> на остальное забей
[22:47:56] <xfer~> uggur: не, я слишком тупой
[22:48:18] <uggur> тогда иди в биореактор если ты неспособен что-то делать
[22:48:25] <rexim> warning: working around a Linux kernel bug by creating a hole of 2093056 bytes in ‘.../bin/rustc’
warning: working around a Linux kernel bug by creating a hole of 2093056 bytes in ‘.../bin/rustdoc’
warning: working around a Linux kernel bug by creating a hole of 552960 bytes in ‘.../bin/cargo’
[22:48:27] <rexim> wtf
[22:48:47] <rexim> Никсос меня пугает ._.
[22:49:56] portnov вышел из конференции
[22:53:41] magog зашёл в конференцию
[22:54:54] <rexim> Никсос-дырокол! ^_^
[22:57:07] <xfer~> как отделить то, в чём я могу быть уверен
[22:57:14] <xfer~> от того, в чём уверен быть не могу?
[22:57:15] <rexim> Нашел забавный OpenGL пакет называется Glutin
[22:57:21] <rexim> Vladimir Glutin
[22:57:55] MaXGGXaM вышел из конференции
[22:58:02] <xfer~> http://9gag.com/gag/aVXRwEd/vladimir-glutin
[22:58:10] MaXGGXaM зашёл в конференцию
[22:58:25] MaXGGXaM вышел из конференции
[22:58:49] MaXGGXaM зашёл в конференцию
[22:59:18] MaXGGXaM вышел из конференции
[23:00:10] <horta hell> Торт скребёт пол в попытке найти пропитание.
[23:00:51] MaXGGXaM зашёл в конференцию
[23:01:20] MaXGGXaM вышел из конференции
[23:01:55] <xfer~> $pet feed
[23:01:55] <horta hell> xfer~: Торт клацнул зубами прямо возле руки, рывком забирая еду. Вы зарабатываете 1PTC.
[23:02:25] MaXGGXaM зашёл в конференцию
[23:02:41] MaXGGXaM вышел из конференции
[23:02:53] <m4n71k0r> rexim: ужас какой!
[23:03:05] <m4n71k0r> дырки как воркэраунд
[23:03:30] MaXGGXaM зашёл в конференцию
[23:04:02] MaXGGXaM вышел из конференции
[23:04:08] sleepyvenom вышел из конференции: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[23:04:50] MaXGGXaM зашёл в конференцию
[23:05:21] MaXGGXaM вышел из конференции
[23:06:08] MaXGGXaM зашёл в конференцию
[23:06:08] <horta hell> Торт лежит и еле дышит, хвостиком едва колышет.
[23:06:17] <m4n71k0r> $pet heal
[23:06:17] <horta hell> m4n71k0r: Торт был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[23:06:39] MaXGGXaM вышел из конференции
[23:07:25] MaXGGXaM зашёл в конференцию
[23:07:40] MaXGGXaM вышел из конференции
[23:08:22] <rexim> > [DigitalOcean] Introducing Our Bangalore Region: BLR1
[23:08:26] <rexim> Халё?
[23:10:13] Славный капитан вышел из конференции
[23:11:11] unclechu зашёл в конференцию
[23:14:00] dzhon зашёл в конференцию
[23:15:29] dzhon вышел из конференции
[23:15:39] dzhon зашёл в конференцию
[23:16:33] unclechu вышел из конференции
[23:20:40] rexim вышел из конференции
[23:30:26] SolarRay вышел из конференции: Replaced by new connection
[23:30:29] SolarRay зашёл в конференцию
Powered by freQ Powered by Python Valid XHTML 1.0 Transitional Valid CSS!