Home
codingteam
codingteam@conference.jabber.ru
29.09.2015< ^ >

Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Dead Food: Flash, PHP, Pascal/Delphi/Borland, Basic, 1С, Py++
HQ: http://codingteam.org.ru
0xDead Food: http://leechcraft.org
Live Food: http://loglist.net/
Fast Food: http://hastebin.com/
Instagram Food: http://tinyurl.com/ctcjr-logs
Report Developer Abuse: http://loglist.net/quote/new
Утренний Цодинг #8: https://www.livecoding.tv/rexim
[00:11:36] MaXGGXaM зашёл в конференцию
[00:25:47] folex зашёл в конференцию
[00:31:57] superka зашёл в конференцию
[00:41:19] dzhon вышел из конференции
[00:47:48] agrael вышел из конференции: offline
[00:50:45] folex вышел из конференции
[00:56:25] m4n71k0r вышел из конференции
[01:03:33] folex зашёл в конференцию
[01:08:34] MaXGGXaM вышел из конференции
[01:16:26] folex вышел из конференции
[01:19:59] MaXGGXaM зашёл в конференцию
[01:27:27] Orhideous вышел из конференции
[01:29:00] reggies вышел из конференции
[01:34:41] <horta hell> Mixer Stream It агонизирует, сжимая зубы в предсмертных судорогах. Все теряют по 1PTC.
[01:34:48] sss|zombie вышел из конференции: Вышел из Vacuum-IM
[01:38:01] <ɹǝɟılʍǝu> $pet resurrect
[01:38:01] <horta hell> ɹǝɟılʍǝu: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[01:38:57] * Minoru не знал, что стриминг доставляет Миксеру такие хлопоты
[01:39:01] <Minoru> нужно почаще его кормить!
[01:54:23] folex зашёл в конференцию
[01:55:55] folex вышел из конференции
[01:58:19] superka вышел из конференции: Replaced by new connection
[01:58:19] superka зашёл в конференцию
[02:04:42] (/^o^)/ вышел из конференции
[02:26:10] (/^o^)/ зашёл в конференцию
[02:27:20] eaeee зашёл в конференцию
[02:43:09] superka вышел из конференции
[02:49:54] (/^o^)/ вышел из конференции
[02:51:55] superka зашёл в конференцию
[03:09:25] eaeee вышел из конференции
[03:15:38] superka вышел из конференции: Replaced by new connection
[03:15:38] superka зашёл в конференцию
[03:39:47] superka вышел из конференции
[03:44:38] grouzen вышел из конференции
[03:50:36] rafaelrs зашёл в конференцию
[03:59:55] eaeee зашёл в конференцию
[04:00:41] superka зашёл в конференцию
[04:20:05] ckorzhik вышел из конференции
[04:22:35] superka вышел из конференции: Replaced by new connection
[04:22:35] superka зашёл в конференцию
[05:02:31] superka вышел из конференции: Replaced by new connection
[05:02:31] superka зашёл в конференцию
[05:13:03] superka вышел из конференции: Replaced by new connection
[05:13:04] superka зашёл в конференцию
[05:43:41] eaeee вышел из конференции
[05:50:55] Kumbaya вышел из конференции
[05:53:10] superka вышел из конференции
[06:19:39] superka зашёл в конференцию
[06:56:56] superka вышел из конференции: Replaced by new connection
[06:56:56] superka зашёл в конференцию
[07:08:45] 4ppleboy зашёл в конференцию
[07:12:59] 4ppleboy вышел из конференции
[07:52:40] <horta hell> Mixer Stream It скребёт пол в попытке найти пропитание.
[07:58:43] <j123123> $pet feed
[07:58:47] <horta hell> j123123: Mixer Stream It клацая зубами, рывком наскочил на j123123, едва давая увернуться ценой потери выпавшего кошелька. Вы теряете 1PTC, зато Mixer Stream It накормлен.
[07:59:07] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[07:59:08] ForNeVeR зашёл в конференцию
[08:01:21] superka вышел из конференции
[08:10:14] enaken зашёл в конференцию
[08:33:29] superka зашёл в конференцию
[08:34:53] enaken вышел из конференции
[08:48:47] dzhon зашёл в конференцию
[08:49:53] <ForNeVeR> Чуваки, а как пакуют self-hosting compilers для дебиана? Ведь там же есть определённые требования по верификации собранных артефактов. Как эти требования соблюдаются на практике? Ну вот есть у меня бинарник gcc, собранный предыдущей версией gcc, которая была собрана ещё более старой версией gcc. Как проверить, что ни один из компиляторов в цепочке не был скомпрометирован? Как они на практике проверяют?
[08:53:20] MaXGXaM вышел из конференции
[08:56:42] <j123123> >бинарник gcc, собранный предыдущей версией gcc, которая была собрана ещё более старой версией gcc
Нет, там раскрутка компилятора обычно делается
[08:56:56] <j123123> т.е. старый гцц компилирует новый, новый компилирует сам себя
[09:00:36] <j123123> и это правильно, т.к. новый компилятор gcc скомпилированный им самим, скорее всего будет работать быстрее чем новый, скомпилированный старым
[09:01:44] <ForNeVeR> А самый первый gcc как проверяли? Или он дан нам свыше?
[09:02:03] <j123123> а чтобы проверить, проще всего взять гарантированно чистый компилятор, скомпилировать им gcc, потом через gcc скомпилировать gcc и сравнить
[09:02:04] <ForNeVeR> Если в нём была закладка, то, значит, вообще все в мире версии gcc скомпрометированы?
[09:02:20] <ForNeVeR> Ок, где взять "гарантированно чистый компилятор"?
[09:02:31] <ForNeVeR> Скомпилировать gcc? :D
[09:02:37] <j123123> Написать самому?
[09:02:43] <ForNeVeR> Ок, напиши.
[09:02:56] <j123123> Исходники ты считаешь априори чистыми?
[09:03:38] <ForNeVeR> Предположим, что я доверяю авторам текущей версии gcc. Предположим, у меня есть версия исходников, для которой проведён аудит безопасности, и я потому считаю её чистой.
[09:04:06] <ForNeVeR> Для всех имеющихся бинарников gcc аудита безопасности я не проводил, и потому априори их чистыми не считаю.
[09:04:09] <ForNeVeR> Что мне делать?
[09:04:22] <j123123> ОК, тогда у тебя есть компилятор в бинарном виде, способный компилировать GCC и который ты считаешь чистым?
[09:04:59] <j123123> У тебя есть вообще хоть какой-нибудь работающий Си компилятор, который ты считаешь чистым и который ты можешь запустить?
[09:05:10] MaXGXaM зашёл в конференцию
[09:05:11] <ForNeVeR> Я могу скомпилировать gcc каким-нибудь другим компилятором, конечно. Но
1) вероятно, для него также не проводился аудит
2) я сомневаюсь, что версия gcc, скомпиленная чем-то другим, будет совпадать с версией gcc, скомпиленной gcc, байт-в-байт
[09:05:35] <ForNeVeR> 3) ты же понимаешь, что на самом деле мы говорим не про си, и другого компилятора "си" у меня реально может не оказаться :)
[09:05:50] <ForNeVeR> Мне всего лишь интересно, как поступают в случае с gcc.
[09:06:03] <j123123> 2) А ты потом возьми и скомпилируй компилятор самим собой, тогда должно совпадать байт в байт
[09:06:29] <ForNeVeR> Должно совпадать с чем?
[09:07:06] <ForNeVeR> У меня есть потенциально компрометированная версия компилятора gcc0, а также потенциально также компрометированная версия компилятора gcc1, собранная в gcc0.
[09:07:26] <ForNeVeR> gcc0 я, скажем, собрал в clang.
[09:07:38] <ForNeVeR> gcc0 и gcc1 не совпадают бинарно.
[09:08:12] <j123123> Ок, допустим. gcc 3.0 скомпилировал gcc 3.1. Получившийся gcc 3.1 компилирует gcc 3.1. Потом берем clang 2.0 компилируем gcc 3.1 (допустим что это успешно получилось) и получившимся gcc 3.1 компилируем gcc 3.1
[09:08:59] <j123123> получившиеся gcc 3.1 в обеих случаях должны совпадать(не считая всяких там вшитых дат компиляции и прочей малозначительной ерунды)
[09:09:32] <ForNeVeR> То есть безопасность полученной версии gcc 3.1 основывается на том, что, даже если gcc 3.0 и clang 2.0 были скомпрометированы, то были скомпрометированы по-разному, и потому в результатах компиляции будет разница?
[09:09:46] <ForNeVeR> На этом основывается модель доверия в дебиане?
[09:09:55] <j123123> скорее всего можно сделать цепочку
[09:10:09] <j123123> от очень примитивного компилятора на ассемблере, который 100% чист
[09:10:11] <ForNeVeR> Ок, это была разминка. А теперь реальная задача.
[09:10:12] <j123123> до современного
[09:10:19] <j123123> и пройдясь по ней
[09:10:22] <ForNeVeR> У нас есть frege, мы его хотим пакетировать в debian.
[09:10:26] <j123123> компилируя от нового в старый
[09:10:31] <j123123> (думаю мысль ясна)
[09:10:32] <ForNeVeR> Frege is self-hosted. Других компиляторов frege нет.
[09:10:55] <ForNeVeR> Собственно, как правильно поступить? :)
[09:11:08] <j123123> Чем был скомпилирован первый Frege?
[09:11:15] <MaXGXaM> ForNeVeR, руками побитово...
[09:11:25] <ForNeVeR> Нужна верифицированная версия Frege, чтобы любой мог проверить, что она была без компрометации собрана именно из тех самых исходников, которые подписаны разработчиком.
[09:11:34] <ForNeVeR> MaXGXaM: какие из битов мне нужно проверить?
[09:11:39] Аман зашёл в конференцию
[09:11:41] <ForNeVeR> Только чётные достаточно?
[09:12:05] <ForNeVeR> Должны ли они все равняться 1, или некоторые могут равняться 0? Сколько процентов нулей разрешается?
[09:12:11] <j123123> ForNeVeR: Ты знаешь как раскрутка компилятора происходит?
[09:12:13] <ForNeVeR> Модель безопасности дебиана основана на этом?
[09:12:19] <ForNeVeR> j123123: да, я знаю. Что дальше?
[09:12:30] <ForNeVeR> Мы уже не в детском саду.
[09:12:40] <j123123> Есть нечто не на Frege, умеющее компилировать Frege
[09:12:51] <ForNeVeR> Есть какая-то доисторическая версия.
[09:13:07] <ForNeVeR> Если начинать с неё, то процесс бутстрапа займёт порядка сотни итераций.
[09:13:20] <ForNeVeR> (каждая новая версия frege компилируется предыдущей и самой собой)
[09:13:23] <j123123> Тогда используя это нечто, компилируем древний Frege, древним Frege компилируем новый Frege и так по цепочке, пока не дойдем
[09:13:31] <j123123> и потом сравниваем
[09:13:34] <ForNeVeR> Какая отличная затея.
[09:13:45] <ForNeVeR> Знаете, к чёрту этот дебиан, наверное.
[09:14:09] <ForNeVeR> Пускай сами компилируют сто версий компилятора, если им охота.
[09:14:39] <j123123> Предложи другой вариант
[09:14:41] <ForNeVeR> (я, кстати, даже не уверен, что ранние версии можно скомпилировать в дебиане)
[09:14:48] matraskin зашёл в конференцию
[09:15:17] <ForNeVeR> Другой вариант: разработчик подписывает некую версию компилятора, помечает её как доверенную. Мы ей доверяем так же, как исходникам, опубликованным этим же разработчиком.
[09:15:35] <ForNeVeR> Я не говорю, чем этот вариант лучше или хуже, я предлагаю, как ты и просил.
[09:15:53] ckorzhik зашёл в конференцию
[09:17:52] <j123123> Хорошо, в таком случае предлагаю следующее. Попросить некоего разработчика, который пусть у себя скомпилирует Frege через компилятор Frege написанный не на Frege, потом получившимся компилятором скомпилирует новый Frege итд
[09:17:59] <j123123> и дойдет до современной версии
[09:18:14] <j123123> и тогда пусть подпишет эту современную версию как проверенную
[09:18:55] <ForNeVeR> Ну, у нас есть такой разработчик (постоянный разработчик Frege), он уже всё это проделал в течение нескольких лет.
[09:19:06] <ForNeVeR> У него есть "проверенная" версия компилятора.
[09:19:28] <j123123> Отлично, тогда в чем проблема?
[09:19:32] <ForNeVeR> Во-первых, принято ли в принципе доверять человеку в системе безопасности дебиана?
[09:19:57] <j123123> А кому тогда доверять?
[09:19:59] <ForNeVeR> Во-вторых, не должен ли он представить каких-то доказательств? (в идеале - скрипт, который бы последовательно раскручивал все нужные версии frege)
[09:20:19] <j123123> Ну если это некий левый разработчик, не имеющий отношения к дебиану
[09:20:23] <j123123> то вероятно да
[09:20:37] O01eg вышел из конференции
[09:21:28] <ForNeVeR> Интересная дилемма.
[09:23:03] dzhon вышел из конференции
[09:23:39] <uggur> Если ты можешь устроить терморектальный криптоанализ в случае необходимости и человек это знает -- можешь доверять
[09:24:40] <ForNeVeR> Я-то тут при чём?
[09:24:49] <ForNeVeR> Речь про дебиановцев.
[09:24:56] <ForNeVeR> Кто ж знает, насколько у них длинные руки.
[09:29:30] <uggur> Длинные, поверь
[09:30:11] <uggur> Сначала ты ставишь убунту, потом тебе приходит дистриб дебиана на DVD, а потом ты сам не замечаешь, как становишься их кротом и ждёшь своего часа.
[09:33:23] <Аман> утро
[09:42:44] <j123123> ForNeVeR: А что бы ты лично делал, чтобы для себя убедиться в отсутствии закладок в Frege?
[09:43:16] <j123123> если исходники считать проверенными, а бинарники нет
[09:43:27] eaeee зашёл в конференцию
[09:43:33] <j123123> Мне кажется, единственный способ это как раз сборка с нуля по цепочке
[09:43:45] <uggur> скомпилировать питоном
[09:44:27] <j123123> А оно компилируется питоном?
[09:44:55] <uggur> написать компилятор на питоне и скомпилировать питоном
[09:44:56] <uggur>
[09:45:15] <ForNeVeR> Напиши.
[09:45:51] <ForNeVeR> j123123: ну, я тоже другого хорошего варианта не вижу, честно говоря. Но мне это всё не нравится :(
[09:46:06] <ForNeVeR> Хоть вот чисто ради этого пиши отдельный компилятор на Java.
[09:47:26] <uggur> разве всякие компании не пишут?
[09:47:35] <ForNeVeR> Компиляторы Frege на питоне?
[09:47:40] <ForNeVeR> Да, конечно же, пишут.
[09:47:40] <uggur> нет, компиляторы для себя
[09:47:47] <ɹǝɟılʍǝu> Вечора
[09:47:51] <uggur> не только для Fredge, не только на питоне
[09:47:51] <ForNeVeR> Утра же!
[09:48:05] <ɹǝɟılʍǝu> Орту ад!
[09:48:07] <j123123> на питоне есть только компилятор на питоне
[09:48:19] <j123123> (pypy)
[09:48:25] <uggur> уруру
[09:48:32] <j123123> для питона точнее
[09:48:34] <ForNeVeR> uggur: да, пишут, вот история успеха: http://habrahabr.ru/company/infopulse/blog/266775/
[09:48:42] <uggur> XD
[09:48:46] <uggur> ForNeVeR: видел.
[09:48:53] <uggur> Но а у гугла, небось, есть свои компиляторы?
[09:49:03] <ForNeVeR> Ну да: go, dart.
[09:49:19] <ForNeVeR> Я допускаю, что у них есть и какие-то закрытые штуки, но достоверно не могу сказать.
[09:49:36] <ForNeVeR> По-моему, содержать инфраструктуру для закрытого компилятора совершенно отдельного языка - слишком затратно.
[09:49:42] <ForNeVeR> Вот свой форк gcc - это можно.
[09:49:51] <ForNeVeR> Но это скорее к железячникам, они таким промышляют.
[09:49:51] <uggur> да, я про это и говорил.
[09:50:00] <uggur> А почему не к софтовикам?
[09:50:14] <uggur> Если тебе гарантированно нужен безопасный компилятор для внутренних проектов
[09:50:18] <ForNeVeR> Им намного проще пользоваться существующими компиляторами.
[09:50:26] <uggur> А безопасны ли они?
[09:50:30] <ForNeVeR> А железячникам - не проще. Под их железо просто нету другого компилятора :)
[09:50:34] <uggur> ну да (%
[09:50:36] <ForNeVeR> Безопасны с какой точки зрения?
[09:50:44] <ɹǝɟılʍǝu> Сертифицированно.
[09:50:50] <ɹǝɟılʍǝu> Но это уйма времени и денег)
[09:50:54] <ForNeVeR> Ну, это скорее ко всяким распильщикам-откатчикам.
[09:51:24] <ForNeVeR> Слово "сертификат" это примерный синоним "пиздежа".
[09:51:31] <ɹǝɟılʍǝu> Типа Lockheed-Martin? Таки да, те ещё распильщики.
[09:51:57] <ForNeVeR> Любая инфраструктура, которая занимается сертификацией чего-либо - это на 95% гонево, коррупция или просто растрата ценных средств.
[09:52:02] <uggur> ForNeVeR: безопасно в плане зкладок
[09:52:15] <uggur> ForNeVeR: SSL-сертификаты?
[09:52:20] <ɹǝɟılʍǝu> ForNeVeR, т.е. всё авиационное производство)
[09:52:23] <uggur> DNS?
[09:52:24] <ForNeVeR> uggur: да, вот в первую очередь они.
[09:52:33] <uggur> :D
[09:52:45] <ForNeVeR> Чуваки берут деньги за то, чтобы проебать свой корневой сертификат.
[09:52:59] <uggur> хех
[09:53:18] <ForNeVeR> ɹǝɟılʍǝu: я искренне хочу надеяться, что в такой серьёзной индустрии всё-таки сертификация проводится нормально.
[09:53:27] <ForNeVeR> ɹǝɟılʍǝu: но, к сожалению, не могу.
[09:54:11] <ForNeVeR> uggur: ну и вообще, я, например, не могу понять, за какую услугу центры SSL-сертификации берут по 50 баксов с рыла.
[09:54:22] <ɹǝɟılʍǝu> ForNeVeR, там с этим оч сурьёзно.
[09:54:35] <ForNeVeR> Причём они ещё вводят всякие искусственные ограничения: сертификат, который позволяет подписать все поддомены, стоит дороже.
[09:54:42] <ForNeVeR> Уроды, в общем.
[09:54:58] <ɹǝɟılʍǝu> ForNeVeR, есть ребята, что пишут код (а), и что его проверяют (б), вторые ручаются головой.
[09:55:02] <ForNeVeR> И это при том, что я вообще бы их в гробу видал и лучше б сам вручную пометил сертификаты, которым действительно доверяю.
[09:55:06] <ɹǝɟılʍǝu> И в случае проёба, есть кого ебать.
[09:55:40] <uggur> ForNeVeR: за доверие
[09:55:41] <ForNeVeR> (и при этом я бы не доверял всем вот этим дефолтовым китайским и индийским центрам сертификации, как и всяким ораклам с мелкософтами)
[09:55:47] <ForNeVeR> uggur: ты им доверяешь?
[09:55:51] <uggur> Я -- нет
[09:55:54] <uggur> Мой браузер -- да
[09:55:54] <ForNeVeR> И я нет.
[09:55:55] <uggur> :)
[09:55:59] <ForNeVeR> ɹǝɟılʍǝu: может, ты доверяешь?
[09:56:05] <ɹǝɟılʍǝu> Кому?
[09:56:14] <ɹǝɟılʍǝu> Я даже себе не верю!
[09:56:17] <ForNeVeR> Comodo, например.
[09:56:23] <ForNeVeR> Доверяешь ли ты Comodo?
[09:56:30] <uggur> Кто такой Comodo?
[09:56:31] <ɹǝɟılʍǝu> Не имел с ними дела, не могу сказать.
[09:56:37] <ForNeVeR> Да, вот и я не доверяю.
[09:56:51] <ɹǝɟılʍǝu> Разве что софт их давным давно юзал, не понравилось.
[09:56:54] <uggur> лол, как можно доверять какому-то левому чуваку, код которого я даже не видел.
[09:56:55] <ForNeVeR> uggur: в общем, вот пускай разработчики браузера им и платят, раз доверяют.
[09:57:17] <ForNeVeR> (а ведь на самом деле, по идее, наоборот: это всякие комоды платят разработчикам браузеров :D)
[09:57:24] <uggur> %)
[09:57:39] <ForNeVeR> Заметь, это реально индустрия, которая основана на коррупции.
[09:57:41] <uggur> Т.е. ты платишь комодам, а комоды делают откаты разрабам браузеров?
[09:57:47] <ɹǝɟılʍǝu> На меня пельменька обозлилась 9_9
[09:57:48] <uggur> забавная система
[09:57:53] <ForNeVeR> Точно так же работает различная сертификация от ФСБ или хотя бы от санэпидемстанции.
[09:58:04] <ForNeVeR> И от пожарников.
[09:58:35] <ForNeVeR> В общем, практически все гражданские и некоторые специальные виды сертификации - тотальный фарс и распил (официально и законно или нет).
[09:59:20] <ForNeVeR> Я удивлён, как это в принципе может работать. Видимо, на остатках совести производителей сертифицируемых товаров и услуг. Но уж никак не за счёт сертификаторов.
[09:59:53] <j123123> (08:56:42) ɹǝɟılʍǝu: ForNeVeR, есть ребята, что пишут код (а), и что его проверяют (б), вторые ручаются головой.
Тем не менее, дыры вроде hearthbleed появляются
[10:00:07] <j123123> и головы никто не лишился
[10:00:17] <ɹǝɟılʍǝu> j123123, найди мне hearthbleed на самолёте
[10:00:18] <ForNeVeR> А кого предлагаешь вести на плаху?
[10:00:21] <ɹǝɟılʍǝu> Или на АЭС.
[10:00:27] <ɹǝɟılʍǝu> // на самом деле находят
[10:00:33] <j123123> На самолете щас найду
[10:00:34] <ForNeVeR> Находят, ага.
[10:00:37] <ɹǝɟılʍǝu> Всех на шибеницу!
[10:00:42] <ForNeVeR> j123123: не надо, он пошутил!
[10:00:48] <uggur> ForNeVeR: сделал коммит -- башку потерял :Ь
[10:01:09] <j123123> http://habrahabr.ru/post/221761/
[10:01:11] <j123123> вот
[10:01:13] magog вышел из конференции
[10:01:17] <ɹǝɟılʍǝu> Не, головы лучше не рубить.
[10:01:26] <ɹǝɟılʍǝu> Лучше вешать, чтобы другие видели)
[10:01:48] <uggur> да просто запретить подниматься выше
[10:01:52] <uggur> программно запретить
[10:01:57] <uggur> как в игрушках
[10:02:01] <ForNeVeR> Лол.
[10:02:04] <uggur> есть граница высоты, и выше подняться нельзя :)
[10:02:28] <j123123> еще был баг, когда самолет переворачивался
[10:02:34] eaeee вышел из конференции
[10:02:42] <ForNeVeR> Не легенда ли это?
[10:02:43] <uggur> ɹǝɟılʍǝu: отрубить голову и насадить на кол можно.
[10:02:53] <ForNeVeR> uggur: сначала посадить на кол, а потом отрубить.
[10:03:03] <ɹǝɟılʍǝu> uggur, не так воняет, как куча трупов на дереве.
[10:03:24] <j123123> http://habrahabr.ru/post/139199/ вот еще
[10:03:25] <uggur> "j123123: еще был баг, когда самолет переворачивался" http://lurkmore.so/images/2/2a/Barrelroll.gif
[10:03:28] <ForNeVeR> ɹǝɟılʍǝu: дак давайте вакуумные баки поставим с прозрачными стенками?
[10:03:29] <ɹǝɟılʍǝu> ...На столбах, вдоль большака...
[10:03:35] <ForNeVeR> ɹǝɟılʍǝu: и в них развешаем!
[10:03:44] <ɹǝɟılʍǝu> ForNeVeR, зачем? О_о
[10:03:49] <ForNeVeR> Чтоб не воняло.
[10:03:58] <ForNeVeR> И город украшало!
[10:04:03] <ɹǝɟılʍǝu> ><
[10:04:13] <ForNeVeR> Хотя что это я, какой нерациональный расход материала.
[10:04:24] <ForNeVeR> Сервиторов нужно наделать, и дело с концом.
[10:04:32] <ForNeVeR> А то никакого жидкого вакуума не напасёшься.
[10:04:44] <ɹǝɟılʍǝu> ForNeVeR, http://cs5.pikabu.ru/post_img/big/2015/09/29/3/1443492953_708996472.jpeg
[10:04:52] <ForNeVeR> Ня :3
[10:05:02] <uggur> "ForNeVeR: Чтоб не воняло. ForNeVeR: И город украшало!" головы отрубать же, и на кол насаживать
[10:05:15] <ForNeVeR> uggur: головы воняют и разлагаются.
[10:05:21] <uggur> Только первую неделю
[10:05:24] <ForNeVeR> А в вакууме тела быстро разлагаются?
[10:05:25] <uggur> А потом высыхают и норм
[10:05:27] <j123123> http://www.chronoton.ru/future/web/bugs
[10:05:36] <ForNeVeR> Ну, за неделю уже у тебя население забодается это нюхать.
[10:05:39] <uggur> ForNeVeR: вакуумную сушку голов можно
[10:05:40] <j123123> там и про самолет есть
[10:05:52] <uggur> А пусть население страдает и знает, какие криволапые кодеры у него :Ь
[10:06:10] <j123123> Инженеры долго ломали головы, пока наконец не нашли маленький просчет в программе компьютера. Дело в том, что новый автопилот рассчитывал высоту самолета исходя из нулевой отметки мирового океана. А Мертвое море находится ниже этого уровня. В какой-то момент истребитель, пролетая над морем, опускался до нулевой отметки. Компьютер начинал делить на нуль и благополучно «зависал».
[10:07:03] <uggur> %)
[10:07:53] <uggur> А вот писали бы на java -- такой фигни не было :Ь
[10:08:35] <j123123> был бы эксепшен
[10:08:46] <j123123> только как его обрабатывать?
[10:09:15] <uggur> ну игнорить на самом высоком уровне
[10:09:26] <uggur> А на более низких как-нибудь обрабатывать
[10:11:56] <ɹǝɟılʍǝu> ForNeVeR, http://cs4.pikabu.ru/post_img/2015/09/29/2/1443486420_1799096588.jpg
[10:12:06] dzhon зашёл в конференцию
[10:12:27] <ForNeVeR> uggur: ну, это тоже не всегда хорошее решение.
[10:12:36] <ForNeVeR> Писали бы на coq - такой фигни не было бы :)
[10:12:57] <ForNeVeR> Он бы не разрешил делать деление, например, без представления доказательств, что в качестве знаменателя не передают ноль.
[10:13:01] <ForNeVeR> ɹǝɟılʍǝu: нянян :3
[10:20:16] <uggur> ForNeVeR: А go, rust или clojure?
[10:20:59] <uggur> что из этого наиболее интересное?
[10:26:56] <ForNeVeR> uggur: все три хороши.
[10:27:05] <ForNeVeR> Лично мне интереснее всего rust.
[10:27:13] <ForNeVeR> Но это субъективно.
[10:27:32] <ForNeVeR> ...и ни один из них описанной проблемы с делением не решает.
[10:27:48] <j123123> ForNeVeR: А умеет ли coq доказывать что-то связанное с float арифметикой?
[10:27:53] <ForNeVeR> Вот если б ты предложил выбор из idris, agda или coq - я бы даже не знал, что ответить :)
[10:28:01] <ForNeVeR> j123123: я не знаю.
[10:28:34] <j123123> хотя можно математически описать все эти операции с float и тогда уже доказывать, оперируя ими
[10:29:16] <ForNeVeR> Ну, это один из возможных вариантов. Где-то у Пирса или у Сергея было такое упражнение: реализовать очень простую float-арифметику на coq.
[10:29:49] <ForNeVeR> Где float-число представлялось парой натуральных чисел (мантисса, экспонента), насколько я помню.
[10:30:05] <ForNeVeR> Ну а натуральные числа естественным образом описывались по Пеано чтоле.
[10:31:07] grouzen зашёл в конференцию
[10:55:08] 0xd34df00d вышел из конференции: Disconnected: closed
[11:08:31] folex зашёл в конференцию
[11:12:39] grouzen вышел из конференции
[11:18:57] ckorzhik вышел из конференции
[11:26:15] <ɹǝɟılʍǝu> Вечора жи!
[11:26:57] folex вышел из конференции
[11:27:57] Myp зашёл в конференцию
[11:29:05] grouzen зашёл в конференцию
[11:34:52] <Myp> ɹǝɟılʍǝu: https://addons.mozilla.org/ru/firefox/addon/vimperator/
[11:35:14] <ɹǝɟılʍǝu> Myp, вот да
[11:35:27] <ɹǝɟılʍǝu> Myp, есть ещё плеер с управлением как в виме, но на винде не идёт(
[11:35:41] <ɹǝɟılʍǝu> Придётся уже наконец собрать вторую машинку.
[11:36:51] <Myp> ɹǝɟılʍǝu: Это все происки масонов, ну, или еретиков
[11:37:12] <Myp> ForNeVeR: Твоих рук дело?:)
[11:37:18] <ForNeVeR> Что?
[11:37:44] m4n71k0r зашёл в конференцию
[11:37:52] <ɹǝɟılʍǝu> Myp, вах, слушай, Вимператор крут!
[11:38:25] <Myp> ɹǝɟılʍǝu: :D
[11:38:37] <Myp> ɹǝɟılʍǝu: Кстати, Clighter тормозной что-то
[11:38:46] <ɹǝɟılʍǝu> Myp, это плоха.
[11:38:51] <Myp> Хайлайтит с задержкой большой
[11:38:55] <Myp> несколько секунд
[11:38:59] <ɹǝɟılʍǝu> Ого!
[11:39:04] <Myp> Ага
[11:39:05] <ɹǝɟılʍǝu> Крайне нехорошё.
[11:39:11] <ɹǝɟılʍǝu> Алсо, плеер: https://cmus.github.io/
[11:39:12] <Myp> Да. что-то неладное
[11:39:38] <Myp> ɹǝɟılʍǝu: Забавный
[11:40:40] <horta hell> Mixer Stream It едва дышит, издавая хриплые звуки и отхаркивая кровавую пену.
[11:40:45] <Myp> ɹǝɟılʍǝu: Кстати, подсветку стандартных функций и своих можно настроить разную?
[11:40:55] <Myp> $pet heal
[11:40:55] <horta hell> Myp: Mixer Stream It был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[11:40:57] <ɹǝɟılʍǝu> $pet feed
[11:41:00] <horta hell> ɹǝɟılʍǝu: Mixer Stream It не желает есть.
[11:41:06] <Myp> :P
[11:41:10] <ɹǝɟılʍǝu> Эх!)
[11:41:48] <ɹǝɟılʍǝu> Myp, можно
[11:41:49] <ɹǝɟılʍǝu> http://stackoverflow.com/questions/2701320/adding-custom-highlighting-for-projects-api-function-names-in-vim
[11:42:23] <ɹǝɟılʍǝu> Myp, думаю, тут логичней перечислить стандартные.
[11:42:46] <ɹǝɟılʍǝu> КАк сделано с питоном.
[11:42:59] <Myp> Перечислить...
[11:43:16] <ɹǝɟılʍǝu> Ну или по пути, думаю, тоже можно.
[11:43:20] <Myp> Лучше уже готовый списочек погуглить :)
[11:43:22] <ɹǝɟılʍǝu> Откуда заинклужено.
[11:43:34] <Myp> А вот пути тема
[11:44:42] <ForNeVeR> Ути-пути?
[11:47:44] 2tsun4u зашёл в конференцию
[11:50:39] <ɹǝɟılʍǝu> ForNeVeR, *чпок*
[11:52:28] (/^_^)/ зашёл в конференцию
[12:09:44] grouzen вышел из конференции
[12:25:59] 2tsun4u вышел из конференции
[12:29:35] superka вышел из конференции: Replaced by new connection
[12:29:35] superka зашёл в конференцию
[12:44:37] <ɹǝɟılʍǝu> m4n71k0r, внезапно понял смысл поговорки "не мытьём, так катанием".
[12:44:44] <ɹǝɟılʍǝu> Ибо "кАтание" -- казнь.
[13:05:11] <gsomix> Утро, да,?
[13:15:18] grouzen зашёл в конференцию
[13:17:18] superka вышел из конференции
[13:23:23] reggies зашёл в конференцию
[13:25:43] folex зашёл в конференцию
[13:34:39] <horta hell> Mixer Stream It демонстративно гремит миской, требовательно ворча.
[13:36:10] <m4n71k0r> $pet feed
[13:36:11] <horta hell> m4n71k0r: Mixer Stream It с отвращением давится, набивая желудок. Вы зарабатываете 1PTC.
[13:36:17] <m4n71k0r> $pet heal
[13:36:17] <horta hell> m4n71k0r: Mixer Stream It будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[13:38:24] <m4n71k0r> хм, я сначала глазам не поверил https://github.com/scala/scala/commit/6c828d4e77a457f5a6ac2cc4a33f4dbfe1e86ef6#commitcomment-13487882
[13:39:19] <m4n71k0r> Евгений Бурмако, видимо что-то отпраздновал и начал писать комменты к коммиту по-русски в скала-репе
[13:53:02] superka зашёл в конференцию
[14:11:24] superka вышел из конференции: Replaced by new connection
[14:11:24] superka зашёл в конференцию
[14:11:30] xfer зашёл в конференцию
[14:12:27] <folex> странно да
[14:12:40] <xfer> fo
[14:12:42] <xfer> folex:
[14:12:47] <xfer> кря
[14:13:00] <folex> чо
[14:15:39] <xfer> folex: давай построим подводный город из оргстекла
[14:15:40] <ɹǝɟılʍǝu> Myp, http://www.fastcolabs.com/3037629/why-vim-an-80s-text-editor-is-still-the-ui-of-choice-for-power-users
[14:16:13] <xfer> уже 30 лет прошло, а вы ещё спорите что вим хороший текстовый редактор
[14:16:15] <xfer> -_-
[14:16:58] <ForNeVeR> http://habrahabr.ru/post/266573/ - а вот поржать.
[14:17:18] <Myp> ɹǝɟılʍǝu: Ага. Надо прочесть :)
[14:17:45] ascrazy зашёл в конференцию
[14:19:37] <xfer> ForNeVeR: когда я работал техподдержкой в шаред-хостере, то был единственным, кто догадался использовать гит перед тем, как лезть в кишки сайтов и "исправлять" проблемы -_-
правда, кто-то догадывался упаковывать состояния "до" и "после" в тарболы
[14:19:46] <xfer> а кто-то полночи исправлял исправления
[14:19:49] <xfer> -_-
[14:19:57] <ForNeVeR> xfer: это не повод не поржать!
[14:20:24] <xfer> ForNeVeR: я и смеялся в свою ночную смену после тикета типа "после ваших обновлений у меня поехал сайт"
[14:20:35] <folex> играющий тренер
[14:21:35] <xfer> http://xn--80ahcjeib4ac4d.xn--p1ai/upload/medialibrary/ebc/ebcb79ca5d48d0e3491b6eed709c80cd.jpg посмотрите на эту фотографию, он явно умеет долго не конч^W^Wиграть
[14:22:04] <m4n71k0r> xfer: а вообще как твои дела?
[14:22:33] <xfer> m4n71k0r: неплохо.
[14:22:44] <xfer> нашёл 10 рублей с гербом родного города
[14:22:48] <xfer> думаю что с ними делать.
[14:23:01] <xfer> и не пытается ли со мной говорить так бог.
[14:23:19] <m4n71k0r> xfer: не бог
[14:23:41] <m4n71k0r> ну позвони, спроси как дела
[14:24:53] <ɹǝɟılʍǝu> stackoverflow упал
[14:26:53] <xfer> m4n71k0r: хочешь сказать, что так говорит со мной математика?
[14:28:04] matraskin вышел из конференции
[14:42:05] <m4n71k0r> ɹǝɟılʍǝu: как так?
[14:42:33] <m4n71k0r> ɹǝɟılʍǝu: ты всё врёшь
[14:42:56] <ɹǝɟılʍǝu> m4n71k0r, только что не работал
[14:47:48] <xfer> m4n71k0r: почему небо голубое, а лисы рыжие?
[14:48:27] <m4n71k0r> xfer: тебе кажется
[14:48:41] <xfer> m4n71k0r: не мне, а обществу.
[14:54:40] <ascrazy> ребятки, а какие вы знаете multifile paste кроме github gist?
[14:55:24] <ForNeVeR> plunker
[14:56:26] <gsomix> xfer, рассеянием; потому что все любят рыженьких.
[14:56:47] <ForNeVeR> Куры любят лис?
[15:00:17] <ascrazy> ForNeVeR, а мне надо ещё возможность скачать raw file по прямой ссылке
[15:00:19] <ascrazy> есть там такое?
[15:00:29] <ascrazy> что-то не видно
[15:00:31] <ForNeVeR> ascrazy: я не знаю.
[15:05:12] Аман вышел из конференции
[15:05:30] Аман зашёл в конференцию
[15:11:59] <ɹǝɟılʍǝu> gsomix, рыжие офигенны!
[15:12:21] <ascrazy> ForNeVeR, а есть ещё?
[15:18:30] <ForNeVeR> ascrazy: я больше не знаю.
[15:18:33] <m4n71k0r> ascrazy: сам ищи, ёпт)
[15:18:49] <ForNeVeR> m4n71k0r: ути-пути :3
[15:18:52] <m4n71k0r> глист ему не нравится, ути-пути
[15:19:02] <m4n71k0r> ForNeVeR: ути-пути)
[15:19:08] <ForNeVeR> ~_~
[15:19:15] <m4n71k0r> ща миксера засуммоним так
[15:19:21] <ForNeVeR> Это можно!
[15:20:00] <xfer> является ли суммон людей законным предприятием?
[15:28:16] dzhon вышел из конференции
[15:28:48] dzhon зашёл в конференцию
[15:32:31] <folex> опять хлебнул шампуня для хорьков?
[15:32:34] <folex> Я кстати хоря продал
[15:32:45] Kumbaya зашёл в конференцию
[15:35:45] <ForNeVeR> folex: хорошим людям хотя б?
[15:35:51] <ForNeVeR> Или на мясокомбинат?
[15:36:13] <Myp> m4n71k0r: Вот ты вчера интересовался пишу ли я. Вот примерно такое пока http://ideone.com/BfG4oC
[15:37:09] <ForNeVeR> По ссылке хеллоуорлд и копипаст.
[15:37:12] <ForNeVeR> (не читал)
[15:37:18] <Myp> Хм
[15:38:23] <Myp> Не должен быть хеллоуолд
[15:38:51] <ForNeVeR> if (NULL == buf) {
debug("Memory allocaton error");
}

*ns = calloc(strlen(buf) + 1, sizeof(char));
[15:39:00] <ForNeVeR> Заебись, наверное, такое будет работать!
[15:39:12] <ForNeVeR> Алсо, sizeof(char) == 1. Всегда. Без исключений.
[15:40:05] <Myp> Да
[15:42:03] <ForNeVeR> А вообще-то - ну, код как код. Я, правда, не уверен, не будет ли тут переполнения, если все сервера вернут строку длиной INET_ADDRSTRLEN, а ты туда ещё запятую наконкатенируешь.
[15:42:23] <ForNeVeR> Мне кажется, это неосмотрительно как-то.
[15:43:06] <ForNeVeR> Был же какой-то вариант типа strncat, не?
[15:43:17] <Myp> есть такой, да
[15:45:13] <Myp> ForNeVeR: Ну, там как. strcat терминирует результат
[15:45:26] ascrazy вышел из конференции
[15:45:33] <Myp> но также он заменяет \0 у dst
[15:45:42] <ForNeVeR> Myp: у тебя переполнение буфера может быть.
[15:45:48] <Myp> ForNeVeR: Где?
[15:45:58] <ForNeVeR> Буфер размером INET_ADDRSTRLEN * MAXNS
[15:46:20] <ForNeVeR> Дальше ты в цикле на MAXNS итераций конкатишь туда строку длиной до INET_ADDRSTRLEN.
[15:46:23] <ForNeVeR> И запятую!
[15:46:49] <Myp> именно
[15:46:51] <ForNeVeR> То есть максимальная длина записываемых данных - это (INET_ADDRSTRLEN + 1) * MAXNS
[15:47:02] <Myp> нет же :)
[15:47:06] <ForNeVeR> Или INET_ADDRSTRLEN - это с учётом терминирующего нуля?
[15:47:09] <Myp> Именно
[15:47:18] <ForNeVeR> А, ну тогда ладно.
[15:47:38] <ForNeVeR> Тогда всё чотко.
[15:47:56] <xfer> folex: зачем продал? Родители запротестовали
[15:48:12] <ForNeVeR> Родители хорька? Лол.
[15:48:47] <xfer> ForNeVeR: хотел быть родителем хорька?
[15:49:05] <ForNeVeR> Хм.
[15:49:09] <ForNeVeR> Думаю, нет.
[15:49:43] <m4n71k0r> Myp: какой-то неправильный сишкокод... ни одного goto
[15:50:04] <Myp> m4n71k0r: я старался как мог :(
[15:50:54] <xfer> 4 уровня вложений блоков
[15:51:13] <folex> ForNeVeR: вроде да
[15:51:19] <folex> xfer: угу
[15:51:30] <folex> У отца чот с обонянием, и он не чувствует запахов никаких
[15:51:33] <folex> …кроме хорька
[15:51:35] <ForNeVeR> О_О
[15:51:36] <xfer> ыы.
[15:51:40] <folex> imagine that
[15:51:52] <xfer> это от нервов
[15:52:05] <folex> ти мой диагностик
[15:52:05] <ForNeVeR> Дак и хорёк от нервов!
[15:52:12] <xfer> https://ru.wikipedia.org/wiki/%D0%9F%D1%81%D0%B8%D1%85%D0%BE%D1%81%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0
[15:52:16] <folex> мама скучает теперь по хорю (
[15:52:33] <folex> xfer: ссылка на википедию доказывает, что это единственная причина, да
[15:53:13] <xfer> folex: это ирония что ле?
[15:56:22] <folex> где тут ирония? Это сарказм.
[15:56:36] <folex> а сарказм подмножество иронии, да?
[15:56:53] <folex> тогда ирония
[15:58:36] ckorzhik зашёл в конференцию
[15:59:54] <ɹǝɟılʍǝu> xfer, врврвр
[16:01:53] <xfer> ɹǝɟılʍǝu: не ходи на понитусовки. Там алкотами и мужики за 30
https://pp.vk.me/c623620/v623620433/4c8d7/SgfIMF8_Iec.jpg
[16:02:11] <ɹǝɟılʍǝu> xfer, и так не хожу)
[16:02:18] <xfer> вот и не ходи
[16:02:21] <ɹǝɟılʍǝu> Чо там делать-та?
[16:02:47] <xfer> скучать, наблюдать за цирком
[16:11:36] xfer вышел из конференции
[16:15:58] Аман вышел из конференции
[16:16:14] Аман зашёл в конференцию
[16:18:19] Аман вышел из конференции
[16:21:05] <Myp> xfer: с вложениями вообще беда :(
[16:27:58] superka вышел из конференции
[16:33:53] xfer зашёл в конференцию
[16:34:06] <xfer> этот ваш open stack говно
[16:35:05] <ɹǝɟılʍǝu> Используй open heap
[16:35:19] <DeadBot> Вот это шутка!
[16:37:28] superka зашёл в конференцию
[16:38:06] <xfer> ɹǝɟılʍǝu: почему не close fifo?
[16:43:47] ascrazy зашёл в конференцию
[16:45:58] rexim зашёл в конференцию
[16:46:26] <rexim> Утряка-вака!
[16:46:27] <rexim> волдыова
[16:52:57] <gsomix> rexim, ты любишь лисичек?
[16:55:36] <rexim> gsomix: (=_= )
[16:55:41] <rexim> На что вы таки намекаете?
[16:55:54] <gsomix> Какой подозрительный.
[16:56:04] <rexim> (=__= )
[16:56:08] <gsomix> Ты же миксер! На что я могу намекать вообще?
[16:56:14] <rexim> А, ну да.
[16:56:24] <rexim> gsomix: да, люблю
[16:56:27] <rexim> Они прикольные
[16:56:50] <xfer> rexim: а меня любишь?
[16:57:03] <ɹǝɟılʍǝu> Ты не лисичка.
[16:58:25] <rexim> ɹǝɟılʍǝu: а ты нялайфер
[16:58:42] <rexim> xfer: как ты сюда попал?
[16:58:58] <xfer> rexim: в потоке электронов пропустили
[16:59:05] <rexim> А, ну ок
[17:00:27] folex вышел из конференции
[17:01:42] folex зашёл в конференцию
[17:04:21] 2tsun4u зашёл в конференцию
[17:12:30] xfer вышел из конференции
[17:12:56] folex вышел из конференции
[17:14:07] rexim вышел из конференции
[17:16:28] folex зашёл в конференцию
[17:24:15] superka вышел из конференции: Replaced by new connection
[17:24:16] superka зашёл в конференцию
[17:24:19] ascrazy вышел из конференции
[17:25:20] <m4n71k0r> $pet feed
[17:25:22] <horta hell> m4n71k0r: Mixer Stream It презрительно фыркнул, отстранившись от пищи.
[17:25:24] <m4n71k0r> $pet heal
[17:25:26] <horta hell> m4n71k0r: Mixer Stream It будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[17:25:30] <m4n71k0r> $bash
[17:25:32] <horta hell> m4n71k0r: #405124 [ 7136 ]
xxx> Кто знает, на какое число новогодний вечер наметили?
yyy> Не знаю кто как, а я наметил на 31 декабря.
yyy> Ещё весной.
[17:25:33] <m4n71k0r> $say 12
[17:25:36] <m4n71k0r> $say 13
[17:25:37] <m4n71k0r> $say 14
[17:25:39] <m4n71k0r> $say 15
[17:25:40] <horta hell> m4n71k0r: о, я смотрю на реализацию этих гуйцов... Мне показалось, что на си
[17:25:43] <horta hell> m4n71k0r: хм, судя по тому, что я там не смотрел пока как в этой книжке много чего ещё в этот формат
[17:25:47] <horta hell> m4n71k0r: тогда при удалении пробегай по записям и давай им номера по порядку в каком-нибудь Улан-Удэ
[17:25:51] <horta hell> m4n71k0r: The package scala.xml has been moved out of range: "1919-06-31": SELECT TIMESTAMP WITH TIME ZONE '1919-06-31';
[17:26:47] <m4n71k0r> $say 15
[17:26:47] <horta hell> m4n71k0r: К сожалению, запрошенное сообщение не было найдено.
[17:26:51] <m4n71k0r> $say 14
[17:26:51] <horta hell> m4n71k0r: Злак: в шахматы играешь, а о нём знают немногие... и о тебе заботятся... комментариев столько
[17:26:58] <m4n71k0r> $say 14
[17:26:59] <horta hell> m4n71k0r: в виме нет крышек от унитазов и подумал, что под х-ль норм гуёв ещё нет, то возврат 0 если this == 0 не убережёт тебя от разыменовывания нулевого указателя
[17:27:17] <m4n71k0r> $say 14
[17:27:17] <horta hell> m4n71k0r: К сожалению, запрошенное сообщение не было найдено.
[17:27:20] <m4n71k0r> $say 14
[17:27:20] <horta hell> m4n71k0r: К сожалению, запрошенное сообщение не было найдено.
[17:27:27] <m4n71k0r> тьфу
[17:32:16] folex вышел из конференции
[17:37:11] rexim зашёл в конференцию
[17:38:01] <rexim> ForNeVeR: блин! Чувак, сорри, кажется, у меня опять сегодня стрим получится начать только в 11 =(
[17:38:23] <ForNeVeR> rexim: ничего страшного.
[17:38:43] <rexim> ForNeVeR: ты вчера выспался?
[17:38:53] <ForNeVeR> Думаю, да. Я не помню ~_~
[17:38:56] <rexim> =(
[17:45:25] * j123123 улучшает умножатель на логических схемах https://i.imgur.com/Daojm2I.png
[17:52:49] rexim вышел из конференции
[17:53:28] superka вышел из конференции: Replaced by new connection
[17:53:28] superka зашёл в конференцию
[17:55:23] rexim зашёл в конференцию
[17:56:05] xfer зашёл в конференцию
[17:58:53] dzhon вышел из конференции: Replaced by new connection
[17:58:53] dzhon зашёл в конференцию
[18:02:45] MaXGGXaM вышел из конференции
[18:04:43] <xfer> блин, долбаная проф деформация
[18:05:01] <xfer> чуть не впал в панику от мысли как удалить файл "(null)"
[18:07:22] MaXGGXaM зашёл в конференцию
[18:13:01] <Myp> Посаны, а у кого есть убунту под рукой?
[18:13:12] <Myp> Расскажите как там DNS работает по дефолту?
[18:13:26] <ɹǝɟılʍǝu> Myp, у меня только гента(
[18:13:39] <Myp> ɹǝɟılʍǝu: Да вот и у меня :(
[18:14:54] <Minoru> Myp: в смысле «как работает»?
[18:15:53] <Myp> Minoru: В прямом. Вот у меня на генте идет прямое обращение к nameserver прописанному в resolv.conf
[18:16:16] <Minoru> в Ubuntu вроде тоже
[18:16:20] <Myp> В убунтах этот файл не содержит списка адресов серверов имен
[18:16:25] <Minoru> што
[18:16:36] <Myp> Ну, вот мне прислал чувак свой файл
[18:16:41] <Minoru> ладно, я давно не щупал, может, там поменяли чего
[18:16:53] <Myp> # Dynamic resolv.conf(5) file for glibc resolver(3) generated by resolvconf(8)
# DO NOT EDIT THIS FILE BY HAND -- YOUR CHANGES WILL BE OVERWRITTEN
nameserver 127.0.1.1
search localdomain
[18:17:13] <Myp> точнее содержит. но 127.0.0.1
[18:17:22] <Minoru> пусть прочитает resolvconf(8) и поправит /etc/resolvconf (?)
[18:17:25] <ɹǝɟılʍǝu> Minoru, и у тебя гента(
[18:17:27] enaken зашёл в конференцию
[18:17:32] <Minoru> ɹǝɟılʍǝu: ага
[18:17:34] <Myp> То есть локально сидит какая-то служба.
[18:17:45] <ɹǝɟılʍǝu> Myp, тут все на генте
[18:17:49] <Minoru> Myp: возможно, просто ничего не отконфигурировано
[18:17:50] <Myp> ɹǝɟılʍǝu: Демоны!
[18:17:54] <ɹǝɟılʍǝu> rexim, о! Ты не на генте!
[18:17:55] <Myp> Minoru: Сеть работает
[18:18:25] <Minoru> прикольно…
[18:18:31] portnov зашёл в конференцию
[18:18:32] <Myp> Вот я и подумал
[18:18:36] * Minoru не знал, что в Ubuntu делают локальный DNS-сервер
[18:18:46] <Myp> Может какая-то служба слушает некий порт на 127.0.0.1
[18:18:47] <Minoru> хотя вот в FreeBSD же вроде впиливают зачем-то
[18:19:00] <Myp> и потом уже форваржит запросы куда следует
[18:19:00] <Minoru> да bind там какой-нибудь, небось
[18:19:13] <Minoru> пусть сделает sudo service bind stop :D
[18:19:27] <Minoru> погоди, а зачем тебе вообще, если сеть работает?
[18:19:32] <Minoru> работает — не трожь!
[18:19:33] <Minoru> !
[18:19:35] <Minoru> !!!
[18:20:10] <Myp> Minoru: Мне нужно в курс сунуть адреса nameserver
[18:20:22] <Myp> для этого надо системные где-то вытащить
[18:20:33] <Minoru> куда нужно сунуть?
[18:20:41] <Myp> в CURL
[18:20:45] <Minoru> а
[18:22:09] <Myp> a bind если установлен, тогда получается, что надо реквесты слать на 127.0.0.1
[18:22:28] <Myp> Значит файл, resolv.conf валиден
[18:22:46] <Myp> и в CURL можно засунуть адрес локалхоста
[18:23:17] <Minoru> да
[18:24:12] <xfer> Minoru: ну пусть посмотрит что у него там на 53 порту висит
[18:24:15] <Myp> вот же говно, блять
[18:24:31] <Minoru> xfer: не того хайлайтишь :)
[18:24:49] <xfer> sylph ~ # cat /etc/services | grep '[[:space:]]53/'
domain 53/tcp # Domain Name Server
domain 53/udp
[18:24:55] <xfer> Minoru: вы все на одни буквы.
[18:24:57] <xfer> Myp:
[18:25:14] <xfer> да хоть strace сделай
[18:25:21] <xfer> какого-нибудь nslookup
[18:26:36] <xfer> Myp: загляни в /etc/nsswitch.conf, мож там какая-то херня написана
[18:27:52] <Myp> xfer: Какая, например?
[18:28:26] <xfer> Minoru: у вас даже хеш-суммы почти одинаковы:
fac7b911aff1602c2f68f7f5cea35d8d0810348a
c2f0a7f34eb9b3f8021accf7cfea81a9c7f126af
[18:28:40] <Myp> Да. Свиду не отличить
[18:29:06] <xfer> Myp: любая, кроме files и dns
[18:29:21] <Minoru> xfer: та да, смотри, *даже длинна одинаковая*!
[18:29:57] <Myp> xfer: типа такой? hosts: files myhostname mdns4_minimal [NOTFOUND=return] dns
[18:31:21] <xfer> Myp: это zeroconf
[18:31:25] <xfer> судя по интернетам
[18:31:43] <xfer> http://blog.lxgr.net/posts/2013/11/18/nsswitch-ubuntu-slow-dns-lookups/
[18:36:42] <Myp> xfer: Допустим, но как все таки приложение получает DNS response?
[18:36:43] gsomix вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[18:36:44] gsomix зашёл в конференцию
[18:36:59] <xfer> Myp: сделай nslookup ya.ru
[18:37:14] <Myp> xfer: да в том говне нету таких утилит даже
[18:37:27] <Myp> и dig Тоже нет
[18:37:40] <xfer> нетстатом посмотри что на 53 висит
[18:40:24] folex зашёл в конференцию
[18:40:31] ascrazy зашёл в конференцию
[18:42:29] <rexim> xfer: *ЧПОК*
[18:44:13] superka вышел из конференции
[18:47:03] <Myp> rexim: Заведу себе такой алиас. Чтобы было удобно патчсеты заливать
[18:48:41] <rexim> Myp: хорошо
[18:49:00] <Myp> rexim: спасибо
[18:49:48] agrael зашёл в конференцию
[18:51:56] <m4n71k0r> блин, как суров CMake http://cmake.org/cmake/help/v3.0/module/ExternalProject.html
[18:53:39] <m4n71k0r> суров как молот в виде серпа
[18:54:23] agrael вышел из конференции
[18:54:50] agrael зашёл в конференцию
[18:55:00] reggies вышел из конференции
[18:57:35] <Myp> m4n71k0r: хм, а мы, кажется, иначе делаем
[18:58:06] m4n71k0r вышел из конференции
[18:58:35] <j123123> https://i.imgur.com/PfVpdCU.png умножатель доделан
[18:58:50] <j123123> ну почти, осталось шифратор собрать
[18:59:22] <Myp> j123123: Микропроцессор слишком медленный для тебя?
[18:59:35] <rexim> Нужен мегапроцессор!
[18:59:41] <j123123> А эту штуку можно как раз в микропроцессор засовывать
[18:59:54] <ɹǝɟılʍǝu> j123123, там их сотни тыщ
[19:00:12] <j123123> кого "их"?
[19:00:16] <rexim> Помнится, кто-то пытался создать большую и медленную копию x86, которая занимает большой зал, чтобы можно было ходить смотреть в живую как это работает.
[19:00:27] <Myp> rexim: майнкрафт?:)
[19:00:30] <rexim> http://www.megaprocessor.com/
[19:00:37] <rexim> Myp: IRL
[19:00:39] <ForNeVeR> rexim: ещё в шестидесятых делали же.
[19:00:56] <rexim> Ничего не знаю, я уже ссылку скинул
[19:00:59] <j123123> на оптронах можно собрать
[19:01:03] <Myp> rexim: Крутая штука!
[19:01:16] <rexim> =3
[19:01:35] <Myp> ForNeVeR: Тогда это было мейнстримом, а теперь винтажно :)
[19:01:46] <ForNeVeR> Мне нравится!
[19:01:48] <rexim> На сколько я понял, это в образовательных целях
[19:01:53] <rexim> Что довольно неплохо
[19:01:58] <rexim> Я бы походил по такому залу.
[19:02:14] <ForNeVeR> Я бы тоже с интересом походил.
[19:04:01] <ɹǝɟılʍǝu> Ебать! http://www.researchgate.net/publication/224196049_An_Enhanced_Type-Reduction_Algorithm_for_Type-2_Fuzzy_Sets
[19:07:44] <ForNeVeR> ɹǝɟılʍǝu: я очень слабо разбираюсь в нечёткой логике, в чём суть достижения?
[19:07:53] <ɹǝɟılʍǝu> ForNeVeR, я не понял
[19:07:59] <ForNeVeR> Лол.
[19:08:13] <ɹǝɟılʍǝu> Но это как-то связано с fuzzy sets и/или fuzzy logic (нечёткая логика).
[19:08:20] <ɹǝɟılʍǝu> ForNeVeR, но меня статья поразила.
[19:08:59] <ForNeVeR> Нечёткие множества я узнал :)
[19:09:28] <ForNeVeR> Но что за type-1 и type-2, и какую проблему товарищи решили - я не в курсе.
[19:09:35] <ɹǝɟılʍǝu> Аналогично.
[19:10:44] Graf зашёл в конференцию
[19:10:57] Graf вышел из конференции
[19:13:03] xfer вышел из конференции
[19:14:03] <Myp> ɹǝɟılʍǝu: А чем же статья поразила тогда?:)
[19:14:26] <ɹǝɟılʍǝu> Myp, хызы, меня всегда штырит матан 9_9
[19:14:51] <Myp> ɹǝɟılʍǝu: :D
[19:15:39] <rexim> ɹǝɟılʍǝu: ты знаешь алгоритм Декстера?
[19:15:40] ckorzhik вышел из конференции
[19:16:17] <ForNeVeR> rexim: эт который людей режет?
[19:16:21] <rexim> Lf
[19:16:27] xspeed зашёл в конференцию
[19:16:46] <ForNeVeR> Он ещё и алгоритмы успевал изобретать? Надо же!
[19:19:02] <Myp> ForNeVeR: Без алгоритмов давно бы поймали! Приходится
[19:19:24] <ForNeVeR> Наверное, ты прав.
[19:30:58] <ɹǝɟılʍǝu> Minoru, не вкурил, что "на пальцах" означает каноничная форма?
[19:32:35] 2tsun4u вышел из конференции
[19:34:39] <horta hell> Mixer Stream It с силой врезался лбом в живот h-rta hell от жуткого голода, сжирая одежду и кошелёк. h-rta hell теряет 3PTC.
[19:36:29] <rexim> ._.
[19:36:56] <Myp> Теперь оно рандомно всех кусает?
[19:37:06] <Myp> $pet stats
[19:37:07] <horta hell> Myp:
Кличка: Mixer Stream It
Здоровье: 11
Сытость: 100
Возраст: 17 часов
[19:37:33] <Myp> $pet heal
[19:37:33] <horta hell> Myp: Mixer Stream It был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[19:38:44] dzhon вышел из конференции
[19:41:26] <rexim> Semawhores!
[19:41:43] agrael вышел из конференции
[19:41:50] <ForNeVeR> О_О
[19:45:14] folex вышел из конференции
[19:47:50] <Minoru> ɹǝɟılʍǝu: ва-а-ат
[19:48:12] <ɹǝɟılʍǝu> Minoru, в типах
[19:48:16] <Minoru> я, конечно, могу предложить, что ты о теоркате, но я же его не знаю и не учу…
[19:48:19] <Minoru> а, типы я тоже не знаю
[19:48:34] <ForNeVeR> Ты вообще что-нибудь знаешь?
[19:48:42] <Minoru> вот я тоже задумался
[19:48:52] <rexim> Minoru: минорурурука!
[19:48:58] <rexim> воп-воп
[19:50:04] <Minoru> ну, я немножко coreutils знаю. И в целом про линуксы всякого разного (но сильно несистематично). Вообще такое впечатление, что разрознённых знаний валом, а вот такого, про что я мог бы курс прочесть или там скринкаст сделать — фиг
[19:50:11] <Minoru> поэтому rexim крутой!
[19:50:28] <Minoru> rexim: Минорка двуручный, на самом деле
[19:50:36] <rexim> о_О
[19:50:43] <rexim> Чой-та я крутой?
[19:50:48] <rexim> Ты сам видел как я гуглил на стримах
[19:51:05] <rexim> Так что ничего я не знаю :)
[19:51:15] <Minoru> п-ф-ф, даже дети знают, что для использования гугла нужно знать, что гуглить. А значит — иметь представление о предмете!
[19:51:34] <Minoru> а я вот раз в месяц в BNW обязательно что-то спрашиваю с припиской «знал бы, как гуглить — не спрашивал бы»
[20:00:47] O01eg зашёл в конференцию
[20:01:08] O01eg вышел из конференции
[20:01:21] O01eg зашёл в конференцию
[20:01:28] sss|zombie зашёл в конференцию
[20:02:46] O01eg вышел из конференции
[20:03:00] O01eg зашёл в конференцию
[20:03:25] <Myp> rexim: Воу! А чего это ты стримишь? Кодинг стриптиз небось? :)
[20:03:35] O01eg вышел из конференции
[20:03:47] O01eg зашёл в конференцию
[20:04:23] folex зашёл в конференцию
[20:07:07] <Minoru> O_O
[20:09:20] sss|zombie вышел из конференции
[20:10:02] sss|zombie зашёл в конференцию
[20:10:31] <rexim> Myp: да
[20:10:51] <rexim> Myp: ссылочка нужна?
[20:10:52] <Myp> rexim: Молодец!
[20:10:57] <Myp> Конечно
[20:11:25] <rexim> Myp: начало, на русском http://www.youtube.com/playlist?list=PLiOAioBxutV6QXPjBczSu7Xb_5kj-3KYA
[20:11:45] <rexim> Myp: недавние попытки на английском https://www.livecoding.tv/rexim/videos/
[20:11:55] <Myp> rexim: О, так ты еще их пишешь!
[20:12:00] <rexim> Сегодня через час планируется еще один на том же livecoding.tv
[20:12:06] <rexim> Myp: они сами пишутся!
[20:12:11] <rexim> Я тут ни при чем!
[20:21:53] dzhon зашёл в конференцию
[20:29:29] m4n71k0r зашёл в конференцию
[20:29:53] Myp вышел из конференции
[20:38:01] <portnov> http://s1.developerslife.ru/public/images/gifs/547b22cc-ddb6-45f9-9f95-85d0e36b8ceb.gif и вам.
[20:43:12] <rexim> ForNeVeR: Minoru: uggur: https://www.livecoding.tv/rexim/
[20:43:16] <Minoru> portnov: это прекрасно!
[20:43:49] <portnov> Minoru: надо для этого AI написать
[20:43:53] <portnov> причём для обеих сторон
[20:44:02] <portnov> для змеюги и для подкидывателя нямки.
[20:50:28] <rexim> gsomix: меня вообще слышно?
[20:51:28] Kumbaya вышел из конференции
[20:55:47] gsomix вышел из конференции: This participant is kicked from the room because he sent an error presence: recipient-unavailable
[20:56:45] <portnov> тебя е слышо
[20:56:47] <portnov> ой
[20:58:28] <rexim> portnov: ты можешь в чятик зайти на лайвкодинг?
[21:02:48] rafaelrs вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[21:03:48] grouzen вышел из конференции
[21:04:14] <portnov> хз
[21:04:16] <portnov> не пробовал
[21:05:51] MaXGGXaM вышел из конференции
[21:08:24] grouzen зашёл в конференцию
[21:13:18] magog зашёл в конференцию
[21:23:39] MaXGGXaM зашёл в конференцию
[21:25:10] MaXGGXaM вышел из конференции
[21:28:48] stelio.ru зашёл в конференцию
[21:34:59] folex вышел из конференции
[21:35:51] <j123123> m4n71k0r: Вот ты вроде сечешь во всякой электронике. Можешь оценить https://i.imgur.com/PfVpdCU.png такую схему умножения?
[21:36:09] <j123123> Я хочу это в VHDL потом засунуть
[21:36:13] <j123123> для эксперимента
[21:36:20] <m4n71k0r> при чём тут электроника?
[21:36:25] <m4n71k0r> =)
[21:37:02] <m4n71k0r> составь карту карно и оптимизируй, если надо)
[21:38:29] <j123123> Ну это цифровая схема
[21:38:38] <j123123> на логических элементах
[21:38:45] <j123123> Так что электроника тут вполне причем
[21:39:13] <j123123> там два дешифратора вначале
[21:39:32] <m4n71k0r> две херовины слева - демультиплексоры?)
[21:39:58] <m4n71k0r> демультиплексор, а не дешифратор
[21:40:24] <j123123> Не, это именно дешифратор
[21:40:33] <j123123> https://ru.wikipedia.org/wiki/%D0%94%D0%B5%D1%88%D0%B8%D1%84%D1%80%D0%B0%D1%82%D0%BE%D1%80
[21:40:39] <j123123> соответствует описанию
[21:41:12] <m4n71k0r> хм
[21:41:28] <j123123> в ответ на 000 выдает 00000001; 001 = 00000010; 010 = 00000100
[21:41:31] <j123123> ну итд
[21:41:37] <m4n71k0r> ну вот видишь, значит я забыл "электронику" =)
[21:41:57] <ɹǝɟılʍǝu> m4n71k0r, =)
[21:42:15] <j123123> надо это в ПЛИС прошить
[21:42:46] Spo1ler зашёл в конференцию
[21:43:00] MaXGGXaM зашёл в конференцию
[22:04:54] (/^_^)/ вышел из конференции
[22:08:55] grouzen вышел из конференции
[22:16:38] imarpus зашёл в конференцию
[22:16:43] uggur вышел из конференции
[22:17:06] <imarpus> Ахахаха
[22:17:07] <imarpus> лол
[22:18:21] <imarpus> Мне тут с котом попросили помочь
[22:18:50] <imarpus> Вот что я нашёл в самом начале проги
int uslovie;
while (1 > 0)
[22:20:28] (/^o^)/ зашёл в конференцию
[22:22:33] stelio.ru вышел из конференции
[22:23:20] magog вышел из конференции: Replaced by new connection
[22:23:20] magog зашёл в конференцию
[22:38:47] <j123123> Отличный код!
[22:39:08] <j123123> Но я предпочитаю for (;;)
[22:39:17] <j123123> и while (1)
[22:47:48] Kumbaya зашёл в конференцию
[22:50:07] sss|zombie вышел из конференции: Вышел из Vacuum-IM
[23:09:54] uggur зашёл в конференцию
[23:11:43] MaXGGXaM вышел из конференции
[23:19:53] (/^o^)/ вышел из конференции: Replaced by new connection
[23:19:55] (/^o^)/ зашёл в конференцию
[23:24:12] stelio.ru зашёл в конференцию
[23:26:08] rexim вышел из конференции
[23:30:00] MaXGGXaM зашёл в конференцию
[23:36:25] xspeed вышел из конференции
[23:41:26] MaXGGXaM вышел из конференции
[23:42:22] rafaelrs зашёл в конференцию
[23:46:07] rafaelrs вышел из конференции
[23:52:44] rafaelrs зашёл в конференцию
[23:59:22] MaXGGXaM зашёл в конференцию
Powered by freQ Powered by Python Valid XHTML 1.0 Transitional Valid CSS!