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

Федеральный Суд США обязал предоставить исходные тексты ПО для анализа ДНК, 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]

	51. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+1 +/–
	Сообщение от KT315 (ok), 01-Мрт-21, 15:35
	После того, как открыли черный ящик (исходный код), можно четко понимать какими будут выходные данные, если скормить определенные входные данные. И у защиты есть два способа спасения по сути: 1. Найти тест при котором выходные данные будут явно не корректные, того программа имеет ошибки, а значит теряет доверие. 2. Найти расхождение в результатах тех что сделали в лабе и те что они получили у себя, скормив алгоритму одни и те же входные данные. В целом это забавно) Ведь много зависит от откружения... Билда ОС, версий либ, с которыми она линкуется, а если еще вспомнить всякие возможные флаги и оптимизации при компиляции, из-за которых иногда ПО работает некорректно, из-за ошибок того же компилятора... Интересный кейс в рамках ПО, на самом деле.
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	88. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от Ordu (ok), 01-Мрт-21, 23:03
	> Ведь много зависит от откружения... Билда ОС, версий либ, с которыми она линкуется, а если еще вспомнить всякие возможные флаги и оптимизации при компиляции, из-за которых иногда ПО работает некорректно, из-за ошибок того же компилятора... Если много зависит от окружения, то зачем такая программа нужна вообще? Как ты можешь ей доверять, если она вместо единственно правильного поведения демонстрирует платформо-зависимое? > Интересный кейс в рамках ПО, на самом деле. Юридически интересный. Может с какими интересными экономическими реперкуссиями, но по-хорошему, если софтина написана согласно тем стандартам, которым следует писать софтину, результат работы которой может отправить человека на смертную казнь, то она легко пройдёт аудит. Потому что для неё это будет не Аудит, а ещё один аудит, который вряд ли покажет что-то новое. С другой стороны, это если компания разработчик достаточно ответственная, а если нет... Но вот аудит и позволит узнать. > После того, как открыли черный ящик (исходный код), можно четко понимать какими будут выходные данные, если скормить определенные входные данные. На самом деле не так. Какие будут выходные данные из чёрного ящика при заданных входных данных, можно легко проверить не вскрывая чёрного ящика. А вот какие входные данные надо скормить, чтобы получить заданные выходные данные -- вот для этого и надо вскрывать чёрный ящик. С точки зрения математики чёрный ящик можно назвать функцией, а вскрытый чёрный ящик позволяет выстроить обратную функцию. Иногда позволяет. С криптографией, допустим, это не очень работает, потому как она выстроена таким образом, чтобы алгоритмы было бы не обратить.
	Ответить | Правка | Наверх | Cообщить модератору

	94. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	–3 +/–
	Сообщение от KT315 (ok), 01-Мрт-21, 23:18
	> Если много зависит от окружения, то зачем такая программа нужна вообще? Как ты можешь ей доверять, если она вместо единственно правильного поведения демонстрирует платформо-зависимое? Так ведет себя абсолютно весь софт. Дело не в платформе, а в окружении. > На самом деле не так. Да все так. Иначе не было бы тестирования как такового, и не было тестов как таковых. И баг, это и есть нарушение когда есть определенные входные данные, и результат, выходные данные, не соответствуют ожиданиям. Что может помощь защите, если таковые найдутся. Ну и с известной функцией проще работать, чем с неизвестной :)
	Ответить | Правка | Наверх | Cообщить модератору

	95. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от Ordu (ok), 02-Мрт-21, 00:16
	>> Если много зависит от окружения, то зачем такая программа нужна вообще? Как ты можешь ей доверять, если она вместо единственно правильного поведения демонстрирует платформо-зависимое? > Так ведет себя абсолютно весь софт. Дело не в платформе, а в > окружении. Нет, не абсолютно. Если софт хочет стабильно парсить ввод, а sscanf на разных платформах ведёт себя по разному, то софт прекращает пользоваться sscanf или таскает с собой свою реализацию sscanf. Если твоя программа считает сумму 2+2 по разному на разных платформах и даёт разные результаты, то твоя программа не нужна. >> На самом деле не так. > Да все так. Иначе не было бы тестирования как такового, и не > было тестов как таковых. И баг, это и есть нарушение когда > есть определенные входные данные, и результат, выходные данные, не соответствуют ожиданиям. И что с того? Ну вот ты можешь логику свою изложить? Как ты из своего определения бага делаешь вывод, что реверс чёрного ящика -- это не построение обратной функции? Или ты какой-то иной вывод делаешь? Что для поиска бага не нужна обратная функция? Но если тебе не нужна обратная функция, то зачем тебе вообще нужен реверс: чёрный ящик специально сделан таким образом, чтобы быть максимально эффективной реализацией прямой функции, чтобы ты мог засунуть в него входные данные и посмотреть выходные. Мне неясно, как ты из определения бага вдруг вываливаешься в то, что реверс -- это не построение обратной функции, если ты об этом. Тестирование -- это лишь одна из методик. И для тестирования тебе не надо разбирать чёрный ящик. Это совершенно не нужно. Более того, я слышал рекомендации писать тесты не зная, как чёрный ящик реализован, потому что знание реализации запросто может привести к тому, что ты будешь делать предположения о том, каких багов нет и быть не может, те же предположения, которые сделал программист, написавший код, который ты пытаешься покрыть тестами. И совершенно все в один голос твердят, что надо по возможности разделять задачи: чтобы код писал один человек, а тестами покрывал другой. Проверить, приведёт ли x0 в входных данных к y0 в выходных, можно легко засунув x0 в чёрный ящик, и посмотрев, вывалится с другой стороны y0 или y1. Ты в курсе того, что в gdb добавили "обратную отладку"? То есть возможность проигрывать выполнение процесса назад, шаг за шагом? Как ты думаешь почему? А я скажу тебе: потому что когда ты пытаешься понять, как так в этом месте происходит use-after-free, тебе надо понять кто и когда освободил кусок памяти. Но это произошло когда-то в прошлом, возможно задолго до того момента, когда произошёл use-after-free и твой дебуггер триггернулся. То есть ты, имея результат работы программы, пытаешься выяснить что привело к такому результату. А для этого тебе нужна обратная функция. То есть обратная отладка. Я очень рекомендую тебе взять и почитать что-нибудь с большим количеством прямых и обратных функций. Сложно сообразить навскидку что именно, но если будут затруднения выбрать раздел математики, где побольше таких вещей, то ты можешь спросить меня, я подумаю подольше, хотя бы пять минут. Подобные упражнения научат тебя видеть прямые функции и обратные и понимать когда ты работаешь с прямой, а когда с обратной. > Ну и с известной функцией проще работать, чем с неизвестной :) Ты хочешь сказать, что с функцией, реализация которой известна, проще работать и искать баги в ней? Да, проще. Потому что ты можешь эту функцию разбить на много функций, и обратить либо её всю, либо вот те более мелкие функцие обращать, и имея обратные строить рассуждения о том, какие аргументы нужны, чтобы получить тот или иной результат. Попробуй хоть раз подумать мозгом: когда ты ищешь аргумент, который приводит к какому-то результату, ты пытаешься высчитать значение обратной функции. Вместо аргумента ты можешь получить множество аргументов, которые приводят к какому-то результату -- обратная функция не обязана быть однозначной (некоторые определения функции вообще требуют от неё однозначности, и... но не суть важно, открой учебник да почитай).
	Ответить | Правка | Наверх | Cообщить модератору

	128. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от nobody (??), 02-Мрт-21, 14:11
	Ну да, 2*2 может быть 3 или 5, в зависимости от платформы. А в военное время даже 6!
	Ответить | Правка | К родителю #94 | Наверх | Cообщить модератору

	117. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+1 +/–
	Сообщение от Аноним (116), 02-Мрт-21, 10:09
	> С другой стороны, это если компания разработчик достаточно ответственная, а если нет... Но вот аудит и позволит узнать. Вспоминается история с софтом рентгеновского аппарата, который из-за race condition переоблучал пациентов до состояния трупа.
	Ответить | Правка | К родителю #88 | Наверх | Cообщить модератору

	133. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от Ordu (ok), 02-Мрт-21, 15:28
	>> С другой стороны, это если компания разработчик достаточно ответственная, а если нет... Но вот аудит и позволит узнать. > Вспоминается история с софтом рентгеновского аппарата, который из-за race condition переоблучал > пациентов до состояния трупа. Я слышал эту историю, но не помню. В чём там мякотка была? Вроде в том, что непонятно было кто виноват: программное обеспечение или операторы этих аппаратов. Так?
	Ответить | Правка | Наверх | Cообщить модератору

	137. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+1 +/–
	Сообщение от Совершенно другой аноним (?), 02-Мрт-21, 15:50
	>>> С другой стороны, это если компания разработчик достаточно ответственная, а если нет... Но вот аудит и позволит узнать. >> Вспоминается история с софтом рентгеновского аппарата, который из-за race condition переоблучал >> пациентов до состояния трупа. > Я слышал эту историю, но не помню. В чём там мякотка была? > Вроде в том, что непонятно было кто виноват: программное обеспечение или > операторы этих аппаратов. Так? Тут нашлось про race condition: https://tech.onliner.by/2019/04/25/therac-25
	Ответить | Правка | Наверх | Cообщить модератору

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

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