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

Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей, opennews (??), 18-Янв-24, (0) [смотреть все] Скрыто модератором, Аноним (2), 09:35 , 18-Янв-24, (2) –4 // Скрыто модератором, Аноним (4), 09:38 , 18-Янв-24, (4) +4 // Скрыто модератором, Аноним (2), 09:42 , 18-Янв-24, (5) // Скрыто модератором, Egan (?), 09:54 , 18-Янв-24, (7) +1 Скрыто модератором, Аноним (2), 09:58 , 18-Янв-24, (9) +1 Скрыто модератором, Аноним (-), 10:14 , 18-Янв-24, (20) +1 Скрыто модератором, Аноним (2), 10:28 , 18-Янв-24, (23) +1 Скрыто модератором, Аноним (-), 10:48 , 18-Янв-24, (27) +2 Скрыто модератором, Аноним (2), 10:59 , 18-Янв-24, (28) Скрыто модератором, Аноним (-), 11:00 , 18-Янв-24, (29) +1 Скрыто модератором, Аноним (34), 11:17 , 18-Янв-24, (34) –2 Скрыто модератором, Аноним (-), 11:38 , 18-Янв-24, (35) +1 Скрыто модератором, Admino (ok), 10:03 , 18-Янв-24, (13) +1 Скрыто модератором, Аноним (-), 10:03 , 18-Янв-24, (14) Скрыто модератором, Admino (ok), 09:57 , 18-Янв-24, (8) +4 // Скрыто модератором, Аноним (2), 10:02 , 18-Янв-24, (12) –1 // Скрыто модератором, Admino (ok), 10:06 , 18-Янв-24, (15) +1 Скрыто модератором, Аноним (2), 10:08 , 18-Янв-24, (17) +1 Скрыто модератором, Аноним (-), 10:31 , 18-Янв-24, (24) Скрыто модератором, Аноним (2), 10:35 , 18-Янв-24, (25) Скрыто модератором, Аноним (26), 10:44 , 18-Янв-24, (26) Скрыто модератором, Аноним (31), 11:11 , 18-Янв-24, (31) Скрыто модератором, Аноним (-), 11:12 , 18-Янв-24, (32) Итак, 4 проблемы - переполнение или запись за границы буфера Возможно идея с при, Аноним (-), 09:59 , 18-Янв-24, (11) –3 // Дырка уже вполне совершеннолетняя Шутка от Бога , Alex (??), 10:09 , 18-Янв-24, (18) +29 Напомню, что в топике уязвимости найдены в ИМПЛЕМЕНТАЦИИ протокола X11 - X Org S, Аноним (42), 12:12 , 18-Янв-24, (42) +6 // А самое веселое что реализаций вяленого 4 и это не предел и в каждой может быть , Аноним (101), 19:58 , 18-Янв-24, (101) Идеальные иксы стали еще идеальнее , Аноним (26), 10:11 , 18-Янв-24, (19) +18 Скрыто модератором, Аноним (33), 11:16 , 18-Янв-24, (33) +2 // Скрыто модератором, Аноним (38), 11:52 , 18-Янв-24, (38) +2 // Скрыто модератором, Анонин (?), 12:55 , 18-Янв-24, (46) // Скрыто модератором, anonymous (??), 14:10 , 18-Янв-24, (53) Скрыто модератором, Аноним (65), 16:24 , 18-Янв-24, (65) Скрыто модератором, Аноним (106), 20:33 , 18-Янв-24, (106) Скрыто модератором, Аноним (38), 17:27 , 18-Янв-24, (79) Скрыто модератором, Аноним (-), 18:59 , 18-Янв-24, (95) А вот если бы пользовались статическими анализаторами, формально верифицировали , Bottle (?), 11:43 , 18-Янв-24, (36) +1   // А это вообще реально для таких больших проектов , Анонин (?), 11:51 , 18-Янв-24, (37)   Зачем Это десятилетиями работало без проблем , крок (?), 11:57 , 18-Янв-24, (39)   // Если в твоем понимании вот это могут быть эксплуатированы для повышения привиле, Аноним (-), 15:57 , 18-Янв-24, (58) +1   // У вас какая то фиксация на ошибках, вам бы к психологу для начала сходить На бол, Ivan_83 (ok), 16:48 , 18-Янв-24, (69)   Ну давай вернёмся на Фортран и мультики А чо, работало же Зачем эти все язычки, Аноним (74), 17:14 , 18-Янв-24, (74)   s мультики мультикс , Аноним (74), 17:15 , 18-Янв-24, (75)   Нет, ты правильно написал - тебе лучше вернуться к мультикам Где идеальный розо, Аноним (33), 20:50 , 18-Янв-24, (109)   Вы опять не поняли оно сейчас работает Не надо прикладывать никаких усилий, вс, Ivan_83 (ok), 17:26 , 18-Янв-24, (78)   Тогда я удаляюсь из спора У нас слишком разные понятия для оно сейчас работает , Аноним (-), 19:10 , 18-Янв-24, (99) –2   По улицам ходишь в скафандре , Аноним (33), 20:49 , 18-Янв-24, (108)   Нет конечно Но через дорогу на красный не бегаю, пальцами в розетку не лажу В об, Аноним (-), 20:54 , 18-Янв-24, (110)   Не понял про два монитора Сейчас сижу в дебиане с двумя мониторами Что делаю н, Аноним (106), 00:38 , 19-Янв-24, (115)   У меня один монитор, больше не хочу Доча подключала два, никаких проблем не было, Ivan_83 (ok), 00:55 , 19-Янв-24, (116)   клавиши atl tab не отвалились в вечном переключении между ide и гуглом chatgpt д, пох. (?), 02:43 , 19-Янв-24, (118)   Ты все пропустил - третьего дня нам объяснили, что НАСТОЯЩИЙ программист гуглом , User (??), 07:33 , 19-Янв-24, (125)   Нет Код же не принято делать сильно ширее чем 80 символов, даже с учётом обвеса , Ivan_83 (ok), 15:16 , 19-Янв-24, (136) –1   Я гоняю Потому что консоль комплексное средство взаимодействия с компьютером , adolfus (ok), 18:08 , 18-Янв-24, (82)   Третий кейс выглядит, как нарушение договоренностей и обман заказчика Главное чт, Аноним (-), 19:13 , 18-Янв-24, (100)   Плохо работало Отвратно Так отвратно, что находят дыры 2006 года , Аноним (74), 17:13 , 18-Янв-24, (73) –3   Анонин, всегда можно начать с небольшого подмножества, на основе которого пишетс, Bottle (?), 11:59 , 18-Янв-24, (40)   Coq оверкилл для большинства проектов, но тот же clang предоставляет массу полез, Аноним (38), 12:01 , 18-Янв-24, (41)   Достаточно писать на нормальных строгих языках, что открывает фундаментальную оп, Аноним (74), 17:12 , 18-Янв-24, (72)   пора прогнать весь код через LLM и удалить ненужное и неактуальные, заодно оптим, голос из леса (?), 12:33 , 18-Янв-24, (43) –1 // Боюсь что тогда придется удалить малоквалифицированные кадры то есть процентов , Аноним (38), 17:00 , 18-Янв-24, (71) –1 // Так уже В нашей фирме с начала прошлого года сократили всех джунов, тестировщик, Аноним (96), 18:59 , 18-Янв-24, (96) –2 // Скрыто модератором, Анонин (?), 20:11 , 18-Янв-24, (105) +2 Заодно напихав туда на порядок более ненужного и неактуального мусора, который т, Аноним (106), 20:38 , 18-Янв-24, (107) +1 // вообще то ai умнее большинства программистов, так что он прав пысы ты можешь, пох. (?), 02:41 , 19-Янв-24, (117) +4 // Я вообще не программист, и не админ, так что твоя желчь тут мимо Но для написан, Аноним (106), 11:02 , 19-Янв-24, (126) И еще круто было бы написание документации на ai свалить, чтоб время не тратить , Аноним (106), 12:28 , 19-Янв-24, (134) всегда так делаю Если б еще подлый Бидон не запретил мне пользоваться чатгопото, нах. (?), 13:53 , 20-Янв-24, (141) 16-го syspatch прибыл в OpenBSD хорошо идеи выкинуть ненужное - пожалуйста,, крокодил мимо.. (?), 12:49 , 18-Янв-24, (45) –1 // опять ты со своим опенбсд, который настолько хорош, что документации нет от слов, голос из леса (?), 13:01 , 18-Янв-24, (48) +3 // единственная по сути система с полной и актуальной документацией, которая ведё, крокодил мимо.. (?), 16:15 , 18-Янв-24, (61) // Ткни носом в wiki или handbook MANы это не документация, а справочник для особ, Аноним (96), 18:56 , 18-Янв-24, (94) +2 ещё один не понимающий чем отличается строго структурированная справка от справо, anticlown (?), 07:13 , 19-Янв-24, (123) В каком месте строго структурированная справка wiki или handbook Manual pa, User (??), 07:22 , 19-Янв-24, (124) –1 MAN-это документация Одна из форм Если тебе нужна смузихлебные курсы на ютубе,, Аноним (106), 11:04 , 19-Янв-24, (127) Обожаю этот OpenBSD Главный девиз, если у вас нет Wi-Fi, значит и уязвимостей т, Аноним (52), 13:18 , 18-Янв-24, (52) // Ещё там нет trim, bluetooth, здравого смысла , Аноним (54), 14:59 , 18-Янв-24, (54) +5 у меня 300мбит на iwx вайфае - откуда эта чушь что на опене нет вайфая не первы, Аноним (55), 15:03 , 18-Янв-24, (55) –5 // эт местечковые ыксперды им всё не так и fs не торт, и отсутствие trim и т д , крокодил мимо.. (?), 16:34 , 18-Янв-24, (68) –4 А чо, реальное железо давно начало поддерживать openbsd Не самоделкины поставл, Аноним (74), 17:18 , 18-Янв-24, (76) Ты в серьезный диалог пытаешься с фанатиком, который жЫлезо подбирает под ОС , Аноним (96), 18:54 , 18-Янв-24, (92) Так тут других почитай, что и нет - если не подбирать старательно, то есть все ш, User (??), 05:14 , 19-Янв-24, (122) ты не поверишь, но https alterwebhost com openbsd-vps , крокодил мимо.. (?), 11:20 , 19-Янв-24, (129) Могу 100 баксов поставить в крипте что у тебя ничего не получится , Аноним (96), 18:53 , 18-Янв-24, (91) отдай в приют для животных man httpd conf etc httpd conf в секцию server , крокодил мимо.. (?), 11:34 , 19-Янв-24, (130) Включая самого создателя этого поделия , Аноним (96), 18:55 , 18-Янв-24, (93) Почему так мало , Аноним (139), 19:46 , 19-Янв-24, (139) Ты посмотри какое железо используют адепты Там кора дуба с GMA 950 - это предел, Аноним (96), 19:07 , 18-Янв-24, (98) +1 Такое ловят собрав и запустив с ASAN и мучая фазингом который шлёт всякий рандом, Ivan_83 (ok), 16:51 , 18-Янв-24, (70) // скорее всего, если это касается сабжа CVE-2023-6816 CVE-2024-0229 CVE-2024-2188, крокодил мимо.. (?), 17:23 , 18-Янв-24, (77) // Скорее не целенаправленно а просто перетряхивая код и смотря где каких проверок , Ivan_83 (ok), 17:29 , 18-Янв-24, (80) клёво кстати, в опёнке доступ к dev mem и dev kmem по умолчанию закрыт для , крокодил мимо.. (?), 11:08 , 19-Янв-24, (128) Я читал посылая модифицированные ARP запросы, фря в ответ копировала IP и MAC ад, Ivan_83 (ok), 15:14 , 19-Янв-24, (135) хмм т е эт не arpd, а обычный ответ сетевого на arp запрос посмотрел на if, крокодил мимо.. (?), 16:29 , 19-Янв-24, (137) Как там эта их Xenocara поживает Тоже с 2006 года с вулнами БезопасТнички от б, Аноним (103), 20:07 , 18-Янв-24, (103) Когда иксы станут идеальными и без багов и уязвимостей их закопают Вон, уже ре, Аноним как всегда (?), 17:41 , 18-Янв-24, (81) // Огромное количество их клиентов используют очень непростой и дорогой софт сапры, adolfus (ok), 18:21 , 18-Янв-24, (84) // Значит у них есть несколько вариантов 1 сидеть на старой версии системы с Х11 -, Аноним (-), 18:47 , 18-Янв-24, (86) // П 1 условно работает, пока не приходишь к заказчику у которого есть тугумент с , User (??), 11:50 , 19-Янв-24, (131) Есть ознакомительные, студенческие или ограниченные версии Реальные сапры по ра, adolfus (ok), 00:52 , 21-Янв-24, (142) Вообще непонятно о чём такой вой стоит 8212 иксы никто закапывать не собирает, Аноним (4), 23:37 , 18-Янв-24, (113) Я надеюсь, что это комментаторы из последнего срача про Иксы взяли и начали баги, Аноним (139), 18:16 , 18-Янв-24, (83) –1 Теперь скажите мне - эти уязвимости могли быть найдены санитайзером , Вы забыли заполнить поле Name (?), 18:44 , 18-Янв-24, (85) // Небось вон те как-то так их и нашли , Аноним (103), 20:09 , 18-Янв-24, (104) Больше скажу, львиная доля этих уязвимостей висела и висит в багтрекере иксов в , Аноним (4), 23:42 , 18-Янв-24, (114) Про 80000 строк ужаса-а фанатикам редхата не надоело постить цитату одного идиот, Ник подрывник (?), 20:59 , 18-Янв-24, (111) +3 // Ничего себе наезды и оскорбления Этот человек нашел как минимум 120 багов всего , Анонин (?), 22:07 , 18-Янв-24, (112) // изначально было не луддиты, а луддисты в контексте луддистров дистров для лудди, пох. (?), 02:45 , 19-Янв-24, (119) Но это весь и вправду нафиг не надо, тем более на т н десктопном linooops Да, Аноним (96), 02:46 , 19-Янв-24, (120) // О А вот еще один луддит В прошлой теме про вайн народ рассказывал, как хорошо и, Аноним (-), 11:56 , 19-Янв-24, (132) –2 Вы же профессионал, Иванов Не давайте нам оснований думать, что вы не профессио, User (??), 12:01 , 19-Янв-24, (133) Стало быть, ты не профи А раз так, то дальше тебя читать нет смысла , Аноним (139), 19:45 , 19-Янв-24, (138) +1 11,19,36,43,45,81,83,85,111

Сообщения

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

36. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+1 +/–
Сообщение от Bottle (?), 18-Янв-24, 11:43
А вот если бы пользовались статическими анализаторами, формально верифицировали код с помощью Coq, вот тогда бы подобных дыреней было бы на порядок меньше.
Ответить | Правка | Наверх | Cообщить модератору

	37. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Анонин (?), 18-Янв-24, 11:51
	> формально верифицировали код с помощью Coq А это вообще реально для таких больших проектов?
	Ответить | Правка | Наверх | Cообщить модератору

	39. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от крок (?), 18-Янв-24, 11:57
	Зачем!? Это десятилетиями работало без проблем.
	Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

	58. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+1 +/–
	Сообщение от Аноним (-), 18-Янв-24, 15:57
	> Зачем!? Это десятилетиями работало без проблем. > работало без проблем > работало Если в твоем понимании вот это "могут быть эксплуатированы для повышения привилегий в системах, в которых X-сервер выполняется с правами root, а также для удалённого выполнения кода в конфигурациях, в которых для доступа используется перенаправление сеанса X11 при помощи SSH" называется "работало" то у меня просто слов нет) Была дырка 18 летняя дырка, и уязвимость в безопасности - это не называется "работало без проблем". Типичная ситуация "тут труба немного капает, просто забьем... а потом 'а у нас все отопление прормало памагите'".
	Ответить | Правка | Наверх | Cообщить модератору

	69. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Ivan_83 (ok), 18-Янв-24, 16:48
	У вас какая то фиксация на ошибках, вам бы к психологу для начала сходить. На большинстве систем 1-полтора юзера, которые и так пароль от рута знают. А уж тех кто Х11 через ссш гоняет так вообще не найти в реальном мире. Ещё раз попробуйте понять: есть то что работает и есть то что работает и иногда падает, последнее нуждается в ремонте.
	Ответить | Правка | Наверх | Cообщить модератору

	74. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (74), 18-Янв-24, 17:14
	Ну давай вернёмся на Фортран и мультики. А чо, работало же. Зачем эти все язычки и технологии. Перфоленты ещё вернём и перепишем туда экзабайты.
	Ответить | Правка | Наверх | Cообщить модератору

	75. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (74), 18-Янв-24, 17:15
	s/мультики/мультикс/
	Ответить | Правка | Наверх | Cообщить модератору

	109. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (33), 18-Янв-24, 20:50
	Нет, ты правильно написал - тебе лучше вернуться к мультикам. Где идеальный розовый мир с радужными поняшками.
	Ответить | Правка | Наверх | Cообщить модератору

	78. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Ivan_83 (ok), 18-Янв-24, 17:26
	Вы опять не поняли: оно сейчас работает. Не надо прикладывать никаких усилий, всё уже хорошо.
	Ответить | Правка | К родителю #74 | Наверх | Cообщить модератору

	99. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	–2 +/–
	Сообщение от Аноним (-), 18-Янв-24, 19:10
	Тогда я удаляюсь из спора. У нас слишком разные понятия для "оно сейчас работает". То что в коде живет баг позволяющий "выполнять код на удалённой системе", то это не нормально. А по поводу "не надо прикладывать никаких усилий, всё уже хорошо" расскажи мне про подключение 2 мониторов). Я понимаю, что возможно, ты сидишь за одноним монитором, цветопередача и hdr тебя вообще не волнует, у тебя тирринг-слепота. Но у меня требования другие. И таких как я набралось достаточное кол-во, чтобы начать выкидывать х11 на помойку. Так что извини, но меня мало волнуют мнение всяких меньшинств-неформалов)
	Ответить | Правка | Наверх | Cообщить модератору

	108. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (33), 18-Янв-24, 20:49
	По улицам ходишь в скафандре?
	Ответить | Правка | Наверх | Cообщить модератору

	110. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (-), 18-Янв-24, 20:54
	> По улицам ходишь в скафандре? Нет конечно) Но через дорогу на красный не бегаю, пальцами в розетку не лажу. В общем наверное скучно живу. Зато я не ною, что с улиц убрали тумбы для привязывания лошадей, как любители некрософта.
	Ответить | Правка | Наверх | Cообщить модератору

	115. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (106), 19-Янв-24, 00:38
	>А по поводу "не надо прикладывать никаких усилий, всё уже хорошо" расскажи мне про подключение 2 мониторов). Не понял про два монитора. Сейчас сижу в дебиане с двумя мониторами. Что делаю не так?
	Ответить | Правка | К родителю #99 | Наверх | Cообщить модератору

	116. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Ivan_83 (ok), 19-Янв-24, 00:55
	У меня один монитор, больше не хочу. Доча подключала два, никаких проблем не было. Перечитайте текст, там выполнение кода на удалённой системе после авторизации по ссш, те и без хорга можно что угодно запускать. хорг может только рута дать. Но использование х поверх ссш - большая редкость, я знаю только одного человека который так делает, и делает это исключительно в локалке ибо там огромные объёмы трафика летают. Потому ещё раз: с вашими фобиями нужна помощь специалиста из области мозгоправства. Я ж не против вейланда, только сегодня хотел его попробовать. Но потом открыл вики xfce и понял что ещё немного рановато, надо ещё где то годик подождать. Похже попробую перетащить на него коди, там кроме коди ничего нет а он вроде работает уже.
	Ответить | Правка | К родителю #99 | Наверх | Cообщить модератору

	118. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от пох. (?), 19-Янв-24, 02:43
	> У меня один монитор, больше не хочу. клавиши atl+tab не отвалились в вечном переключении между ide и гуглом\chatgpt\доками?
	Ответить | Правка | Наверх | Cообщить модератору

	125. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от User (??), 19-Янв-24, 07:33
	Ты все пропустил - третьего дня нам объяснили, что НАСТОЯЩИЙ программист гуглом не пользуется, чтобы не спонсировать КОРПОРАЦИИ
	Ответить | Правка | Наверх | Cообщить модератору

	136. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	–1 +/–
	Сообщение от Ivan_83 (ok), 19-Янв-24, 15:16
	Нет. Код же не принято делать сильно ширее чем 80 символов, даже с учётом обвеса IDE получается не так много места не экране.
	Ответить | Правка | К родителю #118 | Наверх | Cообщить модератору

	82. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от adolfus (ok), 18-Янв-24, 18:08
	Я гоняю. Потому что консоль (комплексное средство взаимодействия с компьютером) не обязана существовать в одном экземпляре и втыкаться напрямую в комп. У компа может быть сто таких консолей и все в разных местах. При этом комп может и не иметь консоли, кроме управляющей. Не всегда есть возможность установить где попало нужный софт, например, тот же maple, matlab или САПР какой -- или лицензия не позволяет или комп "где попало" такой, что годится только игры играть. Это первый и самый важный кейс. Он достаточно общий. Второй, сугубо частный -- есть проектор в сети (несколько в разных локациях), его софт работает только в виндовсах. В помещениях, где проекторы установлены, компы грузятся из сети и линукс на них от 2015 года. Поставить на них вайн и поверх него софт проектора невозможно в приинципе даже в рамках сеанса. Я через ssh -Y открываю сессию в локалке на удаленном компе, где у меня стоит вайн и под ним софт этого проектора. Третий кейс, тоже важный -- заказчик требует, чтобы его софт полностью разрабатывался и гнездился, включая все промежуточные результаты и файлы, строго на выделенных для этой цели компах, физический доступ к которым ограничен временем и днями недели. Имея доступ к этим компам по ssh -Y я могу не только работать в удобное мне время, но и вообще не ходить в присутствие.
	Ответить | Правка | К родителю #69 | Наверх | Cообщить модератору

	100. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (-), 18-Янв-24, 19:13
	Третий кейс выглядит, как нарушение договоренностей и обман заказчика. Главное чтобы не получилась ситуация "мой комп взломали, потмо комп заказчика и в сеть утекли тонны файлов которые никто не должен был видеть". Надеюсь ты все-таки пишешь про университет и доступ к компам в аудиториях)
	Ответить | Правка | Наверх | Cообщить модератору

	73. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	–3 +/–
	Сообщение от Аноним (74), 18-Янв-24, 17:13
	Плохо работало. Отвратно. Так отвратно, что находят дыры 2006 года.
	Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

	40. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Bottle (?), 18-Янв-24, 11:59
	Анонин, всегда можно начать с небольшого подмножества, на основе которого пишется всё остальное. Затем, со временем, расширять это подмножество.
	Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

	41. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (38), 18-Янв-24, 12:01
	Coq оверкилл для большинства проектов, но тот же clang предоставляет массу полезных чекеров и санитайзеров https://clang.llvm.org/docs/index.html только пользуйся.
	Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

	72. "Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей"	+/–
	Сообщение от Аноним (74), 18-Янв-24, 17:12
	Достаточно писать на нормальных строгих языках, что открывает фундаментальную опцию автоматической верификации (нужно только будет корректность доказать). Coq все же для доказательства теорем придуман. А стат. анализаторы - это костыль для язычков, которые в строгость не умеют.
	Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

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

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