Архитектура системы верификации кода драйверов Linux,
opennews (??), 14-Ноя-11, (0) [смотреть все]
- Неужели началось что-то вменяемое Очень уж неплохие игроки в этом проекте ,
Аноним (-), 15:50 , 14-Ноя-11, (1) +3 //
- К сожалению, Рубанов из ИСП ушёл Насколько знаю, некрасиво притом ,
Michael Shigorin (ok), 16:18 , 14-Ноя-11, (2) +1 //
- а проект то действительно нужный и правильный с соответствующим подходом Зыжпоче,
ананим (?), 16:36 , 14-Ноя-11, (3) //
- что не понятного то ребята ценят свободу - а не становятся рабами Столмана ,
Аноним (-), 18:19 , 14-Ноя-11, (4) –4
//
- А еще не быть рабом Стольмана это выгодно, комфортно и удобно ,
anonymous (??), 18:54 , 14-Ноя-11, (5)
- Ребята не ценят свободу всё же Или не хотят защищать ,
Аноним (-), 20:13 , 14-Ноя-11, (7)
- 8230 проприетарщиков закрывать код ,
arisu (ok), 22:12 , 14-Ноя-11, (11) +2
- Наверное потому, что русские любят лицензии BSD, да и сами в душе - поклонники ,
Аноним (-), 19:48 , 14-Ноя-11, (6) –1 //
- Чего спрашивать, если понятно Если эта разработка ведётся на государственные ден,
zhenya_k (?), 23:09 , 14-Ноя-11, (15) –1 //
- Одинаково каждому гражданину данного государства, или ЛЮБОГО государства, даже и,
Anonym1 (?), 00:15 , 15-Ноя-11, (16)
- была просьба - хотелось бы комментариев владеющих инфой и поскольку вы явно эт,
ананим (?), 04:39 , 15-Ноя-11, (19)
- Просьба, а не приказ Я согласен с Женей К , разрабатываемые на государственные д,
Ваня (?), 11:17 , 15-Ноя-11, (21) –1
- А я вот не согласен, чтобы я как налогоплательщик разработку эту оплатил, а пото,
ram_scan (?), 12:20 , 15-Ноя-11, (22) +1
- Юр лица, в т ч коммерческие компании, также как физ лица платят налоги, и следо,
Ваня (?), 12:25 , 15-Ноя-11, (23) –1
- Вы опять пытаетесь мух с котлетами в кучу свалить Вопрос в конечной цели Z, возм,
Michael Shigorin (ok), 12:31 , 15-Ноя-11, (24) +1
- Пускай пользуются, мне не жалко Я говорил, если вы не заметили, не о том, что м,
ram_scan (?), 04:44 , 16-Ноя-11, (36) +2
- ванюша из пентагона Оригинально D,
ананим (?), 12:38 , 15-Ноя-11, (25)
- Не займёт Просто потому что верификация - это, собственно, доказательство соотв,
Crazy Alex (??), 14:56 , 15-Ноя-11, (30)
- Зато глядишь, и НПП нормальную выпилят, ведь для этого тоже спецы нужны,
новичок (??), 02:29 , 15-Ноя-11, (18)
- Верифицировать языки Си и С это не правильно, т к по сложности они не доступн,
q (??), 13:54 , 15-Ноя-11, (27) –2 //
- obvious fix ,
Andrey Mitrofanov (?), 14:10 , 15-Ноя-11, (28) //
- Для того, чтобы быть нормальным, язык должен быть пригодным к использованию, а н,
Аноним (-), 15:43 , 15-Ноя-11, (32) +1
1,2,27
|
Вариант для распечатки
