Home
codingteam
codingteam@conference.jabber.ru
08.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:03:59] m4n71k0r зашёл в конференцию
[00:21:52] portnov вышел из конференции
[00:36:17] Mr.Purple зашёл в конференцию
[01:13:03] ExePush зашёл в конференцию
[01:13:51] ExePush вышел из конференции
[01:14:18] <ckorzhik> vladimir@laptop:~$ telnet 0xd34df00d.me 80
Trying 80.251.122.132...
telnet: Unable to connect to remote host: Connection refused

0xd34df00d, так и задумано?
[01:17:31] <Minoru> оно давно уже сломалось. Форневерик даже подумывает логи писать с помощью Хорты.
[01:20:05] <ckorzhik> А как же запас логов за все прожитые годы?
[01:27:49] <Minoru> ну, DeadBot всё ещё здесь, так что не исключено, что у Дедфуда просто сломался веб-сервер или что-то в этом роде (0xd34df00d.me успешно пингуется)
[01:28:12] <Minoru> ну и Хорта что-то тоже пишет, я не знаю только, с каких пор
[01:29:09] <Minoru> её в 2013-м начали писать только, так что, наверное, записать она успела не так уж и много :(
[01:35:10] yesyesyes зашёл в конференцию
[01:50:36] kosc вышел из конференции
[02:04:28] <ɹǝɟılʍǝu> Годные лекции по теории типов! http://www.cs.ru.nl/~herman/Uruguay2008SummerSchool.html
[02:04:53] <ɹǝɟılʍǝu> То есть, слайды к ним)
[02:08:26] <0xd34df00d> ckorzhik: pochinil.
[02:08:34] <0xd34df00d> Minoru: тоже pochinil.
[02:08:39] <0xd34df00d> Сломалось не давно, а в пятницу :3
[02:08:48] <ckorzhik> 0xd34df00d, спасибо!
[02:09:48] <0xd34df00d> Minoru прав, у меня там в пятницу вырубали интернет на полчаса, и nginx что-то после этого не поднялся.
[02:10:34] <Minoru> 0xd34df00d: хм, мне казалось, что логи давно сломались. Ладно. Спасибо :)
[02:11:18] <ɹǝɟılʍǝu> Khooy
[02:11:29] <0xd34df00d> ɹǝɟılʍǝu: peacedah.
[02:11:35] <Minoru> send/ForNeVeR/Дедфуд починил логи./
[02:11:38] <horta hell> Minoru: Сообщение доставлено.
[02:11:52] <0xd34df00d> s/логи/просмотр логов/
[02:11:52] <horta hell> 0xd34df00d: ɹ-ɟılʍǝu: peacedah.
[02:12:01] <0xd34df00d> Чят, я пал.
[02:12:05] <0xd34df00d> У меня ломка по DCS:World
[02:12:07] <ɹǝɟılʍǝu> send/ForNeVeR/Но это не повод прекращать пилить!/
[02:12:09] <horta hell> ɹǝɟılʍǝu: Сообщение доставлено.
[02:12:12] <ɹǝɟılʍǝu> 0xd34df00d, ну ты и лалка
[02:12:13] <0xd34df00d> И я смотрю на ютубике, как другие играют.
[02:12:30] sss|zombie зашёл в конференцию
[02:12:39] <ɹǝɟılʍǝu> Так докатишься до резиновой женщины.
[02:12:47] <0xd34df00d> Тян не нужны.
[02:12:50] <0xd34df00d> Даже резиновые.
[02:13:01] <ɹǝɟılʍǝu> Свою уже сдал на органы?
[02:13:34] <0xd34df00d> Да.
[02:13:39] <Minoru> 0xd34df00d: говорят, задротистей геймеров только люди, смотрящие геймеров на ютубе. Ты это, поаккуратней там
[02:13:45] <Minoru> …а то стрик на Гитхабе просрёшь!
[02:14:01] <0xd34df00d> Minoru: ну, мне скоро придёт моя игровая машина, так что буду нормально задротить.
[02:14:38] <0xd34df00d> Надо ещё TrackIR купить будет.
[02:21:27] yesyesyes вышел из конференции
[02:24:56] <ɹǝɟılʍǝu> Minoru,
Типапеременные будем обозначать как $\alpha, \beta, \gamma ...$.
\section{Зачем}
[02:25:24] <ɹǝɟılʍǝu> Minoru, https://pp.vk.me/c543107/v543107938/1215e/X9pHYAI3dxc.jpg
[02:25:43] <Minoru> лол
[02:26:53] <ɹǝɟılʍǝu> Minoru, https://pp.vk.me/c543108/v543108197/f8fd/3ACcGlWcXxs.jpg
[02:27:03] <Minoru> олсо ты же неправильно верстаешь! Должно быть «$\alpha$, $\beta$, $\gamma$ и т.д.». Запятые к math mode не относятся же в данном случае.
[02:27:27] <Minoru> нет, ну для «затем» нужна картинка пояростней, поупёртей
[02:27:41] <ɹǝɟılʍǝu> Хм.
[02:27:51] <ɹǝɟılʍǝu> Буду знать.
[02:32:09] m4n71k0r вышел из конференции
[02:33:22] <ɹǝɟılʍǝu> Minoru, чот туплю непомерно
[02:33:35] <ɹǝɟılʍǝu> (a→b)→c == a→b→c?
[02:33:42] <ɹǝɟılʍǝu> То есть, если правоассоциативно.
[02:34:38] <Minoru> вроде да
[02:34:58] <Minoru> но я что-то тоже засомневался :)
[02:35:33] <ɹǝɟılʍǝu> Minoru, ну вот тебе пример http://pastexen.com/i/kDc26dnT3C.png
[02:35:37] <Minoru> ха, и не зря!
[02:35:59] <Minoru> a→b→c == a→(b→c), если стрелочка правоассоциативна
[02:36:03] <Minoru> теперь стыдно ;)
[02:36:10] <ɹǝɟılʍǝu> Minoru, вот спасибо!
[02:36:18] <Minoru> картинка правильная
[02:44:03] <Minoru> теперь сижу и думаю, как меня можно вообще подпускать к компьютерам, если я не могу даже по памяти ответить на вопрос об ассоциативности
[02:46:25] <ɹǝɟılʍǝu> Minoru, а теперь задай вопрос про меня такой же)
[02:46:41] <ɹǝɟılʍǝu> Лан.
[02:46:44] <ɹǝɟılʍǝu> Пойду спатеньки!
[02:46:52] <Minoru> снов!
[02:54:06] sss|zombie вышел из конференции
[03:30:37] eaeee зашёл в конференцию
[03:31:33] Minoru вышел из конференции
[04:04:32] Mr.Purple вышел из конференции
[04:24:15] eaeee вышел из конференции
[05:00:06] ≈(^o^)≈ вышел из конференции
[05:02:35] ckorzhik вышел из конференции
[06:20:21] grouzen зашёл в конференцию
[06:46:05] ckorzhik зашёл в конференцию
[06:47:01] grouzen вышел из конференции: Replaced by new connection
[06:47:04] grouzen зашёл в конференцию
[07:04:21] Славный капитан зашёл в конференцию
[07:55:17] Mr.Purple зашёл в конференцию
[08:09:10] <Славный капитан> OOTRO INCOMING
[08:09:37] <Славный капитан> All decks to coding stations!
[08:10:08] <ForNeVeR> send/Minoru/В хорту заимпортированы дедфудо-логи за всё время./
[08:10:10] <horta hell> ForNeVeR: Сообщение помещено в очередь.
[08:11:55] grouzen вышел из конференции
[08:12:41] <Mr.Purple> there is ootro around
[08:57:06] kosc зашёл в конференцию
[09:14:15] portnov зашёл в конференцию
[09:39:10] ckorzhik вышел из конференции
[09:47:14] horta hell вышел из конференции: Disconnected: closed
[09:47:15] ForNeVeR вышел из конференции: Disconnected: closed
[09:56:28] ForNeVeR зашёл в конференцию
[09:57:17] horta hell зашёл в конференцию
[10:07:42] <Славный капитан> ForNeVeR: https://github.com/codingteam/horta-hell/pull/371
[10:23:07] <Славный капитан> $help
[10:23:13] <horta hell> Славный капитан: Доступные команды для текущего уровня доступа (Администратор):
• Markov: ......... say, s
• KarmaPlugin: .... karma
• Wtf: ............ wtf, wtf-delete
• Diagnostic: ..... diag
• Visitor: ........ visitors
• Version: ........ version
• Loglist: ........ loglist
• Mail: ........... send
• Pet: ............ pet
• Fortune: ........ fortune
• Helper: ......... man, help
• Dice: ........... dice
• Bash: ........... bash
• Log: ............ search
• Access: ......... access
[10:23:35] <ForNeVeR> Славный капитан: это не обновлённая хорта, если что ._.
[10:28:25] <Славный капитан> да ладно, я все равно только к часто употребляющимся командам хелп напишу
[10:40:07] <ForNeVeR> Славный капитан: на остальные я заведу ишуй.
[10:40:41] <ForNeVeR> Написание хелпов в скоуп задачи не входит, хотя это и было бы MILO.
[10:42:30] <Славный капитан> поздно, я уже написал %)
[10:43:02] asidorenko зашёл в конференцию
[11:07:48] Aman зашёл в конференцию
[11:08:50] <Aman> ForNeVeR: so sql server 2016 will run on linux
[11:10:13] <portnov> http://www.opennet.ru/opennews/art.shtml?num=44001 yup.
[11:10:30] rexim зашёл в конференцию
[11:10:47] <rexim> Первый Портал под линуксом как часы работает.
[11:10:50] <rexim> Удивительно...
[11:10:59] <rexim> Все утреца! о/
[11:11:09] <Aman> rexim: waka waka
[11:11:22] <rexim> Aman: sup! :3
[11:12:56] <ForNeVeR> Aman: MS guys are completely mad. Who will ever buy their Windows shit if they port the blessed ASP.NET and MSSQL to Linux? They are burying themselves alive with their own hands now!
[11:13:04] <ForNeVeR> (and not that I don't like it)
[11:13:28] <Aman> rexim: just reading news
[11:14:11] <Aman> ForNeVeR: i was thinking the same, but i dont think they are fools
[11:15:09] <Aman> their main aim is to kick out php and java out of world
[11:15:49] <rexim> And they are ready to sacrifice Windows for that.
[11:16:05] <rexim> Makes sense for me
[11:16:06] <ForNeVeR> What does that have to do with MSSQL?
[11:16:19] <ForNeVeR> And what are they going to do then?
[11:16:39] <Aman> rule the world with visual studio
[11:16:41] <Aman> and make money
[11:16:51] <ForNeVeR> But they're sacrificing windows, remember?
[11:16:57] <ForNeVeR> Who needs visual studio then?
[11:16:57] <rexim> > And what are they going to do then?
It's under NDA. Don't ask such things!
[11:17:49] <rexim> ForNeVeR: they gonna replace it with VSCode
[11:18:07] <Aman> they are planning something big as i can see
[11:18:17] <ForNeVeR> Yeah, with a like-atom-but-slightly-faster-text-editor.
[11:18:23] <ForNeVeR> Madness!
[11:18:36] <ForNeVeR> I'm telling you, they all are mad.
[11:18:47] <Aman> like you were using java, php, mysql for free
[11:19:04] <Aman> after moving to visual studio and ms sql you will have to pay
[11:20:07] <ɹǝɟılʍǝu> УТРО
[11:20:20] <rexim> YTPO
[11:20:32] <Aman> kamasutro
[11:20:37] <ForNeVeR> Ha ha.
[11:20:41] <rexim> Da da.
[11:20:48] <ɹǝɟılʍǝu> yay
[11:22:46] <rexim> Я хочу в Моргани напихать тайпклассов.
[11:23:16] <ForNeVeR> Зделай.
[11:23:17] <rexim> А хотя зачем? У меня все равно для каждого из них будет только один инстанс для LambdaTerm...
[11:23:27] <ForNeVeR> Всё равно зделай.
[11:23:28] <rexim> Больше инстансов не будет...
[11:23:33] <ForNeVeR> Это серьёзный бизнес.
[11:23:55] <rexim> ForNeVeR: я тут осознал, что имплист классы эквиваленты инстансам тайпклассов.
[11:24:26] <ForNeVeR> Неужели!
[11:24:43] <rexim> Это сарказм?
[11:24:48] <ForNeVeR> Я... не знаю.
[11:24:58] <rexim> Значит сарказм. :)
[11:25:19] <rexim> Ну да, я не сильно отличаюсь быстрой сообразительность, что поделать...
[11:25:21] <ForNeVeR> Не, надо было не так.
[11:25:38] <ForNeVeR> Надо было типа "Мамочки, что же это? Да неужто это сарказм?! :3 :3 :3"
[11:25:46] <ɹǝɟılʍǝu> rexim, а в Моргани у тебя статически проверяемая типизация?
[11:26:00] <rexim> ɹǝɟılʍǝu: нет.
[11:26:03] <ForNeVeR> ɹǝɟılʍǝu: он хочет в реализацию добавить, а не в саму Моргани.
[11:26:04] horta hell вышел из конференции: Disconnected: Replaced by new connection
[11:26:07] horta hell зашёл в конференцию
[11:26:08] horta hell вышел из конференции: Disconnected: Replaced by new connection
[11:26:10] horta hell зашёл в конференцию
[11:26:11] <rexim> У меня нетипизированное лямбда-счисление
[11:26:11] horta hell вышел из конференции: Disconnected: Replaced by new connection
[11:26:13] horta hell зашёл в конференцию
[11:26:14] <rexim> Ебать!!1
[11:26:16] <rexim> оволды
[11:26:17] <rexim> олыолва
[11:26:18] <rexim> ваоылва
[11:26:19] <ɹǝɟılʍǝu> Хорта запегасилась!
[11:26:21] <rexim> Ой
[11:26:30] <ɹǝɟılʍǝu> rexim, аа!
[11:26:31] <ForNeVeR> Это я чото сделал нечайно.
[11:26:43] <rexim> ForNeVeR: сел на хорту?
[11:26:50] <ɹǝɟılʍǝu> ForNeVeR, ты эта, смотри: один раз и всегда пегас!
[11:26:54] <ForNeVeR> Не, тестовый инстанс стартанул.
[11:27:14] <ForNeVeR> А вона чото решила выбить основной!
[11:27:17] <ForNeVeR> Непорядок.
[11:27:32] <rexim> ForNeVeR: ну и вот. Раз они эквиваленты инстансам, и у меня все равно будет на каждый тайпкласс по одному инстансу, лучше просто больше имплисит классов нахерачить.
[11:27:36] horta hell вышел из конференции: Disconnected: Replaced by new connection
[11:27:36] <ForNeVeR> А ну давайте ещё.
[11:27:38] horta hell зашёл в конференцию
[11:27:39] horta hell вышел из конференции: Disconnected: Replaced by new connection
[11:27:41] horta hell зашёл в конференцию
[11:28:34] <rexim> Хм...
[11:28:48] <rexim> Раз сам Форнёвер согласин добавить ещё, зачит надо добавлять!
[11:28:49] <rexim> \о/
[11:28:54] <ForNeVeR> Да что блин за дела такие ._.
[11:28:57] <ɹǝɟılʍǝu> rexim, в скале есть тайпклассы?
[11:29:08] Mr.Purple вышел из конференции
[11:29:18] <ForNeVeR> ɹǝɟılʍǝu: эмулируются.
[11:29:24] <rexim> ɹǝɟılʍǝu: там есть имплисит классы, этого достаточно, чтобы естественным образом эмулировать свои.
[11:29:31] <rexim> Они даже гибше плучаются
[11:29:43] <rexim> Можно делать тайпклассы, которые действую на определенный скоуп
[11:30:05] <rexim> Не понятно, правда, зачем это надо.
[11:30:07] <rexim> Но пусть будет
[11:30:30] <ɹǝɟılʍǝu> Оке!
[11:30:42] <ɹǝɟılʍǝu> rexim, мне, кстати, всё время хочется прочитать как Моргание.
[11:30:51] <rexim> :D
[11:30:55] <rexim> xD
[11:30:56] <rexim> :D
[11:30:58] <rexim> xD
[11:30:59] <rexim> :D
[11:31:30] <ɹǝɟılʍǝu> :D
[11:31:35] <ɹǝɟılʍǝu> ForNeVeR, http://cs8.pikabu.ru/post_img/2016/03/08/5/1457421328128051401.jpg
[11:32:01] horta hell вышел из конференции: Disconnected: closed
[11:34:52] <rexim> Давайте лучше тайпклассы называть адаптерами и не выебываться.
[11:39:18] <ɹǝɟılʍǝu> Я ещё не добрался до System F((
[11:39:24] <ɹǝɟılʍǝu> Мне нечем позанудствовать((
[11:39:33] <ɹǝɟılʍǝu> rexim, хныа(
[11:39:46] <rexim> Что?
[11:39:49] <rexim> Ты о чем говоришь?
[11:39:54] <rexim> Что такое System F?
[11:39:59] <rexim> Ничего не понял
[11:40:26] <rexim> https://en.wikipedia.org/wiki/System_F
[11:40:27] <rexim> Вот это?
[11:40:52] <ɹǝɟılʍǝu> Да.
[11:41:30] <ɹǝɟılʍǝu> rexim, там эта
[11:41:32] <ɹǝɟılʍǝu> Твово самого
[11:41:34] <ɹǝɟılʍǝu> Тайпклассы
[11:41:45] <rexim> universal quantification over types
[11:41:55] <rexim> Doesn't sound to exciting for me, but well...
[11:41:57] <rexim> Ok, then
[11:42:15] <ɹǝɟılʍǝu> rexim, яннп ._ .
[11:42:58] <portnov> а чочоч тайпклассы?
[11:43:10] <portnov> в идрисе вон их переименовали в интерфейсы.
[11:44:09] <ɹǝɟılʍǝu> portnov, я прост не знаю ещё, как в теории типов называют их.
[11:45:26] horta hell зашёл в конференцию
[11:45:31] <ForNeVeR> $version
[11:45:31] <horta hell> ForNeVeR: version: 0.15 build-id: v0.15 impl-version: 0.15
[11:45:37] <ForNeVeR> $help version
[11:45:37] <horta hell> ForNeVeR: Использование: $version: версия Хорты, ну!
[11:45:46] <ForNeVeR> С новой Хортой!
[11:45:59] <rexim> $help ForNeVeR
[11:45:59] <horta hell> rexim: Извини, rexim. Боюсь, я не смогу помочь тебе.
[11:46:04] <rexim> =3
[11:49:05] <ɹǝɟılʍǝu> ForNeVeR, https://pp.vk.me/c543107/v543107938/1215e/X9pHYAI3dxc.jpg
[11:49:23] <ɹǝɟılʍǝu> ForNeVeR, видел? http://artscp.com/
[11:49:26] <ɹǝɟılʍǝu> rexim, а ты?
[11:49:47] <ForNeVeR> ɹǝɟılʍǝu: нарушение условий содержания!
[11:51:39] <rexim> *голосом Пончика* Условия содержания нарушать нельзя!
[11:52:30] * rexim suddenly dies from a Keter object
[11:56:02] <ɹǝɟılʍǝu> rexim, http://cs8.pikabu.ru/post_img/2016/03/08/5/1457418153127947063.jpg
[12:13:27] grouzen зашёл в конференцию
[12:19:26] uggur вышел из конференции
[12:21:42] madmercen вышел из конференции: This participant is kicked from the room because he sent an error presence: service-unavailable
[12:24:41] proto_21h зашёл в конференцию
[12:24:46] <proto_21h> re
[12:38:02] <rexim> $send Minoru http://i.imgur.com/lyFVS6u.jpg
[12:38:04] <horta hell> rexim: Сообщение помещено в очередь.
[12:58:30] grouzen вышел из конференции
[13:45:50] gsomix зашёл в конференцию
[13:46:09] <gsomix> Утро.
[13:53:06] <ɹǝɟılʍǝu> gsomix, утречка!
[13:53:26] <ɹǝɟılʍǝu> gsomix, передай жене, что ей желают щастьечка, здоровьечка!
[13:53:38] <gsomix> Хорошо!
[13:54:11] <gsomix> ɹǝɟılʍǝu, тебе передают спасибо. :)
[13:54:18] <ɹǝɟılʍǝu> gsomix, ^-^
[13:54:20] <ForNeVeR> gsomix: хм, интересно.
[13:55:37] yesyesyes зашёл в конференцию
[14:00:48] kpecmuk вышел из конференции: Replaced by new connection
[14:00:54] kpecmuk зашёл в конференцию
[14:01:54] <rexim> Сделал себе функцию для тестирования:
private def redex(body: LambdaTerm) = {
val id = s"##${random.nextInt(100500)}"
lapp(lfunc(id, body), lvar(id))
}
[14:02:01] <rexim> У нее очень удобное свойство: redex(body).stepReduce() == body
[14:02:06] <rexim> А так же: redex(redex(redex(body))).reduce() == body
[14:02:15] <rexim> Очень удобно юнит-тесты писать =3
[14:05:18] <rexim> lapp(redex(x), y).cbnStepReduce() should be (lapp(x, y))
[14:05:19] <rexim> вролыва
[14:05:21] <rexim> олоылдва
[14:05:22] <rexim> олвдлова
[14:05:51] madmercen зашёл в конференцию
[14:59:16] Minoru зашёл в конференцию
[15:01:33] <Minoru> rexim: этого объема на десятилитровое ведро хватит!
[15:02:38] <rexim> |:3
[15:02:43] <rexim> | :3
[15:02:46] <rexim> |:3
[15:03:04] <Minoru> котоармия наступает!
[15:12:40] Aman вышел из конференции
[15:15:42] ≈(^o^)≈ зашёл в конференцию
[15:16:27] proto_21h вышел из конференции
[15:29:53] yesyesyes вышел из конференции
[15:30:45] Aman зашёл в конференцию
[15:35:46] ckorzhik зашёл в конференцию
[15:36:20] <rexim> ForNeVeR: кстати, если от меня какой-то экшен в гитхабе требуется, можно еще в чятик продублировать. А то на меня сейчас от вас с копитаном сыпиться бесконечный поток нотификаций и я могу что-нибудь пропустить. :)
[15:36:30] <rexim> https://github.com/codingteam/naggum/pull/60 в ближайшее время поревьюю
[15:37:25] <rexim> Вот это так вообще не заметил https://github.com/codingteam/naggum/pull/39
[15:37:38] <rexim> Слава б-г заглянул в https://github.com/pulls/assigned
[15:37:45] <rexim> Надо туда чаще заглядывать
[15:38:00] <rexim> Сейчас заварю чайку и все посмотрю
[15:40:03] <ForNeVeR> rexim: дак тебе православные нотификации в почту должны валиться.
[15:40:31] <ForNeVeR> rexim: и вообще, это фигня. Денис ревьюил мой фикс больше полугода! https://github.com/catberry/catberry-benchmarks/pull/1
[15:41:36] <rexim> ForNeVeR: ну они перемешались с неправославными.
[15:41:44] <rexim> Немножк
[15:41:51] <ForNeVeR> rexim: а, чёрт, точно. Я понял
[15:42:03] <ForNeVeR> Действительно, щас же все мои действия вам сыпятся в почту.
[15:42:36] <ForNeVeR> rexim: ты можешь поменять опцию вотчинга в наггуме. В верхней части страницы выбери "Not watching", и тогда останутся только православные!
[15:42:51] <ForNeVeR> Более того, я рекомендую это сделать.
[15:42:51] <rexim> Можно.
[15:43:14] <Minoru> rexim: это всё потому, что ты пользуешься богомерзким Икартой (IMAP) или, того хуже, вебмордой. Получал бы почту через попа (POP) — он бы тебе её освящал между делом, и неправославных нотификаций тебе не приходило бы вовсе!
[15:43:38] <rexim> Да, я пользуюсь вебмордой.
[15:44:18] <rexim> Minoru: внеси свою лепту https://github.com/catberry/catberry-benchmarks/pull/1 :)
[15:44:44] <ForNeVeR> Начали там бузить!
[15:44:46] <Minoru> не хочу, вы там странные какие-то ._.
[15:44:51] <ForNeVeR> Да.
[15:45:18] <ɹǝɟılʍǝu> А как же выразить своё удивление?
[15:45:57] <Minoru> ну, подумаешь, всего полгода ушло на то, чтобы на код глянуть и кнопочку нажать. С кем не бывает!
[15:46:07] <rexim> ForNeVeR: опасно в Цодингтим ссылки на пуллреквесты кидать.
[15:46:16] <ForNeVeR> В этом нету ничего такого.
[15:46:34] <rexim> Какого?
[15:46:44] <ForNeVeR> Такого!
[15:47:51] <rexim> Какого?
[15:49:17] <ɹǝɟılʍǝu> ВОУ
[15:49:19] <ɹǝɟılʍǝu> rexim, Minoru, https://github.com/dsanson/termpdf
[15:49:21] <ɹǝɟılʍǝu> ВОУ
[15:50:25] <ForNeVeR> Да просто используешь тайловый менеджер и юзаешь qpdf ~_~
[15:50:32] <Minoru> или zathura
[15:50:33] <rexim> that supports inline graphics
[15:50:40] <rexim> Что в этом такого?
[15:50:50] <rexim> Вот если бы на терминалах, которые не саппортят...
[15:51:14] <ɹǝɟılʍǝu> Как чо такого?
[15:51:20] <ɹǝɟılʍǝu> Тут vim-like интерфейс!
[15:51:37] <Minoru> ɹǝɟılʍǝu: в zathura тоже vim-like, если что
[15:51:44] <rexim> У даже самого тупого evince есть vim-like интерфейс
[15:51:48] <ɹǝɟılʍǝu> Minoru, zanuda
[15:51:51] <Minoru> а ещё там есть просто божественный :set recolor. Ночью незаменимая штука!
[15:52:09] <ForNeVeR> Ну, я не знаю, где как, а в моей пдф-читалке это тоже было.
[15:52:17] <ForNeVeR> Хотя я забыл, какую же читалку я юзаю %)
[15:52:21] <rexim> Minoru: чо за zathura. Первый раз слышу. Надо глянуть!
[15:52:51] <ɹǝɟılʍǝu> Ну извиняйте! Не знал!
[15:52:55] <Minoru> rexim: https://pwmt.org/projects/zathura/
[15:53:11] <rexim> Minoru: гугл все равно быстрее тебя.
[15:53:35] <rexim> ɹǝɟılʍǝu: ты няша
[15:53:40] <rexim> Minoru: и ты
[15:53:44] <rexim> Все няши
[15:53:45] <ɹǝɟılʍǝu> Нет ты!!1111
[15:54:01] <Minoru> плюсую Нялайфера!
[15:57:40] yesyesyes зашёл в конференцию
[16:11:03] ckorzhik вышел из конференции
[16:17:08] ckorzhik зашёл в конференцию
[16:42:00] Aman вышел из конференции
[16:44:52] <rexim> https://www.youtube.com/watch?v=byAfC5yW_hw
[16:47:52] <Minoru> rexim: ni-i-ice!
[16:48:02] <rexim> :D
[16:52:06] <ɹǝɟılʍǝu> rexim, щикарна!
[16:57:20] gsomix вышел из конференции: This participant is kicked from the room because he sent an error presence: recipient-unavailable
[16:58:25] yesyesyes вышел из конференции
[17:04:43] Mr.Purple зашёл в конференцию
[17:19:10] <ɹǝɟılʍǝu> rexim, ого!
[17:19:18] <ɹǝɟılʍǝu> rexim, https://github.com/catberry/catberry-benchmarks/pull/1
[17:19:22] <ɹǝɟılʍǝu> Он ответил!
[17:19:57] <ɹǝɟılʍǝu> ForNeVeR, ↑
[17:20:01] <ɹǝɟılʍǝu> Он такой няшка!
[17:20:23] <ForNeVeR> Да, он хороший чувак.
[17:27:30] <rexim> Плюсую Нёвера.
[17:28:16] <rexim> Я его последний раз лично видел на одном из новосибиских скалосброщь в прошлом году.
[17:28:26] <rexim> Сейчас он, я так понимаю, в Германии.
[17:28:36] <rexim> Так что врядли в ближайшее время его увижу :)
[17:28:55] <Minoru> скалосборище:
$ sbt build
[17:29:04] <rexim> xD
[17:29:07] <rexim> вожлдырв
[17:29:08] <rexim> ыволыв
[17:29:09] <rexim> ловл
[17:29:12] <rexim> Minoru: спасибо :)
[17:31:24] <Minoru> пожалуйста :) Олсо я только сейчас заметил, что ты изначально написал «скалосброщь», а не «скалосборищь». Как я умудрился прочитать правильно — непонятно.
[17:31:42] <portnov> скалоборщь?
[17:32:39] <Minoru> скалоборщь не знаю, а вот борщескала — это просто:
$ brew install scala
[17:42:27] yesyesyes зашёл в конференцию
[17:44:58] <ForNeVeR> rexim: Денис мне снова напоминает, что мы хотели его поделье заюзать где-нибудь.
[17:46:09] <rexim> А, точно.
[17:46:15] 0xd34df00d вышел из конференции: Client went to sleep
[17:46:15] <rexim> Что-то такое было
[17:46:26] <ForNeVeR> Но мы так и не дописали к нему dts :(
[17:47:10] <rexim> Надо дописать!
[17:47:37] <ForNeVeR> Надо.
[17:49:22] <ForNeVeR> Только надо как-то за один присест это сделать, а то с прошлого раза вышел миллион версий тайпскрипта и catberry, так что как минимум половина наших наработок уже морально устарела!
[17:49:33] <ForNeVeR> Зато теперь можно импортить определения прямо с гитхаба, что няшно.
[17:50:05] <ForNeVeR> Minoru: слушай, а что там с octo-erl? Оно уже работает?
[17:50:22] <ForNeVeR> Или чо мы там хотели, Gestalt к нему пробросить?
[17:51:31] <Minoru> ForNeVeR: мы — ну, я; ты хотел свои собственные биндинги к GitHub API написать — хотели заюзать octo.erl, чтобы просить у гитхаба activity stream для нашей организации
[17:51:40] <Minoru> и индивидуальные стримы для мемберов, наверное
[17:51:49] <Minoru> Activity API в octo.erl пока что не реализован
[17:51:51] <ForNeVeR> Minoru: и отдавать по HTTP!
[17:52:00] <ForNeVeR> Minoru: о, кстати, раз ты тут.
[17:52:03] <Minoru> и отдавать по HTTP, да. Этим уже Gestalt должен заниматься
[17:52:17] <ForNeVeR> Minoru: я бы хотел начать вот с такого: http://fsprojects.github.io/
[17:52:27] <ForNeVeR> Вот хотя б эту базовую инфу надо бы отдать.
[17:53:36] <Minoru> я не совсем тут :) Я через полчасика приду — поболтаем, ок?
[17:54:48] <ɹǝɟılʍǝu> Занятно девки пляшут!
[17:55:00] <ɹǝɟılʍǝu> А как мне в техе сразу указать и степень и индекс?
[17:55:13] <ɹǝɟılʍǝu> Типа x^\Sigma_1
[17:55:14] <Minoru> {a}^{b}_{c}
[17:55:19] <ForNeVeR> ɹǝɟılʍǝu: $a_x^y$
[17:55:31] <ForNeVeR> Короче, так, как ты сказал :)
[17:55:53] <ɹǝɟılʍǝu> Как упорото, однако!
[17:55:56] <ɹǝɟılʍǝu> Спасибо вам!
[17:55:58] <Minoru> ForNeVeR: так, как он сказал, не выйдет, потому что Тех руганётся на Sigma_1 — скажет, что нет символа
[17:56:04] <Minoru> ɹǝɟılʍǝu: или не ругается?
[17:56:17] <Minoru> я точно помню, что фигурные скобки в таких случаях писал! Неужели зря?
[17:56:19] <ForNeVeR> Если ругается - то {\Sigma}, да.
[17:56:26] <ForNeVeR> Но я вот лично не уверен.
[17:56:36] <ForNeVeR> Пускай сам разбирается :)
[17:57:48] <Minoru> «взрослый пегас уже, вон, какие крылья отрастил — разберё-ётся!» :)
[17:58:17] * ɹǝɟılʍǝu помахал!
[17:58:28] <ɹǝɟılʍǝu> Крылья — гордость пегаса!
[18:06:24] <ɹǝɟılʍǝu> Что-то мне не нравится, что в простейшей системе типов λ→ типопеременные и типы обозначаются символами из одного алфавита, просто из разных частей
[18:07:01] <ɹǝɟılʍǝu> ForNeVeR, portnov, Minoru, вы не против такого варианта соглашения: типопеременные — нижний регистр, а типы — верхний?
[18:07:16] <Minoru> а конструкторы типов там есть?
[18:07:20] <ɹǝɟılʍǝu> Неа.
[18:07:34] <Minoru> вообще я таких публикаций не читал толком. Может, ты пример покажешь, чтобы можно было понять, норм или не норм?
[18:07:40] <portnov> а какие доступны варианты?
[18:07:43] <Minoru> абзац с парой формул, например
[18:07:54] <ɹǝɟılʍǝu> Это простейшая система типов, чуть расширенная относительно типизации Рассела.
[18:07:55] <portnov> например греческие буквы в качестве переменных часто используют
[18:08:07] <portnov> так что если там тех, греческие буквы по-моему ок
[18:08:18] <portnov> конкретные типы — латинскими
[18:08:19] <ɹǝɟılʍǝu> portnov, я греческий и использую (потому что в первоисточнике так).
[18:13:09] Akon32 зашёл в конференцию
[18:13:29] DOCTOR_RABB зашёл в конференцию
[18:13:41] <Minoru> ForNeVeR: глянул на твою ссылку. Ты же помнишь, что Gestalt по HTTP отдаёт не странички, а просто предоставляет API? У меня даже диздок есть! https://github.com/codingteam/Gestalt/wiki/Public-API
[18:14:00] <rexim> Удивительно. Многие готовы убить за сильную связанность и плохое именование в коде. Но как только дело доходит до математических обозначений, все радуются перлоподоной мотне из греческих и латинских букв.
[18:14:02] <rexim> Это же ведь Наука!
[18:14:22] <DOCTOR_RABB> Привет
[18:14:26] <ɹǝɟılʍǝu> Minoru, ну вот например http://pastexen.com/i/j21qZ6u5cm.png
[18:14:44] <portnov> типапеременные?
[18:14:45] <Minoru> ForNeVeR: и API больше в сторону всяких агрегированных метрик заточен, вроде количества коммитов в репозитории и всё такое
[18:14:46] <portnov> ооок
[18:14:53] <ɹǝɟılʍǝu> portnov, черновик
[18:14:58] <portnov> ггг
[18:15:04] <portnov> вы ещё внатурепеременные введите.
[18:15:11] <Minoru> portnov: то есть «Так же» тебе ок? :P
[18:15:12] <ɹǝɟılʍǝu> \m/
[18:15:52] <Minoru> > Скобки правоассоциативны
Да ты же поехавший! s/Скобки/Стрелки/
[18:16:02] <ɹǝɟılʍǝu> Minoru, > черновик
[18:16:06] <ɹǝɟılʍǝu> Но спасибо!
[18:16:08] <ɹǝɟılʍǝu> Поправил!
[18:16:31] <Minoru> идея с разным регистром вроде норм
[18:16:45] <portnov> олсо а чо за шрифт? или это я компьютермодерн не узнаю?
[18:16:58] <ɹǝɟılʍǝu> Liberation
[18:17:00] <portnov> «я не узнаю вас в гриме»
[18:17:13] <portnov> а чо не компьютермодерн?
[18:17:17] <Mr.Purple> а доктор с мкаббера
[18:17:22] <ɹǝɟılʍǝu> portnov, покажи?
[18:17:23] <Minoru> portnov: not modern enough
[18:17:32] <Minoru> ɹǝɟılʍǝu: дефолтный теховский шрифт же
[18:17:36] DOCTOR_RABB вышел из конференции
[18:17:37] <Akon32> rexim: потому что в науке обычно дают определения (a=F/m, где a - ..., ...; F - ..., ... ), а в коде не всегда дают комментарии.
[18:17:48] <portnov> ɹǝɟılʍǝu: ну теховский дефолтный
[18:18:32] <portnov> ɹǝɟılʍǝu: http://math.sut.ac.th/lab/software/texlive/texmf-doc/doc/english/free-math-font-survey/images/cm.png
[18:19:17] gsomix зашёл в конференцию
[18:19:21] <portnov> правда он с русским алфавитом не такой красивый, как с английским
[18:19:29] <portnov> но ничо лучше вроде нету
[18:19:52] <gsomix> Что у вас тут?
[18:20:04] Akon32 вышел из конференции
[18:20:04] <Minoru> основной недостаток Computer Modern для меня в том, что я, как только становится скучно читать, начинаю просто любоваться буковками
[18:20:08] <Minoru> он слишком красивый, короче ;(
[18:20:13] <portnov> есть literaturnaya, там глифы правильные, которые есть
[18:20:21] <portnov> но к нему математического шрифта нету
[18:20:29] <portnov> ггг
[18:21:44] <gsomix> rexim, я не радуюсь. Но и как именовать тоже не понимаю.
[18:22:59] <ɹǝɟılʍǝu> Хм.
[18:23:36] grouzen зашёл в конференцию
[18:25:45] <ɹǝɟılʍǝu> > The font "CMU Serif" cannot be found.
[18:25:47] <ɹǝɟılʍǝu> Балин!
[18:26:29] <portnov> у тебя не тех чтоле? :/
[18:26:34] <ɹǝɟılʍǝu> XeLaTeX
[18:26:42] <portnov> хм
[18:27:49] <ForNeVeR> Minoru: да, я помню это.
[18:28:09] <ForNeVeR> Minoru: там и есть агрегированные метрики, по ссылке!
[18:29:22] <Minoru> чот я только список проектов вижу
[18:30:38] <ɹǝɟılʍǝu> Видимо, на overleaf нету CMU Serif(
[18:33:25] <ForNeVeR> Minoru: а метрики по каждому проекту агрегируются!
[18:34:00] <Minoru> ForNeVeR: ты имеешь в виду количество stargazers и forks?
[18:34:13] <ForNeVeR> Minoru: в данном случае да.
[18:34:30] <ForNeVeR> Хотя конкретно от этих метрик я большого проку не вижу, честно говоря :)
[18:35:07] <Minoru> а. Ну, это не так интересно, эти данные GitHub сам отдаёт. Смысл Gestalt состоит, среди прочего, в том, чтобы получать свои собственные метрики, похитрей
[18:35:28] <Minoru> хотя бы даже сумму лайков, собранных всеми проектами организации :)
[18:36:27] <ɹǝɟılʍǝu> Кстати, http://pastexen.com/i/ErnvvBpwgw.png это можно назвать как?
[18:37:13] <ForNeVeR> Я назову это "картинка".
[18:37:26] <Minoru> ɹǝɟılʍǝu: применение функции?
[18:37:27] <ɹǝɟılʍǝu> Применимость? ._.
[18:38:08] <Minoru> «применимость по типам»?
[18:38:12] <ForNeVeR> Это правило применения функции.
[18:38:15] <Minoru> «типовая корректность»?
[18:38:22] <ForNeVeR> В первую очередь, я считаю, это *правило*.
[18:39:15] <ɹǝɟılʍǝu> А, вот нёверик правильно сказал.
[18:39:54] <ɹǝɟılʍǝu> Но не ф-ция, а терм. =)
[18:43:47] <rexim> Термос чая готов! \о/
[19:03:33] rexim вышел из конференции
[19:05:57] reximorning зашёл в конференцию
[19:15:22] asidorenko вышел из конференции
[19:27:54] skair зашёл в конференцию
[19:44:15] <reximorning> Gonna fart soon https://twitter.com/tsoding/status/707231414425620480
[19:44:17] <reximorning> ForNeVeR:
[19:44:19] <reximorning> gsomix:
[19:44:21] <reximorning> Minoru:
[19:44:28] <reximorning> ɹǝɟılʍǝu
[19:44:53] <Minoru> reximorning: а сегодня снова лямбда-исчисление?
[19:45:06] <reximorning> да
[19:51:23] <reximorning> Minoru: =(
[19:51:27] reximorning вышел из конференции
[19:52:37] <Minoru> send/reximorning/Не обижайся! У меня просто от лямбдочек мозг плавится, я так и не нашёл удовольствия в стримах про Morganey./
[19:53:27] <Minoru> horta hell: алло!
[19:53:33] <Minoru> $say 41
[19:53:51] <horta hell> Minoru: К сожалению, запрошенное сообщение не было найдено.
[19:53:59] <yesyesyes> $say 10
[19:53:59] <horta hell> yesyesyes: rexim: дуже добре, тут сьогоднi дуже гарна погода, а у вас як?
[19:54:04] <yesyesyes> хех
[19:54:33] <Minoru> а сообщение моё почему игнорирует? :(
[19:54:51] <Minoru> ForNeVeR: Хорта прозевала мой send ↑
[19:56:17] yesyesyes вышел из конференции
[19:56:44] <ForNeVeR> Minoru: почему ты так считаешь?
[19:57:06] <Minoru> ForNeVeR: а где ответ касательно того, что сообщение помещено в очередь?
[19:57:13] <ForNeVeR> Потерялся.
[19:57:32] <ForNeVeR> Это случается, у нас полный багтрекер этой тупой ошибки prosody.
[19:57:39] <Minoru> а, ну ок
[19:57:55] <Minoru> это всё та же ошибка? Я о ней успеваю забывать :(
[19:57:59] <ForNeVeR> Пока что не дошли руки до обновления prosody, обновимся и, может, починится.
[20:16:30] <gsomix> Minoru, минорыч!
[20:16:37] <gsomix> Как дела?
[20:17:21] <Minoru> gsomix: всё отлично! Снова взялся за лопату и радостно херачу. А ты как?
[20:17:44] <gsomix> Нормально. Работу работаю.
[20:19:36] <gsomix> Minoru, что херачишь?
[20:21:08] <Minoru> что-то ты поздновато работу работаешь!
[20:21:16] dzhon зашёл в конференцию
[20:21:31] <Minoru> я отойду на пару минут
[20:22:34] <gsomix> Minoru, я ее всегда работаю.
[20:23:48] <Minoru> пилю вот это: https://github.com/sdepold/octo.erl Помнишь Gestalt? Собиралку статистики с Гитхаба?
[20:30:21] Aman зашёл в конференцию
[20:38:11] <gsomix> Помню что-то.
[20:44:07] <Minoru> ну вот, я про него вспомнил и решил допилить. Отжал у автора^W^W^Wполучил push access в апстрим, привёл в порядок тесты (coverage: 98% \m/, починю pagination — будет 100%), в общем, пилю
[20:46:48] asidorenko зашёл в конференцию
[20:50:26] <Minoru> gsomix: а ещё я зачем-то начал проходить курс по gamification на Coursera
[20:51:06] <gsomix> Minoru, заинтересовался?
[20:51:51] <Minoru> скорей просто захотел выяснить, насколько я ошибаюсь, глядя на гамификацию как на «бесполезные примочки»
[20:57:01] <gsomix> Minoru, смотри, какой забавный японец. https://github.com/pocketberserker
[20:57:15] <gsomix> Кажется, он портировал со скалы на F# все, что мог.
[20:57:28] <gsomix> И не только со скалы.
[20:57:42] <gsomix> Attoparsec вон.
[20:59:37] <Minoru> FSё портировано!
[21:03:10] <Minoru> а вот так вот для англоязычных граждан выглядят наши ишуй-трекеры, когда там пишут по-русски: https://github.com/dwango/scala_text/pull/47
[21:03:51] <Minoru> мне особенно нравится вот эта строчка:
> windows、(自分は)確かめようがないので、まぁ動くならいいんじゃないでしょうか
Я уверен, что он ругается. «Windows, @#$%^&*!»
[21:20:17] rexim зашёл в конференцию
[21:24:31] asidorenko вышел из конференции
[21:24:41] <rexim> Minoru: миноришь?
[21:25:55] asidorenko зашёл в конференцию
[21:26:02] <rexim> А я сегодня славно порефакторил!
[21:26:12] <rexim> Очень доволен результатом
[21:26:13] <Minoru> rexim: http://0xd34df00d.me/logs/chat/codingteam@conference.jabber.ru/2016/03/08.html#19:52:37
[21:27:01] <rexim> Minoru: забавно, что у меня тоже.
[21:27:08] <rexim> Но мне почему-то это нравится :)
[21:27:46] <rexim> Minoru: я думаю, уже закончил, что хотел по моргани пока.
[21:27:56] <rexim> Наверное, следующий стрим будет по пакману.
[21:28:06] <rexim> Т.к. там тоже куча дела.
[21:28:19] <rexim> Надо все переводить на новую технику рендеринга.
[21:28:52] <rexim> Чтобы можно было делать плавные переходы между тайлами.
[21:29:03] <rexim> Дядюшка Нёвер уж очень этого хочет. :)
[21:31:09] <Minoru> имакш лишп! >_<
[21:31:23] <rexim> Тебе и это не нравится?
[21:31:31] <rexim> Плюсы?
[21:31:36] * Minoru вредный
[21:31:39] <rexim> Лол
[21:31:48] rexim вышел из конференции
[21:32:20] <Minoru> я не знаю, чего хочу. На стримы в последнее время ходил не столько смотреть, сколько заряжаться желанием что-то попилить
[21:35:25] rexim зашёл в конференцию
[21:42:14] Graf зашёл в конференцию
[21:42:22] Graf вышел из конференции
[21:42:37] <rexim> Morgning Tsoding
[21:42:38] <rexim> lol
[21:55:26] <Minoru> блин, из-за того, что моки глобальные, приходится тестировать в один поток. Целых восемь секунд :( И это у меня минимальный набор тестов, проверяющий только, что функции вызываются и возвращают что-то, похожее на правду!
[22:00:19] grouzen вышел из конференции
[22:06:08] yesyesyes зашёл в конференцию
[22:22:32] ckorzhik вышел из конференции
[22:38:36] Славный капитан вышел из конференции
[22:39:34] asidorenko вышел из конференции
[22:40:07] kpecmuk вышел из конференции
[22:44:23] <rexim> Minoru: ты такой миноряша!1
[22:44:32] rafaelrs вышел из конференции
[22:45:54] <Minoru> 3 files changed, 83 insertions(+), 198 deletions(-)
[22:46:09] <rexim> Minoru: so proud of you!
[22:46:13] <Minoru> вы спрашиваете, в чём мой секрет? ГОВНА НАПИСАЛ @ СЛЕДУЮЩИМ КОММИТОМ ВЫПИЛИЛ
[22:48:26] skair вышел из конференции
[22:59:16] Aman вышел из конференции: Replaced by new connection
[22:59:17] Aman зашёл в конференцию
[23:13:50] Aman вышел из конференции: Replaced by new connection
[23:13:51] Aman зашёл в конференцию
[23:20:48] gsomix вышел из конференции: This participant is kicked from the room because he sent an error presence: recipient-unavailable
[23:24:36] asidorenko зашёл в конференцию
[23:26:02] rafaelrs зашёл в конференцию
[23:28:06] portnov вышел из конференции
[23:35:18] Славный капитан зашёл в конференцию
[23:37:23] Mr.Purple вышел из конференции
[23:38:49] yesyesyes вышел из конференции
[23:42:27] <rexim> Пиздец
[23:42:31] <rexim> До чего я докатился
[23:42:40] <rexim> В скале создаю себе Identity монаду...
[23:42:45] Aman вышел из конференции
[23:43:06] <ɹǝɟılʍǝu> rexim, для каких целей?
[23:43:33] <rexim> ɹǝɟılʍǝu: для стейт трансформера над контекстом в моргании
[23:45:16] <ɹǝɟılʍǝu> rexim, клёва
[23:45:25] <ɹǝɟılʍǝu> rexim, моноид?
[23:45:57] <rexim> Тот самый стейт трансформер?
[23:46:11] <rexim> Я не знаю. Мне пока не нужно рассматривать его с точки зрения просто моноида.
[23:47:39] <ɹǝɟılʍǝu> rexim, а тогда как именно применяется identity?
[23:48:12] <rexim> ɹǝɟılʍǝu: в качестве заглушки к внутренней монады стейт трансформераю
[23:50:06] <rexim> ɹǝɟılʍǝu: если у меня что-нибудь получится юзабельно, я обязательно покажу
[23:51:07] <rexim> Просто я даже не уверен, что то, что я написал, вообще скомпилируется скалой %)
[23:51:28] <rexim> Скала ни раз доказывала, что она не настолько умна, как я о ней думаю.
[23:52:06] <Minoru> определять монаду, не подумав над инстансом моноида — богохульство :-O
[23:52:33] <rexim> И какого бога мы хульм в данном случае?
[23:52:48] <ɹǝɟılʍǝu> Minoru, я, кстати, очень хочу найти юзабельный пример моноида(
[23:53:06] <rexim> (N, +, 0)
[23:53:09] <rexim> (N, *, 1)
[23:54:13] <rexim> (R, max, -∞)
[23:54:18] <rexim> (R, min, ∞)
[23:54:40] <ɹǝɟılʍǝu> Хм, и правда.
[23:57:56] <Minoru> rexim: на самом деле я снова туплю, забывая, что моноид для определения монады не нужен. Прости! Будешь чай?
[23:58:15] <rexim> Minoru: спасибо, я уже 1.2 литра на стриме выпил.
[23:58:52] <Minoru> rexim :: Tea -> [Stream]
[23:59:28] <Славный капитан> rexim: а у тебя что, состояние изменяемое?
[23:59:35] <Славный капитан> немедленно отставить!
[23:59:49] <rexim> Славный капитан: слишком поздно...
Powered by freQ Powered by Python Valid XHTML 1.0 Transitional Valid CSS!