codingteam@conference.jabber.ru

codingteam

07.08.2015< ^ >

Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Dead Food: Flash, PHP, Pascal/Delphi/Borland, Basic, 1С, Py++
HQ: http://codingteam.org.ru
0xDead Food: http://leechcraft.org
Live Food: http://www.loglist.net/
Fast Food: http://hastebin.com/
Instagram Food: http://tinyurl.com/ctcjr-logs
Report Developer Abuse: http://www.loglist.net/quote/new

[00:04:01] MaXGGXaM вышел из конференции
[00:09:32] MaXGGXaM зашёл в конференцию
[00:11:25] imarpus зашёл в конференцию
[00:12:12] <imarpus> ping!
[00:14:16] <uggur> pong
[00:16:18] imarpus вышел из конференции
[00:53:39] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[00:53:40] ForNeVeR зашёл в конференцию
[01:16:09] Spo1ler вышел из конференции
[01:30:27] m4n71k0r вышел из конференции
[01:49:43] <horta hell> :3 умер в забвении с гримасой страдания на морде. Все теряют по 1PTC.
[01:50:37] (/^o^)/ вышел из конференции
[01:50:51] (/^o^)/ зашёл в конференцию
[01:51:51] <uggur> hummelchen: https://youtu.be/UUs0R17RJLI :)
[01:53:55] (/^o^)/ вышел из конференции
[02:23:45] Сволота вышел из конференции
[03:33:43] magog вышел из конференции
[03:46:07] Constverum вышел из конференции
[04:34:47] <Minoru> $pet stats
[04:34:48] <horta hell> Minoru: :3 мертв. Какие еще статы?
[04:34:52] <Minoru> $pet resurrect
[04:34:52] <horta hell> Minoru: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[05:15:41] eaeee вышел из конференции: Logged out
[05:15:43] eaeee зашёл в конференцию
[05:46:54] Славный капитан зашёл в конференцию
[05:52:40] squantum вышел из конференции
[05:53:03] squantum зашёл в конференцию
[05:56:51] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[05:56:52] ForNeVeR зашёл в конференцию
[05:57:34] ForNeVeR вышел из конференции: Disconnected: closed
[05:58:36] ForNeVeR зашёл в конференцию
[06:37:30] <Minoru> $pet stats
[06:37:32] <horta hell> Minoru:
Кличка: :3
Здоровье: 83
Сытость: 68
Возраст: 2 часов
[06:40:00] rexim зашёл в конференцию
[06:44:45] <squantum> Minoru‎, почему в хаскеле Functor a не EndoFunctor?
[06:45:22] <squantum> Minoru, ведь он должен быть эндофунктором, это же отображение категории на себя
[06:46:24] <squantum> Minoru, тогда он образует не группу а полугруппу
[06:46:32] <squantum> это морфизм автоморфизм
[06:46:38] <squantum> как и монада
[06:47:01] <squantum> чтобы оно было функтором надо определить хоть какую то <<категорию>>
[06:47:05] <squantum> а там их нет
[06:47:48] <rexim> .whois squantum
[06:47:49] <DeadBot> rexim: none/participant
online()
зашел в конфу 07.08.15 05:53:03
уровень доступа: 2
[06:47:58] <rexim> squantum: почему вы до сих пор не показали код?
[06:50:15] <Minoru> squantum: я не шарю теоркат и, как следствие, не шарю, что там в Хаскеле неправильно сделали. Для меня функтор — это такая штука, для которой определён fmap
[06:50:27] <Minoru> rexim: утра!
[06:50:36] <rexim> Minoru: привет, миноряка! =3
[06:52:16] <squantum> Minoru‎, ну ок, если считать что типы, обернутые в контекст определяют свою категорию то может быть и функтор
[06:53:34] <squantum> rexim‎, здесь надо код?
[06:53:42] <rexim> squantum: да
[06:54:45] <Minoru> squantum: разве каждый тип не образует категорию?
[06:56:37] <squantum> Minoru, вообще то да, с собственными функциями, это и есть категория
[06:58:41] <squantum> но только оно должно быть грамотно написано, для этого типа должен быть класс типов определен тогда и экземпляры соответственно
[07:02:49] <Minoru> > класс типов
data kinds?
[07:02:53] <Minoru> ой, type kinds
[07:03:12] <Minoru> или они просто «kinds»?
[07:03:14] <squantum> typeclass
[07:03:37] <squantum> kinds это сорты типа, определенные конструтором типа
[07:04:04] <rexim> squantum: как там в Кузне погодка?
[07:04:22] <squantum> rexim, солнечно и ясно
[07:04:28] <rexim> Круто
[07:05:01] <Minoru> squantum: не, у меня точно знания закончились. Но ты учись, на мои вопросы потом отвечать будешь :)
[07:05:15] <Minoru> олсо, игнорить Миксеряку с его вопросами о коде — нехорошо. Где твой код?
[07:05:46] <rexim> Миксеряка не обижается
[07:05:51] <rexim> Миксеряка все записывает
[07:10:49] <rexim> Ладно, я работать. До вечера! _о/
[07:10:55] rexim вышел из конференции
[07:13:07] squantum вышел из конференции: offline
[07:21:26] portnov зашёл в конференцию
[07:22:50] Ёж зашёл в конференцию
[07:24:15] Ёж вышел из конференции: Вышел из Vacuum-IM
[07:26:36] <ForNeVeR> squantum: а как эти все твои вопросы, вообще говоря, соотносятся с категорией Hask?
[07:27:37] <ForNeVeR> Ну да, всё верно: функторы (как и практически всё остальное) работают внутри Hask, и, следовательно, являются эндофункторами.
[07:27:43] <ForNeVeR> И вообще. http://stackoverflow.com/questions/14820139/how-are-functors-in-haskell-related-to-functors-in-category-theory
[07:27:54] <ForNeVeR> $send squantum http://stackoverflow.com/questions/14820139/how-are-functors-in-haskell-related-to-functors-in-category-theory
[07:27:55] <horta hell> ForNeVeR: Сообщение помещено в очередь.
[07:35:12] lifeseemer зашёл в конференцию
[07:36:18] <Minoru> lifeseemer: привет! Код пишешь?
[07:36:32] <lifeseemer> Слушайте, вот есть программа (не моя), которая читает файл с диск. Как можно отследить это событие чтение наиболее простым способом?
[07:37:01] <ForNeVeR> Ну, file monitor ~_~
[07:37:04] * Minoru сразу подумалось про strace
[07:37:38] <Minoru> а, ты уже мембер
[07:37:47] * Minoru что-то плохо на вывод whois'а посмотрел
[07:37:56] <lifeseemer> Ну, я просто в основном вебом занимаюсь...
[07:38:10] <ForNeVeR> Тогда network tab в браузере.
[07:38:28] <ForNeVeR> (не уточняешь платформу вопроса - получай бредовые ответы сразу по всем! :D)
[07:38:38] <lifeseemer> Так мне не просто отследить надо, мне надо еще в зависимости от события делать что-то
[07:38:55] <lifeseemer> Надо это под XP/7
[07:39:06] <ForNeVeR> Ну, File Monitor, Process Hacker.
[07:39:17] <ForNeVeR> Расковыряй код, разберись, как оно работает, обрабатывай события.
[07:39:52] <ForNeVeR> В частности, Process Hacker свой kernel-драйвер в систему подсаживает. А драйвер тот умеет делать всякие штуки - подсматривать списки файловых дескрипторов и т.п.
[07:40:31] <ForNeVeR> Можешь ещё open-hardware-monitor глянуть - там более простой пример инжекта kernel-драйвера (хоть тот и не делает то, что тебе нужно).
[07:40:51] Славный капитан вышел из конференции
[07:41:12] <ForNeVeR> lifeseemer: отакже стоит попробовать написать свой фильтр файловой системы. Так делают антивирусы.
[07:41:31] <ForNeVeR> И это более, гм, надёжно, т.к. ты можешь синхронно обрабатывать это событие.
[07:43:00] madmercen вышел из конференции
[07:43:44] <lifeseemer> Проблема в том, что я нифига не системщик, для меня драйвера и инжекты - это дебри. Я пробовал через FileSystemWatcher на C# извратиться читая LastAccess таймштамп, но блин, этот таймштамп в внидах как-то коряво работает. Так и не понял когда он обновляется.
[07:44:27] <ForNeVeR> lifeseemer: о, попробуй в сторону аудита ФС копнуть.
[07:44:58] <ForNeVeR> Где-то в недрах настроек можно этот аудит врубить, и куда-то в лог будут валиться события об открытии файлов из выбранных тобой каталогов, например.
[07:46:22] portnov вышел из конференции: Replaced by new connection
[07:46:56] portnov зашёл в конференцию
[07:47:13] <ForNeVeR> Похоже, что нужно копать куда-то вот сюда (хотя документация не очень, конечно, но нужные для дальнейшего исследования кейворды там есть): https://technet.microsoft.com/en-us/library/dn319068.aspx
[07:48:07] <ForNeVeR> Ну и вот более частная инструкция, скажем: http://community.spiceworks.com/how_to/21163-windows-server-filesystem-auditing
[07:48:15] <ForNeVeR> С этой информацией уже можно сделать что угодно.
[07:48:40] <ForNeVeR> Напомню, что логи из Event Log можно читать программно. И порекомендую их сразу после прочтения очищать, чтоб систему не засоряли.
[07:49:00] <ForNeVeR> lifeseemer: используй эти знания мудро!
[07:49:19] <lifeseemer> ForNeVeR, о, спасибо, буду копать в этом направлении.
[07:54:48] <uıʃɐɟ∀> » фильтр файловой системы. Так делают антивирусы.
Насколько мне известно, уже не делают. Сидят где-то ниже и пользуются своей реализацией логики ФС.
[08:05:41] <j123123> $pet stats
[08:05:43] <horta hell> j123123:
Кличка: :3
Здоровье: 66
Сытость: 42
Возраст: 3 часов
[08:06:09] <j123123> ForNeVeR: Это фигня чтобы с руткитами бороться, которые подменяют функции обращения к файлам?
[08:06:39] <j123123> а не, это просто какое-то логгирование
[08:06:46] <j123123> руткиты такое могут обмануть
[08:25:29] magog зашёл в конференцию
[08:36:14] dzhon вышел из конференции: Replaced by new connection
[08:36:15] dzhon зашёл в конференцию
[08:37:13] <ForNeVeR> j123123: нет, это фигня для аудита ФС.
[08:37:39] <ForNeVeR> Сдаётся мне, что одна из минорных задач руткитов - как раз обмануть эту функциональность.
[08:37:53] <ForNeVeR> Ну а минорная она потому, что мало у кого этот аудит включен.
[08:38:27] <j123123> А это логгирование работает через что? Через перехват функций из kernel32.dll? Или через перехват системных вызовов?
[08:38:57] <j123123> Например если я напрямую буду ядро винды дергать через int 2e то это логгирование сработает?
[08:39:07] <ForNeVeR> "Перехват"?
[08:39:18] <j123123> Ну, хук
[08:39:24] <ForNeVeR> Нет, оно ничего не перехватывает. Всё уже встроено в ядро.
[08:39:43] <ForNeVeR> Ну, насколько я себе представляю.
[08:40:17] <j123123> На уровне драйвера ФС или на уровне чего-то, что взаимодействует с различными драйверами ФС?
[08:41:40] <j123123> Ну вот к примеру https://www.paragon-software.com/home/extfs-windows/ есть драйвер extfs для винды. Будет ли эта штука с ним работать?
[08:41:47] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке другому участнику: service-unavailable
[08:41:50] dzhon зашёл в конференцию
[08:43:07] <j123123> А с подмонтированной SMB шарой оно работать будет?
[08:47:37] dzhon вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[08:48:23] dzhon зашёл в конференцию
[08:49:02] dzhon вышел из конференции: Replaced by new connection
[08:49:04] dzhon зашёл в конференцию
[08:49:16] madmercen зашёл в конференцию
[08:49:57] dzhon вышел из конференции
[08:49:58] dzhon зашёл в конференцию
[08:55:14] portnov вышел из конференции
[09:03:31] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке: service-unavailable
[09:10:23] dzhon зашёл в конференцию
[09:12:58] dzhon вышел из конференции: Replaced by new connection
[09:13:00] dzhon зашёл в конференцию
[09:17:19] dzhon вышел из конференции: Replaced by new connection
[09:17:21] dzhon зашёл в конференцию
[09:21:01] dzhon вышел из конференции: Replaced by new connection
[09:21:03] dzhon зашёл в конференцию
[09:21:36] dzhon вышел из конференции: Replaced by new connection
[09:21:38] dzhon зашёл в конференцию
[09:23:10] dzhon вышел из конференции: Replaced by new connection
[09:23:11] dzhon зашёл в конференцию
[09:27:22] dzhon вышел из конференции: Replaced by new connection
[09:27:23] dzhon зашёл в конференцию
[09:27:25] dzhon вышел из конференции
[09:28:05] dzhon зашёл в конференцию
[09:28:59] dzhon вышел из конференции
[09:29:24] dzhon зашёл в конференцию
[09:30:40] <ForNeVeR> Я полагаю, что будет работать только с теми ФС, которые умеют хранить настройки аудита в атрибутах файлов.
[09:30:49] <ForNeVeR> Ну, на практике, читай, только с NTFS.
[09:31:24] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке другому участнику: service-unavailable
[09:31:26] dzhon зашёл в конференцию
[09:31:37] O01eg вышел из конференции
[09:43:38] magog вышел из конференции
[09:52:35] enaken зашёл в конференцию
[09:53:38] enaken вышел из конференции
[09:54:12] enaken зашёл в конференцию
[09:55:56] a1batross вышел из конференции: Disconnected: Replaced by new connection
[09:55:58] a1batross зашёл в конференцию
[09:56:19] ascrazy зашёл в конференцию
[09:57:42] enaken вышел из конференции
[09:58:11] enaken зашёл в конференцию
[10:04:37] a1batross вышел из конференции: Disconnected: Replaced by new connection
[10:04:38] a1batross зашёл в конференцию
[10:08:45] eaeee вышел из конференции: Replaced by new connection
[10:08:46] eaeee зашёл в конференцию
[10:08:49] eaeee вышел из конференции
[10:08:52] eaeee зашёл в конференцию
[10:10:41] Graf зашёл в конференцию
[10:10:46] Graf вышел из конференции
[10:12:00] enaken вышел из конференции
[10:24:07] a1batross вышел из конференции: Disconnected: Replaced by new connection
[10:24:07] a1batross зашёл в конференцию
[10:24:12] a1batross вышел из конференции: Logged out
[10:24:15] a1batross зашёл в конференцию
[10:34:13] a1batross вышел из конференции: Disconnected: Replaced by new connection
[10:34:14] a1batross зашёл в конференцию
[10:34:45] Ёж зашёл в конференцию
[10:43:56] a1batross вышел из конференции: Disconnected: Replaced by new connection
[10:43:58] a1batross зашёл в конференцию
[10:44:47] aklim007 зашёл в конференцию
[10:52:45] grouzen зашёл в конференцию
[10:57:02] <horta hell> :3 корчится в муках и умирает. Все теряют по 1PTC.
[11:00:20] <Minoru> $pet resurrect
[11:00:20] a1batross вышел из конференции: Disconnected: Replaced by new connection
[11:00:21] <horta hell> Minoru: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[11:00:21] a1batross зашёл в конференцию
[11:00:26] a1batross вышел из конференции: Logged out
[11:00:29] a1batross зашёл в конференцию
[11:14:10] rexim зашёл в конференцию
[11:14:55] rexim вышел из конференции
[11:19:36] a1batross вышел из конференции: Disconnected: Replaced by new connection
[11:19:38] a1batross зашёл в конференцию
[11:20:41] a1batross вышел из конференции: Disconnected: Replaced by new connection
[11:20:42] a1batross зашёл в конференцию
[11:20:47] a1batross вышел из конференции: Logged out
[11:20:49] a1batross зашёл в конференцию
[11:23:05] MaXGXaM зашёл в конференцию
[11:25:35] (/^_^)/ зашёл в конференцию
[11:29:27] 2tsun4u зашёл в конференцию
[11:36:30] eaeee вышел из конференции
[11:54:45] sss|zombie зашёл в конференцию
[11:55:01] dzhon вышел из конференции: Replaced by new connection
[11:55:02] dzhon зашёл в конференцию
[11:55:39] dzhon вышел из конференции: Replaced by new connection
[11:55:42] dzhon зашёл в конференцию
[11:56:31] dzhon вышел из конференции: Replaced by new connection
[11:57:13] dzhon зашёл в конференцию
[11:57:25] 2tsun4u вышел из конференции
[11:57:51] dzhon вышел из конференции: Replaced by new connection
[11:57:53] dzhon зашёл в конференцию
[11:58:22] folex зашёл в конференцию
[11:58:30] folex вышел из конференции
[11:58:34] folex зашёл в конференцию
[11:58:45] <folex> ForNeVeR: а чем тебе Frege не понравился?
[12:00:44] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке: service-unavailable
[12:00:46] dzhon зашёл в конференцию
[12:02:02] grouzen вышел из конференции
[12:02:06] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: service-unavailable
[12:02:09] dzhon зашёл в конференцию
[12:08:34] grouzen зашёл в конференцию
[12:10:15] 2tsun4u зашёл в конференцию
[12:20:12] Constverum зашёл в конференцию
[12:52:57] ckorzhik зашёл в конференцию
[13:08:21] Ёж вышел из конференции: Вышел из Vacuum-IM
[13:12:18] <ForNeVeR> folex: "не понравился"? Да нет, мне он всем нравится, очень классная штука.
[13:12:37] a1batross вышел из конференции: Disconnected: closed
[13:16:14] Ёж зашёл в конференцию
[13:24:28] Graf зашёл в конференцию
[13:24:37] Graf вышел из конференции
[13:32:40] <folex> а, да? А мне что-то запомнилось, что он тебе не угодил
[13:40:50] ascrazy вышел из конференции
[14:00:19] <Minoru> > If you're on Windows, install Cygwin and pretend you're not on Windows anymore.
[14:01:31] <ɹǝɟılʍǝu> лол
[14:07:14] a1batross зашёл в конференцию
[14:09:10] ascrazy зашёл в конференцию
[15:02:30] MaXGGXaM вышел из конференции
[15:04:16] <ForNeVeR> Минутка крипоты.
[15:04:36] <ForNeVeR> В общем, есть такой протокол для медицинских девайсов - DICOM.
[15:05:00] <Minoru> Нялайфер, закрой глаза, тебе этого лучше не видеть!
[15:05:17] <ForNeVeR> Он сделан для всяких там рентгеновских сканеров, КТ и прочего.
[15:05:29] ascrazy вышел из конференции
[15:06:01] <ForNeVeR> В нём есть такая штука, как modality worklist. По сути - это список заданий, которые выдаются девайсу, чтобы оператор аппарата мог просто из них выбрать во время сканирования, а не вписывать данные вручную.
[15:06:11] <ForNeVeR> Идея просто замечательная! Так юзабельно!
[15:06:27] <ForNeVeR> Девайс запрашивает у сервера по DICOM этот список заданий, сервер ему отвечает.
[15:06:35] <ForNeVeR> НоЪ
[15:06:51] <ForNeVeR> В протоколе не описано, как эти записи на сервер поставлять.
[15:07:06] <ForNeVeR> Вообще не описано. Протокол их поставлять не умеет.
[15:07:43] <ForNeVeR> Совместимые сервера, как правило, поддерживают _другой_ способ сериализации данных: HL7. Который уже предоставляет средства для создания modality worklist items.
[15:07:59] <ForNeVeR> И выглядит ок, кстати, вот так:
MSH|^~\&|MPA|SYSTEMA|IMPAX|MDRADAMB|200802210826||ORM^O01|MSG242081|P|2.3|
PID|||0195313690^^^mpa||TEST^PATIENT|TEST|19500131|M|||Johann Reschstr.24^^Mannswoerth^^2320^AT||||||||2601||||||||Arb.|
PV1||O|||||||||||||||||0855025211^^^^0855025211|000003||||||||||||||||||||||||20080220|
ORC|NW|1552647.1|||||^^^20080221082647.1400^^3||20080220233830|MDIM-4A||A225021^Dietl^Christoph^^^OA Dr.|MDIM-4A_MDIM|
OBR||1552647.1||ROE_CP^Cor pulmo^mpa^ROE_CP^CP^mpa||||||||||||A225021^Dietl^Christoph^^^OA Dr.|||1552647.1|1552647.1||||CR|||^^^^20080221^3|
ZDS|1.2.4.0.13.1.432252867.1552647.1^100^Application^DICOM|ScheduledAET|Scheduled Station name
[15:08:08] <ForNeVeR> Очень приятный, в общем.
[15:08:14] <ForNeVeR> НоЪ
[15:08:24] <ForNeVeR> Это лишь способ сериализации, а не полноценный сетевой протокол.
[15:08:43] <ForNeVeR> Для него придумали т.н. MLLP, который на полном серьёзе иногда называют MLP.
[15:09:02] MaXGGXaM зашёл в конференцию
[15:09:12] <ForNeVeR> Minimal Lower-layer Protocol.
[15:09:24] <ForNeVeR> В нём пара байтиков добавляется в оверхед, да и всё, в общем.
[15:09:34] <ForNeVeR> И, казалось бы, дело в шляпе?
[15:09:38] <ForNeVeR> НоЪ!!1
[15:10:04] <ForNeVeR> HL7 не определяет некоторые нужные для DICOM данные. В частности - идентификатор устройства, которому предназначается задача.
[15:10:24] <ForNeVeR> Поэтому их предлагается пришивать к телу сообщения в самом конце.
[15:10:39] <ForNeVeR> А дальше сервер получает HL7 и превращает в XML.
[15:10:43] <ForNeVeR> НО!!!
[15:11:02] <ForNeVeR> Этот XML - вообще не тот XML, который он сам же себе должен отправить для создания modality worklist item!
[15:11:11] <ForNeVeR> Поэтому в сервере написана XSLT.
[15:12:12] <ForNeVeR> И вот, кароч, бедный фон Нёвер три дня разбирался в этих багодарных связях только для того, чтобы добавить в этот XSLT три строчки по мануалу, найденному на древнем форуме (в официальном мануале этого всего нету, конечно).
[15:12:31] <ForNeVeR> И потом ещё оказалось, что на форуме фигню посоветовали, и всё нужно решать немного по-другому.
[15:12:42] <ForNeVeR> ад ад ад ад ад я снова в аду
[15:12:50] <ForNeVeR> Уже как дома себя чувствую, честно говоря.
[15:13:18] <ForNeVeR> Всё, крипота закончена, можете открыть глаза и уши.
[15:13:33] <j123123> .ping
[15:13:35] <j123123> .ping
[15:13:36] <DeadBot> j123123: понг от тебя 1.76 секунды
[15:13:37] <DeadBot> j123123: понг от тебя 0.82 секунды
[15:13:41] <j123123> .ping
[15:13:43] <DeadBot> j123123: понг от тебя 1.80 секунды
[15:13:50] <j123123> подозрительные пинги
[15:13:55] <ForNeVeR> Ну, про кастомные парсеры и протоколы, которые пришлось на коленках собирать за три минуты, я даже не стал упоминать.
[15:15:38] <a1batross> .ping
[15:15:39] <DeadBot> a1batross: понг от тебя 0.28 секунды
[15:19:52] <folex> ForNeVeR: как скучно я живу
[15:20:02] <folex> слишком мало лигаси в проекте
[15:20:37] <ForNeVeR> ZDC||folex^lalka|ScheduledAET\x1c
[15:23:26] <j123123> .ping
[15:23:35] <j123123> .ping
[15:23:47] j123123 вышел из конференции
[15:28:09] j123123 зашёл в конференцию
[15:28:34] Сволота зашёл в конференцию
[15:29:02] j123123 вышел из конференции
[15:30:54] j123123 зашёл в конференцию
[15:31:16] j123123 вышел из конференции
[15:32:59] j123123 зашёл в конференцию
[15:33:54] Constverum вышел из конференции
[15:35:46] <j123123> .ping
[15:35:47] <DeadBot> j123123: понг от тебя 0.08 секунды
[15:35:48] <j123123> .ping
[15:35:49] <DeadBot> j123123: понг от тебя 0.08 секунды
[15:35:51] <j123123> .ping
[15:35:52] <DeadBot> j123123: понг от тебя 0.08 секунды
[15:48:59] <Minoru> тимота, поревьювь пост, пожалуйста: https://blog.debiania.in.ua/posts/2015-08-07-scala-for-haskellers.html
[15:49:45] <Minoru> (прикиньте, в интернетах реально нет такого поста ещё)
[15:55:10] <folex> Minoru: а сделай пост наоборот
[15:55:16] <folex> хаскел фор скалерс
[15:56:02] <Minoru> folex: прочти этот снизу вверх прост
[15:56:24] <folex> лол
[15:56:30] <folex> справа налево
[15:56:35] <folex> Minoru: я запощу в твиттер?
[15:56:48] <Minoru> не, погодь
[15:56:51] <Minoru> я фидбека жду
[15:56:56] <Minoru> ты оплошностей не нашёл?
[15:57:30] <folex> Я уже запостил :(
[15:57:33] <folex> Ща поищу
[15:57:50] <folex> сорян
[15:57:59] <Minoru> да ладно, не беда ;)
[16:00:19] <folex> Ну написано немного странно конечно
[16:00:36] <Minoru> что именно?
[16:00:51] <folex> ну вот возьмем
[16:01:05] <folex> > case keyword before the class definition enables the following:
[16:01:26] <folex> Я бы сначала ввел концепцию кейс классов как отдельный вид классов
[16:02:03] <folex> а не объяснял, что этот кейворд делает. Это ж не автомат с ручками, а язык описания абстракций
[16:02:07] <folex> но может кому-то так ближе, хз
[16:02:33] <Minoru> не исключено, что я просто конспект плохо реструктурировал
[16:02:53] <Minoru> я это всё писал по мере чтения «Scala by Example», а теперь перемешал немного, чтобы пологичней было
[16:03:03] <Minoru> может, и упустил чего; потому фидбек и запросил, собственно
[16:04:57] <folex> > Leaf could’ve been defined as class
[16:05:01] <folex> as just class
[16:05:29] <folex> Ну и было бы здорово сказать, что object — это синглтон
[16:05:59] <folex> Thus an `object` in definition which makes Leaf a singleton.
[16:07:02] <Minoru> так, ты пиши-пиши, но я не знаю, когда отвечу, потому что начался ICFPC. И — спасибо, folex
[16:07:15] <folex> > Type annotations for arguments are mandatory! That applies not only to lambdas, but also to ordinary functions and methods.
[16:07:26] <folex> к лямбдам это не относится вообще
[16:07:42] <folex> если лямбда передается в аргумент, можно не указывать типа например
[16:07:46] <folex> тип*
[16:08:12] <folex> ForNeVeR: Minoru: а где вы про icfpc общаетесь
[16:08:14] <folex> ?
[16:10:17] <folex> Ну и вроде всё
[16:11:55] <Minoru> да, про type annotations мне уже сказали, спасибо. Есть icfpc@cjr, а конфа команды закрыта. Спасибо, твои замечания учту, как только появится минутка.
[16:12:33] <folex> А если я пообещаю быть ридонли, можно к вам? :)
[16:12:48] <folex> Жаль не смогу поучаствовать :(
[16:13:46] <Minoru> не-не-не
[16:13:56] <folex> :( бяки
[16:13:57] <Minoru> самое интересное мы потом в отчётиках напишем, не переживай
[16:14:01] <folex> ну ладно
[16:14:06] <Minoru> можешь мой прошлогодний в блоге читнуть пока
[16:14:08] <folex> Так живое интереснее
[16:17:39] sss|zombie вышел из конференции: Вышел из Vacuum-IM
[16:56:13] grouzen вышел из конференции
[16:57:02] <horta hell> :3 старательно принюхивается, пытаясь уловить хоть какой-нибудь запах съестного.
[16:57:12] <Minoru> $pet feed
[16:57:13] <horta hell> Minoru: :3 клацнул зубами прямо возле руки, рывком забирая еду. Вы зарабатываете 1PTC.
[16:57:14] <Minoru> $pet heal
[16:57:16] <horta hell> Minoru: :3 будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[16:57:16] <Minoru> $pet stats
[16:57:19] <horta hell> Minoru:
Кличка: :3
Здоровье: 45
Сытость: 100
Возраст: 5 часов
[16:59:02] Сволота вышел из конференции
[17:05:54] grouzen зашёл в конференцию
[17:06:24] ckorzhik вышел из конференции
[17:41:44] MaXGXaM вышел из конференции
[17:58:00] <grouzen> пыщ
[17:58:11] <grouzen> ищу к кому влиться в команду по ifcpc
[17:58:15] <grouzen> есть чо?
[18:01:33] <ForNeVeR> В скалу умеешь?
[18:04:08] <grouzen> угу
[18:06:51] Constverum зашёл в конференцию
[18:08:35] <grouzen> ну так чо? (%
[18:09:02] <ForNeVeR> grouzen: щя
[18:09:06] <grouzen> к ;3
[18:09:56] <ForNeVeR> grouzen: https://github.com/ForNeVeR/icfpc-2015/
[18:10:26] <grouzen> о, отличная команда ;]
[18:10:32] <ForNeVeR> grouzen: алсо, зайди в руму, которая там написана.
[18:10:39] <ForNeVeR> Ну и в ридми тогда сам себя впиши :)
[18:10:45] <grouzen> да, сейчас
[18:10:50] <grouzen> окей
[18:10:59] <ForNeVeR> Мы всё прям в мастер херачим, не размениваясь.
[18:19:09] <uggur> "ForNeVeR: Мы всё прям в мастер херачим" git-flow?
[18:19:21] <ForNeVeR> Не нужно.
[18:19:41] <uggur> А, это для icfpc
[18:19:45] <uggur> Или вообще не нужно? %)
[18:19:55] <ForNeVeR> Препираться не нужно!
[18:20:14] <uggur> :Ь
[18:20:20] dzhon вышел из конференции: Replaced by new connection
[18:20:22] dzhon зашёл в конференцию
[18:21:59] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: service-unavailable
[18:22:44] dzhon зашёл в конференцию
[18:23:40] dzhon вышел из конференции
[18:24:03] dzhon зашёл в конференцию
[18:25:27] dzhon вышел из конференции: Replaced by new connection
[18:25:29] dzhon зашёл в конференцию
[18:32:47] Ёж вышел из конференции
[18:33:02] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: service-unavailable
[18:33:04] dzhon зашёл в конференцию
[18:33:56] xspeed зашёл в конференцию
[18:34:47] xspeed вышел из конференции
[18:36:35] xspeed зашёл в конференцию
[18:50:12] dzhon вышел из конференции: Replaced by new connection
[18:50:13] dzhon зашёл в конференцию
[18:59:06] <j123123> $pet stats
[18:59:08] <horta hell> j123123:
Кличка: :3
Здоровье: 28
Сытость: 72
Возраст: 7 часов
[19:01:32] MaXGGXaM вышел из конференции
[19:03:46] folex вышел из конференции
[19:04:24] folex зашёл в конференцию
[19:04:32] folex вышел из конференции
[19:06:59] rexim зашёл в конференцию
[19:08:27] rexim вышел из конференции
[19:08:35] MaXGGXaM зашёл в конференцию
[19:18:47] reggies зашёл в конференцию
[19:27:13] <ForNeVeR> 0xd34df00d: деда, а можешь запилить дедбота в icfpc-codingteam@conference.jabber.ru ?
[19:35:58] <0xd34df00d> .join icfpc-codingteam@conference.jabber.ru
[19:36:00] <DeadBot> 0xd34df00d: зашёл в конфу icfpc-codingteam@conference.jabber.ru с ником DeadBot
[19:36:03] <0xd34df00d> ForNeVeR: да.
[19:36:18] <ForNeVeR> 0xd34df00d: спасибо, деда! :3
[19:38:20] 2tsun4u вышел из конференции
[19:44:31] (/^_^)/ вышел из конференции
[19:54:20] ɹǝɟılʍǝu вышел из конференции: Replaced by new connection
[19:54:22] ɹǝɟılʍǝu зашёл в конференцию
[19:59:09] ɹǝɟılʍǝu вышел из конференции
[19:59:16] ɹǝɟılʍǝu зашёл в конференцию
[20:03:57] O01eg зашёл в конференцию
[20:08:01] Graf зашёл в конференцию
[20:08:11] Graf вышел из конференции
[20:08:41] ɹǝɟılʍǝu вышел из конференции
[20:08:54] ɹǝɟılʍǝu зашёл в конференцию
[20:11:02] grouzen вышел из конференции
[20:18:13] <Minoru> $pet feed
[20:18:15] <horta hell> Minoru: :3 опрокинул миску с едой лапой.
[20:18:18] <Minoru> $pet heal
[20:18:20] <horta hell> Minoru: :3 был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[20:18:27] <Minoru> $pet stat
[20:18:27] <horta hell> Minoru: Попробуйте $pet help.
[20:18:29] <Minoru> $pet stats
[20:18:30] <horta hell> Minoru:
Кличка: :3
Здоровье: 100
Сытость: 53
Возраст: 9 часов
[20:18:43] lifeseemer вышел из конференции
[20:21:14] squantum зашёл в конференцию
[20:23:19] <squantum> оч интересно, функтором эндофунктор в хаскеле назван
[20:23:59] <squantum> хорошо, тогда свои контексты образуют подкатегорию
[20:24:02] <ɹǝɟılʍǝu> squantum, почему без мембера?
[20:25:51] <squantum> ɹǝɟılʍǝu, не знаю - нужен ли я этому чату
[20:25:58] <Minoru> he's got… dismembered. In a PHP accident. // это там, просто в голову пришло
[20:26:50] Славный капитан зашёл в конференцию
[20:26:55] <squantum> хорошо, php сложней чем хаскель
[20:27:27] <squantum> динамически слабо типизированный язык
[20:28:34] <squantum> больше граничных случаев надо знать, больше мороки с юнит-тестированием
[20:28:41] <Minoru> *динамический
[20:28:49] <Minoru> олсо, зачем ты всё это нам говоришь? :)
[20:28:50] <ɹǝɟılʍǝu> Интересная теория.
[20:30:30] <Minoru> если хаскель станет мейнстримом, то в аутсорсе поменяется только одна вещь — сигнатуры будут писать топовые программисты, а всё остальное будут отдавать писать подрядчикам
[20:30:43] <Minoru> (сейчас подрядчикам отдают всё)
[20:31:02] <squantum> хаскель для меня это изучение дискретной математики
[20:31:26] <squantum> сейчас интересно топологии познать до конца
[20:31:47] <squantum> гомотопическая теория типов
[20:39:52] <squantum> в линаксе кстати есть swiprolog в репах?
[20:43:42] <Minoru> в Debian со времён squeeze, в Funtoo с апреля этого года
[20:44:46] <Minoru> в Gentoo Changelog начинается 20 марта 2006-го, и то, там написано, что они заменяют swi-prolog-lite
[20:45:14] <squantum> мне он когда понравился
[20:45:20] <Minoru> squantum: https://packages.debian.org/ и https://packages.gentoo.org/ тебе в помощь
[20:45:28] <squantum> надо собрать
[20:45:49] <squantum> хочу экспертную систему на нем :-)
[20:52:31] squantum вышел из конференции: offline
[20:53:27] ɹǝɟılʍǝu вышел из конференции
[20:53:33] ɹǝɟılʍǝu зашёл в конференцию
[20:58:57] reggies вышел из конференции
[21:15:24] grouzen зашёл в конференцию
[21:22:15] <Minoru> $pet feed
[21:22:17] <horta hell> Minoru: :3 опрокинул миску с едой лапой.
[21:22:21] <Minoru> $pet stats
[21:22:22] <horta hell> Minoru:
Кличка: :3
Здоровье: 88
Сытость: 36
Возраст: 10 часов
[21:38:11] 0xd34df00d вышел из конференции: Disconnected: closed
[21:54:03] <j123123> какое отношение хаскель имеет к дискретной математике?
[21:54:28] <j123123> По-моему он к дискретной математике имеет ровно столько же отношения, сколько и C например
[21:57:40] <j123123> там они просто с типизацией намудрили в этом хачкеле
[22:03:21] dzhon вышел из конференции: Replaced by new connection
[22:03:22] dzhon зашёл в конференцию
[22:04:35] <uggur> j123123: В х-ле есть int?
[22:05:06] <j123123> uggur: https://hackage.haskell.org/package/base-4.8.1.0/docs/Data-Int.html да
[22:05:21] <uggur> он дискретный и поддерживает математические операции?
[22:05:32] <uggur> тогда в х-ле есть дискретная математика :Р
[22:05:34] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке другому участнику: service-unavailable
[22:05:40] dzhon зашёл в конференцию
[22:05:59] <j123123> В Си тоже есть
[22:06:10] <j123123> Так что хаскель в этом плане не является чем-то особенным
[22:06:20] <j123123> Это даже в ассемблере есть
[22:06:30] <uggur> Ну и что?
[22:06:56] <j123123> Выше я писал
>По-моему он к дискретной математике имеет ровно столько же отношения, сколько и C например
[22:07:09] <j123123> вот и все
[22:07:44] <uggur> ну ОК
[22:08:23] ForNeVeR вышел из конференции: Disconnected: closed
[22:08:36] ForNeVeR зашёл в конференцию
[22:09:32] <j123123> Кстати если сделать какой-нибудь наркоманский язык, в котором есть только float типы
[22:10:24] <j123123> то через флоаты при желании можно int-ы эмулировать
[22:10:32] grouzen вышел из конференции
[22:11:31] <j123123> так что наличие встроенных интов в языке не является обязательным условием для того, чтобы язык был пригоден для решения задач дискретной математики.
[22:11:43] <uggur> ты демагог
[22:17:02] dzhon вышел из конференции: Replaced by new connection
[22:17:04] dzhon зашёл в конференцию
[22:17:42] dzhon вышел из конференции: Replaced by new connection
[22:17:45] dzhon зашёл в конференцию
[22:19:39] dzhon вышел из конференции: Replaced by new connection
[22:19:41] dzhon зашёл в конференцию
[22:21:08] dzhon вышел из конференции: Replaced by new connection
[22:21:09] dzhon зашёл в конференцию
[22:26:44] dzhon вышел из конференции: Replaced by new connection
[22:26:45] dzhon зашёл в конференцию
[22:27:41] magog зашёл в конференцию
[22:29:01] dzhon вышел из конференции: Replaced by new connection
[22:29:03] dzhon зашёл в конференцию
[22:48:11] dzhon вышел из конференции: Replaced by new connection
[22:48:12] dzhon зашёл в конференцию
[22:48:21] dzhon вышел из конференции
[22:48:51] dzhon зашёл в конференцию
[22:53:41] dzhon вышел из конференции: Replaced by new connection
[22:53:43] dzhon зашёл в конференцию
[22:55:04] <Minoru> $pet feed
[22:55:06] <horta hell> Minoru: :3 с чавканьем грызёт еду. Вы зарабатываете 1PTC.
[22:55:07] <Minoru> $pet stats
[22:55:09] <horta hell> Minoru:
Кличка: :3
Здоровье: 76
Сытость: 100
Возраст: 11 часов
[23:01:44] grouzen зашёл в конференцию
[23:05:18] 0xd34df00d зашёл в конференцию
[23:08:59] 0xd34df00d вышел из конференции: Disconnected: closed
[23:10:11] Славный капитан вышел из конференции
[23:10:50] 0xd34df00d зашёл в конференцию
[23:11:10] 0xd34df00d вышел из конференции: Disconnected: closed
[23:11:44] 0xd34df00d зашёл в конференцию
[23:17:25] m4n71k0r зашёл в конференцию
[23:19:36] dzhon вышел из конференции: Replaced by new connection
[23:19:38] dzhon зашёл в конференцию
[23:23:32] dzhon вышел из конференции: Replaced by new connection
[23:23:34] dzhon зашёл в конференцию
[23:29:29] dzhon вышел из конференции
[23:30:13] ckorzhik зашёл в конференцию
[23:33:39] 0xd34df00d вышел из конференции: Disconnected: closed
[23:35:25] xspeed вышел из конференции
[23:35:55] dzhon зашёл в конференцию
[23:36:47] dzhon вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[23:37:02] dzhon зашёл в конференцию
[23:38:42] 0xd34df00d зашёл в конференцию
[23:39:11] dzhon вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: service-unavailable
[23:39:12] dzhon зашёл в конференцию
[23:43:30] dzhon вышел из конференции: Replaced by new connection
[23:43:31] dzhon зашёл в конференцию
[23:44:08] dzhon вышел из конференции: Replaced by new connection
[23:44:10] dzhon зашёл в конференцию
[23:52:18] dzhon вышел из конференции: Replaced by new connection
[23:52:20] dzhon зашёл в конференцию
[23:52:57] dzhon вышел из конференции: Replaced by new connection
[23:52:58] dzhon зашёл в конференцию