Home
Programming
programming@conference.jabber.ru
Вторник, 7 июня 2016< ^ >
ForNeVeR установил(а) тему: # make peace
| match subject with
| Если вы не знаете с чего начать общение -> некоторые советуют прочесть http://goo.gl/jkcH5R
| логи -> http://chatlogs.jabber.ru/programming@conference.jabber.ru/
| Список картинок за предыдущие дни -> http://jpeg.catfeed.net
| Стерхи -> http://caps.catfeed.net
| Цитаты больше 4х строк -> на пастбин
| p@cjr -> дОбыча радия since Mon Sep 17 00:00:00 2001
| перед тем, как спросить -> почитайте http://mywiki.wooledge.org/XyProblem
| Войс -> просить у модераторов/админов
| В конференцию требуется -> штатный биолог, юрист, бухгалтер и врач (можно разные люди)
| _ -> Need more (та, чьё имя нельзя называть)-born packages and people!;;
Конфигурация комнаты
Участники комнаты

GMT+3
[00:02:26] ermine вышел(а) из комнаты
[00:04:32] ħ вышел(а) из комнаты
[00:18:25] gr_buza@arbeiten вышел(а) из комнаты
[00:22:22] olgZZZ вышел(а) из комнаты
[00:22:32] rvgtbgdtrg вошёл(а) в комнату
[00:22:40] rvgtbgdtrg вышел(а) из комнаты
[02:00:56] cheshir вышел(а) из комнаты
[02:55:59] Lavir вышел(а) из комнаты
[05:24:24] kmo_3gecb вошёл(а) в комнату
[05:25:00] kmo_3gecb вышел(а) из комнаты
[05:25:21] kmo_3gecb вошёл(а) в комнату
[05:37:15] kotik вошёл(а) в комнату
[06:26:19] edgbla вышел(а) из комнаты
[06:34:03] edgbla вошёл(а) в комнату
[06:48:00] Lavir вошёл(а) в комнату
[06:48:59] <Lavir> Привет, фасолята! Как доказать, что алгоритм вычисления факториала, записанный с хвостовой форме, выдает тот же результат, что и наивный алгоритм?
[06:49:59] <ForNeVeR> Есть же всякие способы формального доказательства.
[06:50:02] <ForNeVeR> Индукцией, например.
[06:50:40] <Lavir> Хм-м-м!
[06:50:53] <Lavir> Надо попробовать применить.
[06:51:47] <ForNeVeR> Ну то есть доказываешь для единицы и для (n+1), например.
[06:52:00] kotik вышел(а) из комнаты
[06:52:04] <Lavir> Это я помню.
[06:52:15] <Lavir> А потом написать алгоритм для автоматического применения индукции. Чтобы оно само доказывало, что ∀x: f1 x = f2 x.
[06:52:28] <ForNeVeR> Ого, вот это серьёзное дело.
[06:52:33] <ForNeVeR> Ты изобретаешь Агду?
[06:52:36] <Lavir> Здесь f1 и f2 — это разные формы вычисления факториала, ессно.
[06:52:43] <Lavir> Да, ForNeVeR.
[06:52:51] <ForNeVeR> Круто.
[06:52:54] <Lavir> Кстати, она компилится в C?
[06:53:06] <ForNeVeR> Я этого не знаю, никогда не интересовался.
[06:54:12] <Lavir> Вот я делаю Агду с возможностью подключения DLL-ок, статической линковкой с разными полезными либами и изменяемой libc.
[06:54:58] <Lavir> А то эта ваша Агда, конечно, прикольная штука, но для крудошлёпства её ну никак не применить.
[06:55:32] <Lavir> MySQL не прикрутить, Монгу не подцепить… Даже веб-сервера нет. Тьху!
[06:57:20] <ForNeVeR> А как же Идрис?
[06:58:44] <Lavir> О, спасибо, напомнил. Вспомнил, что я делаю Агду 2.0, с SMT вместо зависимых типов.
[06:59:58] <Lavir> И щоб она конпилилось в C, C++, Java (в исходник, а не в байткод) и JS.
[07:03:22] <Lavir> А, еще макросы. Но, наверно, тут достаточно какой-нибудь m4 сверху навернуть.
[07:04:01] <Lavir> Хотя нет. Не гомоиконично будет. Но все равно ерунда.
[07:04:53] <Lavir> Кстати, ForNeVeR, есть ведь еще ATS.
[07:05:17] <Lavir> Но в нем синтаксиса нет. Так что, наверно, Idris пока компромиссный вариант.
[07:06:24] <Lavir> Стоять.
[07:06:53] Lavir увидел слова «JavaScript Target».
[07:07:29] <Lavir> Фасолены, похоже, Idris и есть мой стартап.
[07:10:24] <Lavir> А, ForNeVeR, Idris ленивый? С GC? Не знаешь?
[07:12:56] махт хекп вошёл(а) в комнату
[07:13:00] Bob Page вошёл(а) в комнату
[07:13:17] Bob Page вышел(а) из комнаты
[07:14:13] <Lavir> А, еще я хочу нормальные, блджад, числа: чтоб они задавались в виде a±b или a±b%, где a и b — рациональные числа. А компилятор чтоб сам выбирал, какое представление лучше всего подходит. Например, для 10000±1 он выберет short int, а для 1e38±1% он возьмет double.
[07:15:33] <Lavir> Может, как-то можно на Idris свой кастомный тип запилить, который бы компилился в C-шечный int или double?
[07:16:33] cheshir вошёл(а) в комнату
[07:16:36] <ForNeVeR> Lavir: вроде он энергичный, но с опциональной ленивостью.
[07:16:42] <Lavir> Еще надо будет прикрутить компилятору target: OpenGL shading language.
[07:16:59] <Lavir> А, вспомнил, там «Lazy Int» я где-то видел.
[07:17:01] ShadoWalkeR вошёл(а) в комнату
[07:17:23] <ShadoWalkeR> Опять утро
[07:18:03] <Lavir> Утро, ShadoWalkeR, утро.
[07:18:06] <Lavir> Камасутро.
[07:18:16] <ShadoWalkeR> sulci: опять?
[07:18:18] <sulci> ShadoWalkeR: http://www.ferra.ru/ru/techlife/news/2011/08/18/sharp-apple/
[07:18:39] <ShadoWalkeR> sulci: so slow
[07:18:41] <sulci> ShadoWalkeR: и умные
[07:19:37] <Lavir> Блин, столько фич надо запилить… Это ж столько работы! МАААААААААМ!
[07:19:45] <Lavir> Плак-плак…
[07:26:25] дырдырдыр вошёл(а) в комнату
[07:26:51] iportnov вошёл(а) в комнату
[07:31:47] <iportnov> утро.
[07:36:11] <дырдырдыр> чо sy дохрена?
[07:36:58] <дырдырдыр> http://img1.joyreactor.cc/pics/post/%D0%BF%D0%BE%D1%85%D0%BE%D1%80%D0%BE%D0%BD%D1%8B-%D0%B2%D0%B5%D0%B3%D0%B0%D0%BD%D1%8B-3147153.jpeg
[07:38:49] <дырдырдыр> sulci, есть три башни. На одной кольца точены, на двух других пики дрочены.
[07:38:50] <sulci> дырдырдыр: не болтай глупостей как малолетка!
[07:38:55] <дырдырдыр> sulci, тупица
[07:38:56] <sulci> дырдырдыр: велосипедист и лет и нет
[08:14:57] Bob Page вошёл(а) в комнату
[08:19:50] ShadoWalkeR вышел(а) из комнаты
[08:21:26] ShadoWalkeR вошёл(а) в комнату
[08:35:55] gr_buza@arbeiten вошёл(а) в комнату
[08:36:24] <ShadoWalkeR> -Доктор, меня все игнорируют
-Следующий!
[08:36:26] <ShadoWalkeR> :-D
[08:54:45] kmo_3gecb вышел(а) из комнаты
[09:25:45] oxpa вошёл(а) в комнату
[09:29:03] olgZZZ вошёл(а) в комнату
[09:31:12] <Lao Zyu> дырдырдыр: я неновижу алкофана
[09:31:16] <Lao Zyu> поцоны, программисты
[09:31:26] <Lao Zyu> не смотрите канал алкофана на ютубе
[09:33:08] <дырдырдыр> Lao Zyu, почему?
[09:33:25] <дырдырдыр> ты нажрался свенины и теперь печень отвалилась?
[09:33:49] <дырдырдыр> .wz ulli
[09:33:53] <sulci> дырдырдыр: St. Peterburg, Russia - 2016.06.07 0600 UTC / mostly clear, 12°C / 53°F, humidity: 50%, pressure: 30.15 in. Hg (1021 hPa), wind: from the NNW (330 degrees) at 7 MPH (6 KT) (direction variable), visibility: greater than 7 mile(s)
[09:33:58] <дырдырдыр> .wz uuob
[09:33:59] <sulci> дырдырдыр: Station name not available - 2016.06.07 0600 UTC / partly cloudy, 10°C / 50°F, humidity: 71%, pressure: 29.94 in. Hg (1014 hPa), wind: from the NNW (330 degrees) at 11 MPH (10 KT), visibility: greater than 7 mile(s)
[09:37:57] <ShadoWalkeR> http://ic.pics.livejournal.com/crazysexyman/33274736/100455/100455_900.jpg
[09:46:10] ForNeVeR вышел(а) из комнаты: Disconnected: closed
[10:15:16] Mr.Purple вошёл(а) в комнату
[10:20:14] <iportnov> sulci: бжжжь.
[10:20:16] <sulci> iportnov: ну то момент. куплю
[10:43:10] <Lao Zyu> дырдырдыр: да
[10:44:15] <дырдырдыр> Lao Zyu, теперь будешь год гречкой и рисом без нихуя кормиться?
[10:44:16] <sulci> дырдырдыр: не болтай глупостей как малолетка!
[10:44:25] <дырдырдыр> sulci, у тебя даже печени нет
[10:44:26] <sulci> дырдырдыр: *** [install] Error 1 deletion(-) diff
[10:44:57] <дырдырдыр> чому pip не работает?
[10:45:05] <дырдырдыр> куда рут всё попрятал?
[10:48:18] <Lao Zyu> дырдырдыр: не, прост слюни сотру
[10:53:01] Yagg вошёл(а) в комнату
[10:54:26] ermine вошёл(а) в комнату
[10:57:35] <Lao Zyu> поцоны, кто юзает нетбинз?
[10:57:36] ħ̈ вошёл(а) в комнату
[10:57:46] <ħ̈> пидарство
[10:57:46] <sulci> ħ̈: не болтай глупостей как малолетка!
[10:57:51] <ħ̈> я сегодня на работу шел в шапке
[10:57:52] <ħ̈> .wz uuee
[10:57:53] <sulci> ħ̈: Moscow / Sheremet'Ye , Russia - 2016.06.07 0730 UTC / light rain, 8°C / 46°F, humidity: 65%, pressure: 29.85 in. Hg (1011 hPa), wind: from the NNW (330 degrees) at 22 MPH (19 KT) gusting to 34 MPH (29 KT), visibility: greater than 7 mile(s)
[10:57:58] <ħ̈> .wz uuww
[10:57:58] <sulci> ħ̈: Moscow / Vnukovo , Russia - 2016.06.07 0730 UTC / light rain showers; Cumulonimbus clouds observed, 8°C / 46°F, humidity: 65%, pressure: 29.88 in. Hg (1012 hPa), wind: from the N (350 degrees) at 18 MPH (16 KT) gusting to 29 MPH (25 KT), visibility: greater than 7 mile(s)
[10:58:01] <ħ̈> 8 градусов
[10:58:04] <ħ̈> вы ебанулись все
[10:58:04] <sulci> ħ̈: не болтай глупостей как малолетка!
[10:58:40] <дырдырдыр> .wz uuob
[10:58:40] <sulci> дырдырдыр: Station name not available - 2016.06.07 0730 UTC / mostly cloudy, 12°C / 53°F, humidity: 57%, pressure: 29.94 in. Hg (1014 hPa), wind: from the NW (320 degrees) at 13 MPH (12 KT), visibility: greater than 7 mile(s)
[11:00:51] <ħ̈> >  Задник МИДа наносит ответный удар
[11:00:53] <ħ̈> ггг
[11:06:13] <Yagg> .wz uuoo
[11:06:13] <sulci> Yagg: Voronez, Russia - 2016.06.07 0730 UTC / Cumulonimbus clouds observed, 12°C / 53°F, humidity: 57%, pressure: 29.85 in. Hg (1011 hPa), wind: from the NW (310 degrees) at 16 MPH (14 KT), visibility: greater than 7 mile(s)
[11:08:47] <ħ̈> oxpa:
[11:09:21] <ħ̈> oxpa: postfix куда умеет класть письма, чтобы можно было настроить мастер-мастер репликацию у сторедж бекенда?
[11:11:05] <ħ̈> или может вообще пусть не хранит их?
[11:11:22] <дырдырдыр> не туда смотришь
[11:11:45] m4n71k0r вошёл(а) в комнату
[11:11:53] <дырдырдыр> postfix кладёт письма в dovecot, а вот его бекенд хоть обреплицируйся
[11:11:57] <ħ̈> во во
[11:12:06] <ħ̈> фраза "пусть не хранит"
[11:12:10] <ħ̈> именно про довекот была
[11:13:55] <дырдырдыр> чаво?
[11:14:07] <дырдырдыр> там же простая фс с мылдирами
[11:14:26] <ħ̈> у постфикса то?
[11:14:39] <ħ̈> Я не уверен, мне казалось, что можно в mysql положить вроде спул
[11:14:45] <ħ̈> или только пользователей?
[11:37:37] <iportnov> так
[11:37:47] <iportnov> sulci: wtf is going on?
[11:37:50] <sulci> iportnov: Ну и Леха проснулся.
[11:37:58] <iportnov> гм
[11:42:56] <дырдырдыр> ħ̈, тебе шоле многосерверный спул нужен?
[11:43:22] <дырдырдыр> sulci, тут матвейка проснулся, и ему приснилась дичь
[11:43:24] <sulci> дырдырдыр: ты там строк не видел кису с температурой
[11:43:33] <дырдырдыр> sulci, полечи кису!
[11:43:34] <sulci> дырдырдыр: тогда
[11:45:44] <ħ̈> дырдырдыр: мне нужен почтовый сервер с репликацией
[11:46:22] <дырдырдыр> ħ̈, с репликацией спула?
[11:46:36] <дырдырдыр> вынеси его на шаред фс
[11:55:53] <дырдырдыр> ħ̈, https://ru.wikipedia.org/wiki/DBMail
[12:00:46] <ħ̈> дырдырдыр: dbmail нашол уже, пасяп
[12:11:04] <Yagg> а скажите-ка, для ssd сильно ли отличаются sata3 от m.2?
[12:14:00] <дырдырдыр> тоже интересно
[12:23:55] Bob Page вошёл(а) в комнату
[12:24:35] <Yagg> никто не сравнивал что ли? :(
[12:29:58] <дырдырдыр> NVMe over M.2 or U.2 (using PCI Express 3.0 ×4 link)[43]     32000 Mbit/s     3938 MB/s     2013
[12:30:31] <дырдырдыр> SATA Revision 3.0[51]     6000 Mbit/s     600 MB/s [a]     2008
[12:31:03] <дырдырдыр> следовательно, простое сата неистово сосёт
[12:31:14] <ħ̈> дырдырдыр: ну это пропускающая полоса шины, а не быстродействие памяти
[12:31:24] <ħ̈> т.е. сата сосет, но это ничего не значит еще
[12:31:28] <дырдырдыр> и надо затовариваться мдвашными карточками для кеша лвм
[12:32:13] <дырдырдыр> ħ̈, а если допустить,что память и контроллер одинаковые?
[12:32:42] <ħ̈> ну вряд ли кто-то будет ставить быструю память на шину которая заведомо медленнее
[12:32:45] <ħ̈> вывод
[12:32:53] <ħ̈> работать будут одинаково
[12:32:53] <дырдырдыр> вывод я уже выше написал
[12:33:03] <ħ̈> надо искать контроллер который не ставят на sata
[12:35:47] <Yagg> дырдырдыр: а в реальной работе?
[12:36:24] <дырдырдыр> Yagg, давай зайдём издалека и зададимся вопросом "что такое реальность"?
[12:37:11] <Yagg> ну, я имею в виду работу конечного юзера, а не тесты погонять. скорость работы диска по ощущениям.
[12:37:44] <дырдырдыр> обычный юзер это я? мне ок на сата3
[12:38:32] <Yagg> а ты сравнивал с m.2?
[12:39:02] <Yagg> вот скажем, если ты сейчас пересядешь на него, то будет быстрее или так же?
[12:45:33] olgZZZ вышел(а) из комнаты
[12:49:00] <дырдырдыр> думаю, будет быстрее, но я этого не замечу
[12:49:37] <дырдырдыр> а от свапа точно так же будет виснуть, скорее всего
[12:50:02] <ħ̈> дырдырдыр: ну ты же можешь измерить производительность в количестве например обработанных запросов за единицу времени
[12:50:44] <дырдырдыр> ħ̈, каких именно запросов на десктопе?
[12:52:58] <дырдырдыр> у меня если и виснет от чего-то, так это от ожидания ответа по интернету, а тут пофиг ссд это или не ссд
[12:59:33] <ħ̈> дырдырдыр: ты сам ответил на свой вопрос
[12:59:42] <дырдырдыр> ħ̈, на какой?
[12:59:46] <ħ̈> будет ли быстрее
[12:59:49] <ħ̈> и сосет ли сата
[13:04:08] <дырдырдыр> ħ̈, сата не сосёт, пока не запилят что-то другое для нищесерверов
[13:04:46] <дырдырдыр> https://twitter.com/sobaka__/status/740118806656323585/photo/1
[13:05:07] <дырдырдыр> ħ̈, а будет ли быстрее это вопрос Yagg
[13:26:11] <ħ̈> дырдырдыр: там Донетский губернатор решил вернуть тебя в состав Украины, вместе с Блгрдом
[13:26:20] <ħ̈> дырдырдыр: сказал, что у тебя есть украинская сущность и ментальность
[13:36:02] <Lao Zyu> гггг
[13:36:07] <Lao Zyu> дырдыр будет ближе к олкофану
[13:42:24] <ħ̈> [ 4265s] /home/abuild/rpmbuild/BUILD/icedtea-2.6.6/openjdk-boot/hotspot/src/cpu/zero/vm/arm32JIT.cpp:5720:7: error: duplicate case value
[ 4265s]        case opc_fast_aldc_w:
[ 4265s]        ^
[ 4265s] /home/abuild/rpmbuild/BUILD/icedtea-2.6.6/openjdk-boot/hotspot/src/cpu/zero/vm/arm32JIT.cpp:5719:7: error: previously used here
[ 4265s]        case opc_return_register_finalizer:
[ 4265s]        ^
[ 4265s] /home/abuild/rpmbuild/BUILD/icedtea-2.6.6/openjdk-boot/hotspot/src/cpu/zero/vm/arm32JIT.cpp:6985:7: error: duplicate case value
[ 4265s]        case opc_return_register_finalizer: {
[ 4265s]        ^
[ 4265s] /home/abuild/rpmbuild/BUILD/icedtea-2.6.6/openjdk-boot/hotspot/src/cpu/zero/vm/arm32JIT.cpp:6877:5: error: previously used here
[ 4265s]      case opc_fast_aldc_w:
[ 4265s]      ^
[ 4266s] /home/abuild/rpmbuild/BUILD/icedtea-2.6.6/openjdk-boot/hotspot/make/linux/makefiles/rules.make:150: recipe for target 'arm32JIT.o' failed
ява соснула
[13:42:27] <ħ̈> или я соснул у явы
[13:42:28] <ħ̈> хз как
[13:42:54] смекайло вышел(а) из комнаты
[13:44:33] махт хекп вышел(а) из комнаты
[13:52:31] <дырдырдыр> ħ̈, вслед за крымом
[13:52:48] дырдырдыр приготовил микроволновый шашлыкостейк
[13:53:00] <Mr.Purple> на сое и томатиках?
[13:53:12] <Mr.Purple> и каких-то там овощах?
[13:53:15] <дырдырдыр> да
[13:53:18] <Mr.Purple> без уксуса
[13:53:21] <дырдырдыр> да
[13:53:56] <Mr.Purple> а тут кролик в концентрате гранатового сока
[13:54:22] <дырдырдыр> тоже ок, молодец
[13:56:02] <Mr.Purple> кстати, сегодня надо было пораньше встать и я таки успел до восьми в парк
[13:56:17] <дырдырдыр> зачем?
[13:57:08] <Mr.Purple> по подходу на турник, брусья. наскакался. перед уходом подошли девушка с парнем, похожим на пимиенту.
[13:57:32] <Mr.Purple> как я на него пристально не вглядывался с 10и метров, так он и не узнал меня
[13:57:54] <Mr.Purple> внешность очень похожа, про голос не скажу
[13:58:21] <дырдырдыр> ежели рядом хача не было, то это не пимиента
[13:58:33] <Mr.Purple> почему?
[13:59:15] <дырдырдыр> потому что хачи у него бап уводят
[13:59:20] <дырдырдыр> в краснодар
[13:59:32] <Mr.Purple> ну эту мб в конце и увели
[13:59:34] <Mr.Purple> кто знает
[14:00:03] <Mr.Purple> странно, что в центральном парке потом народу практически не было
[14:00:09] <Mr.Purple> ни одного бегуна
[14:00:28] <Mr.Purple> это уже в восемь где-то
[14:04:36] <ShadoWalkeR> Хотите посмеяться? Нам тут от клиента заявка на почту упала
[14:04:55] <ShadoWalkeR> Здравствуйте, нам необходима настройка на внешнем соединении (внешнее устройство) для проброса порта 8002 на устройство.
Айпи у устройства не назначено (необходимо назначение айпи)
Необходим внешний (белый) айпи используемый для подключения в интернет
Необходимы параметры доступа для настройки данного шлюза нашими силами
так же необходима таблицы используемых внутренних айпи в сетях 10.10.13.0/24 и 10.10.10.0/24
Вопрос очень срочный т.к. приехали специалисты из москвы и им необходимо проброс порта на устройство.
[14:05:26] <Mr.Purple> специалисты пусть и пробрасывают
[14:05:31] <Mr.Purple> чо они как лалки
[14:07:02] <ShadoWalkeR> Ну мы им примерно так и сказали :)
[14:13:54] <Mr.Purple> ħ̈: ты там андроед что ли собираешь7
[14:14:34] <дырдырдыр> "чо вы как лалки? сами пробрасуйте"
[14:16:44] Bob Page вошёл(а) в комнату
[14:17:54] <дырдырдыр> >Пентхаус с шубохранилищем за 2,6 миллиарда рублей нашли в Москве
[14:28:34] <Mr.Purple> схрон главы ржд?
[14:31:04] Bob Page вышел(а) из комнаты
[14:42:48] <ħ̈> Mr.Purple: почти
[14:46:28] <ShadoWalkeR> "Имя, сестра, имя!" (c) :-D
[14:54:25] oxpa вышел(а) из комнаты
[14:59:29] <ShadoWalkeR> http://cs631319.vk.me/v631319264/3b3dc/6IhAdrryXc4.jpg
[14:59:39] <ShadoWalkeR> Ггггг почти как про жаву
[15:20:33] rexim вошёл(а) в комнату
[15:29:45] <iportnov> USER STORY
Ivan as a developer of a microservice at XXX would like...
[15:29:49] <iportnov> йумористы
[15:38:15] ShadoWalkeR вышел(а) из комнаты
[15:49:04] <iportnov> .wz uscm
[15:49:07] <sulci> iportnov: Station name not available - 2016.06.07 1230 UTC / Cumulonimbus clouds observed, 25°C / 77°F, humidity: 31%, pressure: 29.80 in. Hg (1009 hPa), wind: from the SW (230 degrees) at 9 MPH (8 KT), visibility: greater than 7 mile(s)
[15:49:32] <дырдырдыр> .wz uuob
[15:49:33] <sulci> дырдырдыр: Station name not available - 2016.06.07 1230 UTC / Cumulonimbus clouds observed, 14°C / 57°F, humidity: 41%, pressure: 29.97 in. Hg (1015 hPa), wind: from the NW (320 degrees) at 18 MPH (16 KT), visibility: greater than 7 mile(s)
[15:50:50] gold_9 вошёл(а) в комнату
[15:55:26] <дырдырдыр> кто слыхал про бесперебойники eaton и исток?
[15:55:44] <Mr.Purple> исход
[15:57:24] oxpa вошёл(а) в комнату
[16:07:48] <iportnov> искод
[16:08:05] iportnov вышел(а) из комнаты
[16:28:59] gold_9 вышел(а) из комнаты
[16:31:43] gold_9 вошёл(а) в комнату
[16:35:17] portnov вошёл(а) в комнату
[16:35:47] <portnov> вечер.
[16:39:53] cheshir вышел(а) из комнаты
[16:39:57] cheshir вошёл(а) в комнату
[16:46:49] <portnov> По уровню радиоактивности ядерные полигоны США приблизились к Нью-Йорку <https://lenta.ru/news/2016/06/07/bikini/>
[16:46:56] <portnov> ...с которой стороны?
[16:47:14] Mr.Purple вышел(а) из комнаты
[16:49:17] <portnov> https://pbs.twimg.com/media/CkM9dL_WYAAqnsO.jpg
[16:49:20] <portnov> sulci: ^^
[16:49:22] <sulci> portnov: эээ
[16:52:42] <portnov> >> "Бозоны троичны и имеют запах Святаго Духа, но..."
[16:54:29] <Yagg> троичны потому что из двух кварков и лептрона?
[16:54:39] <Yagg> а почему тогда запах, а не цвет? :\
[16:55:17] ħ̈ вышел(а) из комнаты
[16:55:30] <portnov> а запахи вроде физики там тоже где-то нашли, не?
[16:55:37] <portnov> flavour вроде
[16:56:02] cheshir вышел(а) из комнаты
[16:56:36] <Yagg> а, точно. аромат это у наших называется
[16:57:04] <portnov> «упоролись на отличненько»
[16:57:10] <portnov> вкус они ещё не открыли?
[16:57:12] <Yagg> цветной заряд ещё есть у них
[17:06:25] дырдырдыр вышел(а) из комнаты
[17:08:21] <portnov> http://cs7058.vk.me/c543109/v543109567/1bca2/s07vksI0Nrw.jpg алало?
[17:10:37] <portnov> https://img-fotki.yandex.ru/get/94893/384697237.90/0_14e4eb_746863e2_orig.gif яннп
[17:20:37] rexim вышел(а) из комнаты
[17:37:01] Mr.Purple вошёл(а) в комнату
[17:42:51] TikiRU вышел(а) из комнаты
[17:46:42] <Lavir> Странность, очарование…
[17:55:52] ForNeVeR вышел(а) из комнаты: Disconnected: Replaced by new connection
[17:55:52] ForNeVeR вошёл(а) в комнату
[17:56:57] <Lavir> Yagg, давай изучать Idris.
[17:57:58] ForNeVeR вышел(а) из комнаты: Disconnected: Replaced by new connection
[17:57:59] ForNeVeR вошёл(а) в комнату
[18:22:04] <Yagg> зачем?
[18:24:19] <Lavir> Чтобы доказывать корректность веб-серверов на этапе компиляции, Yagg.
[18:24:20] gold_9 вышел(а) из комнаты
[18:25:10] gold_9 вошёл(а) в комнату
[18:25:30] <Yagg> этак ты все вебсервисы напишешь без ошибок, а потом умрёшь от безделья
[18:26:07] Yagg полистав туториал ирдиса, что-то не заметил кардинального отличия от хаскеля
[18:31:03] <Yagg> о, даже с вебсервисами будет облом.
[18:31:07] <Yagg> Idris is primarily a research tool for exploring the possibilities of software development with dependent types, meaning that the primary goal is not (yet) to make a system which could be used in production. As such, there are a few rough corners, and lots of missing libraries. Nobody is working on Idris full time, and we don’t have the resources at the moment to polish the system on our own. Therefore, we don’t recommend building your business around it!
[18:32:24] <Lavir> ForNeVeR, я снова в поисках. Или опять стартаплю. Вот.
[18:33:30] <Lavir> И на данный момент у меня задача — найти алгоритм автоматической проверки satisfability modulo theories.
[18:34:32] m4n71k0r вышел(а) из комнаты
[18:35:02] <Lavir> Как проверить типизируемость терма, я уже примерно представляю. А вот как показать, что ∀x: f1 x = f2 x, где f1 и f2 есть разные реализации факториала — понятия не имею.
[18:35:46] <ForNeVeR> Ага, ты хочешь это автоматически доказывать?
[18:35:50] <Lavir> Конечно!
[18:35:54] <ForNeVeR> А такое бывает вообще? :)
[18:36:02] <Lavir> А я знаю?
[18:36:12] ħ вошёл(а) в комнату
[18:36:19] <ForNeVeR> Ну, ты же какие-то, вона, слова умные пишешь. Я решил, что ты шаришь!
[18:36:21] <Lavir> Пока нигде не видел, везде предлагают самому указывать, какие аксиомы когда применять.
[18:36:33] <ForNeVeR> Вот да, я тоже только такое видел.
[18:36:53] <Lavir> Подозреваю, что я маленько обарзел и пытаюсь сделать невозможное.
[18:36:55] <Lavir> Стоять.
[18:37:09] <Lavir> А как тогда проверялка контрактов в Visual Studio C# работает?
[18:37:11] <ForNeVeR> А чтобы полностью автоматически - ну, я могу только сказать, что это было бы круто.
[18:37:54] <ForNeVeR> Проверялка котнтрактов работает по-разному. Насколько я помню (на уровне слухов) - она статически доказывает то, что может (в моём понимании - самые простые и очевидные утверждения), а остальное уже в рантайме.
[18:38:16] <ForNeVeR> Сам не разбирался, и даже не уверен, в опенсорсе ли всё, что нужно для контрактов.
[18:38:34] <ForNeVeR> Но ведь контракты были ещё в Эйфеле? Он весь опубликован? Можешь в нём посмотреть?
[18:38:59] <ForNeVeR> Хотя я не знаю, были ли там статические доказательства, или только рантаймовые проверки.
[18:39:05] <Lavir> Ну, ForNeVeR, SMT-пруверы в опенсурсе.
В Eiffel контракты только в рантайме проверяются.
[18:39:30] <Lavir> Не знаю, может, уже ввели, но я смотрел примерно год назад — не было там статических проверок контрактов.
[18:41:41] <Lavir> Кстати, фасольки, если есть у кого Вижол Студия — проверьте, плиз, может ли она доказат равенство двух реализаций факториала.
[18:42:22] <ħ> как проверить?
[18:42:55] <ForNeVeR> Ну да. Покажешь код и скажешь, чо с ним делать - проверим.
[18:43:05] <ForNeVeR> Но я практически уверен, что такое она статически не разрешит.
[18:43:36] <ForNeVeR> Там всё-таки больше на бизнес-свойства заточено. Проверить, что вот тут нул, а там не нул.
[18:43:43] <Lavir> Ща попробую напукать.
[18:43:54] <ForNeVeR> Не думаю, что оно для факториалов будет что-то пытаться доказывать.
[18:48:58] <ħ> https://www.youtube.com/watch?v=Ecnb1r7_beQ
[18:57:57] oxpa вышел(а) из комнаты
[19:01:19] <Yagg> >А вот как показать, что ∀x: f1 x = f2 x, где f1 и f2 есть разные реализации факториала
тут наверное нужно лезть в трансформации алгоритмов. типа, если существуют преобразования алгоритма f1 в алгоритм f2, то они эквивалентны и, следовательно, ∀x: f1 x = f2 x
[19:04:11] <Lavir> Как это сделать автоматически, Yagg? Вот в чем вопрос.
[19:05:47] <Yagg> а почитать чего не пробовал?
[19:06:05] <Yagg> .google равносильные преобразования алгоритмов
[19:06:07] <sulci> Yagg: [not found in lang pack: plugin_google_bad_response]
[19:06:31] <Yagg> тему вроде давно копают
[19:06:47] <Lavir> Yagg, я искал лит-ру, но ничего толкового не нашел. Скорее всего, потому, что в прошлом веке один пидор доказал неразрешимость проблемы останова.
[19:06:47] <sulci> Lavir: не болтай глупостей как малолетка!
[19:07:18] <Lavir> http://ideone.com/6SBNzv Фасоли, у кого есть VS и .NET 4.0, загрузите вот этот код в нее и прогоните статическую проверку контрактов (или как там она называется в VS). Контракт на строке 16 должен успешно проходить статическую проверку.
[19:17:40] <Lavir> Пожалуйста.
[19:20:10] gr_buza@arbeiten вышел(а) из комнаты
[19:20:17] gr_buza@arbeiten вошёл(а) в комнату
[19:35:03] Yagg вышел(а) из комнаты
[19:56:14] дырдырдыр вошёл(а) в комнату
[19:56:22] m4n71k0r вошёл(а) в комнату
[20:02:06] Mr.Purple вышел(а) из комнаты
[20:15:32] <portnov> так
[20:16:16] <portnov> Lavir: google extensional equality
[20:16:34] <Lavir> Ага, ща.
[20:17:06] <portnov> правда рискуешь to end up listening lectures on HoTT
[20:17:34] <portnov> блин, дожил, некоторые предложения проще формулируются по-английски, чем по-русски :/
[20:17:44] <portnov> sulci: как по-русски to end up listening?
[20:17:48] <sulci> portnov: только чтоб только на пару-тройку раз отвечает за 5 перезагружался %)
[20:24:28] <дырдырдыр> https://lh3.googleusercontent.com/proxy/f3Cz9U-doPZ_F4_viRULc_EkENhQi_WFAhV_-9dezOdCAqSlBj89NGbgvabOiEzlpz4_28tgzkfQ2CjDwopm9VClkAbbgHrXe4htpg62Mp1eZKE58NltiZe06VDBS5EiFmXlE5QbrmS6O3jTJYGTURjb5fMs5dU=w6426-h6237-p
[20:24:52] <дырдырдыр> ЯUSSIA STЯONG
[20:25:31] <ħ> дырдырдыр: чо?
[20:26:12] <дырдырдыр> TOVAЯISCH MAЯK DILLON  CALLING TO TOVAЯISCH TOMI PENIMAKI
[20:26:55] <дырдырдыр> HAPPY BIЯTHDAY TOVAЯISCH PENIMAKI AND NA ZDOROVIE
[20:27:23] <дырдырдыр> ħ, Russia Is Making A New Linux-based Mobile Operating System To Kill Android And iOS
fossbytes.com
[20:27:48] <дырдырдыр> https://lh3.googleusercontent.com/proxy/f3Cz9U-doPZ_F4_viRULc_EkENhQi_WFAhV_-9dezOdCAqSlBj89NGbgvabOiEzlpz4_28tgzkfQ2CjDwopm9VClkAbbgHrXe4htpg62Mp1eZKE58NltiZe06VDBS5EiFmXlE5QbrmS6O3jTJYGTURjb5fMs5dU=w426-h237-p
[20:27:58] дырдырдыр объебался с увеличением картинки
[20:54:24] <дырдырдыр> calc:20+4+6+2+3+2+4+4+4+4
[20:54:30] <дырдырдыр> .calc 20+4+6+2+3+2+4+4+4+4
[20:54:31] <sulci> дырдырдыр: 53
[20:54:40] <gr_buza@arbeiten> .calc дырдырдыр
[20:54:40] <sulci> gr_buza@arbeiten: 0
[20:54:52] <gr_buza@arbeiten> sulci: никогда не сомневался
[20:54:53] <sulci> gr_buza@arbeiten: а рифма
[20:54:54] <gr_buza@arbeiten> гггг
[20:56:02] <ħ> https://www.youtube.com/watch?v=iVZVaoshGMw
[21:03:34] <дырдырдыр> .calc 20+4+6+2+3+2+4+4+4+4+6
[21:03:34] <sulci> дырдырдыр: 59
[21:05:44] <ħ> дырдырдыр: так это на картинке ЙоллаФон же
[21:06:34] <дырдырдыр> ħ, ЭТО НОВЫЙ РУССКИЙ ТЕЛЕФОН, ТОВАРИЩ
[21:09:34] <дырдырдыр> .calc 4+20+4+6+2+3+2+4+4+4+4+6
[21:09:34] <sulci> дырдырдыр: 63
[21:09:51] <gr_buza@arbeiten> ħ: хорошо бы узнать, что с той дорогой сейчас творится.
[21:10:17] <ħ> gr_buza@arbeiten: вон у дыряя спроси, это же бългород
[21:11:40] <дырдырдыр> предприятие челябинское же
[21:11:51] <дырдырдыр> .calc 4+20+4+6+2+3+2+4+3+4+4+6
[21:11:51] <sulci> дырдырдыр: 62
[21:12:17] <ħ> там написано что для тестовой дороги выбрано село в бългородской области
[21:12:47] <дырдырдыр> https://www.youtube.com/watch?v=p-Z39nCWyN8
[21:12:53] <ħ> новая нелидовка
[21:13:14] <ħ> уже страшно
[21:13:22] <ħ> как эта арматура попадет в колесо
[21:13:48] <дырдырдыр> Не был там, но дороги у нас все говённые
[21:14:29] <ħ> а там может одна заебатая
[21:14:29] <sulci> ħ: не болтай глупостей как малолетка!
[21:14:55] <дырдырдыр> нет
[21:15:29] <дырдырдыр> смотри у янок дорогу
[21:15:57] <Lavir> portnov, помню такую вещь и пока что нагуглил, что в общем случае она недоказуема. :(
[21:16:25] <portnov> Lavir: ну да, поскольку сводится к halting problem.
[21:16:45] <portnov> по-моему.
[21:45:12] gr_buza@arbeiten вышел(а) из комнаты: Replaced by new connection
[21:45:14] gr_buza@arbeiten вошёл(а) в комнату
[21:55:57] Bob Page вышел(а) из комнаты
[21:57:42] m4n71k0r вышел(а) из комнаты
[22:00:52] смекайло вошёл(а) в комнату
[22:02:15] <дырдырдыр> >«"Аллигаторы" будут размещаться на российских авианосцах»
[22:02:23] rexim вошёл(а) в комнату
[22:02:29] <ħ> на палубе будут греться
[22:02:31] <дырдырдыр> поцоны, у расеюшки много авианосцев
[22:02:55] <ħ> а аллигаторов?
[22:02:57] <portnov> множество из одного элемента тоже вполне себе множество.
[22:03:16] <portnov> ħ, аллигаторы это К-52 вроде
[22:03:17] <дырдырдыр> аллигаторов тоже много
[22:03:24] <portnov> их как раз много
[22:03:36] <portnov> вот только где их размещать на кузнецове собрались — хз
[22:03:42] <дырдырдыр> о, они ещо и перспективные
[22:03:55] <дырдырдыр> надо заманить в чятик морского балодю
[22:05:28] <portnov> это
[22:05:31] <portnov> я так и не понял
[22:05:42] <portnov> как апгрейдить docker-контейнеры?
[22:06:04] <portnov> остановить старый и запустить новый с тем же именем?
[22:10:04] <дырдырдыр> ага
[22:10:22] <дырдырдыр> это говно выкачает тебе новые слои, и ты будешь рад
[22:12:37] <дырдырдыр> но есть план хитрее — надо самому пересобирать образы
[22:14:51] <дырдырдыр> http://img0.joyreactor.cc/pics/post/%D0%BA%D0%BE%D1%82%D1%8D-%D0%BF%D0%B5%D1%81%D0%BE%D1%87%D0%BD%D0%B8%D1%86%D0%B0-%D0%A1%D0%BE%D0%B2%D0%B0-3146978.jpeg
[22:16:10] <ħ> совы нежные ую
[22:16:40] <дырдырдыр> при этом они не те, кем кажутся
[22:16:42] <дырдырдыр> http://img1.joyreactor.cc/pics/post/%D0%95%D0%B3%D0%BE%D1%80-%D0%9B%D0%B5%D1%82%D0%BE%D0%B2-%D1%8D%D0%BD%D1%82%D0%B5%D0%BE-%D1%82%D0%B2%D0%B8%D1%82%D1%82%D0%B5%D1%80-3147491.jpeg
[22:18:05] <portnov> дырдырдыр: т.е. при docker stop ; docker rm; docker run ...; базовые образы сами обновятся, если они были с докерхаба?
[22:18:27] <дырдырдыр> portnov, вроде и должны оттудова же прилезть
[22:18:42] <portnov> ну ок если так
[22:18:55] <дырдырдыр> rm у тебя контейнер удяляет, кстати
[22:19:18] <portnov> ну а без него разве можно будет сделать run заново?
[22:19:25] <portnov> run же вроде создаёт новый.
[22:19:32] <дырдырдыр> ну да
[22:19:51] <portnov> ну
[22:20:03] <portnov> так что если не сделать rm то run просто ошибку скажет
[22:20:13] <дырдырдыр> но чото мне кажется, что мне удавалось заного зайти в контейнер с башем, не уверен
[22:20:33] <portnov> ну ему можно сказать start, по-моему
[22:20:34] <дырдырдыр> не уверен, в состоянии того контейнера, мож он выполнялся
[22:21:13] <portnov> к живущему контейнеру можно пойти через docker exec -it container /bin/bash
[22:26:28] <ħ> господа
[22:26:31] <ħ> вы же программисты
[22:26:34] <ħ> помогите мне
[22:26:43] <ħ> у меня указатель становится равен не нулю!
[22:26:45] <ħ> но единице
[22:27:03] <portnov> наверное это не указатель
[22:27:10] <portnov> а какая-нибудь функция тебе вернула признак
[22:27:18] <portnov> что нужно посмотреть где-нибудь в errno
[22:28:19] <ħ> нет
[22:29:02] <edgbla> а что, когда он нулю это лучше?)
[22:29:20] <ħ> ну это хоть понятно как
[22:29:27] <ħ> а 0x1 это же вообще пиздец
[22:29:28] <sulci> ħ: не болтай глупостей как малолетка!
[22:29:47] <edgbla> ну кто-то наверное портит твой указатель
[22:29:57] <ħ> кто бы это мог быть
[22:30:24] <edgbla> ставь бряк
[22:30:25] <edgbla> гляди
[22:30:40] <edgbla> кто пишет 1
[22:31:33] <ħ> может компилятор плохо сконпелировал?
[22:32:04] <edgbla> наврядли)
[22:32:11] <edgbla> скорее руки плохо написали
[22:32:38] <ħ> но почему тогда другой компилятор делает другой код?
[22:32:59] <edgbla> в другом компиляторе данные могут идти немного в другом порядке и портится не этот указатель, а что-то другое
[22:33:13] <edgbla> вполне может портится какое-то выравнивание и ты никогда не узнаешь о баге
[22:33:17] <edgbla> пока не перепишешь код
[22:33:51] <ħ> https://bitbucket.org/cffi/cffi/issues/266/test-failed-at-armv7 мне вот рекомендуют нахуй пойти и говорят что нет никакого бага
[22:33:51] <sulci> ħ: не болтай глупостей как малолетка!
[22:33:58] <дырдырдыр> а если указатель равен нулю, то это хорошо?
[22:34:39] <дырдырдыр> .ping
[22:34:42] <sulci> дырдырдыр: Понг от тебя 3.17 секунды
[22:35:45] <ħ> дырдырдыр: это хорошо
[22:35:56] <дырдырдыр> sulci, напомни все указатели делать равными нулю
[22:35:58] <sulci> дырдырдыр: гм, ну аккумулято-то надо завязывать с тмуксами запускаешь? nginx, да, употребляя сию минуту. Такая толстота какая-то структура. А вообще
[22:36:26] <edgbla> ну что началось-то, пистоны какие-то) я пас.
[22:36:59] <дырдырдыр> sulci, канпелирующими на грани своих свобод и чужих границ
[22:37:00] <sulci> дырдырдыр: если нет опыта с какой нибуть попрыскать можно.
[22:37:03] <edgbla> дырдырдыр, заодно пусть напомнит, не оставлять переменные неинициализированными)
[22:37:56] <дырдырдыр> http://ic.pics.livejournal.com/mpopenker/3193340/565449/565449_original.jpg
[22:38:56] <ħ> https://www.youtube.com/watch?v=VF3NNzDywzM
[22:39:44] <смекайло> ħ: https://www.youtube.com/watch?v=W2eUckDCCqE
[22:41:35] portnov вышел(а) из комнаты
[22:42:08] <дырдырдыр> вопящий хохол ненужен
[22:42:31] <дырдырдыр> а, не, это у меня громкость
[22:44:02] rexim вышел(а) из комнаты
[22:45:45] <дырдырдыр> ħ, а чоето с тем фиромиром?
[22:46:03] <ħ> а кто это?
[22:47:24] <дырдырдыр> https://www.youtube.com/watch?v=kdoOLQX8JpU
[22:48:04] <ħ> дырдырдыр: https://www.youtube.com/watch?v=n2Sx1hup3GU
[22:54:35] <дырдырдыр> ħ, ты задонатил?
[22:54:54] <ħ> дырдырдыр: чо задонатил?
[22:55:03] <дырдырдыр> ħ, денег шлюхе
[22:57:40] <дырдырдыр> думаю, купить завтра хороший шмат свеньи в магазе и изготовить его в микроволновке
[23:03:34] <дырдырдыр> https://www.youtube.com/watch?v=itbUe7sm_Wg
[23:13:53] <дырдырдыр> бб
[23:13:58] дырдырдыр вышел(а) из комнаты
[23:14:55] Бот_Ыук вошёл(а) в комнату
[23:24:58] ermine вышел(а) из комнаты
[23:43:25] Бот_Ыук вышел(а) из комнаты
[23:45:11] <ħ> gr_buza@arbeiten:
[23:45:57] <ħ> https://www.youtube.com/watch?v=iGXi9EQjHd4
[23:46:03] <ħ> вот вам
[23:46:38] <ħ> посоны
[23:46:44] <ħ> я сейчас такой хороший баг нашел
[23:47:01] <ħ> ваш линукс сделан из говна
[23:54:32] <ħ> это всё этот ваш Си
[23:54:40] <ħ> типичный сишный косяк =)
[23:54:48] <ħ> ггг
[23:54:56] <ħ> в заголовке у людей структура одного размера
[23:55:02] <ħ> а в самом .so-щнике другого
[23:56:40] <ħ> как я должен был это понять?
[23:58:29] gold_9 вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!