codingteam@conference.jabber.ru

codingteam

13.03.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 (вт, чт, вс, збс): https://twitter.com/tsoding
Let's Dev (когда Капитан на мостике): http://www.youtube.com/playlist?list=PLK6mcZkmN4QTusFvp_0GVtscQbCiIg81Y
http://i.imgur.com/slnyI6a.jpg

[00:07:33] portnov вышел из конференции
[00:13:35] kosc вышел из конференции
[00:50:48] gsomix вышел из конференции
[00:51:38] sss|zombie вышел из конференции
[00:51:40] rafaelrs вышел из конференции
[01:01:06] 0xd34df00d зашёл в конференцию
[01:12:00] ckorzhik зашёл в конференцию
[01:38:23] ≈(^o^)≈ вышел из конференции
[01:40:06] ckorzhik вышел из конференции
[01:40:28] ckorzhik зашёл в конференцию
[01:43:01] ≈(^o^)≈ зашёл в конференцию
[01:48:39] yesyes зашёл в конференцию
[01:48:51] yesyes вышел из конференции
[02:03:41] ≈(^o^)≈ вышел из конференции
[02:04:24] yesyes зашёл в конференцию
[02:06:07] ɹǝɟılʍǝu вышел из конференции
[02:46:04] <Славный капитан> https://gogameguru.com/alphago-shows-true-strength-3rd-victory-lee-sedol/
[02:48:38] <Славный капитан> СР/УВЧ
[02:54:53] yesyes вышел из конференции
[03:05:11] m4n71k0r вышел из конференции
[04:23:41] ckorzhik вышел из конференции
[05:04:28] Minoru вышел из конференции
[05:26:33] rafaelrs зашёл в конференцию
[06:24:50] grouzen зашёл в конференцию
[08:28:48] <Mr.Purple> кркр
[08:42:19] portnov зашёл в конференцию
[08:54:29] <Славный капитан> Проанализировал катку
[08:55:21] <Славный капитан> Почему-то Седоль не стал разыгрывать ко внизу слева, хотя оно ему было выгодно
[08:55:35] <Славный капитан> Куча угроз, в том числе локальных и заканчивалось в сенте
[09:05:44] grouzen вышел из конференции
[10:10:12] Славный капитан вышел из конференции
[10:21:42] grouzen зашёл в конференцию
[10:34:30] Славный капитан зашёл в конференцию
[11:00:03] sss|zombie зашёл в конференцию
[11:06:17] sss|zombie вышел из конференции
[11:13:20] sss|zombie зашёл в конференцию
[11:16:16] sss|zombie вышел из конференции
[11:19:25] gsomix зашёл в конференцию
[11:21:16] sss|zombie зашёл в конференцию
[11:24:38] gsomix вышел из конференции: Disconnected: Replaced by new connection
[11:24:53] gsomix зашёл в конференцию
[11:25:18] <gsomix> Утро.
[11:33:55] <gsomix> Ну, утро же!
[11:33:57] <gsomix> Алё!
[11:36:12] <ForNeVeR> Утро?
[11:37:43] <Mr.Purple> алё?
[11:38:44] ɹǝɟılʍǝu зашёл в конференцию
[11:39:28] <ɹǝɟılʍǝu> Отро
[11:41:23] kosc зашёл в конференцию
[11:42:49] <ForNeVeR> Хорто!
[11:52:52] MaXGGXaM вышел из конференции
[11:53:15] MaXGGXaM зашёл в конференцию
[11:59:04] <Славный капитан> Не возражаю.
[12:05:06] dzhon зашёл в конференцию
[12:13:47] m4n71k0r зашёл в конференцию
[12:18:18] MaXGGXaM вышел из конференции
[12:18:55] MaXGGXaM зашёл в конференцию
[12:22:37] <Славный капитан> ForNeVeR: Кстати, доктор, ознакомьтесь с документом: http://www.scp-wiki.net/the-things-dr-bright-is-not-allowed-to-do-at-the-foundation
[12:23:15] <ForNeVeR> Знакомились.
[12:30:49] <Mr.Purple> а в чем прикол этого scp?
[12:32:06] <ForNeVeR> Э, прикол?
[12:32:14] <ForNeVeR> Берёшь и читаешь. Прикольно, да?
[12:33:02] <Mr.Purple> мне, как не посященному, это видится аналогом сериала, похожего на X-Files
[12:33:28] <Mr.Purple> все эти описания
[12:33:30] <uggur> а мне просто шафчиком Малдера
[12:33:47] <Mr.Purple> там вот был похожий сериал раньше прикольный
[12:33:55] <Mr.Purple> тоже про аномальную чухню
[12:34:16] <Mr.Purple> тут кто-нибудь Twilight Zone смотрел оригинальныый7
[12:34:28] <Mr.Purple> который 50-60х годов
[12:35:08] <ForNeVeR> Мне кажется, что я смотрел несколько серий, и они были неплохие.
[12:36:30] <Mr.Purple> потому что оттуда вроде бы куб запилили
[12:36:36] <Mr.Purple> и The Box
[12:36:59] <Славный капитан> Under no circumstances is Dr. Bright allowed to expose SCP-137 to Warhammer 40K minifigures. Again. Not even in an attempt to terminate SCP-682.
[12:39:41] <uggur> x)
[12:41:40] <uggur> а вообще, не вижу вообще никаких проблем с содержанием
[12:41:50] <uggur> если что-то можно уничтожить, это нужно уничтожить
[12:42:16] <uggur> остальное поместить в заброшенную глубокую шахту и провести ядерный взрыв, после чего останки залить бетоном
[12:43:19] <uggur> то, что неприемлет ядерных взрывов, просто закатать в соседнюю шахту в бетон
[12:45:12] <Славный капитан> Dr. Bright is no longer allowed to interview new personnel.
[12:45:20] <Славный капитан> Even^W Especially not if they ask for him.
[12:50:50] <Славный капитан> >Dr. Bright is no longer allowed to stand in a corner and twiddle his thumbs.
[12:50:54] <Славный капитан> О_о
[12:52:11] <uggur> Dr. Bright is no longer allowed to use Internet! >D
[12:53:08] <ɹǝɟılʍǝu> Класс https://youtu.be/ktwzphjAsPQ
[12:57:29] <Славный капитан> ɹǝɟılʍǝu: Я очень надеюсь, что это для лулзов.
[12:57:40] <ɹǝɟılʍǝu> Славный капитан, очевидно)
[12:57:40] Aman зашёл в конференцию
[12:58:31] yesyes зашёл в конференцию
[12:59:07] <Славный капитан> потому что иначе в следующий визит в Москву я совершу ВСЕ известные мне проклинающие ритуалы черной, шаманской и герметической магии, придумаю несколько новых и совершу их тоже ~_~
[13:00:05] <ɹǝɟılʍǝu> Славный капитан, ты чо такой серьзный?
[13:00:39] <ɹǝɟılʍǝu> Я помню нам завкаф устраивал подобную лекцию в последнее занятие перед госами.
[13:00:43] <ɹǝɟılʍǝu> Было весело.
[13:01:01] <ɹǝɟılʍǝu> Или это было уже на выпускном...
[13:01:19] <Славный капитан> ɹǝɟılʍǝu: я кувшин от кофеварки разбил ~_~
[13:01:55] <Славный капитан> ergo, злой.
[13:02:14] <ɹǝɟılʍǝu> Славный капитан, тю, подумаешь)
[13:08:10] <Славный капитан> ɹǝɟılʍǝu: Пресинаптические нейроны требуют больше моноаминов!
[13:22:24] <Mr.Purple> я вспомнил
[13:22:26] <Mr.Purple> пси-фактор что ли
[13:23:35] <Mr.Purple> https://en.wikipedia.org/wiki/Psi_Factor:_Chronicles_of_the_Paranormal
[13:28:11] <ForNeVeR> Ритуалы геометрической магии!
[13:30:20] <Mr.Purple> зов многомерных пространств
[13:43:37] Mr.Purple вышел из конференции
[13:43:43] Mr.Purple зашёл в конференцию
[13:52:02] yesyes вышел из конференции
[13:53:14] ckorzhik зашёл в конференцию
[14:03:25] kpecmuk вышел из конференции: Replaced by new connection
[14:08:27] ≈(^o^)≈ зашёл в конференцию
[14:28:43] Aman вышел из конференции
[14:40:42] <Славный капитан> ForNeVeR: вот тебе смешно, а я знаю одну магическую традицию, которая примерно к этому и сводится
[14:40:59] <ForNeVeR> Славный капитан: не сомневаюсь.
[14:41:17] <Славный капитан> https://www.youtube.com/watch?v=OBUWweli1d4
[14:42:38] <Mr.Purple> это школьная химия какая-то
[14:42:45] <Mr.Purple> Славный капитан: https://www.youtube.com/watch?v=C1Ng3kgVjKc
[14:44:03] <Славный капитан> Всерьез хочешь?
[14:47:00] <Славный капитан> https://www.youtube.com/watch?v=BmZwZ0eMHTM
[14:48:53] <Mr.Purple> о, у Mors Principum Est же новый альбом вроде бы должен выйти
[14:55:27] <Mr.Purple> Славный капитан: https://listenable-records.bandcamp.com/album/inhumanity
[14:55:36] <Mr.Purple> если вдргу еще не щупал
[14:59:35] <Mr.Purple> а еще, возможно, в плане заклинаний: https://moerae.bandcamp.com/releases
[14:59:38] <Славный капитан> Mr.Purple: норм
[14:59:46] <ForNeVeR> Mr.Purple: класс!
[15:00:07] <Славный капитан> но я себе пока что Keter купил и нашел где Gut, Wind and Wire спиз^W добыть.
[15:00:13] <Славный капитан> Так что пока что послушать есть.
[15:00:48] <ɹǝɟılʍǝu> В своём безудержном бреду Он заведёт бензопилу,
В его глазах - кровавый дым, Шишки управляют им!!!
[15:00:48] yesyes зашёл в конференцию
[15:01:10] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[15:01:11] ForNeVeR зашёл в конференцию
[15:01:20] <Славный капитан> https://www.youtube.com/watch?v=e-AeYi2saM4
[15:02:17] <ɹǝɟılʍǝu> https://www.youtube.com/watch?v=6Ycz8hr1qsw
[15:02:22] <gsomix> > AlphaGo 3 – 1 Lee Sedol
[15:02:24] <gsomix> Ну, хоть так.
[15:02:36] <ɹǝɟılʍǝu> gsomix, недурно
[15:02:36] <Славный капитан> s/Keter/Euclid/
[15:02:37] <Mr.Purple> а, еще офигенный момент был в треке к Darknet канадцев
[15:02:38] <horta hell> Славный капитан: https://www.youtube.com/watch?v=e-AeYi2saM4
[15:02:47] <Славный капитан> сорта кетеров
[15:03:22] <ɹǝɟılʍǝu> АльфаГо уже внесли в scp?
[15:04:20] <ForNeVeR> Скоро будут уже SCP вносить в AlphaGo.
[15:06:31] <Mr.Purple> https://youtu.be/mt0VVZvO5eY?t=177
[15:06:48] <Mr.Purple> жаль, что это только кусок одной песни, а не весь альбом такой
[15:11:20] <ɹǝɟılʍǝu> ForNeVeR, https://pbs.twimg.com/media/CdasHi1UsAEibqE.jpg:large
[15:12:04] <ɹǝɟılʍǝu> Mr.Purple, так себе.
[15:12:20] <Славный капитан> https://www.youtube.com/watch?v=t6jlx6jAb-Q
[15:13:28] ≈(^o^)≈ вышел из конференции
[15:15:22] ≈(^o^)≈ зашёл в конференцию
[15:15:25] <ForNeVeR> gsomix: о, он всё-таки выиграл один матч?
[15:17:12] m4n71k0r вышел из конференции
[15:17:41] <gsomix> ForNeVeR, да.
[15:17:57] <ForNeVeR> AlphaGo его пожалел :D
[15:18:28] <ɹǝɟılʍǝu> https://www.youtube.com/watch?v=7gphiFVVtUI
[15:18:59] <ɹǝɟılʍǝu> ForNeVeR, gsomix, а ваще, это показательно. Превосходство человека над человеком же.
[15:19:15] <gsomix> ɹǝɟılʍǝu, а?
[15:19:22] <ɹǝɟılʍǝu> gsomix, AlphaGo
[15:19:28] <ForNeVeR> ɹǝɟılʍǝu: ну, если ты приравниваешь превосходство роботов к превосходству их создателей - ок, хорошо.
[15:19:43] <ɹǝɟılʍǝu> ForNeVeR, ну, роботов же пока что пишут люди)
[15:20:19] <gsomix> ɹǝɟılʍǝu, это было бы так, если AlphaGo был каким-то захардкоженным алгоритмом игры.
[15:20:31] <ɹǝɟılʍǝu> gsomix, а писали-то его люди или кто?)
[15:21:17] <gsomix> Это не так уж и важно.
[15:22:10] <ɹǝɟılʍǝu> Почему?
[15:22:33] <ɹǝɟılʍǝu> Мне вообще греет душу идея превосходства человеков над всей вселенной.
[15:23:10] <ɹǝɟılʍǝu> Ведь для них нет ничего невозможного)
[15:23:19] <gsomix> ɹǝɟılʍǝu, сомнительно. Сегодня ты пишешь ИИ, а завтра тебя стирают в лица земли.
[15:23:27] <gsomix> *с
[15:23:40] * ɹǝɟılʍǝu отмахнулся.
[15:23:43] <ɹǝɟılʍǝu> Скучно)
[15:24:28] <ɹǝɟılʍǝu> Боятся ИИ это как боятся атаки инопланетян.
[15:24:41] <Mr.Purple> ии же хуета
[15:24:45] <≈(^o^)≈> или метиорита
[15:24:45] <Mr.Purple> чего его бояться
[15:24:46] <Славный капитан> О
[15:24:48] <Славный капитан> https://www.youtube.com/watch?v=IvajtyyAN-s
[15:24:48] <gsomix> ɹǝɟılʍǝu, это гиперболизированный пример того, что я хотел сказать.
[15:25:06] <Славный капитан> Van Canto грозятся новый альбом запилить.
[15:25:08] * ≈(^o^)≈ *мете
[15:25:19] <Славный капитан> С ориджинал контентом, а не каверами!
[15:25:21] <ɹǝɟılʍǝu> Путешствующей в космосе цивилизации глубоко похеру на каких-то копошащихся в земле.
[15:25:46] <Славный капитан> ɹǝɟılʍǝu: и куда ты сегодня путешествовал, сэр астрополит?
[15:26:02] <ɹǝɟılʍǝu> Славный капитан, я летал во сне! ©®™
[15:26:12] <Славный капитан> А если серьезно
[15:26:44] <ɹǝɟılʍǝu> Сегодня только в мир матана, магистерскую писать нада.
[15:27:16] <Славный капитан> Я же говорит уже, гоъ находилось в стагнации с тридцатых годов прошлого века
[15:27:42] <ɹǝɟılʍǝu> Славный капитан, я не видел, видимо.
[15:27:48] <gsomix> ɹǝɟılʍǝu, я не вижу в AlphaGo никакого никакого превосходства человеков. Полного понимания работы этой системы нет, никаких предсказаний дать нельзя. Ее реализовали, она работает сама по себе, работает хорошо и все.
[15:28:10] <ForNeVeR> gsomix: ну, её ж не просто так реализовали. Реализаторы - молодцы, не?
[15:28:13] <ɹǝɟılʍǝu> gsomix, окей, как скадешь.
[15:28:20] <Славный капитан> С тех пор как Китани Минору и Го Сейген ворвались со своими новыми фусэки в 33, ничего нового не придумали.
[15:28:32] <ɹǝɟılʍǝu> «Мы сляпали без прогнозов, вродь работет».
[15:29:34] <Славный капитан> gsomix: ну так любая экспертная система работает
[15:29:48] <Славный капитан> при помощи неонки, магии и какой-то матери.
[15:29:54] <ForNeVeR> И ыкспертов!
[15:30:29] <Славный капитан> и хЪръ знает, что внутри нее происходит
[15:30:40] <ForNeVeR> Но ведь там всё понятно :(
[15:30:45] <ForNeVeR> Ну, в примитивных нейронках.
[15:35:23] <≈(^o^)≈> кстати мы тут как-то кажется обсуждали потенциальные проблемы "сетевой прозрачности" вяленого. я вчера успешно нарисовал удалённое X-приложение по ssh на свой вяленый сервер (в псевдо-X-сервер в виде Xwayland), осталось как-то нарисовать удалённое вяленое приложение в локальный вяленый сервер
[15:36:09] <gsomix> ForNeVeR, молодцы.
[15:36:13] <gsomix> Я не спорю.
[15:36:28] <gsomix> Но выигрывают у Седоля не люди.
[15:37:30] <gsomix> ɹǝɟılʍǝu, я бы сравнил это со степенью понимания людьми гидродинамики.
[15:38:10] <gsomix> Что-то практическое делать можем, а полного понимания нет. :)
[15:42:48] <ɹǝɟılʍǝu> gsomix, кстати
[15:42:52] <ɹǝɟılʍǝu> Ты ж писал научные труды.
[15:43:54] <ɹǝɟılʍǝu> Я тут похоже чутка увлекся и в реферативной части чуть-чуть нахуячил описалова конкретной системы типов (в данном случае, простейшей $\lambda\rightarrow$). Норм или нет...
[15:44:19] <gsomix> Я не шарю.
[15:45:14] <ɹǝɟılʍǝu> gsomix, ='((((((((((((((((((((((((((((((((((((
[15:46:46] <gsomix> ɹǝɟılʍǝu, а в чем проблема? Ну, описал и описал.
[15:46:53] <gsomix> Ссылку дать не забудь. :)
[15:47:04] <ɹǝɟılʍǝu> gsomix, ссылку в литературу или тебе?
[15:47:19] <ɹǝɟılʍǝu> На работу т.е.
[15:48:19] Славный капитан вышел из конференции
[15:48:31] Minoru зашёл в конференцию
[15:48:42] <ɹǝɟılʍǝu> Minoru, \0
[15:48:47] <gsomix> ɹǝɟılʍǝu, первое.
[15:48:54] <ɹǝɟılʍǝu> А, конечно.
[15:50:02] <ɹǝɟılʍǝu> gsomix, оно у меня вон как уже выглядит http://pastexen.com/i/8aZ1HlOIHe.png
[15:50:11] <Minoru> \o/
[15:50:16] yesyes вышел из конференции
[15:50:54] <ɹǝɟılʍǝu> Minoru, фырки
[15:51:17] <Minoru> ɹǝɟılʍǝu: утра-утра :)
[15:56:45] <gsomix> ɹǝɟılʍǝu, ну, а меня можешь пнуть, когда допишешь.
[15:56:51] <gsomix> Я бы почитал с удовольствием. .__.
[15:59:51] <ɹǝɟılʍǝu> gsomix, и написал бы рецензию)
[16:00:00] <ɹǝɟılʍǝu> // надюсь, шутка безобидна
[16:05:42] <gsomix> Д.
[16:06:54] <ɹǝɟılʍǝu> gsomix, open science!
[16:29:29] <ɹǝɟılʍǝu> gsomix, Minoru, https://www.youtube.com/watch?v=WGTxqhSN8bE
[16:30:32] ckorzhik вышел из конференции
[16:39:30] <gsomix> Расскажите, а как в CL живут с динамической типизацией?
[16:40:13] <ɹǝɟılʍǝu> Гхм, динамически проверяемой типизацией.
[16:40:17] <ɹǝɟılʍǝu> Так чуть корректнгей.
[16:40:53] * ɹǝɟılʍǝu зануда.
[16:41:09] <gsomix> Да.
[16:41:14] <gsomix> Математикам положено быть занудами.
[16:41:21] <ɹǝɟılʍǝu> gsomix, думаю, так же, как и в Clojure, Scheme и т.д. А что именно ты спрашивашь?
[16:43:11] <ForNeVeR> gsomix: по-моему, плохо живут, но они сами привыкли, нормально справляются.
[16:43:23] <gsomix> ɹǝɟılʍǝu, ну, у меня под влиянием интернетов сложилось впечатление, что CL -- очень практичный язык для серьезных проектов.
[16:43:36] <gsomix> Давным-давно готовый к продакшену, короче.
[16:43:51] <Mr.Purple> рассылка которого умерла два года назад и была на сорсфорже
[16:43:52] <gsomix> И это у меня немного не стыкуется с динамической проверкой типов.
[16:43:54] <ɹǝɟılʍǝu> gsomix, ну его и используют.
[16:44:00] <ɹǝɟılʍǝu> Только не так широко.
[16:44:03] <Mr.Purple> и последняя версия в твоем дистрибе за 14й год
[16:44:19] <Mr.Purple> ессли мы про clisp
[16:46:28] <gsomix> Mr.Purple , SBCL и CCL (я больше не слышал).
[16:47:05] <ForNeVeR> gsomix: самое главное забыл! ABCL!
[16:47:15] <ForNeVeR> Ну, может, и не главное, но тоже существенное.
[16:50:07] <ɹǝɟılʍǝu> В Maya лисп как скриптовый язык.
[16:50:17] <ɹǝɟılʍǝu> Крайне широкий продакшн.
[16:50:25] <ɹǝɟılʍǝu> Правда, щас туда вкорячили еще и питон.
[16:50:26] <Mr.Purple> ам же басик какой-то
[16:50:31] <Mr.Purple> или дотнет
[16:50:50] <ɹǝɟılʍǝu> нет
[16:51:05] <ɹǝɟılʍǝu> Maya ваще щас имеет UI на Qt.
[16:51:10] <ɹǝɟılʍǝu> Какой там дотнет?
[16:52:58] Graf зашёл в конференцию
[16:53:06] Graf вышел из конференции
[16:53:51] rafaelrs вышел из конференции
[16:54:38] <ForNeVeR> ɹǝɟılʍǝu: дак он про CL спрашивал, а не про лисп вообще.
[16:54:48] <ForNeVeR> Лисп бывает и типизированный :3
[16:55:04] <ɹǝɟılʍǝu> ForNeVeR, https://www.youtube.com/watch?v=6Ycz8hr1qsw
[16:56:19] <ɹǝɟılʍǝu> Какая же офигенная песня
[17:01:38] <≈(^o^)≈> ForNeVeR: в виде AST от типизированного ЯП?
[17:01:50] <ForNeVeR> ≈(^o^)≈: не понял вопроса.
[17:02:13] <ForNeVeR> ≈(^o^)≈: просто бывает типизированный лисп и всё, без всяких подтекстов и подвыподвертов.
[17:02:24] <ForNeVeR> Наггум же!
[17:03:01] <ɹǝɟılʍǝu> Lux еще какой-то есть.
[17:03:03] <≈(^o^)≈> ForNeVeR: отсылка к шутке о том, что любая реализация яп имеет в себе конпелятор лиспа
[17:03:14] <ForNeVeR> В высокоуровневом наггуме строгая типизация без необходимости указывать типы.
[17:03:42] <ForNeVeR> Вроде, там ещё типовыводилка какая-то была, но я не помню, что она делает %)
[17:03:46] <ɹǝɟılʍǝu> А что, если написать небольшую лиспомашину для парса текста вместо регулярок?
[17:04:10] <ɹǝɟılʍǝu> И юзать в продакшоне.
[17:04:15] <ForNeVeR> ɹǝɟılʍǝu: никто тебе не помешает, но зачем? Современные ЯП уже и так компилируют регулярки в какой-то эффективный субъязык.
[17:04:24] <ɹǝɟılʍǝu> Эх)
[17:05:28] <Mr.Purple> вдруг твоя реализация будет ффективней?
[17:05:43] <ForNeVeR> Mr.Purple: ну, можно рискнуть, конечно.
[17:12:21] <ɹǝɟılʍǝu> Лул, тупой впорос.
[17:12:40] <ɹǝɟılʍǝu> identity combinator по-русски как полущ?
[17:12:57] <ɹǝɟılʍǝu> функция идентичности
[17:12:58] <ɹǝɟılʍǝu> Да.
[17:13:02] <ɹǝɟılʍǝu> Так и переведу.
[17:14:02] <ɹǝɟılʍǝu> Ну или комбинатором идентичости.
[17:14:11] <ɹǝɟılʍǝu> Как пруф: http://pv.bstu.ru/flp/fpLectures.pdf
[17:14:23] <ɹǝɟılʍǝu> Minoru, ForNeVeR, gsomix, советую, кстати.
[17:21:31] <ɹǝɟılʍǝu> Странно, ребят.
[17:22:16] <ɹǝɟılʍǝu> А почему в акторах считается, что лямбда-исчисление не дает параллельности, при этом существует прям таки дефолтный комбинатор S?
[17:22:25] <ɹǝɟılʍǝu> Или я что-то неправильно понимаю?
[17:22:45] <ForNeVeR> В ком считается?
[17:22:50] rafaelrs зашёл в конференцию
[17:23:08] <ɹǝɟılʍǝu> В акторах.
[17:23:24] <ɹǝɟılʍǝu> Ну, я читал где-та, где писалось, почему запилили акторы.
[17:23:36] <ForNeVeR> И почему запилили акторы?
[17:23:46] <ForNeVeR> Потому, что что-то там в лямбда-счислении им не хватало? ._.
[17:23:54] <ɹǝɟılʍǝu> Да.
[17:24:04] <ɹǝɟılʍǝu> Не довало модели параллелизма, чот тип того.
[17:24:07] <ForNeVeR> Мне казалось, что акторы намного выше уровнем, чем лямбда-счисление, и поэтому вообще странно их сравнивать.
[17:24:16] <ForNeVeR> (по дефолту допускаю, что я неправ, конечно)
[17:24:29] <ɹǝɟılʍǝu> Ну я потому и спрашиваю.
[17:24:35] <ɹǝɟılʍǝu> Потому что тоже не уверен.
[17:24:55] <ForNeVeR> Ну, если найдёшь пруфы - то можно предметно обсудить.
[17:25:12] <ForNeVeR> Если нет - можно обсудить только беспредметно :)
[17:26:02] <ɹǝɟılʍǝu> ForNeVeR, ну я и хотел от беспредметнй к предметной перейти (вдруг кто и правда знает?). =)
[17:26:17] <ForNeVeR> Пока что не вышло. Я не знаю.
[17:28:34] <ɹǝɟılʍǝu> ForNeVeR, эх
[17:32:59] dzhon вышел из конференции
[17:45:06] <gsomix> ForNeVeR, в наггуме вывод типов есть?
[17:46:24] <ForNeVeR> gsomix: sort of. https://github.com/codingteam/naggum/blob/develop/Naggum.Compiler/ClrGenerator.fs#L11
[17:46:41] <ForNeVeR> Таки не вывод типов, а выбор наиболее подходящей перегрузки.
[17:47:16] <ForNeVeR> Но там есть фрагменты вывода типов - вычисление расстояний, например.
[17:48:19] <gsomix> Дело принимает серьезный оборот.
[17:48:53] <ForNeVeR> Не расстраивайся, мы эту фигню всё равно выпилим :)
[17:49:02] <ForNeVeR> И перепишем на самом наггуме.
[17:49:13] <gsomix> Хм!
[17:50:35] <gsomix> ForNeVeR, ладно, а у тебя какой-нибудь план работ есть оформленный?
[17:51:41] <ForNeVeR> gsomix: "какой-нибудь" есть: https://github.com/codingteam/naggum/issues/19
[17:51:50] <ForNeVeR> Так себе план, но для начала сойдёт.
[17:53:53] <ForNeVeR> Заменил там в описании C# на F# :3
[17:57:19] <ɹǝɟılʍǝu> ForNeVeR, расстояние между типами?
[17:57:38] <ForNeVeR> ɹǝɟılʍǝu: да, расстояние между типами.
[17:57:45] <ɹǝɟılʍǝu> Ого.
[17:57:53] <ɹǝɟılʍǝu> ПОКАЖ КАК ЭТО РАБОТАЕТ
[17:58:16] <ForNeVeR> ɹǝɟılʍǝu: чтобы при вызове foo(1) вызывать foo(int), а не foo(double), например, даже при имеющемся неявном касте int -> double.
[17:58:39] <ForNeVeR> Ну, то есть в наггуме (пока) расстояние задействовано только при разрешении перегрузок.
[17:58:52] <ForNeVeR> Потому, что больше-то ничего почти и нет :)
[17:58:59] <ɹǝɟılʍǝu> Стоп.
[17:59:23] <ɹǝɟılʍǝu> А как надана метрика?
[17:59:39] <Minoru> ɹǝɟılʍǝu: неплохая музыка!
[17:59:54] <ForNeVeR> ɹǝɟılʍǝu: ну пусть, например, неявный каст или прямое наследование = 1.
[18:00:08] <ɹǝɟılʍǝu> Хм.
[18:00:23] <ForNeVeR> ɹǝɟılʍǝu: т.о, имея A : B и B : C, имеем distance(A, C) = 2.
[18:00:53] <ForNeVeR> Имея int и implicit double(int), имеем distance(int, double) = 1.
[18:01:39] <ForNeVeR> Имея A : B и B : C и implicit D(A) и implicit X(D), имеем distance(A, D)... посчитай сам :)
[18:02:01] <ɹǝɟılʍǝu> ForNeVeR, я пока хызы, как задать адекватно расстояние в дереве типов.
[18:02:34] <ForNeVeR> Можно включить и более весёлые вещи в эту метрику - например, наличие известных конвертеров или неявное преобразование объекта в массив из одного объекта и обратно.
[18:02:59] <ForNeVeR> Повершелл так делает, и у него получается не очень плохо (хотя с массивами хрень, конечно, полная).
[18:06:00] <ForNeVeR> ɹǝɟılʍǝu: вот ещё примеры каких-то расстояний забавных: https://github.com/impworks/lens/blob/aaa87776f0816dd1713e37a52cca1fc67725f68e/Lens.Test/Internals/TypeExtensionsTest.cs#L83-L90
[18:06:34] <ForNeVeR> Я оттуда взял оригинальную идею. Lens использует эти расстояния для реальне Хиндли-Милнера, насколько я помню.
[18:07:20] <ForNeVeR> ɹǝɟılʍǝu: а какие проблемы имеются с заданием расстояния на типах?
[18:07:42] <ForNeVeR> Ну, вот для этой конкретной цели я больших проблем не вижу. Алгоритм достаточно просто описывается.
[18:09:02] sss|zombie вышел из конференции
[18:09:20] <ForNeVeR> А между неконвертуемыми типами там int.MaxValue.
[18:25:35] <ɹǝɟılʍǝu> ForNeVeR, я формализовать не могу
[18:25:37] <ɹǝɟılʍǝu> тупой ешшо)
[18:26:12] <ForNeVeR> ɹǝɟılʍǝu: мне кажется, что ты просто решаешь какую-то более обобщённую задачу, чем простая неявная конвертилка типов.
[18:30:44] ɹǝɟılʍǝu вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[18:35:12] ɹǝɟılʍǝu зашёл в конференцию
[18:35:39] <ɹǝɟılʍǝu> ForNeVeR, наверное...
[18:37:54] <ɹǝɟılʍǝu> ForNeVeR, например, есть ли изначальный индивид, от которого начинаются все типы?
[18:38:16] <ForNeVeR> В каком контексте ты мне задаёшь этот вопрос?
[18:38:21] <ForNeVeR> Зависит от системы типов, очевидно :)
[18:38:49] <ForNeVeR> Лично я считаю, что должен быть не только индивид, в котором все типы начинаются, но и индивид, в котором все типы заканчиваются!
[18:39:17] <ForNeVeR> Как в Scala. Любой тип считается наследником Any, зато Nothing считается наследником любого типа.
[18:40:14] <ɹǝɟılʍǝu> ForNeVeR, а если обобщить?
[18:40:45] <ForNeVeR> ɹǝɟılʍǝu: что обобщить?
[18:43:30] <ɹǝɟılʍǝu> ForNeVeR, все системы типов!
[18:45:29] <ForNeVeR> ɹǝɟılʍǝu: я не шарю в классификации в достаточной степени, но на практике я видел как системы типов, которые включают оба этих концепта (как корень, так и всеобщий лист), так и системы типов, которые их не включают, или же включают локально (например, nullptr_t в C++).
[19:05:39] rexim зашёл в конференцию
[19:05:49] <ForNeVeR> rexim: fasfdsfhsdjfhlsf
[19:06:04] * ForNeVeR шелестит тентаклями.
[19:11:42] <ɹǝɟılʍǝu> ForNeVeR, похоже на функцию.
[19:12:05] <rexim> https://twitter.com/tsoding/status/709035215273005056
[19:12:11] <rexim> ForNeVeR: драаатуте! :)
[19:13:28] <gsomix> rexim, утро. Что сегодн по телевизору?
[19:14:29] <rexim> gsomix: ахз. Я только сейчас осознал, что все таки могу провести стрим и еще не решил, что буду делать.
[19:14:32] <rexim> Ну, если ты об этом.
[19:14:39] <gsomix> Да, об этом.
[19:14:40] Владик Лозинский зашёл в конференцию
[19:15:47] Владик Лозинский вышел из конференции
[19:16:12] Владик Лозинский зашёл в конференцию
[19:20:54] <rexim> gsomix: =*
[19:21:34] <ɹǝɟılʍǝu> rexim, ШИШКИ УПРАВЛЯЮТ ИМ
[19:27:30] <rexim> ɹǝɟılʍǝu: я тебя чпок
[19:27:34] <rexim> ой
[19:27:36] <rexim> и тебя*
[19:27:38] <rexim> xD
[19:29:14] <ɹǝɟılʍǝu> О.о
[19:30:52] Владик Лозинский вышел из конференции
[19:35:34] rexim вышел из конференции
[19:37:18] reximorning зашёл в конференцию
[19:37:38] <Minoru> аргх-аргх-аргх! В gen_server нельзя в обработчике call-а вызвать другой свой обработчик, потому что получается дедлок!
[19:37:48] <reximorning> О боже
[19:37:53] <reximorning> Дедлоки в моем ерланге
[19:39:24] <Minoru> из-за этой замечательной особенности я не могу написать insert_or_update, используя примитивы retrieve и update — придётся копипастить код
[19:39:41] ɹǝɟılʍǝu вышел из конференции: Replaced by new connection
[19:39:44] ɹǝɟılʍǝu зашёл в конференцию
[19:39:51] <reximorning> =(
[19:39:58] * reximorning pat pat Minoru
[19:40:13] <Minoru> а, стоп, я же все равно не смогу ими пользоваться изнутри этого gen_server
[19:40:16] <reximorning> Everything's gonna by alright, buddy!
[19:40:20] <reximorning> be*
[19:40:48] Mr.Purple вышел из конференции
[19:41:17] <Minoru> да, будет, потому что я придумал решение!
[19:41:35] <reximorning> Minoru: ты такой молодец! =*
[19:41:58] <Minoru> я сделаю примитив dangerous_update, который не будет защищён никакими синхронизациями, и уже через него опишу обычный update, а также insert_and_update
[19:42:09] <Minoru> reximorning: ^_^
[19:44:12] <reximorning> Minoru: добавь коммент туда "Let's get dangerous!"
[19:44:24] <reximorning> DARK WING DUUUCK! Dx
[19:46:27] ɹǝɟılʍǝu вышел из конференции: Replaced by new connection
[19:46:28] ɹǝɟılʍǝu зашёл в конференцию
[19:47:11] <Minoru> reximorning: я не фанат :(
[19:47:35] <reximorning> Minoru: данные факт не мешает тебе добавить данный комментарий -_-
[19:49:14] <ɹǝɟılʍǝu> Minoru, это в бд пишется?
[19:49:45] <Minoru> reximorning: мешает! Как я могу добавлять комментарии, не вкладывая в них душу? Зачем такие комментарии нужны?
[19:49:54] <ɹǝɟılʍǝu> Minoru, попробцй юзать upset.
[19:49:58] <reximorning> Minoru: вложи в них мою душу
[19:49:58] <Minoru> ɹǝɟılʍǝu: нет, в память
[19:50:07] <ɹǝɟılʍǝu> Minoru, божечки!!!
[19:50:33] <Minoru> ɹǝɟılʍǝu: у меня просто есть некое состояние, перед которым стоит процесс и принимает запросы на его изменение (а читать все и так могут, напрямую)
[19:50:47] <reximorning> Minoru: don't believe in yourself. Believe in me how belives in you!
[19:51:10] <Minoru> reximorning: how how how-w ha haha ha!
[19:54:38] <reximorning> https://twitter.com/tsoding/status/709045946374561792
[19:55:02] <ɹǝɟılʍǝu> Бле, ощущаю себя стариком(
[19:56:21] <ɹǝɟılʍǝu> reximorning, чпоквинг чплк!
[19:58:37] reximorning вышел из конференции
[19:59:36] <Minoru> ɹǝɟılʍǝu: почему?
[20:02:44] m4n71k0r зашёл в конференцию
[20:18:56] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[20:18:57] ForNeVeR зашёл в конференцию
[20:19:04] horta hell вышел из конференции: Disconnected: Replaced by new connection
[20:19:04] horta hell зашёл в конференцию
[20:19:23] <gsomix> ForNeVeR, какие еще есть интересные конференции в cjr?
[20:19:35] <ForNeVeR> gsomix: ct лучше всех!
[20:19:37] <gsomix> Дотнето-конфочка меня расстроила. :(
[20:19:42] <ForNeVeR> Лал.
[20:20:26] <gsomix> Я почему-то до сих пор очень сильно ведусь на троллинг.
[20:20:29] <gsomix> .__.
[20:20:32] <ForNeVeR> gsomix: из активных я в основном вижу programming, ct, dotnet, java, c_p_p, scala.
[20:21:02] <≈(^o^)≈> к сожалению мой убогий интернет-канал не позволяет мне нормально смотреть стрим, я сливаюсь.
[20:22:35] <Minoru> ct@cjr: здравствуйте, это конференция о Common Test? Как мне запустить gen_server на shared-хостинге с Apache?
[20:24:01] ɹǝɟılʍǝu вышел из конференции: Replaced by new connection
[20:24:02] ɹǝɟılʍǝu зашёл в конференцию
[20:56:59] m4n71k0r вышел из конференции
[21:16:00] rexim зашёл в конференцию
[21:16:30] <rexim> О май гош! https://www.livecoding.tv/06needhamt/
[21:16:46] <rexim> Это самый стериотипный брит, которого я когда либо слышал :D
[21:16:51] <rexim> Просто жесть!
[21:17:15] <rexim> Minoru: ^
[21:21:22] eternastudento зашёл в конференцию
[21:22:26] <rexim> ɹǝɟılʍǝu: дy ю лай во ю еа?
[21:22:55] <ɹǝɟılʍǝu> rexim, yea
[21:23:21] <ɹǝɟılʍǝu> rexim, 0_о
[21:23:28] <ɹǝɟılʍǝu> Какой странный акцент!
[21:23:33] <rexim> Я слыхал, как америкосы пародировали это акцент, но никогда его реально сам не слышал.
[21:23:40] <rexim> Просто жесть! Просто жесть!
[21:23:45] <rexim> Я думал они утрировали.
[21:23:48] <rexim> Но реально такой!
[21:23:50] <rexim> ААААА
[21:25:06] <rexim> И самое интересное, что второй чувак его как-то понимает...
[21:47:07] <Minoru> rexim: мне кажется, что у него просто ирландские корни
[21:47:39] <rexim> Minoru: это лечится?
[21:47:50] <Minoru> rexim: только временеам
[21:47:53] <ɹǝɟılʍǝu> Minoru, на их островах в каждой деревне свой акцент
[21:47:54] <Minoru> *временем
[21:48:04] <Minoru> в том смысле, что через пару поколений пройдёт :)
[21:48:10] <rexim> "Ирландские корни" звучит как метастазы.
[21:48:45] <rexim> Но этот чувак очень часто ко мне на стримы заходит :)
[21:48:47] <rexim> Он классны!
[21:48:48] <rexim> й
[21:55:06] <Minoru> а может это ты классный, раз к тебе на стрим люди ходят? ;)
[21:56:10] <eternastudento> Салют котаки) rexim, посмотрел новое видео с лайнчпэдом, теперь в наушниках играешь дома?
[21:58:33] <rexim> eternastudento: ага! :)
[22:00:10] <eternastudento> там от силы нажатия чтото зависит?
[22:00:19] <rexim> Нет
[22:00:24] <rexim> Зависит от скорости нажатия
[22:00:54] <rexim> Хм...
[22:01:05] <rexim> Сила выражается через ускорение, а ускорение через скорость...
[22:01:25] <rexim> Ладно, я нуб в физике :D
[22:02:43] portnov вышел из конференции
[22:04:28] <rexim> eternastudento: просто смотри. Сила нажатия не имеет особого значения. Вот на реально фортепиано если очень медленно, но сильно зажать клавишу, не особо добьешься звука вообще. :)
[22:04:58] <rexim> Важна скорость, и скорость этот LaunchKey учитывает.
[22:06:17] <eternastudento> эм, я это имел в виду
[22:06:22] <rexim> А, ну ок.
[22:06:30] <rexim> Тогда, да. Все что надо, учитывается.
[22:06:37] <eternastudento> и на клавишах и на паде (не знаю как эти штуки называются)
[22:06:40] <eternastudento> квадратные
[22:06:44] <eternastudento> ?
[22:06:47] <rexim> Да-да. Это падики. :)
[22:06:49] <rexim> И на них тоже
[22:36:51] <eternastudento> крутая штука)
[22:59:02] madmercen вышел из конференции
[23:11:38] Владик Лозинский зашёл в конференцию
[23:12:24] Владик Лозинский вышел из конференции
[23:17:53] kosc вышел из конференции: Disconnected: closed
[23:18:08] <gsomix> rexim, значение имеет прикладываемая сила помноженная на время нажатия. :)
[23:29:04] rexim вышел из конференции
[23:52:27] gsomix вышел из конференции