codingteam@conference.jabber.ru

codingteam

28.10.2014< ^ >

Тема: Тема: C, С++, D, Java, C#, Haskell, Python, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
http://i.imgur.com/oQL4t.jpg
Код выкладывать на http://hastebin.com/
Вопросы задавать в чат, а не в личку.
Наша организация на гитхабе: https://github.com/codingteam
Организация в Trello: https://trello.com/codingteam
Команда в битбукете: https://bitbucket.org/codingteam
Логи: http://tinyurl.com/ctcjr-logs
Упоминания о Flash, PHP, Pascal/Delphi/Borland, Basic, 1С караются съедением поциента.
Личкрафты: http://leechcraft.org
Horta Hell: https://github.com/codingteam/horta-hell | http://paste.org.ru/?oeqcga
LogList пока здесь: http://loglist.herokuapp.com/ | https://github.com/codingteam/loglist
Рисовалка: https://bitbucket.org/derptech/palette-swap/
Куча говнокода на питоне: https://github.com/kosc/neobug
Проблем решено: 0x18
Talking mixers registered: 1

[00:00:00] <m4n71k0r> ДА НУ БЛЯДЬ! КАК ЖЕ ДАЛЬШЕ ЖИТЬ?
[00:00:29] <m4n71k0r> строготипизированный, блядь, язык
[00:00:37] <folex> использовать scalaz
[00:00:54] <m4n71k0r> и shapeless за одно
[00:01:03] <folex> не, шейплесс-то зачем?
[00:01:06] <m4n71k0r> так
[00:01:12] <folex> он дохуя сложный
[00:01:13] <m4n71k0r> чтобы было хуёво всем
[00:01:16] <folex> лол
[00:01:29] <folex> :(
[00:01:37] <Akon32> scala> 1 == "a"
<console>:8: warning: comparing values of types Int and java.lang.String using `==' will always yield false
1 == "a"
^
res0: Boolean = false
[00:01:37] <folex> говноебаное
[00:01:41] <Akon32> ок же.
[00:01:47] <folex> чо ок блядь
[00:01:50] <folex> что ок
[00:01:54] <folex> я тебя спрашиваю?
[00:01:57] <folex> ВСЁ. ПЛОХО.
[00:01:57] <Akon32> 1 не равно "а" !
[00:02:06] <folex> твоя ма^U
[00:02:12] <folex> плохо всё
[00:02:37] <folex> пиздец, уже даже алкоголь не купишь
[00:02:41] <m4n71k0r> по мне так он должен как джава обосраться и сказать, что нехуй сравнивать жидкое с красным
[00:02:59] <Akon32> в java можно вроде.
[00:03:04] <folex> а джава выдает эксепшн?
[00:03:20] <Akon32> boolean equals(Object o)
[00:03:27] <m4n71k0r> http://ideone.com/rGgvte
[00:03:37] <m4n71k0r> нет, какой ещё эксепшоН?
[00:03:43] <m4n71k0r> конопилтайм
[00:04:04] <Akon32> #нунихуясебе
[00:04:12] xspeed вышел из конференции
[00:04:38] <Akon32> http://ideone.com/auHZm3
[00:05:06] <folex> m4n71k0r: я имел ввиду компайл-тайм эксепшн
[00:05:12] <Minoru> уже и Акон в чат матерится… До чего конфу довели…
[00:05:16] <folex> почему в джаве так, а в скалке нет? хуита
[00:05:29] <folex> даже в сорцы не глянешь
[00:05:47] <Akon32> потому что == в скалке - это equals в джавке!
[00:05:53] <m4n71k0r> да
[00:06:04] <m4n71k0r> это equals
[00:06:21] <m4n71k0r> можешь посмотреть высер
[00:06:24] <folex> не-а
[00:06:31] <folex> точнее не так
[00:06:36] <folex> что тогда в скалке equals?
[00:07:30] <m4n71k0r> каким-нибудь scalac/javap
[00:07:39] <Akon32> http://ideone.com/A0LHty
[00:07:45] ckorzhik зашёл в конференцию
[00:10:15] <m4n71k0r> Akon32: кстати, сколько лет ты уже джаву тыкаешь?
[00:10:16] <folex> короче пиздец
[00:10:18] <folex> говно ебаное
[00:10:37] <Akon32> лет, эээ, 6..
[00:11:04] <m4n71k0r> матёрый
[00:11:34] <Akon32> уже и забывать стал)
[00:13:06] <uggur> ткнул один раз и бросил?
[00:13:42] <Minoru> удачно ткнул, она сдулась!
[00:13:50] <uggur> лол
[00:13:53] <uggur> джава ОК
[00:14:18] <uggur> Если бы не джава, тебе бы пришлось кодить энтерпрайз на делфях или коболе
[00:14:27] <Minoru> лол
[00:14:37] <Minoru> я кодил энтерпрайз на Perl
[00:14:38] <m4n71k0r> uggur feed
[00:14:46] <folex> на бейсике?
[00:14:48] <folex> !*
[00:14:55] <Akon32> на 1С
[00:15:06] <m4n71k0r> на 2D !
[00:15:08] <Akon32> Ъ-тырпрайз
[00:15:10] <uggur> 1С -- это переведенный ПРОМТом диалект бейсика.
[00:16:13] <uggur> m4n71k0r: Befunge?
[00:17:00] <uggur> Кстати, а почему действительно нет 2D языков?
[00:17:37] <folex> что бы никто не облизывал 2D людей
[00:18:54] <Minoru> 2D язык — это как? У меня весь код плоский — мои язычки 2D?
[00:19:20] <uggur> Minoru: У тебя одномерный, не?
[00:19:28] <uggur> Ход выполнения в одну сторону же?
[00:19:36] <uggur> линейно
[00:19:42] <uggur> с кольцами
[00:19:51] <Minoru> а, ты о ходе выполнения. Ты хочешь программировать клеточные автоматы?
[00:19:56] <uggur> с прыжками
[00:20:14] <uggur> Minoru: Ну да, вроде клеточных автоматов, только на гетерогенном пространстве.
[00:20:21] <rexim> uggur, уггурушка!
[00:20:30] <uggur> rexim: рексимушка!
[00:20:33] <uggur> :3
[00:20:51] <rexim> Тебя так редко слышно, что я даже соскучился. :3
[00:21:01] <uggur> Я по тебе тоже скучал :)
[00:22:20] Akon32 вышел из конференции
[00:22:29] <rexim> Ладно, всем снов, няшки! _о/
[00:22:32] Akon32 зашёл в конференцию
[00:22:32] Akon32 вышел из конференции
[00:22:34] rexim вышел из конференции
[00:29:10] <folex> пойду я домой
[00:29:44] <folex> а то какие-то двумерные языки
[00:29:47] <folex> клеточные автоматы
[00:29:51] * folex такое не умеет
[00:30:13] <folex> зато фолекс уже до половины дочитал книжку по сетевой криминалистике!
[00:30:19] <folex> скоро будет криминализировать
[00:30:25] <uggur> folex: Сколько дадут?
[00:30:40] folex вышел из конференции
[00:33:45] <Zetoke> folex: домой?
[00:33:48] <Zetoke> В 12 часов ночи?
[00:36:43] uggur вышел из конференции: Replaced by new connection
[00:36:50] uggur зашёл в конференцию
[00:36:50] a1batross вышел из конференции: Disconnected: Replaced by new connection
[00:36:51] a1batross зашёл в конференцию
[00:40:28] m4n71k0r вышел из конференции
[00:45:52] kosc вышел из конференции: Disconnected: connection closed
[00:58:36] <ɹǝɟılʍǝu> https://ru.wikipedia.org/wiki/Омское_время
[01:08:50] grouzen зашёл в конференцию
[01:13:23] sss|zombie зашёл в конференцию
[01:13:33] sss|zombie вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: remote-server-not-found
[01:16:16] a1batross вышел из конференции: Disconnected: Replaced by new connection
[01:16:17] a1batross зашёл в конференцию
[01:26:49] dzhon вышел из конференции
[01:58:57] anickone вышел из конференции
[02:08:26] hinst вышел из конференции
[02:15:09] sss|zombie зашёл в конференцию
[02:15:19] sss|zombie вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: remote-server-not-found
[02:26:38] ktt9 зашёл в конференцию
[02:26:42] <ktt9> Привет.
[02:26:45] <ktt9> Есть кто живой?
[02:26:49] <ktt9> ForNeVeR:
[02:26:52] <ktt9> Ты мне нужен.
[02:27:39] <Minoru> привет
[02:27:42] <Minoru> что у тебя за вопрос?
[02:27:51] <Minoru> зачем тебе Владыка конфы? Он спит
[02:28:14] <ktt9> У меня к нему вопрос.
[02:28:20] <ktt9> На который, я ведаю, он ответит.
[02:28:45] <ktt9> Вопрос такой: почему GHCi поступает так, а не иначе?
Prelude> :type [1,[2,3],4]
[1,[2,3],4] :: (Num [t], Num t) => [[t]]
[02:29:43] <Minoru> O_O
[02:29:51] <Minoru> ну, во-первых, есть haskell@cjr
[02:29:59] <Minoru> во-вторых, на хаскеле здесь пишет не только Форневерик
[02:30:05] <Minoru> но, например, ещё и я
[02:30:08] <ktt9> Он единственный, про кого я знаю.
[02:30:10] <Minoru> и у тебя странный, интересный вопрос!
[02:30:11] <ktt9> Что пишет.
[02:30:18] <ktt9> Оо.
[02:30:20] <ktt9> Ну ок.
[02:30:21] <ktt9> Тогда с:
[02:30:52] <Minoru> честно говоря, я затрудняюсь тебе ответить
[02:31:09] <ktt9> Хумм.
[02:31:22] <Minoru> тебе на каком уровне ответ нужен? Почему вывод типов решает сделать так, а не руганутся? Или что значит сигнатура? Или что?
[02:31:35] <ktt9> >Почему вывод типов решает сделать так, а не ругануться?
[02:31:38] <ktt9> Именно.
[02:31:46] <ktt9> Потому что очевидно, что это невалидный лист.
[02:32:17] <ktt9> Ну и да. Что значит Num [t], тоже довольно интересно.
[02:32:34] <Minoru> ну, инстанс тайпкласса, что тут непонятного?
[02:33:04] <ktt9> Нуу. Окай.
[02:33:08] <ktt9> Это понятно.
[02:33:14] <Minoru> instance Num [t] where
x + y = …
x * y = …
…
[02:33:30] <Minoru> наверное, там ещё forall t. нужно будет
[02:33:37] <Minoru> но я не уверен, что можно так делать в тайпклассах
[02:33:46] <ktt9> То есть у нас для спискоты t нужно будет определить вот эти все операции?
[02:33:46] <Minoru> точно проканало бы Num [Int], например
[02:34:18] <Minoru> на самом деле, я не уверен, что даже после определения вышеупомянутого инстанса всё скомпилится
[02:34:26] <Minoru> потому что у списка не может быть тип Num t => t
[02:34:31] <Minoru> он должен быть специализирован
[02:34:44] <Minoru> до конкретного типа, например, Int или [Int]
[02:34:47] <Minoru> а!
[02:34:52] <Minoru> возможно, это и есть ответ
[02:35:12] <Minoru> тайпчекеру в данном случае может не хватать информации о списке, и он показывает тебе констрейнты
[02:35:22] <Minoru> а то, что их нельзя удовлестворить, должен увидеть ты сам
[02:37:29] <ktt9> О, хм.
[02:37:33] <ktt9> Понятно.
[02:37:35] <ktt9> Спасибо.
[02:38:27] <Minoru> но ты погоди
[02:38:53] <Minoru> лол, написал инстанс
[02:39:00] <Minoru> x + y = undefined
[02:39:04] <Minoru> и так все операторы
[02:39:08] <Minoru> в итоге:

*Main> [1, [2, 3], 4]
[*** Exception: Prelude.undefined
[02:39:22] <Minoru> вопрос: что оно пыталось сделать, что там оказался undefined?
[02:39:27] <ktt9> D:
[02:40:11] <Minoru> fromInteger оно хотело сделать
[02:40:13] <Minoru> для списка
[02:40:29] <Minoru> а, может и не для списка даже
[02:40:54] <Minoru> даже head [1, [2, 3], 4] взрывается
[02:40:56] <Minoru> страннота
[02:41:22] <Minoru> я пойду в haskell@ перезадам этот вопрос, авось кто не спит там
[02:41:31] <ktt9> Давай.
[02:43:53] <ktt9> >The monomorphism restriction is not applied to the expression during type inference.
[02:44:03] <ktt9> Minoru: а может в этом дело?
[02:44:37] <Minoru> включи обратно и глянь
[02:45:32] <Minoru> не-а, и с -XMonomorphismRestriction, и с -XNoMonomorphismRestriction результат одинаковый
[02:46:26] a1batross вышел из конференции: Disconnected: Replaced by new connection
[02:46:27] a1batross зашёл в конференцию
[02:49:45] <ktt9> Minoru, а поясни тогда за Num [t]
[02:49:47] <ktt9> Пожалуйста.
[02:49:51] <ktt9> Что это означает?
[02:50:33] <Minoru> это означает, что для любого типа t список таких элементов реализует тайпкласс Num, то есть над ним можно выполнять операции +, *, -, abs, signum и fromInteger
[02:50:45] <Minoru> negate ещё, да
[02:51:08] ckorzhik вышел из конференции
[02:51:53] <ktt9> Над самим списком?
[02:51:58] <Minoru> да
[02:52:00] <ktt9> Ого.
[02:52:05] <ktt9> Понятно.
[02:52:06] <ktt9> Спасибо.
[02:52:13] <ktt9> Хм.
[02:52:16] <Minoru> очевидно, что раз t какой угодно, то операторы от него зависеть не могут
[02:52:45] <Minoru> более того, раз нет констрейнта Num t, значит, над самими элементами списка эти операции, возможно, выполнять и нельзя!
[02:52:59] <ktt9> А почему тогда :t ['a', ['b', 'c'], 'd'] разваливается тут же?
[02:53:06] grouzen вышел из конференции
[02:53:16] <Minoru> короче, сигнатуры — шик. Сразу понятно, что плюс, минус и прочие могут оперировать только формой списка, но никак не содержимым
[02:53:23] <Minoru> «разваливается»?
[02:53:37] <ktt9> Couldn't match expected type ‘Char’ with actual type ‘[Char]’
[02:53:43] <ktt9> Не выполняется.
[02:53:48] <Minoru> гм, и правда
[02:55:19] <Minoru> возможно, ты был прав (права?) по поводу monomorphism restriction
[02:55:27] <Minoru> ибо я сейчас сделал data T = T Int
[02:55:36] <Minoru> Prelude> data T = T Int
Prelude> :t [T 1, [T 2, T 3], T 4]

<interactive>:1:7:
Couldn't match expected type ‘T’ with actual type ‘[T]’
In the expression: [T 2, T 3]
In the expression: [T 1, [T 2, T 3], T 4]
[02:55:50] <Minoru> как видишь, ошибка такая же, как и с Char
[02:55:52] <ktt9> Prelude> :t [1.0,[2,3],4]
[1.0,[2,3],4] :: (Num t, Fractional [t]) => [[t]]
Prelude> :t [1,[2.0,3],4]
[1,[2.0,3],4] :: (Num [t], Fractional t) => [[t]]
[02:56:17] <Minoru> эта ситуация отличается от ситуации с простыми цифрами тем, что для цифр непонятно, что это за тип — Int или Integer
[02:56:54] <ktt9> Prelude> :t [1::Int,[2,3],4]

<interactive>:1:9:
Couldn't match expected type ‘Int’ with actual type ‘[t0]’
[02:57:11] <Minoru> monomorphism restriction примерно об этом и есть — он требует от ghci найти конкретный тип, а не оставлять Num t => t, например
[02:57:21] <ktt9> Ну теперь всё понятно.
[02:57:44] <Minoru> мне ещё не понятно
[02:57:51] <Minoru> поясняй теперь ты :)
[02:58:10] <ktt9> У нас выводилка типа выводит не типы, а ограничения на типы.
[02:58:22] <ktt9> Если не может вывести явный тип.
[02:58:40] <Minoru> но я делал ghci -XMonomorphismRestriction!
[02:58:44] <ktt9> А тип (Num [t], Num t) => [[t]] неправильным не является.
[02:58:49] <Minoru> оно должно было заставить ghci вывести конкретный тип
[02:58:55] <ktt9> Хумм.
[02:59:02] <Minoru> (насколько я понимаю)
[02:59:07] <Minoru> пойду перечитаю вики, минутку
[03:00:58] <Minoru> нет, вроде всё я правильно понимаю
[03:01:16] <Minoru> правда, оно вроде как на функции распространяется
[03:01:34] <Minoru> > The monomorphism restriction is a rule that affects the automatic inference of the type of an expression when no explicit type signature is provided.
[03:01:42] grouzen зашёл в конференцию
[03:01:45] <Minoru> ок, на выражения. Код выше — выражение
[03:01:51] <ktt9> Хм, вот да.
[03:04:56] <ktt9> А как вообще работает проверка типов в Х-лле?
[03:05:09] <0xd34df00d> По Хиндли-Милнеру.ю
[03:05:12] <0xd34df00d> Олсо, почитал лог.
[03:05:15] <0xd34df00d> Не понимаю, в чём вопрос.
[03:05:17] <0xd34df00d> Всё работает как надо.
[03:05:23] <0xd34df00d> Литералы интерпретируются как любой Num.
[03:05:23] <Minoru> да?
[03:05:29] <ktt9> Угх.
[03:05:29] <0xd34df00d> Хаскель проверяет типы относительно лениво.
[03:05:42] <0xd34df00d> Пока ты не заюзаешь список в конкретной операции, всё работает.
[03:05:46] <Minoru> а разве MonomorphismRestriction не требует вывести конкретный тип?
[03:06:17] <0xd34df00d> Я не уверен, что оно работает для REPL'а.
[03:06:24] <Minoru> я его включал принудительно
[03:06:31] <Minoru> ghci -XMonomorphismRestriction
[03:06:41] <0xd34df00d> Тащем-та.
[03:06:50] <0xd34df00d> Prelude> :l Main
[1 of 1] Compiling Main ( Main.hs, interpreted )

Main.hs:1:6:
No instance for (Num [t0]) arising from the literal ‘1’
In the expression: 1
In the expression: [1, [2, 3]]
In an equation for ‘a’: a = [1, [2, 3]]

Main.hs:1:10:
No instance for (Num t0) arising from the literal ‘2’
The type variable ‘t0’ is ambiguous
Relevant bindings include a :: [[t0]] (bound at Main.hs:1:1)
Note: there are several potential instances:
instance Num Double -- Defined in ‘GHC.Float’
instance Num Float -- Defined in ‘GHC.Float’
instance Integral a => Num (GHC.Real.Ratio a)
-- Defined in ‘GHC.Real’
...plus three others
In the expression: 2
In the expression: [2, 3]
In the expression: [1, [2, 3]]
Failed, modules loaded: none.
[03:06:55] <0xd34df00d> Ой, сорь, Да с Нет перепутал.
[03:08:19] <ktt9> То есть суть в том.
[03:09:06] <ktt9> Что дальше дефолтного положения о том, что числовой литерал без явного указания типа имеет тип (Num t) => t, дело не идёт?
[03:09:30] <0xd34df00d> В repl — да.
[03:09:34] <ktt9> Даже если известно, что не существует инстансов Num ни для каких [t]?
[03:09:37] <ktt9> А.
[03:09:37] <0xd34df00d> Можешь написать этот код в .hs и попробовать его загрузить.
[03:09:41] <ktt9> Ну он это и не проверяет.
[03:09:44] <0xd34df00d> (что я и сделал выше)
[03:09:45] <ktt9> Про .hs-то понятно.
[03:10:35] <ktt9> А, вот ещё что.
[03:11:55] <ktt9> Почему у нас тип в итоге получается [[t]]?
[03:12:33] <0xd34df00d> Потому что удовлетворяет уравнениям в Х-М :]
[03:12:34] folex зашёл в конференцию
[03:12:47] <ktt9> Хм.
[03:12:54] <ktt9> А не мог бы ты вкратце пояснить, каким?
[03:12:56] <folex> uggur: всё отдадут
[03:13:12] <folex> $wtf ktt9
[03:13:14] <horta hell> folex: Определение не найдено.
[03:13:17] <folex> .whois ktt9
[03:13:18] <DeadBot> folex: member/participant
online(Доступен)
зашел в конфу 28.10.14 02:26:38
уровень доступа: 4
[03:13:28] <folex> .time DeadBot
[03:13:28] <DeadBot> folex: хз
[03:13:32] <folex> ._.
[03:14:14] <0xd34df00d> ktt9: давай с обратной стороны.
[03:14:20] <0xd34df00d> Подходит ли [[t]]?
[03:14:25] <horta hell> Entanglement тихонько поскуливает от боли в пустом желудке.
[03:14:30] <Minoru> $pet feed
[03:14:31] <horta hell> Minoru: Entanglement с рыком набросился на Minoru, вцепившись зубами в ногу и выдирая кусок ткани штанов с кошельком. Вы теряете 1PTC, зато Entanglement накормлен.
[03:14:33] <Minoru> $pet heal
[03:14:35] <0xd34df00d> А подходит, потому что та часть, что [[2, 3]], очевидно, подсписок.
[03:14:36] <horta hell> Minoru: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[03:14:49] <0xd34df00d> А та часть, что [1], катит как список списков, потому что Num [t]
[03:15:01] <0xd34df00d> (Собственно, если я правильно понимаю, отсюда и констрейнт).
[03:15:20] <0xd34df00d> Вернее, наоборот.
[03:15:34] <0xd34df00d> Считай, что [1, [2, 3]] — список объектов некоторого типа t.
[03:15:38] <ktt9> Ага.
[03:15:45] <0xd34df00d> При этом 1 — Num t, значит, и [2, 3] тоже должно быть Num.
[03:15:49] <0xd34df00d> И сразу получаем Num [t].
[03:15:51] <ktt9> Да.
[03:15:51] <0xd34df00d> И тогда всё хорошо.
[03:15:57] <ktt9> Ага.
[03:16:21] * Minoru все равно не понял
[03:16:26] <ktt9> А [2,3] - список Num, поэтому получаем Num t
[03:16:28] <Minoru> первый элемент имеет тип t, второй — [t]
[03:16:34] <ktt9> Как мудро.
[03:16:38] <Minoru> как это согласуется с сигнатурой списка [[t]]?
[03:16:41] <ktt9> Вот да.
[03:16:47] <ktt9> Этот момент мне тоже пока не понятен.
[03:17:12] <ktt9> Или у нас тут уроборос?
[03:17:18] <0xd34df00d> Minoru: список [t], а 1 может быть a => Num a, а [t] — Num [t], значит, 1 — список.
[03:17:22] <ktt9> Ну, сорта.
[03:17:25] <ktt9> А, ну да.
[03:17:34] <0xd34df00d> Рикаминдую поставить шрифт с разными латинскими и кириллическими a.
[03:17:52] <0xd34df00d> Бля, хаскель ппц говно.
[03:18:13] <ktt9> Что же тогда не говно?
[03:18:19] <0xd34df00d> Джаваскрипт!
[03:18:29] <ktt9> о:
[03:18:33] <ktt9> Смелое заявление.
[03:18:40] <0xd34df00d> Я ваще дерзкий пацанчик.
[03:20:07] <Minoru> не так
[03:20:19] <Minoru> имеем список, первый элемент (1) имеет тип t0
[03:20:41] <Minoru> второй элемент ([2,3]) имеет тип t1
[03:20:53] <Minoru> 2 имеет тип t0
[03:20:56] <Minoru> 3 тоже
[03:20:58] <0xd34df00d> t0 = t1
!
[03:21:02] <0xd34df00d> Minoru: эм, кто сказал?
[03:21:02] <Minoru> итого, t1 — это [t0]
[03:21:12] <Minoru> поэтому в итоге список имеет тип [[t0]]
[03:21:13] <Minoru> так?
[03:21:21] <0xd34df00d> Непонятно, почему 2 имеет тип t0.
[03:21:43] <Minoru> ты же сам говорил — Num a => a
[03:21:50] <Minoru> у меня просто s/a/t0/
[03:22:00] <Minoru> да, констрейнты я не указывал, но они есть
[03:22:12] <0xd34df00d> Нет, почему ;t 2 == :t 1?
[03:22:25] <0xd34df00d> Пруф:
[03:22:26] <Minoru> потому что и то, и другое — числа, нет?
[03:22:27] <0xd34df00d> Prelude> :t (2, 1)
(2, 1) :: (Num t1, Num t) => (t, t1)
[03:22:28] <Minoru> литералы
[03:22:32] <Minoru> а, да
[03:22:37] <Minoru> гм
[03:22:49] <ktt9> первый элемент (1) имеет тип (Num t0) => t0
второй элемент имеет тип (Num t1) => [t1]
[03:23:01] <Minoru> о, вот
[03:23:02] <Minoru> верно
[03:23:16] <Minoru> а, всё, понял
[03:23:27] <0xd34df00d> И t0 = t1.
[03:23:28] <0xd34df00d> Именно.
[03:23:32] <0xd34df00d> > [02:20:32] 0xd34df00d: t0 = t1
[03:23:34] <Minoru> да уж :)
[03:24:05] <ktt9> А переменные типа равны в том случае, если они принадлежат одинаковому набору тайпклассов?
[03:24:25] <0xd34df00d> Не обязательно.
[03:24:36] <0xd34df00d> Наверное, даже не необходимо.
[03:25:20] <Minoru> равны, если они все в списке, например
[03:25:34] <Minoru> или любой другой конструкции, утверждающих, что они одинаковые
[03:25:45] <Minoru> например, data forall a.X = X a a
[03:26:47] <ktt9> Угх.
[03:26:55] <Minoru> вообще, сходу контрпример — Float и Double
[03:26:59] <Minoru> или Int и Integer
[03:27:12] <Minoru> набор тайпклассов один и тот же (для каждой пары), а типы разные
[03:27:32] <ktt9> Ага.
[03:27:37] <ktt9> Но я не это имел в виду.
[03:27:57] <ktt9> У нас получилось так, что (Num t0) => t0 должно быть равно (Num t1) => [t1]
[03:28:18] <0xd34df00d> Именно.
[03:28:33] <Minoru> ты не понял, почему после этого мы сказали, что t0 = t1?
[03:29:16] <ktt9> Да.
[03:29:17] <ktt9> Это тоже.
[03:29:32] <ktt9> Но я вообще не понял, как из этого в итоге получилось (Num [t], Num t) => [[t]]
[03:29:37] <Minoru> не из этого
[03:29:44] <Minoru> из этих двух фактов нельзя такой вывод делать
[03:29:48] <Minoru> но у нас есть третий факт
[03:29:48] <ktt9> Ага.
[03:29:58] <Minoru> и t0, и t1 в одном списке!
[03:30:21] <ktt9> t0 и [t1] же.
[03:30:39] <Minoru> а т.к. списки в Хаскеле гомоморфные, т.е. все элементы в них одного типа, то и вышло, что t0 = [t1]
[03:30:59] <Minoru> да, я ошибся там
[03:31:05] <ktt9> Ага.
[03:31:06] <ktt9> Ну.
[03:31:42] <Minoru> («гомоморфные» ли? Что-то я не уверен в термине. forall a.[a] короче)
[03:31:51] <ktt9> Гомогенные.
[03:31:53] <ktt9> Наверное.
[03:31:55] <Minoru> о!
[03:31:57] <Minoru> да :)
[03:31:59] <Minoru> спасибо
[03:32:02] <ktt9> с:
[03:33:33] <folex> Minoru: но явно же видно, что t0 не удовлетворяет []
[03:33:45] <folex> [] — это же конструктор, а его в t0 не используется
[03:34:11] <folex> хотя я не знаю, как хацкель проверяет "удовлетворяет ли тип []"
[03:34:21] <folex> и корректно ли так говорить вообще
[03:35:59] <Minoru> я тебя не понл
[03:36:05] <Minoru> компилятор тем более не поймёт
[03:36:12] <Minoru> define t0 удовлетворяет тип []
[03:37:42] <folex> > не знаю, корректно ли так говорить вообще
[03:38:13] <folex> Minoru: ну мне кажется странным, что явно такой "скалярный" тип хаскель может спокойно привести к списку чего-то другого
[03:38:32] <Minoru> t0 — скалярный тип? С чего ты взял?
[03:38:47] <folex> потому что он был выведет из литерала
[03:39:00] <Minoru> все проблемы оттого, что компилятор смотрит на единичку, а тайпчекеру говорит «вижу Num a => a»
[03:39:05] grouzen вышел из конференции
[03:39:09] <folex> ну да
[03:39:16] <Minoru> а тот, бедняга, пыжится потом, пытаясь всю эту херню в кучу свести
[03:39:37] <folex> но нельзя же взять и сказать, что произвольный Num a — это [something]
[03:40:05] <folex> я бы спокойно принял сигнатуру [Num a] например
[03:40:09] <Minoru> можно, почему нельзя?
[03:40:12] <folex> хотя она не корректна
[03:40:29] <folex> Minoru: потому что я не вижу, почему можно
[03:40:47] <folex> собственно, мой вопрос как раз в том, каким образом можно привести Num a к [something]
[03:41:26] <folex> $pet stats
[03:41:33] <horta hell> folex:
Кличка: Entanglement
Здоровье: 28
Сытость: 92
Возраст: 43 часов
[03:41:36] <folex> $pet heal
[03:41:37] <horta hell> folex: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[03:41:47] <Minoru> $pet heal
[03:41:47] <horta hell> Minoru: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[03:41:54] <Minoru> быстрее!
[03:42:06] <Minoru> про приведение в другой раз
[03:42:10] <ktt9> $pet heal
[03:42:10] <horta hell> ktt9: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[03:42:10] <folex> Minoru: ну так как так получается?
[03:42:11] <Minoru> я уже туплю
[03:42:11] <folex> :(
[03:42:17] <ktt9> Угх.
[03:42:19] <folex> Minoru: ну попробуй еще раз
[03:42:25] <ktt9> Minoru: ткни меня тогда, как созреешь.
[03:42:31] <ktt9> Потому что я тоже не понимаю.
[03:42:40] <Minoru> ладно, стойте тут, не уходите
[03:42:42] <ktt9> Как он вот по шагам.
[03:42:44] <folex> можно ткнуть дедфуда, конечн
[03:42:50] <ktt9> Выводит такой интересный тип.
[03:43:02] <Minoru> ну, он смотрит — список
[03:43:10] <Minoru> первый элемент имеет тип Num t => t
[03:43:37] <Minoru> второй — Num t => [t]
[03:43:41] <folex> Меня смущает то, что у него получается взять неизвестный тип t0, и сказать, что это список. Может t0 — такой тип, который нельзя засунуть в список, от этого распидорасит весь мир.
[03:44:02] <Minoru> ой, простите, во втором пусть будет t1
[03:44:05] <Minoru> а в первом t0
[03:44:07] <folex> не так же.
Num t0 => t0
[03:44:08] <folex> ага
[03:44:16] <Minoru> в общем, смотрит на это дело
[03:44:28] <Minoru> и т.к. это элементы одного списка, то и типы у них должны совпадать
[03:44:48] <Minoru> какой у Num t => t и Num t => [t] может быть наиболее общий тип?
[03:44:58] <Minoru> чтобы и то, и другое можно было в него впихнуть?
[03:44:59] <folex> t0* t1*
[03:45:07] <folex> какой-нибудь неизвестный тип t3
[03:45:19] <Minoru> да-да, я уже циферки снова потерял, простите :(
[03:45:19] <ktt9> Который удовлетворяет каким ограничениям?
[03:45:20] <folex> но не []
[03:45:25] <Minoru> о, ограничения
[03:45:28] <Minoru> давайте про ограничения
[03:45:35] <folex> ktt9: таким, что под него подходят и t0, и [t1]
[03:45:50] <folex> типа "общий" для них
[03:46:36] <Minoru> гм
[03:46:50] <Minoru> получается, что тайпчекер просто берёт наиболее общий из двух, что ли?
[03:46:56] <folex> ну это логично
[03:47:09] <folex> только вот [[t3]] не подходит как наиболее общий, имхо
[03:47:19] <Minoru> [t3]
[03:47:20] <folex> если вдруг сказать, что common(t0, [t1]) == [[t3]], то это будет означать, что t0 == [t4]
[03:47:29] <Minoru> мы сейчас об типе для элементов списка, а не о типе самого списка
[03:47:48] <ktt9> Кстати да.
[03:48:14] <Minoru> настало время открывать уравнения Хиндли-Миллера!
[03:48:20] <Minoru> *Милнера
[03:48:42] <ktt9> Ооо.
[03:49:05] <ktt9> У нас список будет [] и в литерале и в типе его.
[03:49:23] <ktt9> Это запутывает.
[03:49:35] <folex> постойте, в итоге [1,[2,3],4] — невалидно же?
[03:49:44] <ktt9> Ага.
[03:49:49] <ktt9> Но тип у него валидный.
[03:49:50] <folex> а, ну тогда всё ясно
[03:49:57] <folex> валидный?
[03:49:58] <ktt9> >тип у него валидный.
[03:50:02] <ktt9> Да.
[03:50:04] <folex> а, ок
[03:50:09] <folex> t [1,[2,3],4]
[1,[2,3],4] :: (Num [t], Num t) => [[t]]
[03:50:19] <folex> в итоге-таки не t0 и t1
[03:50:24] <folex> а t
[03:52:02] <ktt9> Ну само собой.
[03:52:19] <ktt9> У нас же не может быть списков из разных типов элементов.
[03:53:15] <Minoru> всё же common(t0, [t1]) = [t2]
[03:53:35] <folex> implies t0 == [t4]
[03:53:47] <ktt9> Нет.
[03:53:53] <ktt9> Что t0 можно привести к t4
[03:54:05] <ktt9> Что есть функция f :: t0 -> [t4]
[03:54:15] <Minoru> то есть если мы видим список, в котором есть некий элемент и список неких элементов, значит, нужно обобщать, то есть считать, что элементы имеют тип «список элементов»
[03:54:46] <ktt9> Наверное так.
[03:54:53] <ktt9> Но в Х-М же нет никаких списков.
[03:55:09] <Minoru> нету
[03:55:13] <Minoru> я тоже расстроился
[03:56:09] <ktt9> У меня вообще подозрение, что тут всё очень тупо.
[03:56:11] <ktt9> Типа.
[03:56:21] <ktt9> Сначала - у нас список.
[03:56:24] <ktt9> Тип [t]
[03:56:31] <ktt9> Смотрим первый элемент.
[03:56:47] <ktt9> Тип становится Num t0 => [t0]
[03:56:54] <Minoru> это же CSP
[03:56:56] <Minoru> тут нет порядка
[03:57:06] <ktt9> Кто?
[03:57:09] <Minoru> есть только выводы и юнификация
[03:57:19] <Minoru> constrain satisfacton problem
[03:57:29] <Minoru> *constraint
[03:58:13] <Minoru> не знаю, кто ты, но тебе могли в курсе дискретной математики или в курсе по алгоритмам рассказывать о системах вывода
[03:58:21] <Minoru> вот это они и есть
[03:58:37] <Minoru> принцип тот же, по крайней мере
[04:00:43] <ktt9> Но как-то же этот результат получается.
[04:01:13] <folex> короче я понял
[04:01:20] <folex> набросил в #haskell, мне объяснили
[04:01:38] <ktt9> О.
[04:01:42] <folex> folex 3:01 so haskell tries to convert `Num t => t` to `Num [t] => t` ?
eitan_chatav 03:01 yes, but the two fromInteger's there are different (different ranges)
[04:01:54] <folex> eitan_chatav 03:00 you should really read [1,[2,3],4] as [fromInteger 1, [2,3], fromInteger 4]
[04:02:20] <folex> короче суть в том, что если попробовать "обобщить" Num t до Num [t], то это возможно
[04:02:41] <ktt9> >you should really read [1,[2,3],4] as [fromInteger 1, [2,3], fromInteger 4]
why should i?
[04:02:41] <folex> если у нас для t есть instance Num [t], то мы просто вызовет fromInteger
[04:02:59] <folex> вызовем*
[04:03:05] <folex> и получим наше Num [t]
[04:03:29] <Minoru> это объясняет взрывающийся undefined при head [1, [2,3]]
[04:03:36] <folex> > [fromInteger 1 :: [t], [fromInteger 2 :: t, fromInteger 3 :: t], fromInteger 4 :: [t]]
[04:03:44] <folex> ktt9: понял?
[04:04:06] <ktt9> А fromInteger - это чье?
[04:04:10] <folex> Num
[04:04:12] <folex> rtfm?
[04:04:16] <folex> http://hackage.haskell.org/package/base-4.7.0.1/docs/Prelude.html#t:Num
[04:04:31] <folex> короче прикольно
[04:04:54] <folex> я как задал вопрос, все как начали хуярить прямо в конфе боту в репл свои ебучие тайпклассы
[04:04:56] <folex> пиздец
[04:05:23] <Minoru> нагуглил вот что:

> \theta_1 is an instance of \theta_2 if iff \exists \theta such that \theta_1 = \theta \circ \theta_2
http://www.cs.uml.edu/~dimock/courses/languages/Spring2005/lectures/ml-inf-4up.pdf страница четыре
[04:05:57] <Minoru> в нашем случае \theta — это \x -> [x]
[04:06:11] <Minoru> поэтому мы можем Num t => t превратить в Num t => [t]
[04:06:13] <Minoru> я так понял
[04:06:21] <Minoru> вообще я уже засыпаю, так что лучше замолчу
[04:06:53] <folex> я не оч понял лекцию
[04:06:59] <ktt9> folex: нет. Боюсь, что не до конца.
[04:07:01] <ktt9> Ладно.
[04:07:06] <ktt9> Завтра будет проще :D
[04:07:11] <folex> но вот что я понял: у нас есть _желание_ превратить литерал 1 в Num [t]
[04:07:17] <folex> а еще мы ленивые
[04:07:34] <folex> и поэтому мы предполагаем, что у литерала 1 типа t есть instance Num [t]
[04:07:54] <ktt9> А такое желание у нас появляется после того, как мы натыкаемся на [2] в качестве второго элемента?
[04:08:06] <ktt9> И пытаетмся привести t1 к [t2]
[04:08:14] <folex> угу
[04:08:22] <ktt9> Prelude> :t [1,[2.2,3],4]
[1,[2.2,3],4] :: (Num [t], Fractional t) => [[t]]
[04:08:24] <ktt9> Во.
[04:08:30] <ktt9> Кажется, более показательный пример.
[04:08:39] <folex> ну типа да
[04:09:13] <folex> вместо Num подойдет любой тип, у которого есть методы, которые залифтят его куда надо
[04:09:18] <folex> любой тайпкласс
[04:09:47] <ktt9> Как я понял, он просто не вычисляет типы дальше.
Наткнулся на первый -- (Num t) => [t]
На второй -- (Fractional t, Num [t]) => [[t]]
[04:09:49] <ktt9> Всё.
[04:10:02] <ktt9> Шизофрения тайпчекера.
[04:10:14] <ktt9> Хм, кажется я понял его логику.
[04:12:02] <folex> Чо шизофренического?
[04:12:11] <folex> Fractional t вообще ничо не значит
[04:12:18] <ktt9> Как это не значит.
[04:12:27] <folex> для вывода [[t]] не значит
[04:12:46] <ktt9> А, ну это да.
[04:13:46] <ktt9> Prelude> :t [1,(2.2,0)]
[1,(2.2,0)] :: (Num (t, t1), Num t1, Fractional t) => [(t, t1)]
[04:13:53] <ktt9> Вот ещё примерчик хороший.
[04:14:30] folex вышел из конференции
[04:14:43] <ktt9> Короче, пока конкретного типа нет, можем расширять констрейнты как угодно.
[04:15:03] <ktt9> А потом пытаться искать инстансы fromInteger для получившихся типов.
[04:16:59] <ktt9> Всё, я спать. Спокойной ночи.
[04:20:01] <ktt9> Или не так.
[04:20:05] <ktt9> Или я спорол чушь.
[04:20:07] <ktt9> Угх.
[04:20:08] <ktt9> Всё.
[04:20:15] <ktt9> Утро вечера мудренее. Дзя.
[04:32:21] folex зашёл в конференцию
[04:32:27] <horta hell> Entanglement завалился на бок и окинул замутнённым болью взором конфу.
[04:32:33] <folex> $pet heal
[04:32:34] <horta hell> folex: Entanglement был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[06:17:24] imarpus зашёл в конференцию
[06:24:28] aksagoff зашёл в конференцию
[06:25:28] folex вышел из конференции
[06:25:50] <aksagoff> не спится? жидобесы жабберные
[06:26:02] <aksagoff> :-D
[06:26:16] <Orhideous> Ты опять выходишь на связь, мудило?
[06:27:44] <aksagoff> Orhideous: мудило из дырищщи твоей мамаши вылезло сколько то лет назад сука
[06:27:57] <Orhideous> …точно выходишь.
[06:28:19] <aksagoff> Orhideous: выкидышь сраный сука
[06:28:21] <Orhideous> Добро пожаловать в мой BL
[06:28:31] <aksagoff> ахаха
[06:28:55] <aksagoff> срал я на тебя и на твои бл
[06:30:28] <aksagoff> андрей кушнир из киева ахаха
[06:32:25] matraskin зашёл в конференцию
[06:50:47] Славный капитан зашёл в конференцию
[07:05:43] a1batross вышел из конференции: Disconnected: Replaced by new connection
[07:05:44] a1batross зашёл в конференцию
[07:12:12] <aksagoff> Orhideous: кушхахаха
[07:12:23] <aksagoff> Orhideous: шишхахаха
[07:13:22] <aksagoff> люську мегафонскую за вымя пощупать неплохо было бы ахаха
[07:16:34] Славный капитан вышел из конференции
[07:19:34] aksagoff вышел из конференции: QIP 2012: Спокойное общение
[07:44:27] <horta hell> Entanglement ловит зубами блох, пытаясь ими наесться.
[07:45:03] <Orhideous> $pet feed
[07:45:03] <horta hell> Orhideous: Entanglement клацая зубами, рывком наскочил на Orhideous, едва давая увернуться ценой потери выпавшего кошелька. Вы теряете 1PTC, зато Entanglement накормлен.
[07:45:08] <Orhideous> $pet stats
[07:45:09] <horta hell> Orhideous:
Кличка: Entanglement
Здоровье: 39
Сытость: 100
Возраст: 48 часов
[07:45:16] <Orhideous> $pet heal
[07:45:16] <horta hell> Orhideous: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[07:51:39] imarpus вышел из конференции
[07:55:56] a1batross вышел из конференции: Disconnected: Replaced by new connection
[07:55:57] a1batross зашёл в конференцию
[08:06:11] a1batross вышел из конференции: Logged out
[08:06:27] a1batross зашёл в конференцию
[08:11:05] matraskin вышел из конференции
[08:12:09] matraskin зашёл в конференцию
[08:20:30] matraskin вышел из конференции
[08:21:42] matraskin зашёл в конференцию
[08:29:05] <ForNeVeR> Утро?
[08:29:21] <ForNeVeR> $pet stats
[08:29:23] <horta hell> ForNeVeR:
Кличка: Entanglement
Здоровье: 27
Сытость: 89
Возраст: 48 часов
[08:29:32] <Orhideous> Утреца.
[08:29:43] <Orhideous> Тут опять захаживал клован один.
[08:29:55] <Orhideous> Вчера в mlpfim@, сегодня сюда.
[08:30:21] <ForNeVeR> Он уже очень давно ошивается в окрестностях.
[08:30:30] a1batross вышел из конференции: Disconnected: Replaced by new connection
[08:30:31] a1batross зашёл в конференцию
[08:30:34] <ForNeVeR> Прям вот больше года.
[08:30:45] <ForNeVeR> Кто-нибудь видел его jid?
[08:31:48] <Orhideous> Могу спросить у ШпротаНы
[08:31:54] <Orhideous> Она его банила вчера утром.
[08:44:22] a1batross вышел из конференции: Disconnected: closed
[08:46:04] a1batross зашёл в конференцию
[08:53:54] a1batross вышел из конференции: Disconnected: Replaced by new connection
[08:53:57] a1batross зашёл в конференцию
[09:07:10] <ɹǝɟılʍǝu> Доброе утро
[09:07:22] <ɹǝɟılʍǝu> Так вот его жид aksagoff@jabber.ru
[09:09:45] <ForNeVeR> .ban aksagoff@jabber.ru|Ебонат.
[09:09:46] <DeadBot> ForNeVeR: ok
[09:12:58] <ɹǝɟılʍǝu> Странно, что ты не можешь его видеть.
[09:13:41] <ForNeVeR> Дак я его мессаги только в логе вижу.
[09:13:58] <ɹǝɟılʍǝu> Маленький недостаточек миранды. :3
[09:14:08] <ɹǝɟılʍǝu> Сделай issue и заимплементь!
[09:14:27] <horta hell> Entanglement забился в самый темный угол конфы и смотрит больными глазами в одну точку.
[09:15:02] <ɹǝɟılʍǝu> $pet heal
[09:15:02] <horta hell> ɹǝɟılʍǝu: Entanglement был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[09:15:04] <ɹǝɟılʍǝu> $pet feed
[09:15:07] <horta hell> ɹǝɟılʍǝu: Entanglement не голоден.
[09:15:12] <ɹǝɟılʍǝu> $pet rating
[09:15:12] <horta hell> ɹǝɟılʍǝu:
zxc: 178PTC
ɹǝɟılʍǝu: 100PTC
u…: 94PTC
kosc: 71PTC
M…: 11PTC
e…: 10PTC
F…: 10PTC
m4n71k0r: 4PTC
Z…: 3PTC
O…: 3PTC
[09:15:22] a1batross вышел из конференции: Disconnected: closed
[09:15:23] <ɹǝɟılʍǝu> $pet transfer rexim 1
[09:15:23] <horta hell> ɹǝɟılʍǝu: Транзакция успешна.
[09:21:57] kosc зашёл в конференцию
[09:22:30] <kosc> $pet transfer rexim 1
[09:22:31] <horta hell> kosc: Транзакция успешна.
[09:23:27] mikelsv зашёл в конференцию
[09:24:42] * mikelsv врывается в чат и пытается удержаться на нем!
[09:24:53] <mikelsv> Curl можно использовать как прокси для поточного аудио/видео? То есть отдавать данные в реальном времени, а не ждать, пока загрузятся полностью.
[09:26:10] <uggur> mikelsv: https://pp.vk.me/c623722/v623722744/4829/uj8aXtVHzK0.jpg
[09:26:12] <uggur> :)
[09:26:26] <ɹǝɟılʍǝu> ха
[09:31:17] matraskin вышел из конференции
[09:32:31] matraskin зашёл в конференцию
[09:34:12] a1batross зашёл в конференцию
[09:41:59] <kosc> ForNeVeR: а для тегов html и body как действует height: 100%; ? А то там говорят, что окно арбузера, если явно не указан родитель, но оно почему-то берёт размер экрана =(
[09:42:59] <ForNeVeR> kosc: а вот это не знаю. Вроде бы должно работать как написано - окно браузера брать.
[09:43:41] matraskin вышел из конференции
[09:43:45] <kosc> Пичалька
[09:43:46] matraskin зашёл в конференцию
[09:43:55] <kosc> Верстальщиком мне не быть, это точно.
[09:45:56] rea зашёл в конференцию
[09:46:18] <mikelsv> kosc: мне тоже, что, однако, не мешает мне верстать.
[09:46:21] rea вышел из конференции: Вышел из Vacuum-IM
[09:46:57] <kosc> Хм. А ведь оно взяло вообще-то высоту окна.
[09:47:05] <kosc> Просто там ещё сверху хедер...
[09:47:21] <kosc> Грёбаный хедер, шол бы он в жопу, но он тоже нужен.
[09:47:29] rexim зашёл в конференцию
[09:48:11] <rexim> Утреца! \о/
[09:48:12] <kosc> Миксер-емиксер-емаксер.
[09:48:14] <kosc> Привет.
[09:49:08] <rexim> kosc, коська!
[09:49:37] rea зашёл в конференцию
[09:52:41] eaeee вышел из конференции
[09:53:01] <kosc> ForNeVeR: а можно как-то сделать так, что бы дочерний div занимал всё СВОБОДНОЕ пространство внутри родительского?
[09:53:41] <ForNeVeR> kosc: flex'ом можно сделать, другими методами никак.
[09:53:52] <kosc> Нинада флексов.
[09:53:59] <ForNeVeR> Вероятно, Grid Layout'ом тоже, но это только IE.
[09:54:20] <kosc> Блин, и сраный bottom: 0; не пашет без position: fixed; , а fixed ломает вообще всё нахуй.
[09:54:22] <ForNeVeR> kosc: что значит "нинада"?
[09:54:28] <ForNeVeR> Или ты решаешь задачу, или нет.
[09:54:32] <kosc> ForNeVeR: флекс не пирожок.
[09:54:35] <ForNeVeR> Почему?
[09:54:43] <kosc> Эдобе потому что.
[09:54:47] <ForNeVeR> чо
[09:54:51] <rexim> ШТО?!
[09:54:52] <ForNeVeR> Ты тупой?
[09:54:58] <kosc> А разве нет?
[09:55:32] <ForNeVeR> Я уж не знаю, с чем ты это путаешь, но flex layout поддерживается всеми вендорами браузеров.
[09:55:48] <kosc> А, уже Apache Flex.
[09:56:12] <ForNeVeR> kosc: не тот.
[09:56:20] <kosc> ForNeVeR: display: flex; ?
[09:56:22] <ForNeVeR> kosc: man html5 flex layout
[09:56:24] <ForNeVeR> Да.
[09:56:27] <kosc> Ок.
[09:59:31] a1batross вышел из конференции: Logged out
[09:59:39] a1batross зашёл в конференцию
[10:11:03] <rexim> .ping
[10:11:04] <DeadBot> rexim: понг от тебя 0.15 секунды
[10:11:06] <rexim> .ping
[10:11:06] <DeadBot> rexim: понг от тебя 0.15 секунды
[10:11:07] <rexim> .ping
[10:11:08] <DeadBot> rexim: понг от тебя 0.13 секунды
[10:11:10] <rexim> =(
[10:12:23] <kosc> .ping
[10:12:23] <DeadBot> kosc: понг от тебя 0.09 секунды
[10:12:33] <kosc> rexim: ХА!
[10:16:40] <ForNeVeR> $pet stats
[10:16:42] <horta hell> ForNeVeR:
Кличка: Entanglement
Здоровье: 83
Сытость: 50
Возраст: 50 часов
[10:17:37] <rexim> ForNeVeR, я сегодня вечером постараюсь jinput добавить в наш скрипт.
[10:18:09] <rexim> И если и макоюзеров все ок будет после этого, можно будет закрыть задачу.
[10:18:15] <ForNeVeR> rexim: о, вот это хорошо. Я хотел это сделать, но не придумал, как избежать большого количества копипасты.
[10:18:37] <rexim> Попробую как-нибудь обобщить.
[10:19:05] <ForNeVeR> Я предлагаю сделать скрипт, который пишет скрипты.
[10:19:37] <rexim> m4?
[10:21:11] <rexim> Мне тут вдруг захотелось сделать декларативный язык для описания трансформации дерева файлов одного архива в другой.
[10:22:13] <rexim> Ладно, пойду работну.
[10:22:25] rexim вышел из конференции
[10:29:23] folex зашёл в конференцию
[10:33:05] <ForNeVeR> > захотелось сделать декларативный язык для описания трансформации дерева файлов одного архива в другой.

А что, отличная идея!
[10:34:05] folex вышел из конференции
[10:37:27] m4n71k0r зашёл в конференцию
[10:44:22] folex зашёл в конференцию
[10:52:32] folex вышел из конференции
[10:59:13] folex зашёл в конференцию
[11:01:20] folex вышел из конференции
[11:04:19] a1batross вышел из конференции: Disconnected: Replaced by new connection
[11:04:20] a1batross зашёл в конференцию
[11:08:39] folex зашёл в конференцию
[11:09:36] folex вышел из конференции
[11:14:14] folex зашёл в конференцию
[11:15:52] folex вышел из конференции
[11:19:41] любитель криппи языков вышел из конференции
[11:20:11] O01eg вышел из конференции
[11:22:01] ckorzhik зашёл в конференцию
[11:25:40] a1batross вышел из конференции: Disconnected: Replaced by new connection
[11:25:41] a1batross зашёл в конференцию
[11:26:24] dzhon зашёл в конференцию
[11:27:40] ckorzhik вышел из конференции: Replaced by new connection
[11:27:40] ckorzhik зашёл в конференцию
[11:33:33] magog вышел из конференции: Replaced by new connection
[11:33:33] magog зашёл в конференцию
[11:36:09] eaeee зашёл в конференцию
[11:36:13] pbuser3 вышел из конференции
[12:00:35] m4n71k0r вышел из конференции: Replaced by new connection
[12:00:35] m4n71k0r зашёл в конференцию
[12:03:33] Graf зашёл в конференцию
[12:03:40] Graf вышел из конференции
[12:05:39] a1batross вышел из конференции: Disconnected: closed
[12:07:08] imarpus зашёл в конференцию
[12:08:50] <eaeee> $pet stats
[12:08:52] <horta hell> eaeee:
Кличка: Entanglement
Здоровье: 48
Сытость: 13
Возраст: 52 часов
[12:09:01] <eaeee> $PET FEED
[12:09:07] <eaeee> $pet feed
[12:09:07] <horta hell> eaeee: Entanglement с отвращением давится, набивая желудок. Вы зарабатываете 1PTC.
[12:09:24] <eaeee> $pet coins
[12:09:24] <horta hell> eaeee: У тебя есть 11PTC
[12:09:33] <eaeee> $pet help
[12:09:33] <horta hell> eaeee: Доступные команды: change-nick, stats, resurrect, transfer, rating, heal, feed, coins, kill
[12:09:40] <eaeee> $pet kill
[12:09:40] <horta hell> eaeee: У вас недостаточно PTC для совершения столь мерзкого поступка. Требуется не менее 10PTC. Но мы всё равно забираем у вас то, что можем.
[12:09:46] <kosc> Ахах
[12:09:50] <kosc> $pet rating
[12:09:50] <horta hell> kosc:
zxc: 178PTC
ɹ…: 99PTC
u…: 94PTC
kosc: 70PTC
M…: 11PTC
F…: 10PTC
m…: 4PTC
rexim: 4PTC
Z…: 3PTC
O…: 3PTC
[12:09:58] <kosc> eaeee: потрачено
[12:10:07] <eaeee> издевательство какое-то
[12:10:33] <eaeee> $pet coins
[12:10:33] <horta hell> eaeee: У тебя есть 1PTC
[12:10:44] <eaeee> $pet stats
[12:10:44] <horta hell> eaeee:
Кличка: Entanglement
Здоровье: 48
Сытость: 100
Возраст: 52 часов
[12:10:57] <eaeee> ForNeVeR:почему я не смог его убить?
[12:11:49] <eaeee> kosc: ?_?
[12:11:58] <kosc> eaeee: бага, я думаю.
[12:14:31] <ForNeVeR> eaeee: гы!
[12:14:35] <ktt9> ForNeVeR, а ForNeVeR.
[12:14:39] <ktt9> Привет.
[12:14:41] <ForNeVeR> eaeee: а сколько у тебя коинов осталось?
[12:14:45] <eaeee> ForNeVeR: 1
[12:14:48] <ForNeVeR> Лол.
[12:14:51] <eaeee> ForNeVeR: было 11
[12:15:42] <ForNeVeR> https://github.com/codingteam/horta-hell/issues/245
[12:16:10] <ForNeVeR> $pet coins
[12:16:10] <horta hell> ForNeVeR: У тебя есть 10PTC
[12:16:23] <ForNeVeR> Эй, а где мои петкоины?!
[12:16:32] <ForNeVeR> $pet kill
[12:16:33] <horta hell> ForNeVeR: Вы жестоко убили питомца этой конфы. За это вы теряете 10PTC.
[12:16:36] <ForNeVeR> Гы!
[12:16:58] <eaeee> $pet stats
[12:16:58] <horta hell> eaeee: Entanglement мертв. Какие еще статы?
[12:17:04] <eaeee> $pet resurrect
[12:17:04] <horta hell> eaeee: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[12:17:24] <kosc> $pet rating
[12:17:24] <horta hell> kosc:
zxc: 178PTC
ɹ…: 99PTC
u…: 94PTC
kosc: 70PTC
M…: 11PTC
m…: 4PTC
rexim: 4PTC
e…: 4PTC
Z…: 3PTC
O…: 3PTC
[12:17:36] <eaeee> ForNeVeR: должно быть ровно 10?
[12:17:44] <kosc> $pet transfer ForNeVeR 1
[12:17:45] <horta hell> kosc: Транзакция успешна.
[12:17:53] <ɹǝɟılʍǝu> Хули вы тут устроили?
[12:18:19] <eaeee> ɹǝɟılʍǝu: убиваем бота
[12:18:28] <ForNeVeR> ɹǝɟılʍǝu: баги ищем.
[12:19:02] <ɹǝɟılʍǝu> А ну ое
[12:19:10] <ɹǝɟılʍǝu> $pet resurrect
[12:19:11] <horta hell> ɹǝɟılʍǝu: Entanglement и так жив. Зачем его воскрешать?
[12:20:18] <ascrazy> $pet kill
[12:20:18] <horta hell> ascrazy: У вас недостаточно PTC для совершения столь мерзкого поступка. Требуется не менее 10PTC. Но мы всё равно забираем у вас то, что можем.
[12:20:32] <ktt9> $pet coins
[12:20:33] <horta hell> ktt9: У тебя есть 0PTC
[12:20:36] <ascrazy> $pet transfer ascrazy 10
[12:20:37] <horta hell> ascrazy: Недостаточно PTC.
[12:20:40] <ktt9> ябогат
[12:20:48] <ascrazy> $pet kill
[12:20:48] <horta hell> ascrazy: У вас недостаточно PTC для совершения столь мерзкого поступка. Требуется не менее 10PTC. Но мы всё равно забираем у вас то, что можем.
[12:21:33] <ktt9> ForNeVeR, почему GHCi делает так?
> :t [1,[2,3]]
[1,[2,3]] :: (Num [t], Num t) => [[t]]
[12:22:05] <ForNeVeR> ktt9: потому что это список как интов, так и флоатов.
[12:22:21] <ktt9> Точнее даже так -- почему [t] более широкий тип, чем t?
[12:22:24] kosc вышел из конференции: Disconnected: connection closed
[12:22:43] <ForNeVeR> Вернее, нет, не так.
[12:23:00] <ForNeVeR> Это список каких-то числоподобных хреней, из которых можно получить список.
[12:23:18] <ForNeVeR> Короче, выражение на самом деле хуёвое.
[12:23:22] a1batross зашёл в конференцию
[12:24:04] <ktt9> Лол.
[12:24:36] imarpus вышел из конференции
[12:38:11] folex зашёл в конференцию
[12:44:15] ckorzhik вышел из конференции: Replaced by new connection
[12:44:15] ckorzhik зашёл в конференцию
[12:47:22] grouzen зашёл в конференцию
[12:57:54] kosc зашёл в конференцию
[12:58:35] a1batross вышел из конференции: Disconnected: closed
[13:01:05] ckorzhik вышел из конференции
[13:03:58] pbuser3 зашёл в конференцию
[13:05:49] folex вышел из конференции
[13:09:12] Aманушка зашёл в конференцию
[13:12:57] Orhideous вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: recipient-unavailable
[13:13:49] kosc вышел из конференции: Disconnected: connection closed
[13:16:19] folex зашёл в конференцию
[13:19:10] xspeed зашёл в конференцию
[13:19:45] Myp зашёл в конференцию
[13:22:11] <Myp> ɹǝɟılʍǝu: https://i.chzbgr.com/maxW500/8360567040/hF36DC799/
[13:25:39] grouzen вышел из конференции
[13:25:41] <ɹǝɟılʍǝu> Коты!
[13:31:39] pbuser3 вышел из конференции
[13:36:16] SolarRay вышел из конференции
[13:55:43] grouzen зашёл в конференцию
[14:01:23] xspeed вышел из конференции
[14:01:58] Aманушка вышел из конференции
[14:10:49] eaeee вышел из конференции
[14:11:53] eaeee зашёл в конференцию
[14:27:24] grouzen вышел из конференции
[14:27:29] cat3 зашёл в конференцию
[14:34:31] Orhideous зашёл в конференцию
[14:40:57] rafaelrs вышел из конференции
[14:44:25] dzhon вышел из конференции
[14:47:36] hinst зашёл в конференцию
[14:47:52] hinst вышел из конференции
[15:00:54] Aманушка зашёл в конференцию
[15:01:08] Aманушка вышел из конференции
[15:03:49] a1batross зашёл в конференцию
[15:08:49] Orhideous вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: recipient-unavailable
[15:10:09] matraskin вышел из конференции
[15:12:18] <Zetoke> $pet coins
[15:12:20] <horta hell> Zetoke: У тебя есть 3PTC
[15:12:32] <Zetoke> Подарите мне коинов
[15:13:00] <cat3> $pet stats
[15:13:00] <horta hell> cat3:
Кличка: Entanglement
Здоровье: 43
Сытость: 44
Возраст: 2 часов
[15:13:15] <cat3> Zetoke, заработай :з
[15:15:27] <Zetoke> У меня отжали 6 петкоинов, например
[15:15:34] <Zetoke> Из-за бага
[15:15:46] <Zetoke> Когда хорта при смерти у всех съебывала всё
[15:16:07] <Myp> Хорта умирала?
[15:18:33] <ForNeVeR> Zetoke: не было такого бага.
[15:18:51] <ForNeVeR> Она по одному отбирала всегда.
[15:18:59] <ForNeVeR> Просто она дофига умирает щас.
[15:19:45] Zetoke вышел из конференции
[15:25:08] folex вышел из конференции
[15:29:00] a1batross вышел из конференции: Disconnected: Replaced by new connection
[15:29:03] a1batross зашёл в конференцию
[15:35:54] <m4n71k0r> хорта ещё может просто нападать с голода и отжимать 3 птц
[15:36:20] <m4n71k0r> нападает на тех, у кого много птц, вроде бы
[15:40:25] <cat3> $pet stats
[15:40:29] <horta hell> cat3:
Кличка: Entanglement
Здоровье: 30
Сытость: 34
Возраст: 3 часов
[15:44:46] dzhon зашёл в конференцию
[15:50:51] <cat3> $pet stats
[15:50:51] <horta hell> cat3:
Кличка: Entanglement
Здоровье: 27
Сытость: 28
Возраст: 3 часов
[16:09:05] folex зашёл в конференцию
[16:09:36] <folex> $pet coins
[16:09:38] <horta hell> folex: У тебя есть 2PTC
[16:09:46] <folex> $pet rating
[16:09:46] <horta hell> folex:
zxc: 178PTC
ɹ…: 99PTC
u…: 94PTC
kosc: 69PTC
M…: 11PTC
m…: 4PTC
rexim: 4PTC
e…: 4PTC
Zetoke: 3PTC
Orhideous: 3PTC
[16:09:46] <cat3> $pet stats
[16:09:50] <horta hell> cat3:
Кличка: Entanglement
Здоровье: 20
Сытость: 21
Возраст: 3 часов
[16:09:53] <cat3> $pet heal
[16:09:53] <horta hell> cat3: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[16:10:00] <folex> mikelsv: о, розбанели
[16:10:18] <folex> $pet transfer uggur 2
[16:10:18] <horta hell> folex: Транзакция успешна.
[16:10:21] <folex> преумножил капитал
[16:11:10] <cat3> $pet heal
[16:11:10] <horta hell> cat3: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[16:11:16] <cat3> $pet stats
[16:11:16] <horta hell> cat3:
Кличка: Entanglement
Здоровье: 20
Сытость: 21
Возраст: 3 часов
[16:11:23] <cat3> =(
[16:13:17] folex вышел из конференции: Replaced by new connection
[16:13:19] folex зашёл в конференцию
[16:13:29] <folex> $pet heal
[16:13:29] <horta hell> folex: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[16:13:30] <folex> $pet feed
[16:13:32] <horta hell> folex: Entanglement не голоден.
[16:13:42] <cat3> folex, :Р
[16:14:28] <cat3> $pet heal
[16:14:29] <horta hell> cat3: Entanglement был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[16:14:32] <cat3> $pet feed
[16:14:32] <folex> $pet feed
[16:14:33] <horta hell> cat3: Entanglement с жадным сопением рыком уминает всю пищу в один присест. Вы зарабатываете 1PTC.
[16:14:35] <folex> сук
[16:14:36] <horta hell> folex: Entanglement с чавканьем грызёт еду. Вы зарабатываете 1PTC.
[16:14:42] <folex> оу
[16:14:45] <cat3> wow
[16:14:50] <cat3> folex, дайпят
[16:15:03] <cat3> *ь
[16:18:40] <ɹǝɟılʍǝu> cat3, котенька!
[16:18:56] <cat3> ɹǝɟılʍǝu, ɹǝɟılʍǝu'енька!
[16:20:33] imarpus зашёл в конференцию
[16:20:41] dzhon вышел из конференции
[16:24:22] cat3 вышел из конференции: Пока!
[16:30:37] <ɹǝɟılʍǝu> Лол
[16:30:49] <ɹǝɟılʍǝu> Питоновский urllib не умеет в симлинки в путях
[16:31:54] grouzen зашёл в конференцию
[16:40:18] ckorzhik зашёл в конференцию
[16:43:10] ckorzhik вышел из конференции
[16:56:27] dzhon зашёл в конференцию
[17:06:43] <m4n71k0r> а кто умеет? Не обижай питон!
[17:06:46] <m4n71k0r> бгг
[17:07:02] <m4n71k0r> а джанкшоны умеет?)
[17:07:04] <ɹǝɟılʍǝu> Буду)
[17:07:08] <ɹǝɟılʍǝu> А х
[17:07:13] <ɹǝɟılʍǝu> его з)
[17:09:00] <m4n71k0r> кстати вот в шындошс есть метахурма под названием "Библиотеки", что-нибудь в них умеет?)
[17:09:26] <m4n71k0r> или это эксполорерово
[17:09:45] <ɹǝɟılʍǝu> А ими кто-то пользуется? Я серьёзно, без ирони, ниразу не встречал.
[17:09:55] <ɹǝɟılʍǝu> s/ни/нии/
[17:09:57] <horta hell> ɹǝɟılʍǝu: А ими кто-то пользуется? Я серьёзно, без иронии, нииразу не встречал.
[17:10:14] <ɹǝɟılʍǝu> -_-
[17:10:20] <ɹǝɟılʍǝu> НИИ Разу
[17:15:39] Zetoke зашёл в конференцию
[17:16:17] <folex> Zetoke: пыщ
[17:16:22] <Zetoke> folex, Yo
[17:16:23] <folex> чо хотел? ._.
[17:16:31] <Zetoke> Не помню ._.
[17:16:35] <Zetoke> Ща вспомню - спрошу
[17:16:37] <folex> наркоман
[17:16:46] <Zetoke> алсо, поцоны, что сейчас модно использовать в качестве карт?
[17:16:50] <Zetoke> Под мобилки
[17:16:53] <Zetoke> Кроме яндекса
[17:16:58] <Zetoke> С нормальной картой москвы и т.д.
[17:17:05] <folex> чем яндекс тебе не яндекс?
[17:17:12] <folex> в москву едешь что ле?
[17:17:24] <folex> гуглмапс хорошо для пеших прогулок
[17:17:34] <folex> хорош*
[17:17:44] <folex> а так яндекс
[17:17:52] <folex> можно скачать оффлайн карту, все дела
[17:18:16] <folex> прохожие чаще умеют её читать, в отличии от гугловой, так что можно показать кому-нибудь
[17:24:23] Graf зашёл в конференцию
[17:27:15] Graf вышел из конференции
[17:38:36] <ForNeVeR> Чуваки, нашими стараниями поддержку кодировок впилили в роадмап атома.
[17:39:26] <ForNeVeR> До этого авторы, видимо, не читали моих тасков и патчей и не подозревали, что заимплементить будет так просто.
[17:40:10] <Myp> ForNeVeR: Бггг
[17:40:21] <ɹǝɟılʍǝu> лол
[17:40:26] <ɹǝɟılʍǝu> Возрадуемся же!
[17:40:39] <ForNeVeR> Да!
[17:44:15] kosc зашёл в конференцию
[17:47:28] Baben зашёл в конференцию
[17:48:33] rea вышел из конференции: Вышел из Vacuum-IM
[17:51:11] <folex> ВМЕСТЕ МЫ СИЛА
[17:51:25] <folex> теперь вместо "тагил" можно орать "цодингтеам!"
[17:53:52] <ForNeVeR> Baben: рота и звание, боец?
[17:54:03] <ForNeVeR> folex: правильно таки "в месте".
[17:54:09] <ForNeVeR> Аутентично как-то.
[17:54:21] <ForNeVeR> В МЕСТЕ МЫ СИЛА ВСТУПАЙ И КОНПЕЛИРУЙ
[17:54:56] <Baben> пока никаких атрибутов
[17:55:22] <folex> В МЕСТЕ МЫСИЛА В СТУПАЙ И КОНПИЛИРУЙ
[17:55:46] <ForNeVeR> Baben: каков ваш технологический базис?
[17:56:09] <ForNeVeR> folex: давайте отложим эту беседу, мессир.
[17:56:46] <folex> ну лан
[17:56:50] Baben вышел из конференции: QIP 2012: Спокойное общение
[17:56:56] <folex> лол
[17:57:03] <ForNeVeR> Хм. Он ушёл :(
[17:57:07] <folex> ForNeVeR: ты пугаешь людей
[17:57:16] <ForNeVeR> Это он тебя испугался!
[17:57:19] <folex> емаксовый паук
[17:57:37] <ForNeVeR> Прочухал, что я тебя назвал "мессиром", всё понял и сбежал.
[17:57:48] <folex> чо понял?
[17:57:55] * folex ничо не понял
[17:57:59] <folex> ну мессир и мессир
[17:58:14] <ForNeVeR> Ждём МОГ Тэта-13 "Могильщики Сатаны".
[17:58:33] <ForNeVeR> Будут на содержание ставить.
[17:59:32] <uggur> сатана -- сила, праведник -- могила
[18:00:30] <Zetoke> folex, для использования в приложении .___.
[18:00:47] <Zetoke> У яндекса под мобильные ОС sdk протухли два года назад
[18:00:54] <Zetoke> А новую так и не выпустили пока
[18:03:44] <folex> а, лул
[18:03:56] <folex> а нативные гугловые не подоходят?
[18:04:06] <folex> спроси у керриган
[18:04:12] <folex> он заебывался с картами
[18:04:32] <Zetoke> Ну как нативные. Под айось они не совсем нативные :)
[18:04:43] <folex> под айосью айосные
[18:04:58] <folex> не?
[18:05:16] <ɹǝɟılʍǝu> Ну вот и чем вы упоролись?
[18:05:19] <folex> там вроде москву нормально видно
[18:05:35] <folex> стиральным порошком
[18:05:38] <folex> с синими гранулами
[18:05:50] <folex> а вы под чем к нам пожаловали?
[18:05:54] <folex> опять трезвый как собака?
[18:06:07] <folex> СТЫДНО! стыдно должно быть
[18:17:34] cat3 зашёл в конференцию
[18:18:25] rea зашёл в конференцию
[18:26:15] folex вышел из конференции
[18:35:39] folex зашёл в конференцию
[18:38:30] xspeed зашёл в конференцию
[18:39:58] m4n71k0r вышел из конференции
[18:41:18] a1batross вышел из конференции: Disconnected: closed
[18:45:40] <Zetoke> folex, база координат будет ориентирована на яндексовые карты
[18:45:47] <Zetoke> Не нужно ли их едиными делать?
[18:48:02] <folex> а на землю никак не ориентировать? неужто карты такие разные?
[18:48:46] <folex> Zetoke:
[18:49:19] <Zetoke> Я хз
[18:49:24] <Zetoke> Я не разбирался пока в этом подробно
[18:49:37] <folex> ну в общем у нас между андроидом и айосом нормально работают места
[18:49:49] <folex> и это при том, что мы всё берем с форсквера
[18:50:28] <folex> так что ориентируйтесь на планету
[18:50:35] <folex> она стабильнее .___.
[18:50:46] <folex> версия повыше, и девелоперы посерьезнее
[18:50:52] <uggur> ФокСеВеРа? %)
[18:51:06] <folex> а вот и уггур.
[18:51:12] <uggur> Привет.
[18:51:12] <folex> пойду дальше программировать
[18:51:17] <folex> привет, да
[18:51:32] <uggur> Иди-иди. Или ты хочешь поговорить про Мать-Гею?
[18:51:41] eaeee вышел из конференции
[18:51:43] <folex> ват
[18:51:47] <uggur> XD
[18:52:10] <folex> narkoman
[18:52:26] <folex> веди себя адекватнее
[18:52:29] <ɹǝɟılʍǝu> send/rexim/$dice 0 0/
[18:52:35] <ɹǝɟılʍǝu> $say
[18:52:36] <horta hell> ɹǝɟılʍǝu: Сообщение помещено в очередь
[18:52:38] <ɹǝɟılʍǝu> $say
[18:52:40] <ɹǝɟılʍǝu> $say
[18:52:41] <ɹǝɟılʍǝu> $say
[18:52:48] <folex> $sing
[18:52:49] <folex> $sing
[18:52:51] <folex> $sing
[18:52:56] <folex> $dance
[18:53:30] <horta hell> ɹǝɟılʍǝu: Это скорее Чайник Рассела
[18:53:32] <horta hell> ɹǝɟılʍǝu: К госу готовлюсь)
[18:53:34] <horta hell> ɹǝɟılʍǝu: http://bpaste.net/show/af17884ed385
[18:53:37] <horta hell> ɹǝɟılʍǝu: F…, откуда ты узнал, что такое лямбда?
[18:53:45] <folex> лол
[18:53:50] <ForNeVeR> о_О
[18:54:07] <ɹǝɟılʍǝu> ForNeVeR, откуда?!
[18:54:08] <folex> ForNeVeR: кто тебя плохому научил, говори
[18:54:18] <ɹǝɟılʍǝu> $say
[18:54:18] <horta hell> ɹǝɟılʍǝu: Ну что тут я понял, почему мы вчера друг друга не поняли.) http://pastexen.com/i/4yYhq8H2TC.png
[18:54:19] <ɹǝɟılʍǝu> $say
[18:54:19] <ForNeVeR> Ничего вам не скажу, фашисты!
[18:54:20] <ɹǝɟılʍǝu> $say
[18:54:22] <ɹǝɟılʍǝu> $say
[18:54:27] <folex> вот тебе спека, покажи на ней, где он тебя трогал
[18:54:37] <folex> спамиры блядь
[18:55:02] <ɹǝɟılʍǝu> $say
[18:55:03] <horta hell> ɹǝɟılʍǝu: m4n71k0r, да там норм?
[18:55:07] <ɹǝɟılʍǝu> $say
[18:55:07] <horta hell> ɹǝɟılʍǝu: F…, а я таки гитару купил)
[18:55:13] <ɹǝɟılʍǝu> Да))
[18:55:15] <ɹǝɟılʍǝu> Кстати.
[18:55:21] <ɹǝɟılʍǝu> Где зебра-мячик?
[18:55:32] <ForNeVeR> Почему они всё это мне рассказывают?
[18:56:09] <folex> ты мать
[18:56:28] <folex> это всё
[19:12:40] Orhideous зашёл в конференцию
[19:25:56] <Zetoke> МЯЧИК
[19:29:02] <ForNeVeR> WTF
[19:29:18] <ɹǝɟılʍǝu> Что-то так захотелось переделать ещё и подсистему конфигов в рисовалке...
[19:29:29] <ɹǝɟılʍǝu> На какой-нибудь YAML или JSON...
[19:29:39] <ForNeVeR> ɹǝɟılʍǝu: edn
[19:29:59] <ForNeVeR> ɹǝɟılʍǝu: https://github.com/edn-format/edn
[19:30:11] <ɹǝɟılʍǝu> Ага, смотрю.
[19:30:22] <Minoru> ini!
[19:30:31] <ForNeVeR> Minoru: фи.
[19:30:50] <ForNeVeR> Зато для ini есть функция парсинга с помощью winapi, лол.
[19:31:29] <Minoru> чего ты нос воротишь, неплохой формат же
[19:31:40] <Minoru> если вложенности не нужны
[19:31:49] <ɹǝɟılʍǝu> У меня и так ini ._.
[19:31:53] <Minoru> лол
[19:32:09] <ɹǝɟılʍǝu> Но там внутрях всё равно нужно довести до ума)
[19:32:25] <Minoru> git ci --allow-empty -m'Change config format from INI to… INI'
[19:32:48] <Minoru> и пусть мантикорка там с ума сойдёт, пытаясь догнать тебя по количеству коммитов!
[19:33:09] <ɹǝɟılʍǝu> Щ.Щ
[19:37:17] <ForNeVeR> https://github.com/idris-lang/Idris-dev/wiki/Uniqueness-Types
> we would like to be able to write reactive systems, programs which run in limited memory environments, device drivers
[19:37:26] <ForNeVeR> Драйвера на идрисе, посаны.
[19:37:34] <ForNeVeR> Ох как мы заживём!
[19:37:52] <folex> ГДЕГДЕ
[19:38:30] <folex> а, это они только языком молят
[19:38:52] <folex> ВОТ МЫ ЗАПИЛИМ СИНГЛТОНЫ И СРАЗУ ДРАЙВЕРЫ ПОПУЛЯРНОСТЬ ШЛЮХИ КОКАИН
[19:39:13] <ɹǝɟılʍǝu> Да что ты всё капсом пишешь.
[19:39:21] <ɹǝɟılʍǝu> Закикаю!
[19:39:21] eaeee зашёл в конференцию
[19:39:26] <ɹǝɟılʍǝu> Я серьёзно.
[19:39:56] <ForNeVeR> ɹǝɟılʍǝu: ути-пути, кто это у нас тут серьёзный нялайфер? :3
[19:40:07] <ɹǝɟılʍǝu> .ban ForNeVeR
[19:40:08] <DeadBot> ɹǝɟılʍǝu: не получилося
[19:40:10] <ɹǝɟılʍǝu> =(
[19:40:14] <ForNeVeR> Не получи лося!
[19:40:47] <ɹǝɟılʍǝu> Отдай лося!
[19:41:00] <ForNeVeR> Не получишь!
[19:43:01] <ɹǝɟılʍǝu> =(
[19:43:15] <ForNeVeR> folex: это не синглтоны, кстати. Я повнимательней читнул - это просто что-то наподобие плюсового unique_ptr или растовых... owned ptrs чтоле.
[19:43:22] <ɹǝɟılʍǝu> send/rexim/Нёвер мне не даёт лося!/
[19:43:23] <horta hell> ɹǝɟılʍǝu: Сообщение помещено в очередь
[19:46:57] <ɹǝɟılʍǝu> И либа есть https://github.com/shaunxcode/edn-cpp
[19:47:33] <folex> ForNeVeR: Type, UniqueType, BorrowedType, Type*
[19:47:36] <folex> ебанутые
[19:47:50] <ForNeVeR> folex: чо такого-то?
[19:48:05] O01eg зашёл в конференцию
[19:49:14] <ForNeVeR> folex: я нихуя не понял, зачем это нужно, но моё сердце они тронули.
[19:50:09] <ɹǝɟılʍǝu> Секрет к сердцу Фон Нёвера --- сделать неведомую вещь.
[19:50:12] a1batross зашёл в конференцию
[19:50:57] <Orhideous> Секрет к сердцу Фон Нёвера — попросить его сделать то, что не может сделать никто другой. (см. пасту на ibash)
[19:51:23] <ɹǝɟılʍǝu> Кстати!
[19:51:30] <ɹǝɟılʍǝu> ForNeVeR, что с задачкой? =)
[19:51:39] <folex> ForNeVeR: я не понял профита
[19:52:54] <ForNeVeR> ɹǝɟılʍǝu: ну ты видишь, я изучаю идрис. Определённо я про неё не забыл, просто она не так уж просто реализуется...
[19:53:25] <ɹǝɟılʍǝu> ForNeVeR, я понимаю, просто мне жутко интересно ._.
[19:54:42] gsomix зашёл в конференцию
[19:54:56] <ɹǝɟılʍǝu> gsomix, гсомушка!
[19:55:19] <gsomix> Орту.
[19:55:28] <folex> ForNeVeR: слушай, иммутабельные структуры итак лишний раз не копируются
[19:55:32] <folex> как ячейки в том же лиспе
[19:55:37] <folex> что за хуйня, в чем профит?
[19:55:57] <folex> > • Safe, pure, in-place update of arrays, lists, etc
но как
[19:55:58] <ForNeVeR> folex: чтобы счётчик ссылок не делать и не мучить GC.
[19:56:19] <folex> амхм. Но убивать-то его когда-то нужно из памяти?
[19:56:29] <folex> а
[19:56:30] <folex> я тупой
[19:56:31] <Myp> ForNeVeR: Вы и об GC думаете?
[19:56:33] <ForNeVeR> folex: получается, что эти типы можно прям вот на стеке хранить без вопросов. Больше профита я пока не вижу.
[19:56:35] <folex> at most one reference
[19:56:39] <folex> а я прочитал at most one instance
[19:56:42] <Myp> А я думал, что это не принято и вообще
[19:56:55] <ForNeVeR> Myp: ну конечно, лишнее memory pressure никому не нужно.
[19:56:59] <folex> тогда круто
[19:57:18] <Myp> ForNeVeR: От тебя первого слышу, чтобы кто-то думал о GC
[19:57:32] <folex> > думать
> говорить
[19:57:35] <folex> разные вещи
[19:58:01] <Myp> Да похуй. Просто это нераспространено
[19:58:09] <Myp> Нахуячат и похуй
[19:58:20] <ForNeVeR> Myp: да нет, вполне себе народ о нём заботится, если припрёт.
[19:58:28] <Myp> ForNeVeR: Только если припрет?
[19:58:29] <ForNeVeR> Возможно, просто не всех припирает...
[19:59:03] <ForNeVeR> Myp: ну вот уже кто поопытнее - те начинают заботиться до того, как припрёт, гыг.
[19:59:06] <folex> Myp: в жаве его постоянно тюнят
[19:59:10] <folex> в C# тюнили
[19:59:23] <Myp> folex: Что значит постоянно?
[19:59:27] <ForNeVeR> В C# очень плохо работает GC, неправильно.
[19:59:45] <ForNeVeR> Он кидает OOM даже не проверяя, можно ли чего собрать.
[19:59:50] <folex> Myp: ну там перед деплоем новые приложения настраивают
[19:59:52] <folex> ебуцца чото там
[19:59:55] <folex> без меня правда
[19:59:56] <Myp> folex: Фублять
[19:59:59] <Myp> Мерзость какая
[20:00:06] <ForNeVeR> В жаве гарантируется, что OOM будет только после полной сборки мусораю
[20:00:08] <folex> ForNeVeR: чо
[20:00:10] <ForNeVeR> s/ю/./
[20:00:10] <horta hell> ForNeVeR: В жаве гарантируется, что OOM будет только после полной сборки мусора.
[20:00:17] <folex> ForNeVeR: любой гц? их же там не один
[20:00:20] <ForNeVeR> А вот в сишарпе - хуй.
[20:00:23] <ɹǝɟılʍǝu> > Почему RTTI нужно использовать к сожалению?
А вы применяете RTTI к Сожалению?
[20:00:25] <folex> в ксамарине не один был, по крайней мере
[20:00:30] <ForNeVeR> folex: думаю, да, любой.
[20:00:42] <ɹǝɟılʍǝu> Полечу домой!
[20:00:54] <ForNeVeR> Ну, вернее, в дотнете любой GC _может_ попробовать собрать мусор.
[20:00:54] <Myp> ForNeVeR: А почему мне от одной мысли о том, что памятью управляет какое-то сторонее говно, становится очень и очень некомфортно? Это нормально?
[20:00:58] <ForNeVeR> А может и не попробовать.
[20:01:23] <ForNeVeR> А в жабе по спецификации рантайм обязан попробовать собрать мусор перед тем, как выкинуть OOM.
[20:01:27] * Myp чувствует себя отсталым
[20:01:35] <ForNeVeR> Myp: мне это не кажется нормальным.
[20:01:45] <ForNeVeR> Myp: malloc же тоже управляет твоей памятью.
[20:02:10] <Myp> ForNeVeR: Я про более высокий уровень, разумеется
[20:02:18] <ForNeVeR> А у free, кстати, в каких-то экстремальных случаях бывает очень нехорошая сложность (ну, когда/если он начинает мержить информацию о свободных участках).
[20:02:23] <Myp> про storage duration
[20:02:25] <Myp> и все такое
[20:02:53] <Myp> ForNeVeR: Ты не про случаи с сильно фрагментированной кучей сейчас7
[20:03:03] <ForNeVeR> Вероятно, да, про них.
[20:03:05] <Myp> Но там в принципе пиздец уже
[20:03:36] <ForNeVeR> Myp: это реально не должно быть проблемой. Сборщик - это всего лишь инструмент. Надо его умеючи использовать, и тогда всё будет в порядке. По-моему, случаев отстрела ног с его использованием заметно меньше, чем с помощью malloc/free.
[20:03:51] <Myp> Я, кстати, припоминаю, что в одной системе весь хип тупо разбивался на сегменты
[20:04:18] <Myp> ForNeVeR: Я это понимаю, но какой-то эмоциональный дискомфорт от всего такого
[20:04:46] <ForNeVeR> А мне вот как-то пофиг. Надо руками менеджить ресурсы - ну давайте руками менеджить. Не надо - ок, пускай само собирается.
[20:04:50] <Myp> ForNeVeR: Будто тебе доверили управлять минным траулером, но на борту одни бабуины
[20:04:55] <imarpus> Пацаны пацанчики. Дайте квест пока я окончательно не начал онли матаноёбить
[20:05:05] <folex> матаноёбь
[20:05:06] <folex> это ок
[20:05:07] Славный капитан зашёл в конференцию
[20:05:13] <Myp> это неок это збс
[20:05:16] <folex> да
[20:05:17] <ForNeVeR> Myp: алсо, GC всего лишь от утечек памяти защищает, а не от утечек ресурсов, так что прямые руки в любом случае нужны.
[20:05:24] <ForNeVeR> imarpus: какой те квест?
[20:05:33] <ForNeVeR> imarpus: вот те квесть: матаноёбь.
[20:05:35] <folex> никакого ему
[20:05:44] <folex> пусть хуярит математику
[20:05:53] <folex> imarpus: чо ты там матаноёбишь?
[20:05:54] <ForNeVeR> Математика - это риальне ок.
[20:05:57] <folex> на какую тему?
[20:07:26] <imarpus> folex, ну я пришёл к выводу, что неплохо было бы упороть диффуры в частных проиводных
[20:07:40] <folex> тебе это интересно?
[20:07:55] <folex> вон иди Complex Analysis ботай, он хоть красивый
[20:08:07] dzhon вышел из конференции
[20:08:09] <folex> хотя щас форневер скажет, что бы ты хуярил диффуры, физик же
[20:08:18] <imarpus> folex, таки да. Но сначало надо подупороть то, что я недоупорол в комплексном аналие. ну или не понял
[20:08:29] <folex> ну так упарывай
[20:08:39] <gsomix> imarpus, ты учишься на математика?
[20:08:39] <folex> есть замечательные книги по ТФКП не на русском
[20:08:45] <folex> на русском одна гадость, имхо
[20:08:50] <folex> или я не осилил прост
[20:09:13] <imarpus> gsomix, на прикладника
[20:09:27] <ForNeVeR> imarpus: да, это хорошо, хуярь дифуры.
[20:09:42] <ForNeVeR> Я вот не хуярил дифуры и превратился в какое-то ничтожество :(
[20:10:08] * ForNeVeR на самом деле похуяривает иногда понемножку, чтоб не скатиться совсем к животному уровню.
[20:10:34] <imarpus> ForNeVeR, ну просто всё началось с того, что я не смог придумать чтобы пойти накодить, но не взлетело. Решил упороть мат. моделирование и понял, что для начало следовало бы упороть получше мат. часть :(
[20:10:50] <ForNeVeR> Тру стори!
[20:13:02] <ForNeVeR> imarpus: дак ты это, почаще тут участвуй, у нас всегда есть чего свежего накодить.
[20:13:03] gsomix вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке другому участнику: service-unavailable
[20:13:12] <ForNeVeR> Или сам предлагай.
[20:13:20] <imarpus> ForNeVeR, окидокилоки\
[20:13:44] <ForNeVeR> Вот я как раз думаю, как бы гравитацию для гиперспейса накодить.
[20:13:57] <ForNeVeR> Там щас какой-то итерационный метод дремучий ._.
[20:14:52] <ForNeVeR> Больше того скажу, он не учитывает СТО ._.
[20:15:29] <Myp> ForNeVeR: Ну, дифуры это же почти школа... нельзя так. Надо хоть фурьешечку изредка раскладывать
[20:16:13] <Myp> АКФ там попутно построить
[20:17:01] <Myp> ForNeVeR: Впрочем, ты всегда можешь порешать уравнения Максвелла в любой форме
[20:17:56] * Myp когда учился в ВУЗе, то был уверен, что матан забудется почти сразу...
[20:18:07] <Myp> Какой я был наивный тогда...
[20:18:39] <ForNeVeR> Myp: дак я и решаю эти уравнения Максвелла. Просто скучно, хочется чего-то нового :3
[20:19:39] <Myp> ForNeVeR: А ФАР тоже рассчитываешь?
[20:19:48] <Myp> Тоже достаточно увлекательно занятие
[20:19:49] <ForNeVeR> А это шо такое?
[20:19:55] <Myp> Фазированная Антенная решетка
[20:20:14] <Myp> Там охуенные штуки можно вытворять
[20:20:19] <Myp> С диаграммой направленности
[20:20:31] <Myp> Например, рассчитать такую. чтобы по форме напоминала хуй
[20:22:44] Minoru вышел из конференции
[20:23:04] Graf зашёл в конференцию
[20:23:05] <ForNeVeR> Обзовите меня по-фрейдистски, но мне все подобные диаграммы напоминают хуй :(
[20:23:12] Graf вышел из конференции
[20:23:32] <ForNeVeR> Ну хотя некоторые п-зду.
[20:23:47] <Myp> Та, не. Очень похоже на самом деле
[20:23:50] <ɹǝɟılʍǝu> Мда....
[20:31:45] <kosc> ForNeVeR: может, imarpus-у стоит Prolog потыкать, для доказательств разного матанового говна?
[20:32:05] <kosc> И проганье будет заодно.
[20:34:31] <ForNeVeR> kosc: для доказательств лучше coq, оно и хардкорнее намного.
[20:34:46] <ForNeVeR> А пролог он именно что для говна.
[20:35:06] <kosc> imarpus: понял, да, бери какой-то там сраный coq и вперёд.
[20:35:46] <ForNeVeR> imarpus: пирса советую почитать: Types and Programming Languages в целом, а про Coq - Software Foundations.
[20:36:39] <imarpus> ForNeVeR, ок. добавлю в список лит-ры которую нужно прочитать
[20:38:26] <horta hell> Entanglement ловит зубами блох, пытаясь ими наесться.
[20:38:46] <ForNeVeR> $pet feed
[20:38:46] <horta hell> ForNeVeR: Entanglement вгрызается в пищу, разрывая зубами на части. Вы зарабатываете 1PTC.
[20:38:58] <ForNeVeR> $pet heal
[20:38:58] <horta hell> ForNeVeR: Entanglement был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[20:39:02] <ForNeVeR> :3
[20:47:09] anickone зашёл в конференцию
[20:47:36] Minoru зашёл в конференцию
[20:57:01] cat3 вышел из конференции
[20:58:38] Myp вышел из конференции
[21:01:25] ɹǝɟılʍǝu вышел из конференции
[21:01:53] m4n71k0r зашёл в конференцию
[21:01:54] ɹǝɟılʍǝu зашёл в конференцию
[21:02:24] <imarpus> $pet
[21:02:25] <horta hell> imarpus: Попробуйте $pet help.
[21:02:32] <imarpus> $pet help
[21:02:32] <horta hell> imarpus: Доступные команды: change-nick, stats, resurrect, transfer, rating, heal, feed, coins, kill
[21:03:21] <imarpus> $pet stats
[21:03:22] <horta hell> imarpus:
Кличка: Entanglement
Здоровье: 92
Сытость: 91
Возраст: 8 часов
[21:03:30] m4n71k0r вышел из конференции: Replaced by new connection
[21:03:30] m4n71k0r зашёл в конференцию
[21:04:09] <imarpus> $pet heal
[21:04:09] <horta hell> imarpus: Entanglement будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[21:04:20] ɹǝɟılʍǝu вышел из конференции
[21:04:24] <imarpus> $pet feed
[21:04:24] <horta hell> imarpus: Entanglement опрокинул миску с едой лапой.
[21:04:42] <imarpus> Неблагодарная скотина :(
[21:06:52] rexim зашёл в конференцию
[21:07:52] <rexim> Вака-вака! ^-^/
[21:10:13] <ForNeVeR> Миксеряка!
[21:10:54] <ForNeVeR> rexim: благодаря нашему наезду чуваки осознали, что кодировку в атоме сделать очень просто, и включили поддержку кодировок в роадмап на 1.0.
[21:11:00] <ForNeVeR> rexim: поздравляю!
[21:11:11] <rexim> Ура, это победа, товарищи!
[21:11:25] <ForNeVeR> Верной дорогой идём!
[21:11:25] ɹǝɟılʍǝu зашёл в конференцию
[21:11:35] <rexim> ɹǝɟılʍǝu, нялайферяка!
[21:12:29] <rexim> http://naked-science.ru/article/media/rospotrebnadzor-uvlechenie-sel
[21:13:02] <ɹǝɟılʍǝu> rexim, ^___^
[21:13:06] <ɹǝɟılʍǝu> Миксеряка!
[21:14:09] hinst зашёл в конференцию
[21:19:10] Aманушка зашёл в конференцию
[21:20:02] <m4n71k0r> ɹǝɟılʍǝu: читал? https://github.com/PhilippeSigaud/D-templates-tutorial некоторые полезные штуки есть
[21:20:47] <ɹǝɟılʍǝu> Хм, неа О_о
[21:21:52] <m4n71k0r> там скорее описываются фичи для тех, кто уже знаком с плюсовыми шаблонами
[21:22:14] <ɹǝɟılʍǝu> Ага, почитаю.
[21:22:19] <ɹǝɟılʍǝu> Спасибо! =)
[21:22:31] folex вышел из конференции
[21:22:51] <m4n71k0r> нз, у себя на айпаде нарыл и решил найти источник
[21:23:24] <m4n71k0r> правда книжка незакончена... жаль
[21:23:35] <m4n71k0r> не закончена
[21:25:07] Akon32 зашёл в конференцию
[21:29:04] folex зашёл в конференцию
[21:39:49] a1batross вышел из конференции: Disconnected: Replaced by new connection
[21:39:52] a1batross зашёл в конференцию
[21:44:15] folex вышел из конференции
[21:59:54] <m4n71k0r> ɹǝɟılʍǝu: адов ад http://melpon.org/wandbox/permlink/nMawLJlMTjqMSL16
[22:00:25] <ɹǝɟılʍǝu> Ыы
[22:00:33] <ɹǝɟılʍǝu> Хотя
[22:00:36] <ɹǝɟılʍǝu> Всё же просто
[22:00:42] <m4n71k0r> да, но
[22:00:53] <m4n71k0r> я не знаю, в каком ещё языке такое есть...
[22:03:12] dzhon зашёл в конференцию
[22:08:46] Aманушка вышел из конференции: Replaced by new connection
[22:08:48] Aманушка зашёл в конференцию
[22:09:12] ckorzhik зашёл в конференцию
[22:09:41] <m4n71k0r> ɹǝɟılʍǝu: а вот ещё не знал про http://dlang.org/operatoroverloading.html#dispatch это дёргается когда вызывается метод, которого нет
[22:09:57] <ɹǝɟılʍǝu> Вот кстати, с диспатч
[22:10:17] <ɹǝɟılʍǝu> Тут один парень пытался привязать питон к ди. И на этой фигне как-то подзаебалс
[22:10:37] <m4n71k0r> хм
[22:10:49] <m4n71k0r> упоролся или подзаебался?
[22:10:50] <ɹǝɟılʍǝu> Хотя вроде уже и поборол
[22:10:56] <ɹǝɟılʍǝu> второе)
[22:13:30] <m4n71k0r> а по-подробнее не помнишь в чём проблема?
[22:14:06] <ɹǝɟılʍǝu> Эх... не помню, позже могу спросить
[22:15:35] <m4n71k0r> кстати, в ди решили кое-какую плюсовую "проблему" вложенными template
[22:16:00] <m4n71k0r> когда надо вариадики чередовать с вариадиками
[22:16:23] <m4n71k0r> хотя... может и не решили)
[22:22:21] imarpus вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: service-unavailable
[22:27:05] <rexim> ForNeVeR, пыщ
[22:27:59] <rexim> ForNeVeR, ты уже заснул, да? ~_~
[22:28:03] <rexim> Ты мне нужен...
[22:30:49] <rexim> Ну и хуй с тобой. =\
[22:30:56] <ɹǝɟılʍǝu> Гы, впилил PSSourceFactory и выкинул из PSMainWindow нинужные функции загрузки и сохранения. Отлична!
[22:31:01] <ɹǝɟılʍǝu> rexim, а что такое?
[22:31:06] <ɹǝɟılʍǝu> Может, помогу?
[22:31:23] <rexim> ɹǝɟılʍǝu, нет, ты не в контексте. :)
[22:31:29] <ɹǝɟılʍǝu> Ох, ок. (=
[22:31:34] * ɹǝɟılʍǝu не муняня, да...
[22:32:16] <rexim> Нужен человек, который копался в lwjgl-clojars-repacker и знает причину его создания и назначение.
[22:32:41] <Akon32> хм!
[22:33:19] <Akon32> если человек создал его, он вряд ли в нем копался, а если копался - не факт, что узнал что-нибудь! >_<
[22:34:05] <ɹǝɟılʍǝu> Ткнул случайные кнопки @ нашёл полезную функцию у фара
[22:34:35] <m4n71k0r> а мне тут ссылочку дали https://www.shortcutfoo.com/
[22:35:05] <m4n71k0r> но чота сыкотно
[22:35:06] <ɹǝɟılʍǝu> Ня!
[22:35:18] <m4n71k0r> а то вдруг нечаянно запомню все шоткаты
[22:35:22] <Akon32> господа, а как вы обновляете таймзоны на xp?
[22:35:39] <m4n71k0r> ставь Минск
[22:35:58] <m4n71k0r> но у меня нет ХР
[22:36:07] <Akon32> а весной чо будет?
[22:36:10] <m4n71k0r> ничо
[22:36:16] <m4n71k0r> больше ж переводить не будут
[22:36:20] <Akon32> хм.
[22:36:26] <m4n71k0r> а в Белоруссии вроде бы не переводят
[22:36:30] * Akon32 так сегодня 3 раза делал.
[22:36:45] <Akon32> беда с этими таймзонами.
[22:36:51] <ɹǝɟılʍǝu> m4n71k0r, офигенная вещь!
[22:36:54] <m4n71k0r> да, беда
[22:37:18] <Akon32> админ куда-то свалил, и теперь каждый день что-то падает.
[22:37:18] <m4n71k0r> особенно было паревно во всех установленных jre/jdk обновлять
[22:37:40] <m4n71k0r> для х86 и для х64 Х_х
[22:37:57] <Akon32> жуть.
[22:41:59] Aманушка вышел из конференции
[23:01:44] rea вышел из конференции: Вышел из Vacuum-IM
[23:02:55] rea зашёл в конференцию
[23:06:44] Akon32 вышел из конференции
[23:08:55] Orhideous вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: recipient-unavailable
[23:09:02] Orhideous зашёл в конференцию
[23:12:24] <kosc> ForNeVeR, rexim, сортировку в loglist пока никто не запиливал?
[23:12:36] <kosc> А то я думаю взятся, но вдруг кто-то сделал, пока я тупил.
[23:13:02] <rexim> kosc, так ты ж и запиливал.
[23:13:08] <rexim> Вон от тебя два пулл реквеста.
[23:13:09] <kosc> Но я ж не допилил.
[23:13:13] <kosc> Говно какое-то вышло.
[23:13:15] <rexim> Которые ты не отребезил.
[23:13:22] <kosc> Надо запилить нормально.
[23:13:35] <rexim> Мне кажется, стоит просто допилить их.
[23:13:37] <kosc> Или сначала rebase, а потом запиливать нормально?
[23:13:52] <rexim> Я не знаю, как тебе удобнее.
[23:14:13] <rexim> Никто это и не запиливает, все тебя ждут. :)
[23:14:17] <kosc> Ок.
[23:14:24] Orhideous вышел из конференции: Этого участника выгнали из комнаты за то, что он послал сообщение об ошибке другому участнику: recipient-unavailable
[23:14:25] Orhideous зашёл в конференцию
[23:14:37] <kosc> Вобщем, через минут 5 на вас посыпятся нубские вопросы по скале xD
[23:14:43] <kosc> И по Play в частности.
[23:14:53] <rexim> Лол
[23:14:59] <rexim> Через 5 минут я спать пойду.
[23:15:02] <rexim> А Форневер уже спит,
[23:15:13] <rexim> Хотя нет.
[23:15:16] <rexim> Вру.
[23:15:18] <ɹǝɟılʍǝu> Можешь меня тыкать.
[23:15:20] <rexim> Через час пойду.
[23:15:45] * rexim потыкал нялайфера
[23:15:56] <rexim> kosc, вполне тыкабелный.
[23:16:04] <ɹǝɟılʍǝu> о.0
[23:16:07] <rexim> :3
[23:16:08] <ɹǝɟılʍǝu> 0.о
[23:16:11] <ɹǝɟılʍǝu> 0.0
[23:16:14] <ɹǝɟılʍǝu> о.о
[23:17:21] xspeed вышел из конференции
[23:18:10] <ɹǝɟılʍǝu> rexim, вспоминаем старое) http://www.youtube.com/watch?v=EDagBGdMtQ0
[23:18:25] <rexim> o_O
[23:18:44] rea вышел из конференции: Вышел из Vacuum-IM
[23:19:02] <kosc> Ахах
[23:19:11] <kosc> postgresql не запускается xD
[23:19:55] <ɹǝɟılʍǝu> Окк)
[23:20:42] <kosc> LOG: skipping missing configuration file "/var/lib/postgresql/9.4/data/postgresql.auto.conf"
FATAL: database files are incompatible with server
DETAIL: The database cluster was initialized with CATALOG_VERSION_NO 201407151, but the server was compiled with CATALOG_VERSION_NO 201409291.
HINT: It looks like you need to initdb.
[23:20:47] <kosc> В лог высрало.
[23:20:51] <kosc> Чо за прикол?
[23:21:06] <kosc> Докомпилялся с новыми версиями? Да вроде не должно быть, было как раз 9.4
[23:21:24] <rexim> Я хз, не сталкивался.
[23:21:50] <kosc> И это
[23:21:54] <kosc> Конфиг ПОТРАЧЕНО
[23:21:59] <kosc> Как оно там пишет.
[23:22:06] <kosc> Хотя ничего никуда не сносил.
[23:22:18] <kosc> м.б. файлухе пришёл апельсин.
[23:23:45] <kosc> И не отгуглить его что-то.
[23:24:03] <ɹǝɟılʍǝu> Время охуительных историй
[23:24:04] <ɹǝɟılʍǝu> https://bpaste.net/show/ff4191a5501a
[23:24:21] <ɹǝɟılʍǝu> Почему первый вариант функции load не падает, а второй — падает?
[23:25:26] <kosc> А я в новые плюсы ВООБЩЕ не умею.
[23:25:34] <kosc> Да я и в старые-то не могу...
[23:25:41] <ɹǝɟılʍǝu> Где тут новые?
[23:25:53] <kosc> C++11 вроде, не?
[23:26:10] <ɹǝɟılʍǝu> убери std::move и получишь старые плюсы.
[23:26:14] rea зашёл в конференцию
[23:26:30] <kosc> А auto?
[23:26:37] <ɹǝɟılʍǝu> А чо ауто?)
[23:26:45] <ɹǝɟılʍǝu> Ну напиши там int
[23:26:52] <kosc> Ну вот видишь.
[23:27:22] <kosc> Половину листинга уже переписали, а оно ещё не факт, что уже C++ legacy (хз, как правильно, назовём так)
[23:27:30] <kosc> C++99 наверное.
[23:27:40] <ɹǝɟılʍǝu> А зачем старые плюсы?
[23:27:53] <kosc> Для студентов.
[23:28:00] <kosc> Вернее, для преподов.
[23:28:05] <kosc> Преподы не умеют осиливать новое.
[23:28:16] <kosc> Кроме проноварыча
[23:28:23] <ɹǝɟılʍǝu> Чо?
[23:28:28] * ɹǝɟılʍǝu учитель.
[23:28:33] <kosc> Охлолю
[23:28:40] <kosc> Преподская конфа прям.
[23:28:50] <kosc> Вы какие-то слишком адекватные и правильные преподы.
[23:28:53] <ɹǝɟılʍǝu> Ваще, для обучения основам и не нужно супернового.
[23:29:00] <kosc> У нас в основном редкостные дебилы.
[23:29:18] <kosc> Которые путают C и C++, а то и C# с ними.
[23:29:25] <kosc> Типо один язык вообще.
[23:29:31] <ɹǝɟılʍǝu> А это им не надо.
[23:29:40] <kosc> Путать три разных языка?
[23:29:42] <ɹǝɟılʍǝu> Они учат алгоритмам и прочиму.
[23:29:46] <kosc> Да, это не надо.
[23:29:54] <kosc> Но зачем говорить то, о чём сам не знаешь?
[23:29:59] <ɹǝɟılʍǝu> прочему*
[23:30:22] <kosc> ɹǝɟılʍǝu: так а ты школьный учитель и таки препод в универе?
[23:30:33] <ɹǝɟılʍǝu> По образованию школьный)
[23:30:49] <kosc> И по специальности нифига не работаешь?
[23:31:16] <kosc> Короче, я похоже догадываюсь, почему у нас преподы такие дебилы.
[23:31:30] <kosc> Постгрис сломал себе блин.
[23:31:35] <kosc> Это не кайфово.
[23:34:44] <ɹǝɟılʍǝu> Какой-то из тебя кал среднего студента прёт. Ну ок.
[23:36:03] <kosc> Ну я не имел в виду всех преподов.
[23:36:14] <kosc> Попадалиются шарящие, но таких мало.
[23:36:31] <kosc> *Попадаются
[23:36:49] <ɹǝɟılʍǝu> Что ты понимаешь под «шарящим»?
[23:37:01] <kosc> Ну и ещё есть групка преподов гуманитарного говнеца, каждый из которых считает свой предмет центром Вселенной.
[23:37:13] <ɹǝɟılʍǝu> Знающим какую-то хуитку, которую знаешь ты?)
[23:37:18] <kosc> ɹǝɟılʍǝu: преподавателя, которые знает свой предмет хотя бы на уровне среднего студента.
[23:37:51] <kosc> Ну сам посуди, если препод знает свой предмет хуже среднестатистического студента, то зачем вообще нужен этот препод?
[23:38:09] <ɹǝɟılʍǝu> Где ты таких видел?
[23:38:17] <kosc> В моём вузике.
[23:38:29] <kosc> Где-то каждый второй из преподающий программирование.
[23:38:30] <ɹǝɟılʍǝu> И чего они не знали?
[23:38:44] <kosc> Основ языков, которые преподают.
[23:39:02] haototo зашёл в конференцию
[23:39:03] <ɹǝɟılʍǝu> Ты сам-то их не знаешь, блеать.
[23:39:15] <kosc> Чойта?
[23:39:23] <ɹǝɟılʍǝu> Тойта.
[23:39:31] <kosc> Откуда я бы тогда знал, что преподы их не знают?
[23:39:44] <ɹǝɟılʍǝu> Давай пример препода, номер твоей специальности и подробный рассказ.
[23:39:51] <kosc> Ого.
[23:39:59] <kosc> Надо было вести дневник на первом курсе xD
[23:40:07] <kosc> Специальность 231000
[23:40:19] <ɹǝɟılʍǝu> А ты думал, я буду просто так верить хуете студентоты?)
[23:40:45] <kosc> Блин, как там предмет-то назывался точно...
[23:41:01] <kosc> Алгоритмизация и программирование вроде.
[23:41:10] <ɹǝɟılʍǝu> Ну и где ты там язык увидел?
[23:41:19] <kosc> Перл препода: "Ну Си это подможество Си++".
[23:41:21] <kosc> Но лол.
[23:41:44] <kosc> В каждой второй книжке написано, что это не так.
[23:41:47] <ktt9> ɹǝɟılʍǝu: зануда
[23:41:53] <ktt9> Не всем с преподами везёт.
[23:41:59] <ɹǝɟılʍǝu> Ну когда-то это было так, коск.
[23:42:03] <kosc> ktt9: да ладно, пускай холивар продолжается.
[23:42:05] <ɹǝɟılʍǝu> ktt9, да, я занда.
[23:42:09] <ɹǝɟılʍǝu> зануда*
[23:42:11] <ktt9> Я вот прекрасно понимаю г-на koscа.
[23:42:23] <ktt9> Потому что то же самое. И даже препод почти то же самое говорил.
[23:42:24] <ɹǝɟılʍǝu> Мне как-то похуй)
[23:42:32] <ktt9> А уж как нам теорию ЯП преподавали, ууух.
[23:42:41] <ktt9> ɹǝɟılʍǝu: не что-то плохое же.
[23:42:51] <ktt9> А почему похуй? ._.
[23:42:55] <kosc> ɹǝɟılʍǝu: ну мы тут тебя же не убеждаем, что ты мудак, только потому что ты препод, мы тебе говорим, что среди преподов есть мудаки.
[23:43:02] <kosc> И ты готов это оспорить?
[23:43:08] <ɹǝɟılʍǝu> Конечно есть.
[23:43:19] <kosc> Ну вот.
[23:43:24] <ktt9> И когда их больше, чем немудаков, это грустно :'c
[23:43:24] <ɹǝɟılʍǝu> Но среди студентоты долбящиров куда больше)
[23:43:31] <ktt9> Вузику пизда :'c
[23:43:38] <ɹǝɟılʍǝu> И преподам приходится подгонять под седнего дибила.
[23:43:39] <kosc> ɹǝɟılʍǝu: вот тут тоже спорить не стану.
[23:43:50] <ɹǝɟılʍǝu> Спасибо классно-урочной системе и всяким лекциям, потокам.
[23:43:50] <kosc> Хм, а ведь есть такой феномен.
[23:44:15] <kosc> У нас в прошлом семестре на экзамене по программированию примерно 30% группы не осилили простейшую задачу на обход цикла.
[23:44:19] <ɹǝɟılʍǝu> А лично вас учить так вот массово и дёшиво не станут)
[23:44:25] <kosc> Это был facepalm.
[23:44:33] <kosc> Ну почему же.
[23:44:37] <kosc> Вот в этой конфе учат.
[23:44:40] <kosc> Массово.
[23:44:43] <ɹǝɟılʍǝu> И чтобы не было такой вот хуиты — поднимаешь руку и корректируешь препода. Чо не так-то?
[23:44:43] <kosc> И бесплатно.
[23:44:49] <ktt9> Короче, надо было вибирать вуз, где не стесняются выпиливать половину группы за первый курс.
[23:44:58] <uggur> http://youtu.be/gIukzIuP4S0 \m/
[23:45:03] <ktt9> ɹǝɟılʍǝu: не набёрешься корректировать.
[23:45:09] <kosc> ɹǝɟılʍǝu: многие преподы от таких попыток "выебнуться" багетят.
[23:45:15] <ɹǝɟılʍǝu> Тогда страдайте, лол.
[23:45:20] <ktt9> ɹǝɟılʍǝu: D:
[23:45:22] <kosc> Ну так да.
[23:45:29] <ktt9> Ну и страдаем.
[23:46:29] <kosc> ktt9: а что у тебя за ВУЗ и где?
[23:46:37] <ktt9> У меня вуз МИРЭА
[23:46:44] <kosc> Ясн
[23:47:04] <kosc> Звучит пафосно и понтово.
[23:47:09] <ktt9> Лолчто.
[23:47:10] <kosc> Московский государственный технический университет радиотехники, электроники и автоматики
[23:48:17] <kosc> ktt9: а специальность какая?
[23:49:09] <rexim> Кстати, по поводу студентов долобоёбов и преподов, которые вынуждены под них подстраиваться, плюсую полностью. На нашей кафедре (которую, закрыли...) были просто охуенные преподы, с которыми можно было от души попиздеть в неформальной обстановке про разработку и IT (я от своего будущего научрука так про скалу на втором курсе узнал). И мне было больно на них смотреть, когда они на парах с полными грусти глазами читали по бумажке какую-то совершенно капитанскую хуету...
[23:49:20] <ktt9> 230105
[23:50:05] <ɹǝɟılʍǝu> rexim, увы)
[23:51:10] * ɹǝɟılʍǝu не помнит номер своей специальности xD
[23:51:26] <ɹǝɟılʍǝu> Она, кстати, вроде уникальна... Единственная программа)
[23:52:32] <kosc> Хм.
[23:52:50] <kosc> Не помнишь номер, потому что ни разу не открывал диплом с дня его получения?
[23:53:05] <ɹǝɟılʍǝu> Открывал.
[23:53:14] <ɹǝɟılʍǝu> Но нафига запоминать?
[23:53:15] <kosc> rexim: что, прям все преподы у вас няшки в универе?
[23:53:24] <kosc> ɹǝɟılʍǝu: да и открывать нафига?
[23:53:31] <rexim> kosc, > На нашей кафедре
[23:53:40] <kosc> rexim: >которую закрыли
[23:53:46] <rexim> И?
[23:53:56] <kosc> Зачем тогда закрыли?
[23:54:05] <kosc> Если преподы такие молодцы прям все.
[23:54:14] <kosc> Ужесточили бы условия приёма и всё.
[23:54:23] haototo вышел из конференции
[23:54:26] <kosc> Ааа
[23:54:35] <kosc> Или вы так и сделали, и остались без студентов?
[23:56:29] <ɹǝɟılʍǝu> Лолблин...
[23:56:45] <rexim> kosc, там что-то личное было. http://klimovvy.blogspot.ru/2013/12/blog-post.html Не рекомендую особо вчитываться, ибо скучно. Но это писал человек, который лично все это наблюдал.
[23:56:58] <ɹǝɟılʍǝu> Искал, где падает, всё перелопатил, оказывается у меня специально выбрасывалось исключение...
[23:57:00] <ɹǝɟılʍǝu> Эх.
[23:57:25] <ɹǝɟılʍǝu> Надо бы, блять, сделать обмазку над исключениями и писать адекватно с месседжбоксом и логами))
[23:59:40] <kosc> rexim: да, печалька.