|
2.2, фыв (??), 20:45, 21/06/2017 [^] [^^] [^^^] [ответить]
| +2 +/– |
Может быть всё намного проще - музыку заказывали не мы и не для нас..
| |
|
3.3, фыв (??), 20:47, 21/06/2017 [^] [^^] [^^^] [ответить]
| +2 +/– |
к тому же, распил - это не только определение бурления в Госдуме РФ.
| |
3.22, пох (?), 10:05, 23/06/2017 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Может быть всё намного проще - музыку заказывали не мы и не
> для нас..
там автор тестирования собирает бабло - закажите уже ж наконец и вы.
| |
|
2.21, пох (?), 10:03, 23/06/2017 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Наверно не там выявляли
вероятнее всего, да - тупиковые никем не используемые куски кода не вызвали особого энтузиазма у проверявших (а этот воспользовался роботом туповатым, хехехе).
"--x509-alt-username" - нет, этим в самом деле кто-то пользуется?
Остальное - вообще какая-то ересь: OpenVPN to connect to an NTLM version 2 proxy
и т д.
хотя, с другой стороны, это означает, что и openvpn повторяет все ошибки конкурентов, ради (якобы)борьбы с которыми и был придуман - пихание в код все большего и большего "ненужно", без возможности отключать эти тонны шлака.
| |
|
|
|
3.9, Andrey Mitrofanov (?), 09:39, 22/06/2017 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Никакой аудит не может выявить все ошибки. Иначе, получилась бы программа, не
> содержащая ошибок, а такое невозможно (за исключением вот таких случаев -
Это не ты в соседней позорился с этими спецификациями? Нет? А зачем повторяешь чужее враньё...
> https://www.opennet.dev/opennews/art.shtml?num=23011 - когда можно математически доказать
> отсутствие ошибок).
#>>формального подтверждения 100% отсутствия ошибок
#>>не подвержен большинству известных хакерских атак
#>>большинству известных
#>>большинству
/0
| |
|
4.10, Andrey Mitrofanov (?), 09:46, 22/06/2017 [^] [^^] [^^^] [ответить]
| +1 +/– |
>> Никакой аудит не может выявить все ошибки. Иначе, получилась бы программа, не
>> содержащая ошибок, а такое невозможно (за исключением вот таких случаев -
> Это не ты в соседней позорился
Снимаю! Приношу извинения!! Попал в ловушку семантики.
>> https://www.opennet.dev/opennews/art.shtml?num=23011 - когда можно математически доказать
>> отсутствие ошибок).
> #>>формального подтверждения 100% отсутствия
Если это читать, как "довольно неискреннее, лукавое подтвержденеи полного отсутствия ошибок", то _все возражения_ снимаются, отпадают, чтоб не сказать "отсутствуют" !!
| |
|
5.13, Ordu (ok), 19:14, 22/06/2017 [^] [^^] [^^^] [ответить]
| –3 +/– |
> Если это читать, как "довольно неискреннее, лукавое подтвержденеи полного отсутствия ошибок", то _все возражения_ снимаются, отпадают, чтоб не сказать "отсутствуют" !!
Куда катится наше образование? Технари не понимают словосочетания "формальное доказательство" и умудряются попадать в семантические ловушки сталкиваясь с описанием формального доказательства.
Поколение ЕГЭ? Я кстати пару лет назад писал ЕГЭ по математике, и он мне показался вполне вменяемым способом оценить школьные знания по математике. Для физ-мат школ слабоват, наверное, разрешающей способности недостаточно: те шансов не имеют попасть мимо диапазона 90-100 баллов, с медианой 95+. Но для просто хороших школ будет достаточно. Странно... странно... Может ты наоборот из старпёров и являешь собой демонстрацию убожества советского образования? Может его зря хвалят?
| |
|
6.15, Аноним (-), 20:33, 22/06/2017 [^] [^^] [^^^] [ответить]
| +/– |
> ...демонстрацию убожества советского образования? Может его зря хвалят?
Хреново у тебя с семантикой, немилчеловек.
| |
|
7.17, Ordu (ok), 22:29, 22/06/2017 [^] [^^] [^^^] [ответить]
| +/– |
>> ...демонстрацию убожества советского образования? Может его зря хвалят?
> Хреново у тебя с семантикой, немилчеловек.
Да, я знаю, она слишком много артефактов морально устаревшей аристотелевой логики несёт в себе. Но... как говорится, мы работаем над этим. Ща я J.Pearl'а одолею, будет получше.
| |
|
6.23, Аноним (-), 01:04, 25/06/2017 [^] [^^] [^^^] [ответить]
| –1 +/– |
>Я кстати пару лет назад писал ЕГЭ по математике
Пару лет сделали из тебя эксперта по оценке знаний? Ну-ну. Иди делай лабы, студент.
| |
|
7.24, Ordu (ok), 12:50, 25/06/2017 [^] [^^] [^^^] [ответить]
| +/– |
>>Я кстати пару лет назад писал ЕГЭ по математике
> Пару лет сделали из тебя эксперта по оценке знаний? Ну-ну. Иди делай
> лабы, студент.
Нет, родный. Способы измерения всяких реальных и не очень явлений -- это часть моей специальности.
| |
|
6.25, Аноним (-), 07:34, 27/06/2017 [^] [^^] [^^^] [ответить]
| –1 +/– |
> ЕГЭ
> и он мне показался вполне вменяемым
Ставить галочки в ответах и обезьяну научить можно, и получит она среднюю оценку "удовлетворительно", выбирая абсолютно случайные ответы.
| |
|
|
|
|
|
|
|
3.12, Аноним (-), 11:37, 22/06/2017 [^] [^^] [^^^] [ответить]
| –1 +/– |
Пойдем дальше..
А есть такие, которые не прикормлены спецслужбами?
| |
|
|
|