codingteam@conference.jabber.ru

codingteam

20.01.2016< ^ >

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

[00:00:12] portnov зашёл в конференцию
[00:01:08] portnov вышел из конференции
[00:22:13] dzhon вышел из конференции
[00:45:46] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[01:37:04] <horta hell> Недетерминированный конечный автомат Тьюринга издал тихий рык и испустил дух. Все теряют по 1PTC.
[01:42:47] m4n71k0r вышел из конференции
[01:42:50] <ɹǝɟılʍǝu> $pet resurrect
[01:42:50] <horta hell> ɹǝɟılʍǝu: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[01:42:54] <ɹǝɟılʍǝu> $pet rating
[01:42:54] <horta hell> ɹǝɟılʍǝu:
любитель криппи языков: 13PTC
kp-cmuk: 9PTC
ɹǝɟılʍǝu: 3PTC
xf-r: 2PTC
M-noru: 1PTC
[01:43:29] <ɹǝɟılʍǝu> %pet transfer ʕ•ᴥ•ʔ 3
[01:43:34] <ɹǝɟılʍǝu> $pet transfer ʕ•ᴥ•ʔ 3
[01:43:34] <horta hell> ɹǝɟılʍǝu: Транзакция успешна.
[01:43:37] <ɹǝɟılʍǝu> $pet rating
[01:43:38] <horta hell> ɹǝɟılʍǝu:
любитель криппи языков: 13PTC
kp-cmuk: 9PTC
ʕ•ᴥ•ʔ: 3PTC
xf-r: 2PTC
M-noru: 1PTC
[02:49:38] ckorzhik зашёл в конференцию
[03:14:21] Minoru вышел из конференции
[03:36:41] ckorzhik вышел из конференции
[03:58:19] Constverum вышел из конференции
[04:43:55] Chewbaka вышел из конференции
[04:52:12] ckorzhik зашёл в конференцию
[05:04:06] eaeee вышел из конференции: Replaced by new connection
[05:04:07] eaeee зашёл в конференцию
[05:04:28] eaeee вышел из конференции
[06:04:26] sss|zombie зашёл в конференцию
[06:33:01] kpecmuk вышел из конференции: Replaced by new connection
[06:33:02] kpecmuk зашёл в конференцию
[07:27:38] Kumba_yo вышел из конференции
[07:30:35] sss|zombie вышел из конференции
[07:41:04] kosc зашёл в конференцию
[07:53:12] Kumba_yo зашёл в конференцию
[07:53:51] ckorzhik вышел из конференции
[08:10:03] 4ppleboy зашёл в конференцию
[08:38:41] grouzen вышел из конференции
[08:43:04] <horta hell> Недетерминированный конечный автомат Тьюринга умер в забвении с гримасой страдания на морде. Все теряют по 1PTC.
[08:49:03] <kpecmuk> $pet resurrect
[08:49:03] <horta hell> kpecmuk: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[09:23:19] superka вышел из конференции: Replaced by new connection
[09:23:20] superka зашёл в конференцию
[09:25:58] <ɹǝɟılʍǝu> Утро
[09:26:10] superka вышел из конференции
[09:26:24] superka зашёл в конференцию
[09:50:55] Aman зашёл в конференцию
[09:53:08] gsomix зашёл в конференцию
[09:53:24] <gsomix> Утро.
[09:53:50] <ForNeVeR> Так точно!
[09:56:11] <gsomix> Отлично.
[09:56:20] <gsomix> Нужно подготовиться к экзамену.
[09:56:41] <ForNeVeR> Да чо там готовиться!
[09:57:55] <gsomix> ForNeVeR, нужно вспомнить все, что было на три семестра.
[10:02:33] <gsomix> Статью жены опубликовали.
[10:02:35] <gsomix> Ура!
[10:02:57] <gsomix> А у меня пока нет приличных статей. :c
[10:03:00] <gsomix> Надо работать!
[10:07:30] dzhon зашёл в конференцию
[10:19:44] a1batross зашёл в конференцию
[10:20:11] xfer вышел из конференции
[10:23:23] MaXGXaM зашёл в конференцию
[10:25:29] (/^_^)/ зашёл в конференцию
[10:54:34] <ɹǝɟılʍǝu> gsomix, ого!
[10:54:36] <ɹǝɟılʍǝu> Ты крут!
[10:54:57] <ɹǝɟılʍǝu> gsomix, передай мои поздравляшки ей =)
[10:55:05] <ɹǝɟılʍǝu> Как, кстати, её зовут?
[10:58:39] <gsomix> ɹǝɟılʍǝu, Ксюша.
[10:59:37] <ɹǝɟılʍǝu> gsomix, ня
[11:00:25] eternastudento зашёл в конференцию
[11:00:39] a1batross вышел из конференции: Disconnected: closed
[11:03:33] xfer зашёл в конференцию
[11:08:43] Graf зашёл в конференцию
[11:15:12] <ɹǝɟılʍǝu> gsomix, а тему публикации можно узнать? =)
[11:15:28] <gsomix> ɹǝɟılʍǝu, https://www.osapublishing.org/ao/abstract.cfm?uri=ao-55-4-687
[11:15:40] Constverum зашёл в конференцию
[11:15:47] Graf вышел из конференции: Replaced by new connection
[11:15:49] Graf зашёл в конференцию
[11:15:58] Graf вышел из конференции
[11:18:14] <ɹǝɟılʍǝu> gsomix, класс
[11:23:04] Minoru зашёл в конференцию
[11:23:13] <Minoru> утро -_-
[11:25:32] Aman вышел из конференции
[11:27:21] <ɹǝɟılʍǝu> Minoru, \0/
[11:27:29] <ɹǝɟılʍǝu> Minoru, как твои делищща, дружище?
[11:28:44] <Minoru> проснулся раньше обычного, так что збс! :) А ты как?
[11:30:22] <Minoru> gsomix: вы там та-акие классные! Я, пожалуй, перестану теперь говорить, что у меня есть публикации. Или, по крайней мере, примусь брать слово «публикации» в кавычки.
[11:31:22] Alexunc зашёл в конференцию
[11:33:19] <gsomix> Minoru, ну, у меня такого уровня тоже ничего нет пока.
[11:34:25] <ɹǝɟılʍǝu> Minoru, gsomix давайте тоже публиковаться!
[11:34:29] <xfer> https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D1%81%D1%82%D1%91%D1%80_(%D1%80%D0%B0%D1%81%D1%81%D0%BA%D0%B0%D0%B7) ппц грустнота
[11:35:27] <Minoru> ɹǝɟılʍǝu: а есть же какие-то «independent researchers», которые, насколько я понимаю, занимаются наукой за пределами университетов
[11:36:07] <ɹǝɟılʍǝu> Minoru, есть
[11:36:12] <Minoru> впрочем, в любом случае нужно сначала найти интересную тему, а публиковаться или нет — дело десятое (если работаешь не учёным)
[11:36:21] <Minoru> s/учёным/исследователем/
[11:36:24] <horta hell> Minoru: впрочем, в любом случае нужно сначала найти интересную тему, а публиковаться или нет — дело десятое (если работаешь не исследователем)
[11:36:29] <Minoru> или как это правильно сказать…
[11:37:43] <Minoru> xfer: а у Лондона вообще есть что-то весёлое? Мне после «Жажды жизни» и «Белого клыка» кажется, что он весь такой. Что, впрочем, не мешает держать его в to-read, потому что писал действительно хорошо
[11:37:56] <(/^_^)/> LGTM!
[11:38:00] <xfer> Minoru: не знаю...
[11:38:09] <ɹǝɟılʍǝu> Minoru, давай по теории типов!
[11:38:09] <(/^_^)/> Главный герой путешествует по одной из троп Юкона в очень холодный день (−75 °F/−59 °C)
[11:38:27] <(/^_^)/> это как-то даже для моих северных краёв жёстко
[11:39:44] <ɹǝɟılʍǝu> Minoru, написал доку к Either в код.
[11:39:53] <ɹǝɟılʍǝu> Чтобы коллегам было удобней.
[11:40:02] <(/^_^)/> при -59 по цельсию конечности будут неметь пока от двери до двери дойдёшь
[11:40:03] <ɹǝɟılʍǝu> С примерами и pro-list.
[11:40:05] <xfer> (/^_^)/: https://ru.wikipedia.org/wiki/%D0%9E%D0%BB%D0%B4-%D0%9A%D1%80%D0%BE%D1%83
среднее минимальное в январе -35
[11:40:21] <Minoru> ах, так я читал этот рассказ… Да, там грусть и печаль, xfer
[11:40:56] <xfer> (/^_^)/: и зависит от утепления, есть одёждка в которой можно в -40 _стоять_
[11:41:07] <xfer> но двигаться в ней будет затруднительно
[11:41:11] <Minoru> ɹǝɟılʍǝu: теперь придумай, как легко и непринуждённо привести коллег к её чтению и запоминанию :)
[11:41:11] m4n71k0r зашёл в конференцию
[11:41:21] <(/^_^)/> -26.7 по цельсию среднее максимальное в январе
[11:41:29] <Minoru> > есть одёждка в которой можно в -40 _стоять_
[11:41:34] <Minoru> изба с печью, что ли?
[11:41:40] <m4n71k0r> tlE6 nE6
[11:41:46] <(/^_^)/> xfer: В -40 шарф на лицо и можно гулять нормально, при условии что пара слоёв штанов ещё
[11:41:50] <ɹǝɟılʍǝu> Minoru, ты не был на южном полюсе?
[11:41:53] <ɹǝɟılʍǝu> -89 жи.
[11:41:58] <xfer> Minoru: http://sivera.ru/catalog/mens_t2/down/735/ например
[11:42:00] <ɹǝɟılʍǝu> Исторический минимум.
[11:42:01] <(/^_^)/> xfer: а вот -59 по цельсию это уже не то
[11:42:07] <Minoru> m4n71k0r: починись!
[11:42:17] <Minoru> ɹǝɟılʍǝu: не был ._. Ебать лох? :)
[11:43:02] <ɹǝɟılʍǝu> Minoru, ну и я же не был!
[11:43:47] <m4n71k0r> Minoru: https://translate.yandex.ru/?text=tlE6%20nE6&lang=sjn-ru
[11:44:28] <xfer> ɹǝɟılʍǝu: там влажности никакой
[11:44:34] <ɹǝɟılʍǝu> Да.
[11:44:44] <xfer> и если нет ветра, то можешь хоть голым ходить
[11:45:12] <Minoru> m4n71k0r: ух ты ж ё! К общению с эльфами меня жизнь не готовила :(
[11:45:53] <xfer> m4n71k0r: маэ гованен! %)
[11:55:13] <ɹǝɟılʍǝu> tlE6 nE6
[11:58:07] <uggur> "m4n71k0r: Minoru: https://translate.yandex.ru/?text=tlE6%20nE6&lang=sjn-ru"
Аш назг дурбатулук, аш назг гимбату,
аш назг туркутулук, иши кримпатул!
[12:00:53] <uggur> https://youtu.be/9qE3zOP6CeA :Ь
[12:01:56] Aman зашёл в конференцию
[12:02:24] <xfer> сопли какие-то
[12:13:35] <Minoru> m4n71k0r: что-то битбакет не очень: https://bitbucket.org/site/master/issues/10983/ed25519-ssh-keys
[12:14:14] <m4n71k0r> зато там есть бесплатные приватные репы ;Р
[12:14:37] <m4n71k0r> хотя у меня на локалхосте тоже есть
[12:15:02] <m4n71k0r> а ещё у битбакета хреновый поиск... это я считаю плюсом)
[12:15:14] <uggur> на локалхосте -- тоже
[12:15:52] <m4n71k0r> у меня лучше поиск на локалхосте, чем на битбакете >:
[12:16:06] <ɹǝɟılʍǝu> Чпокалхосте
[12:16:36] <m4n71k0r> пользуясь случаем, хочу передать привет коту и сказать, что питон - кака
[12:17:39] <m4n71k0r> ɹǝɟılʍǝu: ты посмотрел видео про никак недопиливаемые "какбы" типизированные акторы в акке?
[12:17:50] <xfer> > Achievement Get: issue necromancer.
ясно, эти ваши очивки какой-то очередной мем
[12:18:24] <ɹǝɟılʍǝu> m4n71k0r, пока ещё нет.
[12:18:35] <m4n71k0r> ɹǝɟılʍǝu: а то я вот смотрю на аццки строгие в плюсоакторах http://www.actor-framework.org/manual/#sec68 и мне кажется, что для наследничков-то тоже должно работать, а нет
[12:18:50] <ɹǝɟılʍǝu> Хм...
[12:19:02] <m4n71k0r> вообще, это проблема плюсов)
[12:19:09] <m4n71k0r> или фича...хз
[12:20:10] <m4n71k0r> можно, конечно враппер написать... что-то типа варианта или эни, но он будет хранить у себя только базовый класс или наследников
[12:20:35] <m4n71k0r> и пихать это как тип актора
[12:20:55] <m4n71k0r> а на выходе должен быть другой враппер
[12:21:27] <m4n71k0r> ой, или я всё перепутал
[12:24:00] <Minoru> однажды Мантикору на день рождения подарили враппер с врапперами. Это был самый счастливый день в его жизни!
[12:24:56] <Minoru> правда, после того, как он заврапил песочницу вместе с находящимися в ней детьми и стоящей рядом скамейкой с бабульками, враппер у него отобрали
[12:25:00] <Minoru> но было весело!
[12:28:03] <m4n71k0r> однажды Минорычу на день рождения подарили монаду с монадками. Это был самый счастливый день в его жизни…
[12:28:26] <Minoru> понял; заткнусь
[12:28:50] <m4n71k0r> я уже сказку тут писал, очень нехорошо вышло
[12:29:32] <Minoru> недавно-то? Нормальная же вроде сказка, я тогда ещё сказал
[12:31:49] <ɹǝɟılʍǝu> m4n71k0r, Монадка — это женское имя.
[12:32:13] <m4n71k0r> Minoru: вроде трэшак
[12:34:01] <xfer> m4n71k0r: давай напишим модуль для fuse, который будет запрещать или разрешать писать в домашний каталог пользователя
[12:34:14] <xfer> http://www.opennet.ru/opennews/art.shtml?num=43700 что бы вот это не прошло
[12:34:45] <xfer> у меня откуда-то соль в кружке с чаем взялась
[12:35:30] <Minoru> xfer: проще написать либу, в которой open() являеется no-op-ом, и подгружать её с помощью LD_PRELOAD
[12:35:57] <xfer> Minoru: open() не подменить
[12:36:04] <Minoru> ну, про no-op я загнул, но суть ты понял
[12:36:07] <Minoru> как не подменить? O_O
[12:36:16] <Minoru> а почему?
[12:36:30] <Minoru> я не про системный вызов, я про библиотечную функцию
[12:36:30] <xfer> не помню почему
[12:36:38] <xfer> ну кароч он не подменяется в ld_preload
[12:36:58] <xfer> и close() тоже, кажется
[12:37:13] <Minoru> :(
[12:37:42] <xfer> https://github.com/noktoborus/-MORE/blob/master/ldpre_cp.c#L54 иначе бы я здесь не трахался так
[12:38:52] m4n71k0r вышел из конференции
[12:39:55] m4n71k0r зашёл в конференцию
[12:40:33] <xfer> Minoru: http://stackoverflow.com/questions/14326023/why-my-ld-preload-interception-works-for-open-close-but-not-for-fopen-fclose
[12:44:14] <Minoru> xfer: то есть всё перехватывается, просто нужно покрыть все случаи? Что-то функций для открытия файла как-то много развелось :(
[12:44:55] <xfer> Minoru: не перехватывается
[12:44:59] <xfer> кароче от реализации зависит
[12:45:02] <xfer> насколько понял
[12:45:07] <xfer> вообще fopen ~= open
[12:54:50] <Minoru> «~=» — это «≈»?
[12:58:17] <ɹǝɟılʍǝu> ≈
[12:58:21] <ɹǝɟılʍǝu> ≈|≈
[12:59:50] (/^_^)/ сменил ник на ≈(^o^)≈
[13:01:10] <ForNeVeR> ≈_≈
[13:01:59] folex зашёл в конференцию
[13:03:28] <m4n71k0r> ёбаные сишники специально так сокращают имена переменных, чтобы больше ненужного кода успеть написать?
[13:04:26] <ɹǝɟılʍǝu> Например?
[13:05:06] <m4n71k0r> https://github.com/noktoborus/-MORE/blob/master/ldpre_cp.c#L13
[13:05:21] <folex> гг
[13:05:48] <m4n71k0r> а за двойные подчёркивания бы палкой вторые фаланги бы переломал
[13:06:01] <m4n71k0r> я бы*
[13:06:30] <≈(^o^)≈> __________my___awersome______variable_________name11111
[13:06:41] <ɹǝɟılʍǝu> > __USE_GNU
[13:06:42] <ɹǝɟılʍǝu> Фу
[13:06:47] <ɹǝɟılʍǝu> ≈(^o^)≈, привет, питон!
[13:06:52] <m4n71k0r> ≈(^o^)≈: а ты вообще ЧУЧУНДРА!
[13:07:04] <ForNeVeR> https://github.com/noktoborus/-MORE/blob/4ee8c590723f5a5db0f0c3f4c2fed8c3bd2a7105/rol/field.png
[13:07:30] <m4n71k0r> https://ru.wikipedia.org/wiki/%D0%93%D0%B8%D0%B3%D0%B0%D0%BD%D1%82%D1%81%D0%BA%D0%B0%D1%8F_%D0%B1%D0%B5%D0%BB%D0%BE%D0%B7%D1%83%D0%B1%D0%BA%D0%B0
[13:07:42] <ɹǝɟılʍǝu> ForNeVeR, норм
[13:07:47] <ɹǝɟılʍǝu> Документация)
[13:08:56] Aman вышел из конференции
[13:14:28] <m4n71k0r> xfer: а почему ты с сентября ничего не коммитил?(
[13:14:45] <xfer> m4n71k0r: потому что на работе коммитю
[13:14:53] <xfer> в проекты, за которые мне платят -_-
[13:14:54] <m4n71k0r> xfer: фуд тоже и что?
[13:15:03] <xfer> фуд увлечён
[13:15:14] <xfer> а мне как-то интереснее ломать лыжи
[13:15:22] <m4n71k0r> а велики?
[13:15:28] <xfer> это отдельно
[13:15:32] <m4n71k0r> xfer: к финнам уже ездил?
[13:15:37] <xfer> паспорт делаю
[13:15:59] <ɹǝɟılʍǝu> xfer, паспорт ТЕБЯ сделает!
[13:16:01] <ɹǝɟılʍǝu> Дыа!
[13:16:03] <ɹǝɟılʍǝu> Yea
[13:16:06] <ɹǝɟılʍǝu> Yeah!
[13:16:07] <ɹǝɟılʍǝu> Yo!
[13:16:10] <ɹǝɟılʍǝu> Nigga
[13:16:22] <xfer> ɹǝɟılʍǝu: у тебя деформация
[13:16:32] <m4n71k0r> мне не нравится, что для заграна надо отпечатки пальцев сдевать... как будто я потенциальный преступник(
[13:16:41] <m4n71k0r> хватило бы волоса для днк
[13:16:44] <m4n71k0r> лобкового
[13:16:49] <xfer> а вдруг ты сгоришь при транспортировке
[13:16:54] <xfer> и от тебя только и останется
[13:16:58] <xfer> что кожа с пальцев
[13:17:02] <xfer> как тебя опознают?
[13:17:07] <m4n71k0r> xfer: кожа тоже содержит днк
[13:17:16] <xfer> m4n71k0r: в новом паспорте обещали хранить даже лобковые волосы
[13:17:22] <xfer> но не делают
[13:17:53] <xfer> вообще, если сохранить днк, а потом её синтезировать, то вырастить волосы не составит труда
[13:18:23] Aman зашёл в конференцию
[13:18:28] <xfer> а у овечки долли отпечатки пальцев были такие же, как и у родителя?
[13:18:59] <xfer> *такие же как у исходного объекта
[13:19:11] rexim зашёл в конференцию
[13:19:30] <rexim> оалывоал
[13:19:45] <xfer> вака
[13:19:55] <ɹǝɟılʍǝu> rexim, illar irexim
[13:20:58] <ɹǝɟılʍǝu> m4n71k0r, лучше с жопы
[13:21:07] <xfer> http://lenta.ru/news/2016/01/20/terraced_terrorism/ бляя
[13:29:02] <m4n71k0r> небось и доносы можно писать)
[13:30:28] <xfer> ɹǝɟılʍǝu: на жопе же пух, а на лобке - жёсткие, стойкие к истеранию, волосы.
[13:31:18] <Minoru> rexim: ты, наверное, думал, что в Цодингтим попал. Ан нет…
[13:32:33] <rexim> o_O
[13:32:40] <rexim> А де я?
[13:34:45] <xfer> в доме террора
[13:34:46] <Minoru> rexim: это я к обсуждению выше шучу
[13:34:56] <rexim> А, я не читал...
[13:39:28] <ForNeVeR> ЕЧЯЗБ.
[13:42:38] <gsomix> +
[13:43:05] <ɹǝɟılʍǝu> Время изучать Idris!
[13:43:10] <ForNeVeR> Да!
[13:48:16] <rexim> Идрисня!
[13:49:27] <ɹǝɟılʍǝu> ForNeVeR, ого!
[13:49:34] <ɹǝɟılʍǝu> repl ещё и раскрашивает синтаксис
[13:49:53] <ɹǝɟılʍǝu> (≈^-^≈)
[13:50:59] rexim установил(а) тему: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Backup channel: codingteam@conference.codingteam.org.ru
HQ: http://codingteam.org.ru
Код постить сюда: http://hastebin.com/
Логи: http://tinyurl.com/ctcjr-logs
Morning Tsoding (вт, чт, сб, вс, збс) (21.01.2016 стрима нет): http://www.youtube.com/playlist?list=PLguYJK7ydFE75hzLFTKwMDVRkDlJ8rEiA
[13:52:02] <ɹǝɟılʍǝu> rexim, ты поправляйся!
[13:52:09] <ɹǝɟılʍǝu> А то возьму и приеду.
[13:53:26] Constverum вышел из конференции
[13:53:46] ≈(^o^)≈ сменил ник на (≈^-^≈)
[13:53:53] * (≈^-^≈) так гораздо лучше
[13:53:57] <ɹǝɟılʍǝu> ForNeVeR, как в идрисе сделать константу?
[13:54:03] <ɹǝɟılʍǝu> let x = 10 не работает
[13:54:10] <ForNeVeR> ɹǝɟılʍǝu: э, просто x = 10?
[13:54:40] Constverum зашёл в конференцию
[13:54:45] <ɹǝɟılʍǝu> Idris> x = 10
When checking argument x to type constructor =:
No such variable x
Idris>
[13:54:53] <ForNeVeR> ._.
[13:55:07] <rexim> Minoru: https://www.youtube.com/watch?v=R_g5AThlTXc
[13:55:54] <ForNeVeR> ɹǝɟılʍǝu: но в примере именно так!
[13:56:01] <ForNeVeR> http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html#primitive-types
[13:56:06] <ForNeVeR> x : Int
x = 42
[13:56:39] <ForNeVeR> Может, надо сначала объявить тип значения?
[13:57:45] <ɹǝɟılʍǝu> Idris> x : Int
(input):1:3: error: expected: "$",
"&&", "*", "*>", "+", "++", "-",
"->", ".", "/", "/=", "::", "<",
"<$>", "<*", "<*>", "<+>", "<<",
"<=", "<|>", "=", "==", ">",
">=", ">>", ">>=", "\\\\", "`",
"||", "~=~",
ambiguous use of a left-associative operator,
ambiguous use of a non-associative operator,
ambiguous use of a right-associative operator,
end of input, function argument,
matching application expression
x : Int<EOF>
^
Idris>
[13:57:48] <ForNeVeR> ɹǝɟılʍǝu: http://docs.idris-lang.org/en/latest/reference/repl.html#adding-let-bindings
[13:58:03] <ForNeVeR> Неудобновато как-то, честно говоря.
[13:58:27] <ForNeVeR> Судя по мануалу, твой пример должен выглядеть так:
Idris> :let x : Int; x = 1
[13:58:45] <ForNeVeR> Может, и без x : Int прокатит хотя бы?
[13:59:51] <ForNeVeR> ɹǝɟılʍǝu: есть ещё :unlet :)
[13:59:58] <ɹǝɟılʍǝu> :let x : Int; x = 1
Это работает
[14:00:08] <ForNeVeR> Пробуй :let x = 1
[14:00:26] <ɹǝɟılʍǝu> ForNeVeR, да, так сработало.
[14:00:26] <ForNeVeR> https://groups.google.com/forum/#!topic/idris-lang/iV1A5UVfMow - вот тут пишут, что тоже работает.
[14:01:10] <ForNeVeR> И давай в доку им наконтрибьютим чтоль? А то мне вот неочевидно, что оно сработает без указания типа.
[14:01:18] <ɹǝɟılʍǝu> Что ж, давай!
[14:02:16] <ForNeVeR> https://github.com/idris-lang/Idris-dev/edit/master/docs/reference/repl.rst
[14:04:26] <ForNeVeR> https://github.com/idris-lang/Idris-dev/pull/2897
[14:05:10] <ɹǝɟılʍǝu> ForNeVeR, ты уже что ли?
[14:05:15] <ForNeVeR> Ну.
[14:05:24] <ɹǝɟılʍǝu> омфг
[14:05:28] <ForNeVeR> А чо?
[14:05:36] <ɹǝɟılʍǝu> Молодец. (=
[14:05:39] <ForNeVeR> :3
[14:07:51] Kumba_yo вышел из конференции
[14:09:36] <eternastudento> Соцопрос, любопытства ради, отпишитесь, у кого стоит WIn10?
[14:10:52] <folex> Настроили статусы билда в битбакете
[14:10:54] <folex> ссу кипятком!
[14:13:06] <Minoru> folex: расслабся и начни новый streak: нечётные коммиты ломают билд, чётные — чинят
[14:13:58] <folex> это для лохов
[14:14:19] <folex> У настоящих мужиков каждый третий запуск ломает билд, а каждый седьмой — чинит
[14:14:37] <folex> А на все остальные принимаются ставки
[14:14:45] <folex> И никаких коммитов
[14:16:00] Chewbaka зашёл в конференцию
[14:17:46] Chewbaka вышел из конференции
[14:20:11] <ForNeVeR> eternastudento: у меня.
[14:22:29] <eternastudento> ForNeVeR, что происходит с установленным добром после обновления? Это апдейт системы и всё продолжает функционировать, или это в сущности переустановка, которая чистит реестр и подобное и все программы придётся переставлять?
[14:23:22] <ForNeVeR> eternastudento: это апдейт системы, всё добро остаётся на месте. Возможны минорные глюки только у несовместимого софта. Я только в VirtualBox такие встретил, всё остальное норм продолжило работать.
[14:24:12] <eternastudento> то есть в сущность win10 является win8.1?
[14:24:27] <ForNeVeR> Зависит от твоего определения "сущности".
[14:25:01] <ForNeVeR> И почему 8.1?
[14:25:05] <ForNeVeR> Я вот с семёрки обновлялся.
[14:25:29] <ForNeVeR> Значит ли это, что в сущности мой экземпляр win 10 является также экземпляром win 7?
[14:25:47] <eternastudento> Хех. Вот как. Тогда я всё ж думаю что "обновление" несколько не то слово, не так ли?
[14:26:02] <ForNeVeR> Ну, гм, апгрейд, типа. А как ещё сказать?
[14:27:19] <eternastudento> "перенос части старой системы на новую", что-то вроде? То есть ставится как-бы новая система с нуля и после пытается со старой перетащить по максимуму окружение, переменные среды, ключи реестра, подобное?
[14:27:29] <ForNeVeR> ._.
[14:27:45] <ForNeVeR> Нет, я далеко не уверен, что это описывает процесс, происходящий при обновлении.
[14:27:59] <ForNeVeR> Впрочем, точно я не знаю и как-то особо этот вопрос не изучал.
[14:28:24] <ForNeVeR> Ну, обновилось ядро, гуй и большинство стандартных программ.
[14:28:42] ɹǝɟılʍǝu вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[14:28:43] ɹǝɟılʍǝu зашёл в конференцию
[14:28:55] <ForNeVeR> В линуксе я это делаю одним движением через nixos-rebuild --upgrade switch. Это же простой обычный апгрейд, ну :)
[14:29:28] <ForNeVeR> Никаких там "переносов" и "установок с нуля", просто обновление (широкого) набора ключевых компонентов.
[14:29:34] <Minoru> eternastudento: ты просто путаешь со старым способом «обновления» — переустановкой с нуля
[14:30:23] <ForNeVeR> Minoru: на самом деле раньше тоже было обновление, просто его никто не юзал :)
[14:31:15] <ForNeVeR> До сих пор можно последовательно обновиться по цепочке с Win 3.1 до Win 10. Ну, по дороге, скорее всего, придётся и железо обновлять, понятное дело. Просто потому, что нету общих совместимых процессоров.
[14:33:43] <rexim> ForNeVeR: звучит как довольно интересный эксперимент
[14:33:45] <rexim> Я бы посмотрел на это
[14:33:49] <eternastudento> хм, а как же быть с непустым множеством программ, имеющих разные версии под разные системы?
[14:33:54] <ForNeVeR> rexim: есть видево на тытрубе :)
[14:33:58] <ForNeVeR> eternastudento: обновлять, чо!
[14:34:00] <rexim> ОО!!
[14:34:02] <rexim> Спасибо
[14:34:12] <eternastudento> rexim, салютон
[14:34:18] <Minoru> rexim: хорошенький музончик, кстати; спасибо :)
[14:34:33] <ForNeVeR> eternastudento: ну, я много пользуюсь компьютером, и ни одной проблемной программы у меня не нашлось - кроме VirtualBox.
[14:34:51] <ForNeVeR> eternastudento: при этом я обновился буквально на второй или третий день после релиза.
[14:34:52] <rexim> Minoru: мне пришол copyright claim, что я его использую в своих стримах :)
[14:35:13] <Minoru> rexim: лол
[14:35:30] <rexim> Minoru: кажется, некоторые правообладатели настолько бедны, что им приходиться зарабатывать вот таким вот мошеническим способом.
[14:35:34] <rexim> Но музончик классный, да.
[14:35:40] <Minoru> rexim: может, они просто заголовок перепутали у письма, и это на самом деле Recommended videos? :)
[14:36:02] <eternastudento> так, тогда апдейтнусь
[14:36:12] <rexim> Minoru: а этот механизм клаймов встроен прям в панель управления на ютубе.
[14:36:22] <rexim> Там можно сразу список песен посмотреть
[14:36:39] <rexim> И это не было рекомендед точно
[14:37:03] <horta hell> Недетерминированный конечный автомат Тьюринга грызёт ножку стола, изображая вселенский голод.
[14:37:43] <rexim> $pet feed
[14:37:44] <horta hell> rexim: Чудо свершилось! Друг был другом спасён! Вы получаете 3PTC, а Недетерминированный конечный автомат Тьюринга сыт и доволен.
[14:37:46] <rexim> $pet rating
[14:37:48] <horta hell> rexim:
любитель криппи языков: 12PTC
kp-cmuk: 11PTC
rexim: 3PTC
ʕ•ᴥ•ʔ: 2PTC
xf-r: 1PTC
[14:37:56] <rexim> $pet transfer ʕ•ᴥ•ʔ 3
[14:37:56] <horta hell> rexim: Транзакция успешна.
[14:37:58] <rexim> $pet rating
[14:37:59] <horta hell> rexim:
любитель криппи языков: 12PTC
kp-cmuk: 11PTC
ʕ•ᴥ•ʔ: 5PTC
xf-r: 1PTC
[14:38:27] <Minoru> оп-па! Пет опять помирал?
[14:38:29] <ɹǝɟılʍǝu> rexim, айда гулять?
[14:38:32] <ɹǝɟılʍǝu> Minoru, да.
[14:38:34] <ɹǝɟılʍǝu> Ночью.
[14:38:35] <Minoru> horta hell: ты куда мою монетку дел, сотона?!
[14:38:36] <Minoru> :(
[14:38:39] * ɹǝɟılʍǝu оживлял.
[14:39:00] <Minoru> ɹǝɟılʍǝu спасатель!
[14:39:07] <ɹǝɟılʍǝu> некрофил
[14:39:08] <ɹǝɟılʍǝu> Ой
[14:39:10] <ɹǝɟılʍǝu> некромат
[14:39:13] <rexim> Minoru: я всем клаймам встречную жалобу послал, что мол они охуели.
[14:39:25] <rexim> Сказали, что мне ответят в течении месяца
[14:39:28] <ForNeVeR> rexim: а там можно встречно жаловаться?
[14:39:33] <ForNeVeR> Круто!
[14:39:38] <ForNeVeR> Да, они охуели :)
[14:39:40] <rexim> ForNeVeR: да, есть специальная кнопочка
[14:41:07] <rexim> Хм...
[14:41:29] <rexim> А вот интересно, как живут держатели популярных каналов? Небось целыми днями от копирастов отбиваются...
[14:42:17] <Minoru> у них отдельный комп, где специальная программа клацает кнопочку, не переставая
[14:42:35] <Minoru> у умных то же самое, только в виде while true; do curl https://youtube.com/… ; done
[14:45:19] <ɹǝɟılʍǝu> ForNeVeR, кстати, помнишь сюда портнов кидал пулл реквест с переименованием class в interface в идрисе?
[14:45:26] <xfer> чо это вы мне по две строчки флудите
[14:46:05] <ForNeVeR> ɹǝɟılʍǝu: это был не пулл-реквест, это был коммит :)
[14:46:15] <ForNeVeR> ɹǝɟılʍǝu: это уже в мастере.
[14:46:26] <ɹǝɟılʍǝu> ForNeVeR, тогда пора им и тут прваить доки!
[14:46:28] <ɹǝɟılʍǝu> Вуху!
[14:46:40] <ForNeVeR> Ну, это уж пускай они сами, я считаю.
[14:46:48] <ForNeVeR> Может, у них доки по релизной версии, или типа того.
[14:46:54] <ɹǝɟılʍǝu> Ну ладно.
[14:47:13] <ForNeVeR> Мы больше дров наломаем своими исправлениями :)
[14:47:47] <Minoru> у них доки не тайпчекнутся, если вы что-то сломаете ;)
[14:47:57] * Minoru сегодня такой смифной!
[14:48:18] <ForNeVeR> Между прочим, readthedocs умеет проверять билды.
[14:49:03] <ForNeVeR> https://travis-ci.org/idris-lang/Idris-dev/builds/103567799 - сколько я машинного времени сжог своим маленьким фиксом :(
[14:49:54] <xfer> ForNeVeR: что за идрис?
[14:52:33] <ForNeVeR> xfer: это такой язык программирования с зависимыми типами.
[14:53:28] <rexim> Не правда
[14:53:36] <rexim> Это зависимые типы с языком программирования
[14:54:02] <m4n71k0r> зависимый от типов язык программиста
[14:55:48] <xfer> типы, зависимые от языка?
[14:55:59] <rexim> xfer: языком программирования в идресе никто не пользуется, а вот зависимые типа довольно неплохи, чтобы на них подрочить.
[14:56:29] <eternastudento> программист, зависимый от типов
[14:56:36] Alexunc вышел из конференции
[14:57:03] <rexim> eternastudento: \o/
[14:57:36] <ForNeVeR> rexim: да ты
[14:57:40] <ForNeVeR> rexim: ты
[14:57:47] <ForNeVeR> rexim: да ты же не осилил!
[14:57:58] * Minoru drops his jaw
[14:58:43] <rexim> ForNeVeR: почему это? Мне нравится идрис.
[14:58:55] <ForNeVeR> А зависимые типы очень хорошо позволяют описать некоторые виды функций, которые трудно описать в менее мощных системах типов.
[14:59:08] <ForNeVeR> Вона, Нялайфер недавно подсказал, что акторов очень удобно типизировать.
[14:59:39] <rexim> Форневер затраллен
[14:59:40] <rexim> mission accomplished
[14:59:43] <rexim> Пойду пить чай
[14:59:44] <ForNeVeR> В то же время все известные мне попытки типизировать акторов без использования зависимых типов пока что провалились.
[15:01:46] <ɹǝɟılʍǝu> ForNeVeR, это всё ещё нужно проверить ... =)
[15:01:53] <ɹǝɟılʍǝu> Собсна, пора бы уже этим заняться...
[15:08:44] * rexim drops his jew
[15:11:15] <xfer> почему меня сервер траллит?
[15:12:05] <xfer> https://pp.vk.me/c630631/v630631433/10eaf/D75i9dV28PA.jpg
[15:12:23] <xfer> .
[15:12:25] <xfer> :'(
[15:16:01] <rexim> xfer: http://homestuck.bandcamp.com/track/liquid-negrocity
[15:16:16] <ɹǝɟılʍǝu> rexim, http://homefuck.bandcamp.com/track/liquid-negrocity
[15:16:54] <xfer> rexim: твоё?
[15:17:27] <rexim> xfer: нет.
[15:19:19] <xfer> rexim: http://pleer.com/tracks/12819398I7Ps
[15:20:24] <rexim> xfer: спасибо
[15:25:27] <m4n71k0r> .version xfer
[15:25:28] <DeadBot> m4n71k0r: xfer использует Pidgin 2.10.11 (libpurple 2.10.11) None
[15:25:35] <m4n71k0r> ну ясно же всё
[15:25:59] <m4n71k0r> выкинь эту мегскую птицу, не позорься
[15:26:20] <ForNeVeR> Есть же личкрафт!
[15:26:28] <xfer> не вижу ничего позорного
[15:31:43] <rexim> .version
[15:31:43] <DeadBot> rexim: у тебя jabber.el 0.8.92 Emacs 24.5 (gnu/linux)
[15:35:34] grouzen зашёл в конференцию
[15:37:00] <ForNeVeR> .version
[15:37:01] <DeadBot> ForNeVeR: у тебя LeechCraft Azoth 0.6.70 (compiled with Qt 4.8.6; running with Qt 4.8.6) Unknown OS Unknown version
[15:37:14] <rexim> 4.8.6?
[15:37:18] <rexim> Хм...
[15:37:22] <ForNeVeR> Ну, с какой скомпиляли.
[15:37:35] <ForNeVeR> Я в nixos тоже буду с qt4 компилять, скорее всего.
[15:37:52] <ForNeVeR> Просто потому, что релиз допотопный, тогда ещё qt5 не было как следует.
[15:38:10] <ForNeVeR> А новых релизов не было. На компиляцию из мастера мы чуть позже будем переезжать, наверное.
[15:38:36] <rexim> Кокой ты сегодня говорливый! :3
[15:40:00] <ForNeVeR> rexim: я всегда такой. Это просто ты обычно днём не заходишь.
[15:40:32] <ɹǝɟılʍǝu> MAKE SOME BUILD
[15:41:24] <rexim> ForNeVeR: ути-пути
[15:41:28] <ForNeVeR> rexim: :3
[15:45:21] <folex> rexim: тебе нравится Эрик Сатье?
[15:45:45] <ForNeVeR> Это какой-то известный модельер, наверное?
[15:45:57] <folex> бнвачер
[15:46:11] <folex> композитор-пианист
[15:46:31] <rexim> Не слушал
[15:46:46] <folex> Читается "Сати" правда
[15:53:41] ckorzhik зашёл в конференцию
[15:55:04] <folex> саркастичный, желчный, замкнутый человек, … умер от цирроза печени в результате чрезмерного употребления алкоголя … Его смерть прошла почти незамеченной … "… он весь был наполнен лукавством и умной злостью"\
[15:57:06] <folex> Хороший мужик был, походу
[15:59:04] Kumba_yo зашёл в конференцию
[16:03:15] <ɹǝɟılʍǝu> ForNeVeR, зачем в Идрисе кроме модулей ещё и пространства имён?
[16:03:21] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[16:04:41] eternastudento зашёл в конференцию
[16:25:50] Aman вышел из конференции
[16:26:33] <gsomix> Прикольно, когда у тебя фамили Goto, наверное.
[16:26:41] <gsomix> Ты можешь называть библиотеки в честь себя.
[16:26:44] <rexim> Gotomix
[16:26:50] <gsomix> А все будут думать, что в честь оператора goto.
[16:27:13] <Minoru> gsomix: а тебе кто запрещает так делать? ._.
[16:27:16] <ɹǝɟılʍǝu> gsomix, японец?
[16:27:22] <gsomix> Да, японец.
[16:27:30] <ɹǝɟılʍǝu> Я угадал!
[16:27:34] <gsomix> Minoru, как-то пошло будет. :)
[16:28:01] Graf зашёл в конференцию
[16:28:04] <gsomix> А Goto — красивая фамилия для использования в названиях.
[16:28:10] Graf вышел из конференции
[16:29:35] <Minoru> gsomix: ну дык это только для твоего уха же. Представителям других культур прикольным словом может казаться твоя фамилия, а не фамилия старика Гото.
[16:30:56] <rexim> Minoru: АААА!!1
[16:31:03] <rexim> ЦЕЖ МИНОРЯКА
[16:34:15] <Minoru> rexim: O_O
[16:34:32] <Minoru> но ведь… но я… целый день… весь день… с утра… я же тут…
[16:34:50] <rexim> Minoru: ОЛОАДЛЫВАЛДВА
[16:37:16] <ForNeVeR> А в честь товарища Qt'пова тоже какую-то библиотеку назвали.
[16:37:25] <rexim> :3
[16:37:41] <gsomix> ForNeVeR, !
[16:41:11] <ɹǝɟılʍǝu> ForNeVeR, http://arxiv.org/abs/1506.04205
[16:42:24] <kpecmuk> $pet stats
[16:42:26] <horta hell> kpecmuk:
Кличка: Недетерминированный конечный автомат Тьюринга
Здоровье: 26
Сытость: 69
Возраст: 7 часов
[16:44:58] Славный капитан зашёл в конференцию
[16:47:31] <ForNeVeR> ɹǝɟılʍǝu: про кок советую читать Илью Сергея.
[16:47:48] <ForNeVeR> ɹǝɟılʍǝu: http://ilyasergey.net/pnp/
[16:47:58] <ForNeVeR> Там ещё няшный петух нарисован :3
[16:48:30] <ɹǝɟılʍǝu> pdf-ку?
[16:48:45] <rexim> Опять Форнёвер там на каком-то php программирует?
[16:48:48] <rexim> Вы это
[16:48:51] <rexim> Не давайте ему
[16:48:58] <ForNeVeR> rexim: .\ _ /.
[16:49:28] <gsomix> rexim, хорошо, мы заменим PHP на Hack.
[16:49:36] <ForNeVeR> rexim: мне твои шутки не нравятся!
[16:49:41] <rexim> gsomix: хорошо, спасибо.
[16:49:54] <Minoru> ForNeVeR: да он небось снова молочка нахуебенился и бредит ._.
[16:50:02] <rexim> ForNeVeR: а я не шучу! Программирование на php к добру не приведет!
[16:50:05] <rexim> Прекращай
[16:50:26] <rexim> Minoru: кстати, да. Спасибо, что напомнил.
[16:50:27] <Славный капитан> КАР, КДР, КОНС, СОВП, АТОМ, ЛАМБДА, МЕТКА, КАВЫЧ, УСЛ, ФУНК, НИЛ, И, Л, ИНТЕРП, ЧТЕНИЕ, ПЕЧАТЬ, ПЕЧ0, ПЕЧФ, СПИСОК, НИЛС, ДЛИНА, ДОСТ, ЗНАЧ, ПОДПР, СВЫР, СПЕЦВЫР, СПЕЦПОЛПР, ОШИБКА, РЕЖИМ, СБОЙ, КОНЕЦ
[16:50:57] <Славный капитан> кто тут на РНР пишет?
[16:51:01] <Славный капитан> Епитимью наложу!
[16:51:07] <Minoru> Славный капитан: русскоязычный Лисп правда был, или ты это только что выдумал?
[16:51:07] <Славный капитан> и под дверь.
[16:51:13] <Славный капитан> Minoru: да, был
[16:51:38] <rexim> Minoru: у меня тут еще даже кексики остались!
[16:51:42] <Славный капитан> http://www.computer-museum.ru/histsoft/lisp_sorucom_2011.htm
[16:51:43] <rexim> С молочком будет збс!
[16:51:44] <rexim> ваоыдлвоа
[16:51:45] <rexim> воалва
[16:52:14] <m4n71k0r> ЛАМБДА
[16:52:20] <m4n71k0r> ск
[16:52:29] <rexim> КНДР
[16:53:23] <ForNeVeR> Славный капитан: это ты БЭСМ-6 вспомнил?
[16:53:38] <ForNeVeR> А, не, там было ФПЕЧ.
[16:54:04] <Славный капитан> Нет, ругался.
[17:09:38] 4ppleboy вышел из конференции
[17:11:42] <gsomix> Что за хайп вокруг языка программирования в Mathematica?
[17:11:49] <gsomix> И почему оно все стоит дорого? .__.
[17:13:01] <xfer> потому что люди готовы за это платить много
[17:14:58] <Славный капитан> Потому что альтернатив нету?
[17:16:14] <gsomix> Славный капитан, это же просто CAS + база данных со всякой ненужной информацией.
[17:16:34] <Славный капитан> Maple для статана разве что годится, в MATLAB с символьными вычислениями все очень плохо, а MathCAD серьезные вещи не тащит
[17:16:53] <Славный капитан> ну то есть реально альтернатив нет
[17:17:11] <Славный капитан> >просто CAS
[17:17:19] <Славный капитан> в голос
[17:17:49] <gsomix> Славный капитан, ну, расскажи подробнее.
[17:17:51] <Славный капитан> напиши хотя бы символьное взятие производной
[17:18:16] <ɹǝɟılʍǝu> Маткад и подобное не умеет разве?
[17:18:17] <ɹǝɟılʍǝu> =)
[17:18:22] <Славный капитан> умеет
[17:18:40] <ɹǝɟılʍǝu> Тогда просто.
[17:18:47] <Славный капитан> а на крестах?
[17:18:53] <ɹǝɟılʍǝu> Всё, что придумал человек — просто. Иначе бы он сам не разобрался бы.
[17:19:02] <gsomix> Славный капитан, зачем писать?
[17:19:17] <Славный капитан> ну чтобы не говорил больше фигни всякой
[17:19:17] <gsomix> Уже написано.
[17:19:24] <gsomix> И в maxima, и в sage.
[17:19:28] <gsomix> И даже у дедфуда.
[17:19:32] <gsomix> На темплейтах.
[17:19:37] <Славный капитан> "просто CAS", ебаный рот этого чатика
[17:20:07] <xfer> что такое cas
[17:20:09] <gsomix> Славный капитан, вопрос был о хайпе вокруг CAS.
[17:20:29] <gsomix> Mathematica — это таки CAS.
[17:20:51] <Славный капитан> Ну да
[17:20:54] <gsomix> Есть много других подобных систем.
[17:21:03] <Славный капитан> блин, понимаешь
[17:21:32] <gsomix> Но в Mathematica есть база данных и язык, который активно рекламируют.
[17:21:48] <ForNeVeR> Ну это же очевидно.
[17:21:51] <gsomix> Мне и интересно, пользуется ли кто-нибудь этими штуками в полной мере? Или это просто свистелки.
[17:22:04] <ForNeVeR> База данных, язык и много хайпа стоит намного дороже, чем просто база данных и язык :)
[17:23:06] <Славный капитан> это все равно, что говорить, что, гм, почему офис так дорого стоит, если есть WordPad
[17:23:23] <Славный капитан> И да, я пользовался
[17:24:12] <ForNeVeR> Вордпадом?
[17:24:23] <Славный капитан> (просто потому что формулы в моей дипломной работе перестали влезать на строку листа А4 даже в ландшафтной ориентации)
[17:24:31] <Славный капитан> CAS-ами
[17:24:45] <Славный капитан> вордпадом тоже
[17:27:02] <Славный капитан> в математике, например в несколько строчек реализуется метод Талбота
[17:27:29] <Славный капитан> в MathCAD это делается полчаса с матами, а от максимы я ничего вменяемого так и не добился
[17:30:02] <gsomix> Вот это уже конструктивно.
[17:32:24] <ForNeVeR> https://bugs.php.net/bug.php?id=45647
[17:34:43] grouzen вышел из конференции
[17:37:55] <gsomix> Славный капитан, а что за ад у тебя в дипломной работе был?
[17:38:44] <Славный капитан> Моделирование квазирезонансного преобразователя.
[17:39:38] <Славный капитан> Схема как минимум третьего порядка, на примерно десяток элементов
[17:41:15] <Славный капитан> Еще до того, как начинаются коммутации, дифуры уже всю ширину листа занимают %)
[17:43:40] <ɹǝɟılʍǝu> Славный капитан, ты такой славный!
[17:43:52] <ɹǝɟılʍǝu> Славный капитан, айда преподовать это всё?
[17:44:15] <xfer> уничтожать это всё
[17:45:05] <Славный капитан> ɹǝɟılʍǝu: лол
[17:45:15] <ɹǝɟılʍǝu> Славный капитан, что лол?
[17:45:18] <Славный капитан> я этим занимался пять лет назад
[17:45:22] <ɹǝɟılʍǝu> И что?
[17:45:45] <ɹǝɟılʍǝu> Славный капитан, энивей, у тебя всяко есть что-то, чему бы ты мог научить молодых.
[17:45:58] <ɹǝɟılʍǝu> // словно ты старый, ну и сказанул
[17:46:33] <Славный капитан> Ну, если тебе нужен человек, который будет Бессонова и/или Волкова зачитывать, можешь взять любого аспиранта.
[17:46:48] <Славный капитан> Или, еще лучше, любого Форневера.
[17:47:43] <ForNeVeR> ._.
[17:48:46] <ɹǝɟılʍǝu> Славный капитан, мне не нужна просто зачитка материала.
[17:48:55] <ɹǝɟılʍǝu> Мне нужно вдалбливание в молодых опыта и знаний.
[17:49:16] <ɹǝɟılʍǝu> Развитие у них компетентностей.
[17:49:33] rafaelrs вышел из конференции
[17:49:54] <m4n71k0r> надо будет зачитать коту теорвер
[17:50:09] <ɹǝɟılʍǝu> m4n71k0r, попробуй.
[17:50:30] <Славный капитан> ɹǝɟılʍǝu: компетенций
[17:50:38] <ɹǝɟılʍǝu> Да, спасибо.
[17:51:01] <Славный капитан> ForNeVeR: а что такого? Ты явно более элтех, чем я.
[17:51:21] <ForNeVeR> m4n71k0r: обязательно коту!
[17:55:08] <Славный капитан> Коту может и скучно стать.
[18:03:17] rafaelrs зашёл в конференцию
[18:07:03] <horta hell> Недетерминированный конечный автомат Тьюринга жалобно поскуливает, волоча заднюю лапу.
[18:07:09] <Minoru> $pet heal
[18:07:10] <horta hell> Minoru: Недетерминированный конечный автомат Тьюринга был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[18:07:12] <Minoru> $pet feed
[18:07:14] <Minoru> $pet stats
[18:07:15] <horta hell> Minoru: Недетерминированный конечный автомат Тьюринга отвернулся, брезгуя.
[18:07:19] <horta hell> Minoru:
Кличка: Недетерминированный конечный автомат Тьюринга
Здоровье: 100
Сытость: 47
Возраст: 9 часов
[18:15:23] <Minoru> > Every option, or setting, has a type. Mostly this doesn’t matter, unless you give it a value that isn’t suitable.
Вся суть динамической типизации!
[18:27:20] Aman зашёл в конференцию
[18:37:14] portnov зашёл в конференцию
[18:41:29] (≈^-^≈) вышел из конференции
[19:04:01] <xfer> .
[19:04:06] <rexim> Minoru: anime is real!
[19:04:20] <xfer> rexim: го делать
[19:08:17] <ForNeVeR> rexim: but manga is not.
[19:09:39] <rexim> ForNeVeR: yeah, probably.
[19:10:01] <ForNeVeR> > The default implicit typing rule is that if the first letter of the name is I, J, K, L, M, or N, then the data type is integer, otherwise it is real.
[19:10:26] <rexim> O_O
[19:10:33] <rexim> ForNeVeR: DAMN SON!
[19:10:41] <ForNeVeR> Also, "probably real" sounds like a perfect dependent type definition.
[19:10:52] <rexim> Option[Real]
[19:10:53] <rexim> Nah
[19:10:57] <ForNeVeR> You can even state the probability measure in the type.
[19:11:10] <rexim> Ah
[19:11:11] <ForNeVeR> Like in quantum computations...
[19:11:12] <rexim> Ok
[19:11:15] <ForNeVeR> But at the type level!
[19:11:19] <ForNeVeR> BUTT BEWARE
[19:20:30] Aman вышел из конференции
[19:23:59] rafaelrs вышел из конференции
[19:27:26] rexim вышел из конференции
[19:34:42] superka вышел из конференции: Logged out
[19:36:03] superka зашёл в конференцию
[19:39:40] <ɹǝɟılʍǝu> ForNeVeR, Minoru, portnov, m4n71k0r http://de.arxiv.org/pdf/1406.2061.pdf
[19:40:14] <ForNeVeR> ɹǝɟılʍǝu: уже не в первый раз за последнее время слышу про так называемые "эффекты".
[19:40:19] <ForNeVeR> Что это, где б почитать с самого начала?
[19:40:45] <ForNeVeR> У Томаша, вон, тоже какая-то диссертация по коэффектам: https://github.com/tpetricek/Coeffects.Playground
[19:42:27] <portnov> ForNeVeR: http://docs.idris-lang.org/en/latest/effects/index.html#eff-tutorial-index
[19:43:06] <ForNeVeR> portnov: ок!
[19:45:35] superka вышел из конференции: Logged out
[19:49:18] dzhon вышел из конференции
[19:55:57] <ForNeVeR> portnov: смотри, я теперь топ-контрибьютор в идрис :) https://github.com/idris-lang/Idris-dev/pull/2897
[19:58:11] <ForNeVeR> gsomix: ^
[19:58:19] <ForNeVeR> ɹǝɟılʍǝu: -^
[19:58:27] <Minoru> ForNeVeR: да ты же офигенен!
[19:58:40] <ForNeVeR> :3
[19:58:55] <ɹǝɟılʍǝu> ForNeVeR, круто!
[19:59:00] <gsomix> "А что ты в свое время сделал для Idris?"
[20:02:20] <portnov> ForNeVeR: малаца.
[20:05:47] folex вышел из конференции
[20:05:59] rafaelrs зашёл в конференцию
[20:14:49] grouzen зашёл в конференцию
[20:19:03] <horta hell> Недетерминированный конечный автомат Тьюринга пытается сожрать все, что найдет.
[20:19:12] <kpecmuk> $pet feed
[20:19:12] <horta hell> kpecmuk: Недетерминированный конечный автомат Тьюринга с отвращением давится, набивая желудок. Вы зарабатываете 1PTC.
[20:19:15] m4n71k0r вышел из конференции
[20:21:25] rafaelrs вышел из конференции
[20:21:45] rafaelrs зашёл в конференцию
[20:27:08] superka зашёл в конференцию
[20:28:51] dzhon зашёл в конференцию
[20:39:02] grouzen вышел из конференции
[20:39:10] Graf зашёл в конференцию
[20:39:40] Graf вышел из конференции
[20:40:39] <ɹǝɟılʍǝu> :total Minoru
[20:42:32] <Minoru> wat
[20:43:03] Aman зашёл в конференцию
[20:44:14] madmercen вышел из конференции
[20:44:46] grouzen зашёл в конференцию
[20:59:04] rafaelrs вышел из конференции
[21:02:56] m4n71k0r зашёл в конференцию
[21:04:08] <Minoru> ɹǝɟılʍǝu: ты же знаешь, что есть глагол «total», означающий «угробить»? «I was drunk-driving last night and totaled my car».
[21:04:26] <Minoru> так что это… не нужно меня `:total`, пожалуйста ._.
[21:06:45] eaeee зашёл в конференцию
[21:08:45] <gsomix> Кликнул по ссылку "New Directions in Numerical Computation".
[21:08:47] <gsomix> > Not found
[21:08:49] <gsomix> :(
[21:09:36] <eaeee> Привет
[21:16:28] grouzen вышел из конференции
[21:19:20] eternastudento вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[21:25:19] <gsomix> eaeee, eeeae!
[21:26:52] <gsomix> У меня завтра последний экзамен.
[21:26:59] <gsomix> И так лень его сдавать. =__=
[21:27:17] <gsomix> Прямо последний, последний.
[21:27:20] <gsomix> Больше не будет.
[21:27:29] <gsomix> До поступления в аспирантуру.
[21:28:36] <Minoru> gsomix: «лень сдавать»? То есть ты готов, тебе не страшно, и просто лень притащить задницу в универ и что-то там поотвечать? :)
[21:28:43] <eaeee> gsomix, удачки
[21:28:56] <gsomix> Minoru, нет, я не готов.
[21:29:12] <Minoru> gsomix: а, так тебе лень готовиться?
[21:29:15] <gsomix> Да.
[21:29:25] <gsomix> Под "сдавать" я имел в виду весь комплекс.
[21:29:32] <gsomix> Подготовка, написание билета, бла-бла.
[21:29:39] <Minoru> от посещения пар и до наших дней? :D
[21:29:40] <Minoru> а, ок
[21:29:56] <Minoru> ну, э-э-э… Не забивай там сильно, и удачи, да.
[21:30:09] <eaeee> .kick eaeee
[21:30:10] <DeadBot> eaeee: не получилося
[21:30:15] <xfer> Minoru: минорчик ;3
[21:30:32] <eaeee> DeadBot, а почему
[21:30:43] <xfer> Minoru: укуси меня ;3
[21:30:48] <Minoru> ._.
[21:30:53] <Minoru> что происходит в этом чате? ._
[21:30:55] <gsomix> Minoru, я надеюсь, что спишу или наболаболю что-нибудь.
[21:30:58] <Minoru> ой, глаз выпал!
[21:31:22] <eaeee> Minoru, кажется у вас глаза нет
[21:31:52] <Minoru> xfer: ну ок. Кусь!
[21:32:02] <xfer> ^)^
[21:32:42] <Minoru> gsomix: тогда двойной удачи! ;)
[21:33:43] <eaeee> gsomix, а ты собрался в ашпирантуру?
[21:33:49] <gsomix> eaeee, ага.
[21:34:14] <gsomix> Ну, я все равно там тусуюсь и работаю.
[21:34:18] <gsomix> Почему бы не пойти.
[21:46:31] <xfer> аш-пи рантура!
[21:47:40] eaeee вышел из конференции: Logged out
[21:47:40] eaeee зашёл в конференцию
[22:08:46] (/^o^)/ зашёл в конференцию
[22:22:07] <ɹǝɟılʍǝu> https://www.youtube.com/watch?v=qv1nXXSB65E
[22:24:41] <Minoru> ɹǝɟılʍǝu: видно, что кошка домашняя — доверяет, играет. А котята молодые, всего боятся… :)
[22:27:07] <gsomix> Academic genealory — это прикольно.
[22:27:13] <gsomix> http://www.cs.cornell.edu/cv/OtherPdf/VanLoanGenealogy.pdf
[22:27:26] <gsomix> Генеалогия автора книги "Matrix Computations".
[22:27:35] <gsomix> Аж к самому Чебышеву восходит.
[22:28:48] <kpecmuk> $pet stats
[22:28:50] <horta hell> kpecmuk:
Кличка: Недетерминированный конечный автомат Тьюринга
Здоровье: 66
Сытость: 65
Возраст: 13 часов
[22:29:29] uggur вышел из конференции
[22:39:53] Славный капитан вышел из конференции
[22:46:11] portnov вышел из конференции
[22:49:52] <xfer> .
[22:49:58] <xfer> $pet
[22:49:58] <horta hell> xfer: Попробуйте $pet help.
[22:59:26] <ɹǝɟılʍǝu> m4n71k0r, да, ты здесь.
[23:04:40] grouzen зашёл в конференцию
[23:29:59] kosc вышел из конференции: Disconnected: closed
[23:56:19] 0xd34df00d вышел из конференции: I turned off my machine to get some life
[23:57:58] 0xd34df00d зашёл в конференцию
[23:58:09] 0xd34df00d вышел из конференции: This participant is kicked from the room because he sent an error presence: remote-server-not-found
[23:58:29] 0xd34df00d зашёл в конференцию
[23:58:39] 0xd34df00d вышел из конференции: This participant is kicked from the room because he sent an error presence: remote-server-not-found