Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Федеральный Суд США обязал предоставить исходные тексты ПО для анализа ДНК, opennews (??), 01-Мрт-21, (0) [смотреть все] Хороший прецедент, со всеми бы исследованиями и тестами бы так Но это только, InuYasha (??), 12:53 , 01-Мрт-21, (1) +29 // чаю кэпу , Таненбаум (?), 12:56 , 01-Мрт-21, (4) +9 Карнеги рулит применяемое при сборе доказательств программное обеспечение , Аноним (58), 16:56 , 01-Мрт-21, (58) +4 // Ок, а если человек невиновен Пусть все равно отсидит 10-20-30 лет Или вышка Я, alex (??), 19:00 , 01-Мрт-21, (69) +4 Вообще-то для этого и существуют независимые экспертные группы, аудиторы , InuYasha (??), 19:17 , 01-Мрт-21, (70) Тебе сколько лет раз ты все ещё веришь в независимость , Неа (?), 08:59 , 02-Мрт-21, (115) Вы же понимаете, что это был ответ на комментарий, что адвокаты не могут разбира, Timoteo Cirkla (ok), 23:20 , 03-Мрт-21, (159) Обвинитель -- тоже адвокат И должен доказать обвинение, и на основании презумпц, Анон Алког (?), 20:11 , 01-Мрт-21, (76) Свой код пиши и открывай Создавай преценденты за свой счёт, покажи всем как нуж, Ты идиот (?), 23:07 , 01-Мрт-21, (90) –5 А это в данном случае не важно - теперь выбор будет между экспертизой с помощью , Аноним (103), 02:17 , 02-Мрт-21, (103) +3 // Вот это - верная позиция, лучше пусть будет такъ , InuYasha (??), 10:29 , 02-Мрт-21, (120) +1 Да и для обратных случаев тоже Бывают и случаи, когда по экспертизе ДНК сажаю, Timoteo Cirkla (ok), 23:22 , 03-Мрт-21, (160) Теперь осталось подвергнуть независимому аудиту ПО, подсчитывающее голоса на выб, Тот_Самый_Анонимус (?), 07:48 , 02-Мрт-21, (107) +3 // Когда в СШ так сделали, выскрылся весь демократрэш и начался тот безпредел, что , InuYasha (??), 10:27 , 02-Мрт-21, (119) +1 // Есть ссылки на результаты проверки Я слышал обратное, что после попыток дискред, pda (?), 12:49 , 02-Мрт-21, (123) Нет, присылали куда-то в чаты Но суть не в плохом ПО, вроде, а в том что данным, InuYasha (??), 14:49 , 02-Мрт-21, (130) Там было другое 60 Бюлютеней не проходили автомататическую обработку Отбрако, Аноним (144), 17:40 , 02-Мрт-21, (144) +1 Читайте про Diebold voting machine scandal -- помнится, и на LWN было Ну а то,, Michael Shigorin (ok), 22:44 , 02-Мрт-21, (145) –1 Да и здесь не хотят Или скажете, что все сведения про карусели в России - это ф, Timoteo Cirkla (ok), 23:23 , 03-Мрт-21, (161) Фейк, пока не доказанно обратное Если вас не устраивает презумпция невиновности, Тот_Самый_Анонимус (?), 06:26 , 09-Мрт-21, (173) Покуда есть деньги, и колесо правосудия будет поворачиваться в нужную сторону , Аноним (114), 08:53 , 02-Мрт-21, (114) в битве СПО и ПроПриПО все средства хороши, Леголас (ok), 12:55 , 01-Мрт-21, (2) –2 Вполне логично и закономерно Это интересно Вообще спорное решение , Аноним (3), 12:56 , 01-Мрт-21, (3) +1 // Вполне нормальное решение Вообще часть инструментов и средств должна быть откры, Аноним (6), 13:03 , 01-Мрт-21, (6) +14 // Поддерживаю всеми руками и ногами Странно, где-то еще разрешают вершить правосу, randomize (?), 01:33 , 02-Мрт-21, (100) +1 Это весьма сомнительно Если в алгоритме были изъяны, то результатам работы подо, Lex (??), 13:02 , 01-Мрт-21, (5) // Вполне нормальное решение Вообще часть инструментов и средств должна быть откры, Аноним (6), 13:03 , 01-Мрт-21, (7) +1 // Вроде бы и так, а вроде бы и нет Наличие открытых данных позволит при некоторой , Lex (??), 14:02 , 01-Мрт-21, (28) –4 А это не требуется Достаточно того, что собранная из этих исходников программа , Какаянахренразница (ok), 14:13 , 01-Мрт-21, (33) +2 // Т е по вашему, суть аудита кода в том, чтобы черти кто, не пройдя возможную сп, Lex (??), 08:03 , 02-Мрт-21, (109) С точки зрения здравого смысла, вы правы Но на практике получается примерно так, Какаянахренразница (ok), 11:24 , 03-Мрт-21, (155) Об этом я и говорю Максимум, что те типы могут сделать - это просто посмотреть , Lex (??), 15:01 , 03-Мрт-21, (156) +1 Это какое ПО применяется для вершения правосудия Хоть один пример за всю истори, Аноним (73), 19:35 , 01-Мрт-21, (73) // В новости указано же название программы Где гарантия, что программа из-за несов, randomize (?), 01:36 , 02-Мрт-21, (101) Адвокат на пенсии Когда я был молод, я проиграл много дел, которые должен был , Какаянахренразница (ok), 02:56 , 02-Мрт-21, (105) +1 Где гарантия, что адвокат прилагает абсолютно все возможные усилия для защиты по, Lex (??), 08:07 , 02-Мрт-21, (110) Извините, но это - демагогия Отпечатки пальцев - это прямое доказательство, кот, randomize (?), 12:01 , 02-Мрт-21, (121) –1 Пардон, в данном случае - ДНК, а не отпечатки Но суть та же , randomize (?), 12:06 , 02-Мрт-21, (122) –1 Как до серьезных понятие дошли - так извините, но это - демагогия ц Но вообще, Lex (??), 12:59 , 02-Мрт-21, (124) +1 Это все понятно Извиняюсь, если обидел Понятное дело, что судья или адвокат мо, randomize (?), 17:13 , 02-Мрт-21, (138) а зачем им Выполнят этот самый код после аудита если аудит не покажет что код , авыдокажити (?), 13:54 , 01-Мрт-21, (23) // Им подобного никто не поручал, нет никаких гарантий, что они перед выполнением ч, Lex (??), 13:59 , 01-Мрт-21, (26) Тут может быть несколько вариантов Если некая группа экспертов вынесет заключени, АКРОНИМ (?), 14:15 , 01-Мрт-21, (36) Так по уму это не они должны доказывать А код изначально открыт и бинарник довер, mos87 (ok), 14:18 , 01-Мрт-21, (37) –1 Ну как Как обычно Суд Адвокат Свидетель, это действительно код данной версии, Анон Алког (?), 20:21 , 01-Мрт-21, (77) Соберут и прогонят данные через эту сборку Если получится тот же результат бит-, Ordu (ok), 21:00 , 01-Мрт-21, (80) // Ты давно коммерческое ПО видел С каких это пор его просто запускаешь - и оно пр, Lex (??), 08:17 , 02-Мрт-21, (111) // Ничто не мешает Но представителю этой конторы придётся сообщать о своей находке, Ordu (ok), 15:07 , 02-Мрт-21, (131) gt оверквотинг удален Но на самом деле не придется Ведь им поручено лишь пров, Lex (??), 09:45 , 04-Мрт-21, (162) Откуда дровишки Ты это сам придумал, или вычитал где Поделись ссылкой , Ordu (ok), 12:54 , 04-Мрт-21, (163) Да это ты придумал, что, по решению суда, согласно которому разрешили просто пос, Lex (??), 14:16 , 04-Мрт-21, (164) Я придумал, но исходя из понятной логики суд согласился с тем, что нужны доказа, Ordu (ok), 14:41 , 04-Мрт-21, (165) Ну вообще-то нет Подразумевается лишь проверка корректности составления проги Н, Lex (??), 17:02 , 04-Мрт-21, (166) Покажи мне те слова в новости, или может в тексте официального решении суда, кот, Ordu (ok), 22:14 , 04-Мрт-21, (167) Ну вот и начался бесполезный срач Покажи мне те слова в решении, согласно котор, Lex (??), 08:58 , 05-Мрт-21, (169) Перечитай новость Суд потребовал раскрытия исходников _для_проведения_аудита_ , Ordu (ok), 12:12 , 05-Мрт-21, (170) Посмотреть в код на что было дано разрешение - не значит собрать его Тем бол, Lex (??), 14:19 , 05-Мрт-21, (171) Вот у меня иногда возникает странное ощущение, что люди читающие текст не умеют , Ordu (ok), 17:05 , 05-Мрт-21, (172) А о каком конкретно идет речь Хотелось бы почитать, Аноним (9), 13:10 , 01-Мрт-21, (9) –1 Вот бы в одной стране открыли бы исходники программы для подсчёта голосов для вы, Аноним (10), 13:12 , 01-Мрт-21, (10) +5 // Голоса пришедшие по почте считают вручную, без использования ПО , Атон (?), 13:24 , 01-Мрт-21, (12) +2 С программой всё нормально, вопросы к тем, кто вводил , Аноним (17), 13:37 , 01-Мрт-21, (17) +1 // Точно всё нормально Мне недостаточно услышать это на словах Хочу открытый код , Аноним (10), 13:39 , 01-Мрт-21, (20) // на калькуляторе считается похоже Промежуточные итоги считаются вручную и записы, Аноним (45), 14:56 , 01-Мрт-21, (45) А потом итоговые локальные бумажки собирают со всей страны и суммируют, да , Аноним (49), 15:33 , 01-Мрт-21, (49) –1 В вопросе имел в виду вручную передачу со всей страны и вручную общий подсчёт , Аноним (49), 15:34 , 01-Мрт-21, (50) Типо того Применительно к РФ алгоритм следующий несколько лет назад по крайней, Lex (??), 08:32 , 02-Мрт-21, (112) Хаха Никогда не сойдётся Некоторые люди забирают бюллетени на память Ну и набл, Аноним (116), 09:49 , 02-Мрт-21, (116) Именно поэтому проголосовавших бюллетеней может быть меньше, чем выданных поско, Lex (??), 13:08 , 02-Мрт-21, (126) +1 И что дальше Дампить прошивку КОИБа тебе не дадут, к серверам, где собирается и, YetAnotherOnanym (ok), 16:49 , 01-Мрт-21, (55) +1 // В таком случае доверие держится лишь на словах Я писал о невозможном , Аноним (75), 19:56 , 01-Мрт-21, (75) Это вы про США , Аноним (62), 17:39 , 01-Мрт-21, (62) Под какой лицензией Если несвободной, то это ударило по написанию свободных ана, Аноним (17), 13:16 , 01-Мрт-21, (11) –1 // Да там и так всё под патентами, а патенты запрещают любую реализацию, хоть свобо, Аноним (73), 19:37 , 01-Мрт-21, (74) –1 // В ряде случаев, если патент закрытый, можно настаивать, что разработано независи, Аноним (136), 15:42 , 02-Мрт-21, (136) Обычно говорят нет оснований не доверять вычислительной системе , Аноним (-), 13:25 , 01-Мрт-21, (13) +4 // у суда нет оснований не доверять инспектору , Аноним (38), 14:22 , 01-Мрт-21, (38) // Генетический код инспектора в студию , Аноним (45), 14:54 , 01-Мрт-21, (44) +1 Поставленной одним филиалом госдеппа в одну дружественную страну с запрето, Анон Алког (?), 21:30 , 01-Мрт-21, (81) Ну предоставят они какой-то код, но можно ли доказать, что это в точности тот са, Аноним (14), 13:27 , 01-Мрт-21, (14) +3 // Существуют техники для анализа отличий в билдах, плюс некоторые люди всё же спос, Аноним (16), 13:32 , 01-Мрт-21, (16) +5 Собрать этот код и повторить анализ , Аноним (17), 13:38 , 01-Мрт-21, (19) +7 // Хреново написано, каждый раз рандомные результаты, Аноним (66), 18:00 , 01-Мрт-21, (66) –1 // Тогда сделают вывод, что программе доверять нельзя Что и требовалось доказать , Аноним (136), 15:36 , 02-Мрт-21, (135) После того, как открыли черный ящик исходный код , можно четко понимать какими , KT315 (ok), 15:35 , 01-Мрт-21, (51) +1 // Если много зависит от окружения, то зачем такая программа нужна вообще Как ты м, Ordu (ok), 23:03 , 01-Мрт-21, (88) // Так ведет себя абсолютно весь софт Дело не в платформе, а в окружении Да все т, KT315 (ok), 23:18 , 01-Мрт-21, (94) –3 Нет, не абсолютно Если софт хочет стабильно парсить ввод, а sscanf на разных пл, Ordu (ok), 00:16 , 02-Мрт-21, (95) Ну да, 2 2 может быть 3 или 5, в зависимости от платформы А в военное время даж, nobody (??), 14:11 , 02-Мрт-21, (128) Вспоминается история с софтом рентгеновского аппарата, который из-за race condit, Аноним (116), 10:09 , 02-Мрт-21, (117) +1 Я слышал эту историю, но не помню В чём там мякотка была Вроде в том, что непо, Ordu (ok), 15:28 , 02-Мрт-21, (133) Тут нашлось про race condition https tech onliner by 2019 04 25 therac-25, Совершенно другой аноним (?), 15:50 , 02-Мрт-21, (137) +1 Фактически это юридическое признание того, что программный код в определенных ус, Аноним (30), 14:10 , 01-Мрт-21, (30) +1 // Хуже - истины в последней инстанции Даже законы не столь всемогущи , mos87 (ok), 14:15 , 01-Мрт-21, (35) +2 // Просто манипуляторы , Аноним (149), 08:46 , 03-Мрт-21, (149) Бабла и мозгов то хватит разобрать код который разбирает человеческий геном , Аноним (45), 14:53 , 01-Мрт-21, (43) –3 // На примерах можно легко сравнить фазингом , Аноним (60), 17:17 , 01-Мрт-21, (60) Никто там не разбирает именно геном в виде кода базовых пар Дороговато будет Ра, Аноним84701 (ok), 04:26 , 02-Мрт-21, (106) +2 Получат кучу исходник с кучей формул И что дальше Они не то что ошибки не найд, Аноним (46), 15:20 , 01-Мрт-21, (46) –2 // Откуда такая уверенность Ты лично знаком с теми, кто будет проводить аудит , YetAnotherOnanym (ok), 16:54 , 01-Мрт-21, (57) // Копаться в чужом коде всегда огромная задница, особенно в таком сложном В больш, Аноним (62), 17:44 , 01-Мрт-21, (63) –2 // Приходилось мне как-то заниматься анализом кода вида int a1 a28 float b1 , InuYasha (??), 19:23 , 01-Мрт-21, (72) –1 И как, если не секрет Мне когда пришлось, я разбирался в работе кода рефакторин, Ordu (ok), 00:36 , 02-Мрт-21, (99) Да примерно так же Но я обычно начинаю с переименовывания переменных благо, м, InuYasha (??), 10:24 , 02-Мрт-21, (118) +1 А ты знаком и можешь чтобы утверждать обратное , Аноним (46), 20:29 , 01-Мрт-21, (78) // А пробирка с белым порошком канает за доказательство , Аноним (149), 17:19 , 02-Мрт-21, (140) +1 Скрыто модератором, Dzen Python (ok), 15:25 , 01-Мрт-21, (48) –1 почему код на основании формировании доказательств которого могут осудить любог, Аноним (52), 15:40 , 01-Мрт-21, (52) +1 А кто будет проверять независимый аудит , чтобы он не нашел внезапно ошибку в, Аноним (58), 16:53 , 01-Мрт-21, (56) // Проверять нужды нет Аудит покажет на кокнретный кусок кода Будет конкретный при, Ан О Ним (?), 20:53 , 01-Мрт-21, (79) // Это кто это покажет Софт - это интеллектуальная и коммерческая собственность со, Аноним (96), 00:28 , 02-Мрт-21, (96) –1 // Вам только покажи , Аноним (96), 00:28 , 02-Мрт-21, (97) –1 Подсудимый , Ан О Ним (?), 07:45 , 05-Мрт-21, (168) Ты не смотрел американского кина никогда Они очень любят показывать, как это пр, Ordu (ok), 21:36 , 01-Мрт-21, (83) +1   // Дело не в кине - дело в западном подходе к защите одной из сторон Практически вс, Lex (??), 14:18 , 02-Мрт-21, (129) +1   // Знаток западной юридической системы В смысле ты не только по кину её знаешь А , Ordu (ok), 15:26 , 02-Мрт-21, (132) –1   Мы, видите ли, опытней , Michael Shigorin (ok), 22:51 , 02-Мрт-21, (146)   Ну так и валите все в США консультантами А то у нас здесь не продохнуть уже от , Ordu (ok), 23:28 , 02-Мрт-21, (147) –1   Думаю просто защита тянет время, абы к чему прицепитсо, явных умыслов коммерческ, Аноним (104), 02:51 , 02-Мрт-21, (104) // Ну, это работа защиты А вообще, кроме злого умысла бывает ещё разгильдяйство Б, pda (?), 15:30 , 02-Мрт-21, (134) 1,2,3,5,9,10,11,13,14,30,43,46,52,56,104

Сообщения

[Сортировка по времени | RSS]

	83. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+1 +/–
	Сообщение от Ordu (ok), 01-Мрт-21, 21:36
	> А кто будет проверять "независимый аудит", чтобы он не "нашел внезапно" ошибку в программном обеспечении, использовавшегося для анализа ДНК? Ты не смотрел американского кина никогда? Они очень любят показывать, как это происходит. То есть, во-первых, аудит будет не независимым. Добиться того, чтобы аудит был бы действительно независимым сложно, проще сделать так, чтобы аудит был бы очень заинтересован найти и доказать наличие ошибки. А это значит, что компания, проводящая аудит, будет подбираться с учётом хотелок защиты, пытающейся доказать ошибку в софте. Ну то есть в общем случае независимый аудит -- это бред, такого не бывает, это не аудит, а фикция. Аудит должен быть кровно заинтересован в том, чтобы найти к чему придраться. Они говорят "независимый аудит", но имеют в виду независимый от разработчика ПО, то есть как раз такой злющий, которого хлебом не корми, дай найти какую-нибудь багу. Аудит будет проведён, его результаты в виде доклада будут донесены до всех заинтересованных сторон. После чего, в суд придёт эксперт от команды проводившей аудит, и компания разработчик софтины пришлёт своего эксперта. Эксперт-аудитор изложит свои находки, и скажет, например, "программа гумно". Эксперт-разработчик скажет, "неее, подождите, вот вы говорите что в строке 12345 есть UB, но этот же UB ни на что не влияет, то есть да, стандарт C++ говорит, что это UB и нононо, но... но мы вот провели исследование на компиляторах g++, clang++ и msvc, таких-то и таких-то версий, и вот гляньте асм-листинги, и результаты выполнения тестового кода: они вне зависимости от компилятора дают одинаковый результат и, что важнее, правильный результат". Ну и так далее. Возможно при этом у суда будет свой эксперт, который сможет хотя бы примерно понимать, о чём говорят те два. Может не будет, но это значит, что когда судье надоест слушать непонятные слова, он прервёт заседание, и перенесёт его на другой день, когда он сможет найти плюс-минус независимого эксперта, или может нескольких, чтобы те послушали спор и под присягой высказали своё мнение о том, кто победил.
	Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

	129. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+1 +/–
	Сообщение от Lex (??), 02-Мрт-21, 14:18
	>> А кто будет проверять "независимый аудит", чтобы он не "нашел внезапно" ошибку в программном обеспечении, использовавшегося для анализа ДНК? > Ты не смотрел американского кина никогда? Дело не в кине - дело в западном подходе к защите одной из сторон. Практически всегда это подразумевает исключительно наезд на другую сторону. Равно как и с защитой черных - это именно наезд на белых вместо осмысленного процесса борьбы с расизмом, равно как и процесс "защиты" прав женщин посредством практически исключительно прав мужчин. Как итог, вроде бы идут годы, десятилетия, столетия, сменяются целые эпохи.. а некоторые страны как были рассадниками расизма и сексизма - так ими и остались. С той лишь разницей, что раньше расизм был белым, а теперь стал чОрным. Но это страна конченых расистов.. Сексизм был промужским, а стал - проженским. Но это страна конченых сексистов. Но как таковой проблемы ни сексизма ни расизма фундаментально не решили, а лишь усугубили.
	Ответить | Правка | Наверх | Cообщить модератору

	132. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	–1 +/–
	Сообщение от Ordu (ok), 02-Мрт-21, 15:26
	>>> А кто будет проверять "независимый аудит", чтобы он не "нашел внезапно" ошибку в программном обеспечении, использовавшегося для анализа ДНК? >> Ты не смотрел американского кина никогда? > Дело не в кине - дело в западном подходе к защите одной > из сторон. Знаток западной юридической системы? В смысле ты не только по кину её знаешь? А каким ещё образом ты её изучал? Кинь в меня ссылками, я бы тоже посмотрел, мне любопытно. > Практически всегда это подразумевает исключительно наезд на другую сторону. > Равно как и с защитой черных - это именно наезд на белых > вместо осмысленного процесса борьбы с расизмом, равно как и процесс "защиты" > прав женщин посредством практически исключительно прав мужчин. Вот здесь и сейчас, у меня складывается впечатление, ты путаешь шейминг обществом и культуру отмены с судебной системой. Это два разных процесса. Они могут идти рука об руку в отдельных случаях, но это разные процессы. В их протекании есть разные закономерности. В суде, например, ты можешь отбиться, хотя и отбивание это может стоить тебе не хреново так денег, скажем в случае описанном в новости, обвиняемому уже приходится платить за адвоката, и я не удивлюсь нисколько, если ему придётся оплачивать аудит софтины из своего кармана. Хотя может и не придётся, может это оплатит правительство США? Ты не знаешь? Против судебного иска ты можешь защищаться, и тебе даны все карты в руки, кроме денег, нужных на найм адвокатской конторы. Против шейминга соцсетей ты не сделаешь ничего. Ну, то есть, можешь попробовать на камеру всплакнуть и поползать на коленях, может поможет. Тому дядьке, который выступил с докладом в ббпе рубашке, это помогло: порыдал в камеру, сказал что ему очень жаль, и от него отстали. > Но как таковой проблемы ни сексизма ни расизма фундаментально не решили, а > лишь усугубили. Блин, меня вот каждый раз потрясает до глубины души, как всем русским поголовно удаётся понимать общественно-политическую ситуацию в США лучше, чем американцам. И почему американцы, занимаясь регуляцией своего общества, не прислушиваются к советам русских. Ведь если бы они при каждом своём совете посадили бы русского бомжа, то он бы им своим здравым мнением помог сделать хорошо, буквально за полгода.
	Ответить | Правка | Наверх | Cообщить модератору

	146. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от Michael Shigorin (ok), 02-Мрт-21, 22:51
	Мы, видите ли, опытней.
	Ответить | Правка | Наверх | Cообщить модератору

	147. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	–1 +/–
	Сообщение от Ordu (ok), 02-Мрт-21, 23:28
	> Мы, видите ли, опытней. Ну так и валите все в США консультантами. А то у нас здесь не продохнуть уже от вашего опыта.
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема