[07:21:01] <ada_ru> (anisimkov) А я опять с правозащитой, http://scientific.ru/zayavlenie-po-delu-seti/ Подписывайте кому не все равно.
[08:01:42] <ada_ru> (vasil_sd)  отвечает (anisimkov) на <А я опять с правозащ…>
Подписал, хотя сомневаюсь, что будет какой-то толк от этой петиции.
Нужно петицию где-нибудь на change.org, и раздувать в СМИ, если есть возможность. Голунову помогла только очень сильная волна в СМИ.
[08:02:55] <ada_ru> (anisimkov) В независимых сми об этом пишут
[08:04:27] <ada_ru> (anisimkov) change.org уже сильно примелькался. А вот заявление ученых, это, я считаю, серьезно.
[08:07:58] <ada_ru> (vasil_sd)  отвечает (anisimkov) на <change.org уже сильн…>
Площадка для заявления как-то не особо. Вот такое же на сайте ран запилить - было бы самое оно.
[08:18:43] <ada_ru> (Eugene)  отвечает (anisimkov) на <А я опять с правозащ…>
"Всё, что мы знаем о «деле „Сети“», говорит о том, что оно целиком сфабриковано. Откровенно неправосудный приговор свидетельствует о полном параличе независимой судебной системы в нашей стране. В отличие от тех выдуманных «терактов», которые якобы «собирались запланировать» осужденные, решение по «делу „Сети“» и есть самый настоящий акт террора, который наносит жестокий удар по основам российской государственности."

то есть надо было дождаться, когда эти "сетевики" устроят настоящие теракты, что бы потом начать ныть про бездействующее ФСБ или хуже того -- начать обвинять ФСБ в совершении этих терактов? ну-ну...
[08:22:19] <ada_ru> (anisimkov) То есть для того что бы предотвратить теракт надо фабриковать доказательства, Так что ли ?
[08:22:37] <ada_ru> (anisimkov) Ты наверное так же как ФСБ шники умеешь предвидеть будущее.
[08:30:24] <ada_ru> (vasil_sd)  отвечает (Eugene) на <"Всё, что мы знаем о…>
Попав к нашим "правоохранителям" твоя "виновность" часто определяется только тем, насколько у них исполнен план и пр.,  а не тем, реально ли ты что-то совершил.

Доводилось неоднократно сталкиваться с "правоохранителями", правда по мелочам, административка, не более того, но это уже дало понимание, что за люди идут работать в "органы".

Наверняка там есть и нормальные, адекватные, но их как-то мало и они не на виду.
[08:31:18] <ada_ru> (Eugene)  отвечает (anisimkov) на <То есть для того что…>
а есть доказательства, что дело сфабриковано? ну так подайте заявление в прокуратуру
[08:31:59] <ada_ru> (vasil_sd)  отвечает (Eugene) на <"Всё, что мы знаем о…>
И да, если они и так уже вели эту "группу", что мешало дождаться реальной подготовки к террактам? Закупку соотв оборудования, веществ и пр?
[08:32:19] <ada_ru> (Eugene)  отвечает (anisimkov) на <Ты наверное так же к…>
если кто-то дома устроил склад боеприпасов, насобирал планы мест наибольшего скопления народа -- надо быть дураком, что бы не понять, что тут что-то нечисто и возможно готовится теракт
[08:32:53] <ada_ru> (anisimkov) «подайте заявление в прокуратуру» Наша прокуратура такая же как следствие, если ты не знал. А вот ЕСПЧ, часто помогает совершить правосудие.
[08:32:56] <ada_ru> (vasil_sd)  отвечает (Eugene) на <если кто-то дома уст…>
А был реальный склад, оперативная съёмка и тд?
[08:33:40] <ada_ru> (Eugene)  отвечает (anisimkov) на <«подайте заявление в…>
ЕСПЧ помогает всяким ходорковским вымогать деньги из России
[08:34:02] <ada_ru> (anisimkov) Нууу, ты Евгений вообще в параллельной реальности живешь похоже.
[08:34:19] <ada_ru> (Eugene)  отвечает (vasil_sd) на <А был реальный склад…>
ну раз арестовали, наверное было, у меня нет доступа к материалам следствия, и вряд ли у кого-то тут этот доступ есть
[08:34:44] <ada_ru> (anisimkov) Это не Ходорковский деньги из России уводит. А у него бизнес увели, и вышвырнули, а потом через его бизнес уводят деньги из России.
[08:35:38] <ada_ru> (anisimkov) « и вряд ли у кого-то тут этот доступ есть» Вот, это ключевая фраза. То есть знает только следтсвие. а адвокатам знать не положено, так ?
[08:35:45] <ada_ru> (Eugene)  отвечает (anisimkov) на <Это не Ходорковский …>
понятно, непонятно только, как тут в этом чате засела либеральная оппозиция, ведь это чат по языку программирования, а не по политике
[08:36:21] <ada_ru> (Eugene)  отвечает (anisimkov) на <« и вряд ли у кого-т…>
ну езжай к своим последственным, тут-то зачем агитацию вести?
[08:36:23] <ada_ru> (anisimkov) Я только ссылку дал, а возражать ты начал.
[08:36:46] <ada_ru> (Eugene)  отвечает (anisimkov) на <Я только ссылку дал,…>
эта ссылка -- оффтоп и спам
[08:37:09] <ada_ru> (anisimkov) Твои возражение тоже офтоп
[08:39:13] <ada_ru> (Eugene) я просто поражаюсь ,почему вы так вечно недовольны своей полицией, своими спецслужбами, как-будто там какие-то иностранцы работают! там ведь всё те же люди, что и вы все сами!
[08:40:24] <ada_ru> (anisimkov) Я не вечно недоволен, я недоволен когда невиновных садят. А те кто довольные, находяться в такой же вероятности от тюрьмы как и недовольные. Только чем больше было бы недовольных, тем быстрее стало бы лучше.
[08:41:44] <ada_ru> (anisimkov) чем больше стране подлецов и пофигистов, тем хуже будут жить наши дети
[08:42:06] <ada_ru> (Eugene) если их вину определил суд -- то они по определению виновны, только суд может определять, виновнен кто-то или невиновен
[08:42:32] <ada_ru> (anisimkov) Судебная система у нас пока телефонная и зависимая от следствия.
[08:43:08] <ada_ru> (anisimkov) знаешь статистику по дозе наркоты, за которую попали в тюрьму ?
[08:43:43] <ada_ru> (anisimkov) максимум на чуть больше чем надо для того что бы посадить.
[08:46:51] <ada_ru> (Eugene)  отвечает (anisimkov) на <максимум на чуть бол…>
ну значит, хорошо работают
[08:48:40] <ada_ru> (anisimkov) Ну значит у нас с тобой разные понятия о хорошем и плохом. Бывает.
[09:05:02] <ada_ru> (vasil_sd)  отвечает (Eugene) на <ну значит, хорошо ра…>
Ага, особенно по делу Голунова это видно...
[09:13:52] <ada_ru> (Eugene)  отвечает (vasil_sd) на <Ага, особенно по дел…>
я не знаю, кто такой этот ваш Голунов, но если он не связан с программированием на языке Ада, то лучше его обсуждать в какой-нить беседке
[09:47:17] <ada_ru> (anisimkov) Евгений, если бы ты не стал так рьяно возражать против справедливости, мы бы давно затихли. Ну раз ты поддерживаешь всяких упырей, я лично молчать не могу.
[09:47:45] <ada_ru> (Eugene)  отвечает (anisimkov) на <Евгений, если бы ты …>
ок, только продолжай в беседке, а не тут
[09:47:59] <ada_ru> (anisimkov) ну ты ведь тут возражаешь. я тут и отвечаю.
[09:48:34] <ada_ru> (vasil_sd) Предлагаю всё таки прекратить действительно этот оффтоп. Если сильно хочется подискутировать, можно в личку писать.
[09:49:25] <ada_ru> (vasil_sd) Мнения разные у людей, опыт разный, дискуссия эта большого смысла не имеет.
[10:06:06] <ada_ru> (Oleg) Парни
[10:06:41] <ada_ru> (Oleg) А что из реально применимых инструментов формальной верификации есть для простого софта?
[10:06:52] <ada_ru> (Oleg) Вот с чего начать
[10:07:19] <ada_ru> (vasil_sd) Формальной верификации чего?
[10:07:33] <ada_ru> (Oleg) Хочется например библиотеку разбора Netflow сделать верифицированной
[10:07:53] <ada_ru> (Oleg) Чтоб не выходили за пределы массива индексы и прочее
[10:08:35] <ada_ru> (vasil_sd)  отвечает (Oleg) на <Чтоб не выходили за …>
Тогда спарка должно хватить
[10:08:47] <ada_ru> (Oleg) Она на C :-)
[10:08:54] <ada_ru> (vasil_sd) Frama-C
[10:12:57] <ada_ru> (Oleg) Спасибо
[10:15:17] <ada_ru> (vasil_sd) А если нужна формальная верификация кода на соответсвие спекам, тогда нужны формальные спеки и их валидация/верификация.
То есть для верификации функционала, тут будет чуть подольше и посложнее.
Для формальных спек и их валидации, могу посоветовать model-checkers/model-finders (Alloy, TLA+), это самый практичный способ (на мой взгляд) валидации высокоуровневого функционала и разработки формальных спек.
Для верификации кода можно начать с изучения логики Хоара и старой книжки Гриса https://www.ozon.ru/context/detail/id/28861839/.
Без математики, к сожалению, не обойтись. Просто на примерах использования Frama-C научится верификации не получится. Первый более-менее нетривиальный инвариант цикла, который потребуется найти, поставит в тупик.
[10:17:19] <ada_ru> (Oleg)  отвечает (vasil_sd) на <А если нужна формаль…>
Спасибо! С математикой вроде не все плохо :-)
[10:20:51] <ada_ru> (vasil_sd)  отвечает (Oleg) на <Спасибо! С математик…>
Если с локигой всё норм, тогда можно сразу Frama-C смотреть :)
Там ещё возможно потребуется посмотреть сепарационную логику, ибо для верификации работы с указателями только её разновидности используются.

Но на мой взгляд, Frama-C серьёзно уступает GNATprove, то, что я легко доказывал в спарке, в Frama-C иногда очень тяжело шло. Да и багов там прилично встречалось.
Тк. Frama-C не коммерческий инструмент, то развивается и багфиксится довольно медленно.
[10:22:46] <ada_ru> (Oleg) 84 год, теперь такое не читают...
[10:22:51] <ada_ru> (Oleg) картинка https://www.ada-ru.org/files/bot/2020-02-13-x26.jpg
[10:32:07] <ada_ru> (Oleg) О может присоединитесь
[10:32:09] <ada_ru> (Oleg) https://t.me/practical_fm
[10:32:11] <ada_ru> (Oleg) ,
[10:32:12] <ada_ru> (Oleg) ?
[10:33:30] <ada_ru> (vasil_sd)  отвечает (Oleg) на <https://t.me/practic…>
Я там уже есть :)
[10:33:35] <ada_ru> (Oleg) 😊
[10:33:46] <ada_ru> (Oleg) Ну теперь и я 😊))
[10:34:21] <ada_ru> (vasil_sd)  отвечает (Oleg) на <Ну теперь и я 😊))>
:)
[10:36:47] <ada_ru> (Oleg) У меня бизнес план - avito но по книгам 😊
[10:46:36] <ada_ru> (vasil_sd)  отвечает (Oleg) на <У меня бизнес план -…>
Желание повторить успех Amazon? :)))
[10:48:28] <ada_ru> (Oleg)  отвечает (vasil_sd) на <Желание повторить ус…>
Нет, старьё всякое покупать :-)
[11:44:49] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <Нет, старьё всякое п…>
Лавка старьевщика онлайн?
[11:47:52] <ada_ru> (Oleg) Ога
[11:49:00] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-02-13-x27.jpg
[11:51:31] <ada_ru> (zloidemon)  отвечает (I_vlxy_I) на <>
За такую картинку сейчас и посадить могут =)
[11:55:08] <ada_ru> (I_vlxy_I)  отвечает (zloidemon) на <За такую картинку се…>
Кто? Где?
[11:56:45] <ada_ru> (zloidemon)  отвечает (I_vlxy_I) на <Кто? Где?>
По цвету кожи =)
[11:57:49] <ada_ru> (anisimkov) если брошенный ребетенок напугает нацгвардейца
[11:58:45] <ada_ru> (I_vlxy_I)  отвечает (zloidemon) на <По цвету кожи =)>
В России вроде это ок :-)
[12:02:37] <ada_ru> (I_vlxy_I)  отвечает (anisimkov) на <если брошенный ребет…>
Да. Вот так не надо. Нельзя детьми пугать!
[12:08:07] <ada_ru> (Oleg) Я там немного в растачате разжег :)
[12:08:26] <ada_ru> (Oleg) Куча народа пошла в чат про фоормальную верификацмю
[12:08:39] <ada_ru> (Oleg) А там глядишь и в АДА перейдут
[12:08:42] <ada_ru> (Oleg) 😊
[12:08:58] <ada_ru> (Oleg) Ладно пошел работать а про UDP огонь!
[12:17:56] <ada_ru> (vasil_sd)  отвечает (Oleg) на <А там глядишь и в АД…>
Какой хитрый план :)
[12:51:30] <ada_ru> (I_vlxy_I)  отвечает (vasil_sd) на <Какой хитрый план :)>
Воронка продаж!
[15:54:33] <ada_ru> (nitrocerber) раз вы тут по мемасикам пошли... давненько тема тупоскрипта не поднималась) https://www.ada-ru.org/files/bot/2020-02-13-x28.jpg
[16:10:09] <ada_ru> (sanyu) веб, декстоп, мобилки есть. Осталось в ембедед. и заживем.
[16:15:41] <ada_ru> (Gourytch)  отвечает (sanyu) на <веб, декстоп, мобилк…>
Espruino
[16:19:27] <ada_ru> (nitrocerber) kill it before it lays eggs
[16:54:52] <landgraf> too late
[23:32:16] <ada_ru> (Лекс) Кстати кто-нибудь шарит в экосистеме js? Как транспилировать es6/2015 в es5/3?
[23:36:59] <ada_ru> (I_vlxy_I) Вавилон думаю
[23:37:55] <ada_ru> (I_vlxy_I) https://babeljs.io
[23:39:20] <ada_ru> (Лекс) да чота нихера не понятно с этим бабелом
[23:39:28] <ada_ru> (Лекс) :-\
[23:40:59] <ada_ru> (I_vlxy_I) Это веб, детка! Тут процесс компиляции и настройки тулзов сильно сложнее чем для embedded какого :-)
[23:41:16] <ada_ru> (I_vlxy_I) Это вам не с++ или Аду компилировать!
[23:43:03] <ada_ru> (Лекс) та ну, есть здесь и нормальные вещи, тот же rollup —  и доки чёткие и всё понятно, а в бейбел полез — написано что транспилятор из стандарта в стандарт, а стал читать — текста тона,  а смысл не понятен %) предлагают юзать пресет 2015 для транспиляции в es5 но этот пресет для устаревшего babel, а для нового нужно юзать env-preset О_0 а он хер знает что мне компилит, но точно не es5
[23:44:06] <ada_ru> (Лекс) в том же тупоскрипте стандарт js вообще задаются одной строкой в понятном обозначении: es5/6/3 %) а здесь чёрти знает что
[23:45:34] <ada_ru> (Лекс) почему ещё столько олухов сидит на дохлых браузерах :-( мой няшный vue в них неработает, из-за es6