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

АНБ рекомендовал переходить на языки программирования, безопасно работающие с памятью, opennews (??), 14-Ноя-22, (0) [смотреть все] Неосиляторы, Аноним (2), 10:29 , 14-Ноя-22, (2) +23 // Тут скорее похоже на хитрый план Особенно если эту рекомендацию АНБ включат в, Жироватт (ok), 11:32 , 14-Ноя-22, (62) –13 // Вы хоть какие-то пруфы прилагайте что ли Компиляторы открытые, может на конкре, Аноним (87), 11:59 , 14-Ноя-22, (87) +21 // А у него нет под рукой соответствующего кода и софта Это же не косынку встраива, Уходящий (?), 12:03 , 14-Ноя-22, (93) –2 Ой-вэй , не делайте мне мозг, парниша Ну таки сейчас я сбегаю до штаб-квартирки, Жироватт (ok), 12:06 , 14-Ноя-22, (99) –2 Мы же не в цирке Можно внятно в паре предложений, поддающихся обсуждению , Уходящий (?), 13:00 , 14-Ноя-22, (143) +3 а что тут обсуждать, есть куски кода которые часто выполняются, есть которые не, y (??), 14:24 , 14-Ноя-22, (178) Когда это останавливало Пока вы смотрели рентв, по другим каналам показывали Сно, keydon (ok), 12:22 , 14-Ноя-22, (121) +7 Вот я и спрашиваю - когда Где пример закладки с встраиванием чужого кода в gcc , Аноним (87), 12:44 , 14-Ноя-22, (137) +3 И главный влпрос кто им мешает делать всё то же самое с C C , Аноним (159), 13:42 , 14-Ноя-22, (159) +5 Где там им внедрятся, там все прозрачно Нужно место которое вызывается часто с, Уходящий (?), 14:30 , 14-Ноя-22, (183) +1 Так в gcc поддержка только для go Зачем Вы качестве примера его выбрали И неиз, Уходящий (?), 14:25 , 14-Ноя-22, (179) Потому что в нем поддержка Go, разве это не очевидно А в шланге поддержка swift, Аноним (87), 15:43 , 14-Ноя-22, (227) Так они и не в рекомендованных В этом то как раз и нюанс про закрытые бекдоры п, keydon (ok), 16:47 , 14-Ноя-22, (257) +2 Ну вот в C встраивается телеметрия, причём НЕ ТВОЯ Погугли DOTNET_CLI_TELEMETR, Аноним (204), 14:59 , 14-Ноя-22, (204) +7 Это да, бесит жуть Но это телеметрия от cli интерфейса dorney Можете компилиро, Аноним (316), 02:25 , 15-Ноя-22, (316) Зачем нам компилеры и рантаймы от явных бэкдорщиков Чтобы они нас еще и в проце, Аноним (-), 23:53 , 20-Ноя-22, (405) Ну да, про возможность удалённо окирпичить железо по желанию левой пятки кое-ког, Аноним (259), 16:50 , 14-Ноя-22, (259) +4 Факты, которые могли бы подтвердить данное заявление, относятся к конфиденциальн, Адмирал Майкл Роджерс (?), 09:32 , 15-Ноя-22, (357) +1 Интересно - с ADA наигрались уже , 1 (??), 12:28 , 14-Ноя-22, (130) +2 Единственный адекватный коммент В утечках Ассанжа что-то вроде было про дизассем, Аноним (174), 14:20 , 14-Ноя-22, (174) –1 Да все просто на питоне вы не напишете ОС и Майкрософт будет в безопасности А , X86 (ok), 17:18 , 14-Ноя-22, (267) –1 найти пряморуких кодеровдействительно , darkshvein (ok), 19:08 , 14-Ноя-22, (292) Ввв-ы-ы-ы-ы сдерживаюсь как могу А-ха-ха-ха-ха-ха не сдержался То, Аноним (298), 20:39 , 14-Ноя-22, (298) –3 // Они давно там с паяльником в жо стоит отдать им должное - но работать на опере, bOOster (ok), 06:01 , 15-Ноя-22, (334) Ну так вот они и лоббируют безопасные языки для снижения расходов Просто над, torvn77 (ok), 08:58 , 15-Ноя-22, (354) Пока там нет Ada - для госконтор не взлетит , pofigist (?), 10:09 , 15-Ноя-22, (359) Конечно, у сишников нет централизованных рассадников бэкдоров, а главное - моноп, Без аргументов (?), 15:12 , 14-Ноя-22, (212) +2 // Rust Foundation AWS, опущенныеHuawei, Google, Microsoft, and Mozilla, Без аргументов (?), 15:15 , 14-Ноя-22, (214) +3 Представители острова игрушечных человечков зайдите на analog com, nxp com, max, Без аргументов (?), 15:22 , 14-Ноя-22, (219) +4 // В чём проблема скачать исходники и собрать Как минимум Qt и stm32 полностью на , Аноним (-), 11:54 , 15-Ноя-22, (365) +1 // У меня нет проблемы, я на линухе вообще тем более Речь о тыквах по мановению ми, Без аргументов (?), 22:14 , 15-Ноя-22, (387) Ну и расскажи нам план по отыквлению stm Всё есть в GNU, кое-что в отдельных от, Аноним (397), 16:04 , 16-Ноя-22, (397) Да никак его особо не отыквишь, а вот спереть залоченую прошивку - реалистично , Аноним (-), 00:30 , 21-Ноя-22, (406) кушать подано, господа , Аноним (-), 10:31 , 14-Ноя-22, (3) +12 // в этом свете идея о включении Rust в ядро linux выглядит в совсем другом свете, Аноним (6), 10:33 , 14-Ноя-22, (6) +20 // А если они еще рекомендуют вовремя патчить системы, и ставить SELinux, тоже подв, Аноним (9), 10:40 , 14-Ноя-22, (9) +10 // Эти товарищи майоры безопаснее D, Аноним (58), 11:28 , 14-Ноя-22, (58) Гуголь в ведре даже поюзал это Ну и чо, сильно тебе лучше с этого стало Как бы, Аноним (-), 12:06 , 14-Ноя-22, (100) подвох в том что если товарищи смогли продавить такое решение, то недавние баги , Аноним (6), 12:51 , 14-Ноя-22, (139) +2 АНБ принесло сладкий хлеб, Аноним (32), 11:06 , 14-Ноя-22, (32) +2 это все потому что еще компилятор неполного стандарта, вот и утечки всякие Пруфа, Аноним (32), 11:17 , 14-Ноя-22, (40) // Еще немного пруфов https youtu be NVUZ-U2QAbc t 1048, Аноним (32), 11:42 , 14-Ноя-22, (66) Есть защита от повторного включения h файлов в один проект ПССЗБ, Уходящий (?), 12:40 , 14-Ноя-22, (135) Лучше сразу АНБ-бейсик и АНБ-ява , Исчезающий (?), 11:23 , 14-Ноя-22, (49) +3 // Уже есть АНБ-ада, Аноним (296), 20:00 , 14-Ноя-22, (296) Go и Java мой выбор , Иваня (?), 10:33 , 14-Ноя-22, (4) –6 // а ты большой мастак переобуваться, в прошлых тредах, помнится, ты за сишку топил, Аноним (-), 10:47 , 14-Ноя-22, (13) +3 Сейчас бы с Си переходить на Ruby , th3m3 (ok), 10:33 , 14-Ноя-22, (5) +3 // Смотря для чего Где-то это будет неплохим выбором, а где-то, например на D , Аноним (7), 10:38 , 14-Ноя-22, (7) // Оно еще живо , _dz (?), 11:26 , 14-Ноя-22, (55) // уже нетсейчас в моде братья-близнецы zig, jai и odin, Аноним (140), 12:52 , 14-Ноя-22, (140) +1 Ну не мертвее Раста точно Ди - прекрасный язык как преемник С , просто марк, Аноним (204), 14:55 , 14-Ноя-22, (197) если б, Аноним (140), 15:48 , 14-Ноя-22, (230) +1 D прекрасен Но за как ограничители типа в темплейтах поубивал бы , Аноним (204), 14:56 , 14-Ноя-22, (200) –1 А оно само разве не на Си написано , . (?), 11:23 , 14-Ноя-22, (50) –1 Сразу после того как про эту хайпоту все забыли, самое время Конечно это не про, Аноним (-), 12:05 , 14-Ноя-22, (97) –1 Ruby есть, а Python не попал , Массоны Рептилоиды (?), 10:38 , 14-Ноя-22, (8) +5 // дефолтный CPython же на дырявой сишке, Аноним (-), 10:45 , 14-Ноя-22, (12) +2 // А Ruby , Массоны Рептилоиды (?), 10:49 , 14-Ноя-22, (14) +1 А Java , Alex (??), 11:18 , 14-Ноя-22, (43) +1 Перечислены лишь некоторые языки , Аноним (51), 11:24 , 14-Ноя-22, (51) // С какой целью перечислены лишь конкретно эти языки Потому что АНБ их курирует и, Аноним (68), 11:42 , 14-Ноя-22, (68) +3 Пестон с его пробелами - самое тупое изобретение ИТшников после Фортрана с его , Аноним (204), 14:53 , 14-Ноя-22, (196) –2 В переводе с инглиша Some examples имеет смысл - некоторые примеры или таки, OpenEcho (?), 16:35 , 14-Ноя-22, (253) Всё гораздо проще нужно просто научить-заставить Сишников тестировать свой код , Аноним (10), 10:45 , 14-Ноя-22, (10) +8 // заставить пользоваться исключительно умными указателями, Аноним (-), 10:49 , 14-Ноя-22, (15) +7 // АНБ аплодирует - достаточно будет только код умных указателей пропатчить , НяшМяш (ok), 13:11 , 14-Ноя-22, (144) –7 // В отличие от вендорлоченного раста компилятор и стд либу плюсов ты можешь сам со, Ыыыыыы (?), 15:50 , 14-Ноя-22, (233) –1 Да просто пользоваться g , Трианон (ok), 12:32 , 15-Ноя-22, (367) –1 Надеюсь, ты хотя бы за деньги такую пургу несёшь Отказываюсь верить, что люди м, НяшМяш (ok), 17:51 , 15-Ноя-22, (371) +1 Зачем Тут пчелы против мёда Думается мне, что просто готовят аудиторию перед в, Жироватт (ok), 10:59 , 14-Ноя-22, (26) –3 // Я не понимаю почему хомячки минусуют этот комментарий Как бы шизово эт оне зв, Аноним (69), 11:43 , 14-Ноя-22, (69) +9 // Потому что западный майор где-то там на западе и заставить его заинтересоваться , Аноним (87), 11:56 , 14-Ноя-22, (82) –6 И А почему его нужно защищать и отмазывать от обвинений , Аноним (69), 12:20 , 14-Ноя-22, (116) +5 У отечественного майора есть очень квалифицированные и не в меру позитивные ребя, Аноним (133), 12:31 , 14-Ноя-22, (133) Я просто оставлю это здесь https www cnews ru news top 2022-11-03_izvestnyj_ra, Аноним (136), 12:44 , 14-Ноя-22, (136) Так ты просто подтверждаешь этот тезис если ты разраб очередного криптоскама и , Аноним (87), 13:41 , 14-Ноя-22, (157) +1 Вы просто мыслите в розничных категориях, а он -- в оптовых И да, будет ли он не, Michael Shigorin (ok), 19:55 , 15-Ноя-22, (372) –1 то что не понимаешь твои проблемы, Аноним (-), 11:57 , 14-Ноя-22, (83) –3 Пруфы Пруфы Пруфы Вижуалка 15я, без предупреждений встраивала код в проги, для п, Аноним (32), 12:09 , 14-Ноя-22, (102) +1 // Фу Это же виндовая аппа Чур тебя , Аноним (87), 12:13 , 14-Ноя-22, (106) +1 К слову, до сих пор встраивает У меня BWMeter периодически выскакивает с програ, Аноним (204), 14:51 , 14-Ноя-22, (194) +1 Гораздо надежнее будет не пользоваться продукцией корпорации майкрософт , Аноним (211), 15:11 , 14-Ноя-22, (211) +3 Выкидывай весь линукс, там HyperV в ядре Мы ждем , Аноним (317), 03:15 , 15-Ноя-22, (317) Отключи это ненужно Ядро 10 минут пересобирается , Аноним (-), 12:05 , 15-Ноя-22, (366) +2 А еще они более чем дофига лет подшивают EXEшнику так называемый Rich хидер Кот, Аноним (211), 15:10 , 14-Ноя-22, (210) +4 Нет реально, Я как-то встречал на гитхабе код strlen, который работает не так ка, Аноним (10), 11:00 , 14-Ноя-22, (27) +1 Вы таки хотите сказать покрыть код 100 доказательством ненарушения инвариантов , Аноним (30), 11:03 , 14-Ноя-22, (30)   // Да, к этому нужно стремиться как пример seL4 , Аноним (10), 11:24 , 14-Ноя-22, (53)   // Слишком долго и дорого Проблема же не только в ядре - есть же еще куча прикладно, Анонн (?), 11:29 , 14-Ноя-22, (60)   Тестирование и доказательства -- это два совершенно разных подхода Тестирование, Аноним (70), 11:43 , 14-Ноя-22, (70)   // И поэтому оно полезно только если доказать 100 полноту покрытия тестами в идеа, Аноним (30), 11:58 , 14-Ноя-22, (85) +1   Современные программисты этих очевидных вещей не понимают, Аноним (303), 00:10 , 15-Ноя-22, (303) +1   желательно заранее пишу с рабочего Эльбрус 801-РС , ага, Michael Shigorin (ok), 20:02 , 15-Ноя-22, (374) –2   Если вы лумаете что это поможет вы явно на си не писали Даже адрес-санитайзеры , Анончик (?), 11:36 , 14-Ноя-22, (63) Нет, ребяты, спасибо Я еще их рекомендованные EllipticCurve помню, с бэкдором, Жироватт (ok), 10:45 , 14-Ноя-22, (11) +1 // ага, они прям во все эти языки бекдоры повтыкали, прямо в компилятор, а вот С С , Аноним (9), 10:57 , 14-Ноя-22, (24) +1 // Миром правит не тайная ложа, а полная лажа Вполне может быть, что они просто не, Жироватт (ok), 11:12 , 14-Ноя-22, (36) –1 // Именно Зачем втыкать бэкдоры в сами языки, если разрабы этих языков спроектиров, Аноним (133), 12:21 , 14-Ноя-22, (120) +4 У с и плюсов куча реализаций, а как известно со всеми сложно договориться У при, Ыыыыыы (?), 15:53 , 14-Ноя-22, (235) +2 // В этом году наконец осознал чётко, что важно не то, формально открыт проект или , Michael Shigorin (ok), 20:04 , 15-Ноя-22, (375) +1 а это чёй-та, я не в курсе вообще такой тенденции , Без аргументов (?), 22:16 , 15-Ноя-22, (388) - Джентльменам верят на слово - И тут мне карта как поперла, как поперла , Аноним (-), 00:34 , 21-Ноя-22, (407) не хочу Rust на RISC-V Да и китайцы уже как-то на Си по привычке выкатывают для, Без аргументов (?), 22:18 , 15-Ноя-22, (389) Заявление в лучших традициях учёный изнасиловал журналиста facepalm Бэкдор не, Аноним (150), 13:27 , 14-Ноя-22, (150) Дурочок, всё ещё переживаешь за бэкдоры А ты в курсе, что к твоему компу через , Аноним (204), 14:48 , 14-Ноя-22, (191) –2 // Гм, ну попробуйте Вот рабочий localhost CODE e801-1 lscpuАрхитектура , Michael Shigorin (ok), 20:06 , 15-Ноя-22, (376) // Михаил, все уже и так знают что у вас есть эльбрус, хватит уже хвастаться Тем , Аноним (-), 20:16 , 15-Ноя-22, (378) +1 Михаил, к м к вы напрасно теребите эту тему Доступ к почти актуальным libc bi, yet another anonymous (?), 00:19 , 16-Ноя-22, (394) Скрыто модератором, Аноним (16), 10:52 , 14-Ноя-22, (16) +5 // Скрыто модератором, Аноним (-), 10:54 , 14-Ноя-22, (18) +5 Скрыто модератором, Аноним (21), 10:56 , 14-Ноя-22, (21) –1 Скрыто модератором, Аноним (303), 11:50 , 14-Ноя-22, (75) +3 Лисп, Кобол https git pashev ru gcd tree gcd cob, pashev.ru (?), 10:54 , 14-Ноя-22, (17) –3 // Где ж ты столько пенсионеров найдешь , Анонн (?), 10:57 , 14-Ноя-22, (22) +4 // Если выбрать современную инкарнацию Лисп подобных Ну там, Guile, например , Аноним (248), 16:18 , 14-Ноя-22, (248) // Современный лисп 8212 это SBCL и CLISP Не считая всяких LispWorks и Clojure , ip1982 (ok), 18:47 , 14-Ноя-22, (288) +1 guile -- это встройка изначально На нём, кстати, примерно половина http altl, Michael Shigorin (ok), 20:08 , 15-Ноя-22, (377) Периодически работаю на проектах на Лиспе Большая часть разработчиков моложе 40, Аноним (283), 17:52 , 14-Ноя-22, (283) +2 // Где , Аноним (398), 17:07 , 16-Ноя-22, (398) По сути, они объявили использование Linux и BSD нежелательным XNU, Fuchsia - и, n00by (ok), 11:00 , 14-Ноя-22, (28) –6 // Винда писалась на Си и асме Потом появились включения на Сипипи , Уходящий (?), 12:10 , 14-Ноя-22, (104) // Не играет роли, на чём писалось ядро NT когда-то Вон в Википедии написано, что , n00by (ok), 14:24 , 14-Ноя-22, (177) –6 // Ты столько терминов намешал в одну кучу Похоже, всё, что ты знал , Аноним (228), 15:44 , 14-Ноя-22, (228) –1 Я ему просто хотел сказать что это выходит за пределы темы и надо было предупред, Уходящий (?), 15:54 , 14-Ноя-22, (237) Сама попытка защитится от сегменташен фол смешна Процесс - смесь статического к, Уходящий (?), 12:17 , 14-Ноя-22, (110) +2 Нужно просто всем начать писать код без ошибок и тогда будет неважно какой ЯП ты, Аноним (29), 11:03 , 14-Ноя-22, (29) +1 // Как же мы сразу не додумались то , Аноним (30), 11:04 , 14-Ноя-22, (31) +9 // От коллег регулярно слышу умные указатели для дураков, что я, не смогу free в, Аноним (29), 14:22 , 14-Ноя-22, (176) +2 Всем чистых функций и вменяемых названий переменных в этом треде , GrNa (?), 11:50 , 14-Ноя-22, (74) +1 Ada всё Оно вообще ещё применяется для новых проектов Просто интересно, mumu (ok), 11:07 , 14-Ноя-22, (33) –1 // https learn adacore com- живет и вполне себе развивается, используется в автоп, Cradle (?), 12:21 , 14-Ноя-22, (119) если че авиационное - так ада по обязаловке, 0ffh (??), 01:43 , 15-Ноя-22, (312) +1 Я из-за Opennet выучил Rust 129320 Просто тут обычно всегда Если что ругают, , iPony129412 (?), 11:15 , 14-Ноя-22, (38) +15 // Тут ещё Windows и тяжёлые наркотики ругают Советую попробовать , Аноним (69), 11:20 , 14-Ноя-22, (45) +12 // Не ругают здесь windows, здесь её хвалят, Аноним (303), 11:42 , 14-Ноя-22, (67) +7 В одном старом советском фильме была аналогичная история про женские сапоги , . (?), 11:28 , 14-Ноя-22, (57) // Служебный роман Прекрасная вещь даже для 21 века , Аноним (204), 14:44 , 14-Ноя-22, (188) // Это которое дико сопливое, не спасибо , microsoft (?), 21:39 , 16-Ноя-22, (401) Че, реально И мозг не вспух , Аноним (-), 12:04 , 14-Ноя-22, (96) +3 // А был ли , Аноним (228), 15:49 , 14-Ноя-22, (232) +3 Нет, бомбило вот несколько раз, и весьма сильно Вот читаешь так вы серьёзно т, iPony129412 (?), 17:12 , 14-Ноя-22, (261) Ну что, судя по статистики популярности ЯП, работодателей у Вас немного , Уходящий (?), 12:23 , 14-Ноя-22, (123) +1 // Да я как-то и не планировал в этом плане заменять плюсы Так ознакомиться, и кое-, iPony129412 (?), 17:15 , 14-Ноя-22, (264) сейчас вся криптоиндустрия на нем , BuildPrice (?), 18:28 , 14-Ноя-22, (286) // к сожалению, сама криптоиндустрия сейчас глубоко в месте ниже спины, эх , Аноним (298), 20:50 , 14-Ноя-22, (299) +1 Язык в котором a b может быть одной сущностью а может оставаться разными и котор, Уходящий (?), 13:19 , 14-Ноя-22, (148) // Динамическая типизация в расте, в яве Где она там , trolleybus (?), 13:30 , 14-Ноя-22, (152) –1 // Согласен с раст В яве хоть статическая типизация зато ява-машина дает простор д, Уходящий (?), 14:14 , 14-Ноя-22, (165) Внедрения чего Бэкдоров анбшных Ну тогда понятно зачем там либы такие огромные, Аноним (205), 15:01 , 14-Ноя-22, (205) По раст можно посмотреть реализацию полиморфизма в языке на предмет уязвимостей , Уходящий (?), 14:15 , 14-Ноя-22, (167) Просто смузи-любы не понимают типов данных, так же как не знаю что такое шина ад, Аноним (215), 15:15 , 14-Ноя-22, (215) +1 А ещё можно задуматься с КАКОЙ ЦЕЛЬЮ тролли так активничают против повышения у, Аноним (164), 13:59 , 14-Ноя-22, (164) // Когда что-то в конечном коде контролируешь не ты, а кто-то честный , то это выз, Уходящий (?), 14:18 , 14-Ноя-22, (173) +2 // Контролируешь не ты в софте , установленном у других Можете пользоваться, Аноним (164), 15:29 , 14-Ноя-22, (222) Какой толк тогда мне использовать интернет и криптографию, если у других данные , Аноним (413), 15:10 , 22-Янв-23, (413) Когда кто-то даже с десятилетиями опыта говорит выучил язык т е полностью , OpenEcho (?), 16:45 , 14-Ноя-22, (256) +1 // Да, это и имел в виду Только закончил чтение книги по Rust Несколько примеров , iPony129412 (?), 17:08 , 14-Ноя-22, (260) отлично, незря бабки получены за популиризацию, полуфрактал (?), 19:40 , 14-Ноя-22, (295) +1 С олдскульными уязвимосями очень трудно работать А квалификация персонала падае, yet another anonymous (?), 11:28 , 14-Ноя-22, (59) +5 // Ты забыл про API к Pegasus, автоматический дамп подозрительных внешних данных, а, Жироватт (ok), 11:40 , 14-Ноя-22, (64) // Каким боком Pegasus к АНБ то относился Это обычный тулкит, продавался Израильск, Аноним (9), 11:46 , 14-Ноя-22, (73) // Хочу напомнить, что АНБ и Израиль плотно сотрудничают друг с другом минимум со в, Аноним (69), 11:52 , 14-Ноя-22, (76) +3 Они даже смещение для указателя правильно вычислить не могут чтобы не выходить з, Аноним (87), 11:52 , 14-Ноя-22, (78) –2 Вот это новости оказывается Ruby безопасно работает с памятью, а Python нет Чег, Аноним (68), 11:41 , 14-Ноя-22, (65) // АНБ знает, на какие языки должны перейти другие, удобные для АНБ , Аноним (248), 12:16 , 14-Ноя-22, (108) +2 АНБ советует переходить на смузи-любные языки-скриптухи В ответ на это все экспе, Аноним (303), 11:44 , 14-Ноя-22, (71) +4 // Западный тов майор начал замечать, что все больше и больше комментаторов Opennet, Аноним (69), 11:56 , 14-Ноя-22, (81) // Всю эту твою воображаемую магию раст делает только в дев сборке, а не в продакшн, Аноним (68), 12:00 , 14-Ноя-22, (88) +2 // Не правда В проде отключается только проверка переполнений, а проверка границ о, Анонн (?), 12:11 , 14-Ноя-22, (105) –2 Переполнение и не должно портить память оно просто неправильные данные выдает, а, Аноним (180), 14:27 , 14-Ноя-22, (180) +2 Конечно не должно, но тем не менее портит https www opennet ru opennews art sh, Анонн (?), 15:02 , 14-Ноя-22, (206) Не подскажешь, почему в FF растаманы руками проверяют вхождение смещения в масси, Аноним (228), 17:19 , 14-Ноя-22, (268) до тех пор, пока переполненное число не зацепилось в адресацию , Аноним (228), 17:21 , 14-Ноя-22, (270) чего на , Аноним (-), 17:03 , 18-Ноя-22, (402) Я лучше на Hare перейду , Аноним (133), 12:23 , 14-Ноя-22, (122) // Небезопасный совсем жеж, Аноним (248), 12:32 , 14-Ноя-22, (134) // Ну не руби же переходить Лол Они бы ещё Перл посоветовали , Аноним (180), 14:28 , 14-Ноя-22, (181) –1 не буди в себе зверя, особенно зайца, Аноним (140), 15:49 , 14-Ноя-22, (231) Это хитрый план, fuggy (ok), 15:38 , 14-Ноя-22, (226) А как же Ada Язык создавался минобороны как раз с целью безопасности и строгост, fuggy (ok), 11:52 , 14-Ноя-22, (77) +5 // А зачем всем знать язык для военных Его должны знать только военные , Аноним (68), 12:00 , 14-Ноя-22, (89) +3 // Военные и первую годную сеть, ставшую прообразом интернет изобрели Ты ею пользу, Старший аноним (?), 13:29 , 14-Ноя-22, (151) +1 // Открытый компилятор есть и его даже используют Это хорошо, но зачем такой переу, fuggy (ok), 15:57 , 14-Ноя-22, (238) Потому, что ононимам с опеннета даже до диез слишком сложный, куда им Аду, Аноним (30), 12:01 , 14-Ноя-22, (90) Потому что ты не будешь на Ада писать прикладной софт - это слишком долго дорого, Анонн (?), 12:04 , 14-Ноя-22, (95) // С чего это ты решил, что писать прикладной софт на ADA - это дорого и долго Я те, Старший аноним (?), 13:18 , 14-Ноя-22, (145) –1 // А теперь посмотри сколько стоит час работы спеца по PL SQL и С А потом сколько , Анонн (?), 13:50 , 14-Ноя-22, (162) –1 По твоему ответу видно, что ты совсем не в теме, но что-то пытаешься изобразить , Старший аноним (?), 14:20 , 14-Ноя-22, (175) +2 Да вроде ничего не пытаюсь изобразить Написал именно так как оно есть PL SQL , Анонн (?), 15:23 , 14-Ноя-22, (220) –1 Пентагон рассчитывал что Аду будут использовать в многих сферах с высокими требо, fuggy (ok), 15:51 , 14-Ноя-22, (234) Ребята, которые выбирают Аду и так достаточно компетентны, чтобы не нуждаться в , Аноним (138), 12:48 , 14-Ноя-22, (138) // По теме статьи, эти ссылки будут более полезными https www adacore com uploa, Старший аноним (?), 13:32 , 14-Ноя-22, (153) +1 Ada у делали инженеры для инженеров хоть и с военным уклоном А сабж --- это д, yet another anonymous (?), 13:41 , 14-Ноя-22, (156) +1 А как же Ada Язык создавался минобороны как раз с целью безопасности и строгост, 0ffh (??), 01:47 , 15-Ноя-22, (315) развиваемые корпорациями до которых удалось дотянуться АНБ Так что вулны буд, Аноним (-), 12:03 , 14-Ноя-22, (92) +2 // Развиваемые корпорациями, в которых уже много лет есть неприметные кабинетики с , Жироватт (ok), 12:20 , 14-Ноя-22, (117) +1 // А случаем ты не один из них, раз так хорошо знаешь всю внутреннюю кухню и замеча, Аноним (133), 12:25 , 14-Ноя-22, (126) // Не-а Просто иногда достаточно регулярно почитывать англонет и вращаться в англо, Жироватт (ok), 12:28 , 14-Ноя-22, (129) +1 Тоже мне врашенец нашелся В скольких мегакорпорациях из топ500 побывал , Аноним (-), 14:58 , 14-Ноя-22, (203) А где же Ada , beck (??), 12:05 , 14-Ноя-22, (98) +1 // Значит, на Ada точно можно переходить, раз его не упомянуло АНБ , Аноним (248), 12:13 , 14-Ноя-22, (107) +1 // Просто Ада родилась и ушла на пенсию до появления АНБ , Уходящий (?), 12:30 , 14-Ноя-22, (131) +1 Все с помойными вендоризующими менеджерами зависимостей, в лучшем случае просто , Аноним (133), 12:17 , 14-Ноя-22, (109) +1 Опубликован список презираемых языков , keydon (ok), 12:24 , 14-Ноя-22, (124) +4 // предохраняющих языков, Аноним (133), 12:26 , 14-Ноя-22, (128) // От нежелательной беременности , Аноним (248), 12:30 , 14-Ноя-22, (132) языков, предохраняющих от нахождения закладок , Аноним (228), 17:16 , 14-Ноя-22, (265) +2 Чёрный список Спасибо, АНБ , КО (?), 12:53 , 14-Ноя-22, (141) +3 АНБ Советы постороннего , Аноним (248), 12:24 , 14-Ноя-22, (125) Бедные АНБшники задолбались обновлять OpenSSL на всех своих серверах и решили вы, Анонн (?), 14:15 , 14-Ноя-22, (166) Лучше на Scheme , Аноним (170), 14:18 , 14-Ноя-22, (170) +1 Ну и в чём АНБ не правы Диды за 50 лет так и не научились не ходить под себя р, Аноним (184), 14:31 , 14-Ноя-22, (184) // КОБОЛ появился в 1959 Лисп 8212 в 1958 , ip1982 (ok), 14:49 , 14-Ноя-22, (193) Забавно Я в той же терменологии могу описать растовиков и прочих мамкиных кодеро, Ivan_83 (ok), 14:57 , 14-Ноя-22, (202) +5 // Так научи погромистов ядра, OpenSSL и прочих писать такой код Они совсем не нови, Аноним (87), 15:17 , 14-Ноя-22, (216) // просто туда пробрались смузилюбы, растоманы и прочие подкупленные АНБ, которые с, Аноним (215), 15:20 , 14-Ноя-22, (218) +1 Ядро мне вполне качественно во фре, опенссл я не юзаю И обучать тех кто не проси, Ivan_83 (ok), 16:48 , 14-Ноя-22, (258) Для этого вначале нужно отправить в утиль манагеров, которые не понимают, что та, BeLord (ok), 17:52 , 14-Ноя-22, (282) +1 Есть нюанс, в тот момент когда писали OpenSSL не было нынешник практик написания, Аноним (310), 00:37 , 15-Ноя-22, (310) Подмена понятий Сама процедура перевода из понятного человеком языка в инструкц, anonymous (??), 15:37 , 14-Ноя-22, (225) +1 Деды писали софт в эпоху до интернета и проблемы с памятью их не особо волновали, keydon (ok), 17:40 , 14-Ноя-22, (277) +2 Вот эта новость прямо лакмусовая бумажка на дебилов и параноиков Здесь действите, Аноним (204), 14:41 , 14-Ноя-22, (186) –4 // Я не сел и ни какпли не жалею Потому что был божественный Visual Basic, а всё че, Ivan_83 (ok), 14:48 , 14-Ноя-22, (192) // Справедливости ради, среди вопросов по эльбрусам есть ли дотнет встречаются д, Michael Shigorin (ok), 20:32 , 15-Ноя-22, (380) // Потому что дотнетчики это такие вебмакаки типа пхп и питон програмистов только и, Ivan_83 (ok), 23:20 , 15-Ноя-22, (391) КОБОЛ появился в 1959 Лисп 8212 в 1958 Это не деды не осилили, деды как раз, ip1982 (ok), 14:51 , 14-Ноя-22, (195) +3 -Используете C -Что вы доктор, конечно нет -Вы здоровы, я вам не нужен , keydon (ok), 17:42 , 14-Ноя-22, (278) +2 Сел и слез после второй версии Был хороший чистый язык, потом напихали много вс, Аноним (331), 05:18 , 15-Ноя-22, (331) –1 https www youtube com watch v 5-OjTPj7K54I was taught assembler in my second y, ip1982 (ok), 14:41 , 14-Ноя-22, (187) –2 // Это не оригинально ещё в 90х сделали аниме про то что бог написал мир на лиспе , Аноним (281), 17:49 , 14-Ноя-22, (281) –1 // Точнее сделали игру и по ней аниме Или наоборот В любом случае, этот выглядит , Аноним (281), 17:53 , 14-Ноя-22, (284) Иди в ж-о-пу, неоригинальный Эта музыка будет вечной , ip1982 (ok), 18:45 , 14-Ноя-22, (287) // Аниме было за много лет до музыки, я правильно понимаю Ох уж эти ньюфги , Аноним (281), 19:24 , 14-Ноя-22, (293) too religious , InuYasha (??), 11:33 , 15-Ноя-22, (363) +1 // Так это вечные западные попытки занять морально-командную высоту , ну и заодно , Michael Shigorin (ok), 20:49 , 15-Ноя-22, (381) // Скорее - традиционная зарелигизованность англо-саксонского запада по самое ник, InuYasha (??), 20:19 , 16-Ноя-22, (400) значит у АНБ во всех перечисленных языках есть закладки, а в си и с не особо , Аноним (198), 14:55 , 14-Ноя-22, (198) +2 // В Си проверить можно появилось ли на выходе что-то что ты не писал, а вот в оста, Аноним (-), 15:28 , 14-Ноя-22, (221) +4 В каком из В отличии от раста, го и шарпа, у си и плюсов довольно много разных , keydon (ok), 17:44 , 14-Ноя-22, (280) +1 // у си есть ISO, а это почему-то встало поперёк горла кое-кому , Аноним (228), 06:07 , 15-Ноя-22, (337) Не так уж их и много осталось Comeau умер EDG Frontend ещё жив Осталось обвин, n00by (ok), 07:49 , 15-Ноя-22, (342) +1 спасибо за подсказку, чтобы не пользоваться рекомендуемыми анбэшниками продуктам, Аноним (228), 15:15 , 14-Ноя-22, (213) // С проприетарной вендорлок подконтрольной инфраструктурой Даешь ГНУ вне закона, Аноним (-), 15:32 , 14-Ноя-22, (223) +1 // Это мы сейчас смеёмся Когда-то С преподносили как наикрутейше-безопасный язык, Аноним (228), 15:59 , 14-Ноя-22, (240) +1 // У Раста это ещё впереди , Аноним (248), 16:26 , 14-Ноя-22, (251) М Горький На дне , Аноним (228), 16:44 , 14-Ноя-22, (255) +3 это чтобы можно было в руст и го напихать зондов, а потом эксплуатировать их вез, Аноним (236), 15:53 , 14-Ноя-22, (236) +2 // Из компиляторов сделают то же самое, что сотворили с браузерами никаких стандар, Аноним (228), 16:00 , 14-Ноя-22, (242) +2 // А зачем браузерам стандарт Я и есть стандарт с судья дред W WГугл хром, Ыыыыыы (?), 16:03 , 14-Ноя-22, (244) +3 Напишите ваш адрес где вас можно найти и мы обязательно вам ответим Ваш АНБ, Ыыыыыы (?), 16:01 , 14-Ноя-22, (243) +2 Языки вендорлоки, которыми владеют американские корпорации И куда легче будет з, Ыыыыыы (?), 15:57 , 14-Ноя-22, (239) +4 // Ток с и c можно декомпилировать и пропалить закладочки, не говоря уж о том что, Аноним (281), 18:00 , 14-Ноя-22, (285) Хипстеры боятся низкоуровневого кода, 171 безопасный 187 язычок все сделает , Ыыыыыы (?), 16:00 , 14-Ноя-22, (241) +3 // Всевозможные clang llvm вас же не смущают , Аноним (309), 00:37 , 15-Ноя-22, (309) +2 В числе рекомендованных языков, позволяющих снизить риск появления ошибок, вызв, Аноним (246), 16:06 , 14-Ноя-22, (246) // Надёжным для обфускации кода , Аноним (248), 16:22 , 14-Ноя-22, (249) +2 Будущее 5-7 лет за мобильными RDP на чипах без возможности исполнения кода на , Аноним (250), 16:24 , 14-Ноя-22, (250) –3 // Внедряем гомоморфное шифрование, чтобы сервер не знал что клиент хочет вычислить, Оптимист (??), 17:40 , 14-Ноя-22, (276) // Вопрос - зачем Чтобы что , Аноним (309), 00:36 , 15-Ноя-22, (308) // Электроэнергия слишком лишняя Как с криптой , Аноним (228), 06:05 , 15-Ноя-22, (336) А это мы ещё посмотрим , Michael Shigorin (ok), 20:51 , 15-Ноя-22, (382) Хозяйке на заметку В АНБ умерли от старости специалисты знающие чистый Си Ост, Аноним (-), 16:40 , 14-Ноя-22, (254) +7 А vb net в список рекомендованных входит , Сергей (??), 17:36 , 14-Ноя-22, (273) +1 Python не смогли подмаслить , нона (?), 18:56 , 14-Ноя-22, (289) +1 // Да туда и java попала по ошибке , Аноним (291), 19:06 , 14-Ноя-22, (291) +1 Понятно, почему java ест памяти так много - чтобы программам на небезопасных язы, Аноним (291), 19:05 , 14-Ноя-22, (290) +2 Слушай, что рекомендует АНБ и делай наоборот Странно, если бы после разоблаче, Максим (??), 20:13 , 14-Ноя-22, (297) +4 // Это тоже управляемость, только не прямая-прямая, а прямая от противного выслуш, Michael Shigorin (ok), 20:53 , 15-Ноя-22, (383) –1 Чего только люди не придумают лишь бы оправдать свою глупость и безграмотность А, истина в последней инстанции (?), 23:22 , 14-Ноя-22, (300) // Главная проблема современного С это современный С , хуже языка не придумать, , Аноним (184), 00:11 , 15-Ноя-22, (304) // Главная проблема современного C это неспособность обезьян читать стандарты и д, истина в последней инстанции (?), 01:44 , 15-Ноя-22, (313) –1 // Дяденьки, я к плюсам вообще ни при чём как почитал лет 20--25 назад книжку да п, Michael Shigorin (ok), 20:56 , 15-Ноя-22, (384) –1 Плюсы это не множественное наследование или ООП Это мультипарадигменный язык, о, n00by (ok), 10:42 , 16-Ноя-22, (396) В каждой версии у комитета были разные идеи куда и что, наслоения получились стр, Аноним (-), 00:56 , 21-Ноя-22, (408) Так вот в наличии стандарта вся соль В спорных ситуациях по Си и Си нередко р, n00by (ok), 09:55 , 21-Ноя-22, (411) Похоже что чтение книжек и стандартов непосильная задача как раз для плюсовиков,, Аноним (307), 00:35 , 15-Ноя-22, (307) // Прикинь, у тех кто способен читать книжки и стандарты нету проблем ни с плюсами , истина в последней инстанции (?), 01:46 , 15-Ноя-22, (314) +1 Это в основном виндовые кодеры, и делают они это потому что си в студии кусок по, Аноним (-), 09:35 , 21-Ноя-22, (409) Грустно это всё В очередной области пошла методика Не можешь победить - зап, Аноним (228), 04:27 , 15-Ноя-22, (322) +2 // Кто тебе запрещает , Аноним (140), 07:44 , 15-Ноя-22, (341) –1 // Как Вам сказать До недавних пор американцы не-не, не запрещали европейским буз, Michael Shigorin (ok), 20:59 , 15-Ноя-22, (385) –3 Серпом по трубам ваш главный сам, возомнив что шантаж - способ ведения бизнеса , Аноним (-), 09:39 , 21-Ноя-22, (410) Слабак, который не асилил asm, кричит, что у него нет альтернатив Потому что сл, Аноним (352), 08:43 , 15-Ноя-22, (352) Си и с это 2 РАЗНЫХ ЯЗЫКА Плюсоносцы постоянно примазываются к си, дабы прида, Аноним (358), 09:58 , 15-Ноя-22, (358) –1 Народ, а компилятор Эльбруса поддерживает Эль-76 , Аноним (136), 23:39 , 14-Ноя-22, (301) // lcc -- нет , Michael Shigorin (ok), 21:00 , 15-Ноя-22, (386) –2 Постеснялись, ещё рано в лоб сообщать, но для следующего поколения погромистов б, анон (?), 01:40 , 15-Ноя-22, (311) +3 Забавный факт, что каждый из рекомендованных языков принадлежит какой-то компани, Аноним (331), 05:15 , 15-Ноя-22, (330) +5 // Там ещё забавно, что у Плюсов-то есть ISO, в отличие от И это тоже наталкивае, Аноним (228), 06:02 , 15-Ноя-22, (335) +2 С чего ты взял, что есть сложности сделать вставку в любой открытый компилятор , Аноним (343), 07:53 , 15-Ноя-22, (343) // когда есть связка единственный компилятор - компания , сделать это гораздо прощ, Аноним (228), 08:31 , 15-Ноя-22, (351) +2 Забавный пук в лужу https gcc gnu org onlinedocs gccgo https github com Rust, Анони (?), 23:38 , 15-Ноя-22, (393) Java был нормальный язык, пока его синтаксис не был изнасилован в угоду автомати, Аноним (332), 05:53 , 15-Ноя-22, (332) // у жабы фатальный недостаток разработан не в MS , Аноним (228), 05:55 , 15-Ноя-22, (333) +3 Он был написан чтобы переманить сишников АНБ рекомендует это как Феминистки поя, Аноним (340), 07:40 , 15-Ноя-22, (340) +1 Ну вот, теперь все становится ясно АНБ и некоторые компании имеют тесную связь , Янис (?), 08:28 , 15-Ноя-22, (350) +1 Ясно, эти ЯП не учим, Аноним (356), 09:19 , 15-Ноя-22, (356) // Языки созданы, чтобы выполнять с их помощью работу, а не для того, чтобы их зубр, Аноним (361), 11:05 , 15-Ноя-22, (361) –1 // увы, это не про раст , Аноним (228), 13:13 , 15-Ноя-22, (368) +1 Приколитесь, вот если бы китайский КГБ дал рекомендацию что-то там использовать , Аноним (228), 10:55 , 15-Ноя-22, (360) +1 От этой новости у меня ещё с прошлой недели зубы от попкорна болят, а теперь тут, InuYasha (??), 11:19 , 15-Ноя-22, (362) Без Ады В АНБ пришло поколение ЕГЭ муриканского разлива , Аноним (364), 11:52 , 15-Ноя-22, (364) +4 Фсб не рекомендует использовать языки безопасно работающие с памятью , DmA (??), 22:29 , 15-Ноя-22, (390) –1 // Пруфов, конечно, от тебя не будет , Аноним (228), 17:38 , 16-Ноя-22, (399) Конкретно в этом они правы , Аноним (403), 08:42 , 19-Ноя-22, (403) Это вот Go безопасный Что они там такое забористое курят При попытке установить, Аноним (404), 19:45 , 20-Ноя-22, (404) АНБ рекомендует всегда было понятно почему так пиарят языки со сборщиком мусо, Аноним (412), 00:28 , 24-Ноя-22, (412) 2,3,4,5,8,10,11,17,28,29,33,38,59,65,71,77,92,98,109,124,125,166,170,184,186,187,198,213,236,239,241,246,250,254,273,289,290,297,300,301,311,330,332,350,356,360,362,364,390,403,404,412

Сообщения

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

	30. "АНБ рекомендовал переходить на языки программирования, безоп..."	+/–
	Сообщение от Аноним (30), 14-Ноя-22, 11:03
	Вы таки хотите сказать покрыть код 100% доказательством ненарушения инвариантов и отсутствия UB? Да тогда проще и быстрее будет на каком-нибудь Идрисе писать
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

	53. "АНБ рекомендовал переходить на языки программирования, безоп..."	+/–
	Сообщение от Аноним (10), 14-Ноя-22, 11:24
	>>> Вы таки хотите сказать покрыть код 100% доказательством ненарушения инвариантов и отсутствия UB? <<< Да, к этому нужно стремиться (как пример seL4)!
	Ответить | Правка | Наверх | Cообщить модератору

	60. "АНБ рекомендовал переходить на языки программирования, безоп..."	+/–
	Сообщение от Анонн (?), 14-Ноя-22, 11:29
	Слишком долго и дорого. Проблема же не только в ядре - есть же еще куча прикладного софта. Если тебя хакнут через дыру в почтовике через "особое" письмо, или через браузер прислав специальную картинку, то легче тебе не станет. А формально верифицированный месседжер... это нужно быть ну очень богатым, у АНБ таких денег нет))
	Ответить | Правка | Наверх | Cообщить модератору

	70. "АНБ рекомендовал переходить на языки программирования, безоп..."	+/–
	Сообщение от Аноним (70), 14-Ноя-22, 11:43
	Тестирование и доказательства -- это два совершенно разных подхода. Тестирование ничего не доказывает, оно лишь повышает вероятность того, что баг будет детектирован если чо.
	Ответить | Правка | К родителю #30 | Наверх | Cообщить модератору

	85. "АНБ рекомендовал переходить на языки программирования, безоп..."	+1 +/–
	Сообщение от Аноним (30), 14-Ноя-22, 11:58
	И поэтому оно полезно только если доказать 100% полноту покрытия тестами (в идеале с учётом аппаратных косяков вроде реордеринга или даже meltdown). В остальных случаях разраб пишет кривой код и покрывает его кривым тестом исходящим из тех же неполных или вовсе ошибочных предположений
	Ответить | Правка | Наверх | Cообщить модератору

	303. "АНБ рекомендовал переходить на языки программирования, безоп..."	+1 +/–
	Сообщение от Аноним (303), 15-Ноя-22, 00:10
	Современные программисты этих очевидных вещей не понимают
	Ответить | Правка | Наверх | Cообщить модератору

	374. "АНБ рекомендовал переходить на языки программирования, безоп..."	–2 +/–
	Сообщение от Michael Shigorin (ok), 15-Ноя-22, 20:02
	> И поэтому оно полезно только если доказать 100% полноту покрытия > тестами (в идеале с учётом аппаратных косяков вроде реордеринга > или даже meltdown). ...желательно заранее. // пишу с рабочего "Эльбрус 801-РС", ага
	Ответить | Правка | К родителю #85 | Наверх | Cообщить модератору

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

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