Re: tezt

2010-04-28 Пенетрантность Boris Pihtin

28.04.2010 8:56, C S пишет:

tezt


   

 ичего не видно


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd7d02f.7040...@links.md



Re: [Fwd: Re: сертификаци я]

2010-04-28 Пенетрантность Игорь Чумак

Dmitry E. Oboukhov пишет:

А можно с этого места поподробнее?
Что-то я так навскидку не помню там аналогичной подсистемы с аналогичной
функциональностью.
Да и про настройки в открытом доступе я бы тоже с радостью почитал.
  


SM В винде есть механизм групповых и локальных политик безопасности. На
SM сайте NSA выложены рекомендации по настройке и шаблоны политик. Я не
SM специалист, но по крайней мере слышал положительные отзывы.

в виндовсе из коробки тысяча демонов (простите - служб) работает
от имени одного и того же юзера. то бишь взлом одного равносилен
взлому туевой хучи = доступу к туеовй хуче ресурсов.
то есть толку от энтого механизма чуть больше чем ноль
  

Перечислите плз первую сотню ;))


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd7d2f8.2090...@gmail.com



Re: сертификация

2010-04-28 Пенетрантность Oleksandr Gavenko

On 2010.04.27 17:54, Artem Chuprina wrote:

Oleksandr Gavenko -  debian-russian@lists.debian.org  @ Tue, 27 Apr 2010 
17:08:03 +0300:
  OG  Я бы сказал так - на Си код тяжело верифицировать,
  OG  скорее всего придется отказаться от существующего кода
  OG  и писать на более формальном языке - например Лиспе.

У меня фортунка на эту тему любимая есть...

Greenspun's Tenth Rule of Programming: any sufficiently complicated C
or Fortran program contains an ad hoc informally-specified bug-ridden
slow implementation of half of Common Lisp.
  -- Phil Greenspun
Including Common Lisp.
  -- Robert Morris


OK!


Реализацию лиспа, на которой оно выполняется, кто доказывать будет?
-Пушкин- МакКарти?


Было бы время и возможности.


И в общем, да, ты тот лисп вообще видел?  Программы на нем писал?

не CL но elisp достаточно, но это не важно


Отлаживал?  А реальные программы, не учебные задачи?  Я б тебя еще
понял, если б ты Хаскель назвал - тот чисто функциональный, там
действительно существенно легче верифицировать.  А как только у тебя
в языке есть присваивание - все, туши свет...


в этой области профан


  OG   Доказательство же позволит избежать полного невозможного
  OG   перебора для тестирования.
  
Нивапрос.  Если его удастся, во-первых, построить, а во-вторых,
проверить.
  OG  Построить действительно на данный момент тяжело.
  OG  Проверка же выполняется просто -
  OG  убедаемся в правильности формализации
  OG  и коректности правил вывода.

Ты пальцем покажи.  В смысле - предъяви доказательство правильности
формализации любого _практического_ программно-аппаратного комплекса.


http://ertos.nicta.com.au/research/sel4/

Информация разбросана по инету.


  OG  Доказательство проверится автоматичеки.

Автоматическую проверялку доказательства уже доказали?  А автомат, на
котором оно проверяет?


Было бы время и возможности.

Но сложности все таки есть. Например

  http://en.wikipedia.org/wiki/Kepler_conjecture

из осторожности не признают доказанной. Хотя машинное доказательство

  http://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer

было принято общественностью.


Тесты ту же вероятность обычно дают дешевле.
  
  OG  В доказательстве нет места вероятности.

Это очень наивное утверждение.  Мягко говоря, не соответствующее 
действительности.

Из wikipedia:

In 2005 Benjamin Werner and Georges Gonthier formalized a proof of the 
four color theorem inside the Coq proof assistant. This removed the need 
to trust the various computer programs used to verify particular cases; 
it is only necessary to *trust* the Coq kernel.


Вероятности *нет*.


Говорю как человек, который не только знает историю
великой теоремы Ферма, но и сам на практике предъявлял доказательство,
ошибку в котором нашел только третий проверяющий.

Я, знаешь ли, теорией доказательств на практике занимался...


У нас в университете один из преподавателей в 70-ых тоже ошибся,
всего лишь на 27 странице...


  OG  Тесты могут обнаружить ошибку,
  OG  но не могут гарантировать их отсутствие,
  OG  тогда как доказательство гарантирует.

Упущено ключевое слово.  _Верное_ доказательство.  И вот в этом слове и
прячется вероятность.


http://en.wikipedia.org/wiki/Computer-assisted_proof
http://en.wikipedia.org/wiki/Interactive_theorem_proving
http://en.wikipedia.org/wiki/Automated_proof_checking

Ошибки в реализации конечно возможны, но замечу
что доказательства прогонялись на различных версиях
и для некоторых сложных мат. теорем имеются доказательства
в различных системах.

Было бы время и возможности для проверки правильности реализации
proof checker'а.

Я верю что спустя некоторое время общественность примет машинные 
доказательства как равносильные бумажным.


И более *вероятность* правильности доказательства не будет пугать.

--
С уважением, Александр Гавенко.


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd7e9e6.6010...@bifit.com.ua



Голосовой синтезатор хатю :(

2010-04-28 Пенетрантность alexander
Привет.
Мне тут понадобилась программа синтезатор голоса, ну чтобы я чо нибудь
в микрофон скозаль, и прога эта переконвертировала это все в голос как
у робота-гобота. :*) В дебьяне есть такая прога?


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428182420.1b1cc...@mai1.mine.nu



Re: сертификация

2010-04-28 Пенетрантность Oleksandr Gavenko

On 2010.04.27 19:29, ivan demakov wrote:

On Tuesday 27 of April 2010 22:18:36 Виктор wrote:

*ФЕДЕРАЛЬНЫЙ ЗАКОН
от 27 июля 2006 года N 152-ФЗ

О ПЕРСОНАЛЬНЫХ ДАННЫХ*


В этом законе не сказано что необходимо использовать конкретно что-то.. там
  вообще как и в любом относительно вменяемом законе сказано вообще а не в
  частности. Вполне нормальные требования направленные защиту ПД.



то есть, как и в любом вменяемом законе, там сказано примерно следующее:
делится надо :-)



+1

Лучше пригласить на чашку кофе полковника, чем пытаться удовлетворить
законам защиты инф., песрональных данных и еще чего там придумали ))

--
С уважением, Александр Гавенко.


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd7eb2e.7060...@bifit.com.ua



Re: Голосовой синтезатор хатю :(

2010-04-28 Пенетрантность James Brown
alexander wrote:
 Привет.
 Мне тут понадобилась программа синтезатор голоса, ну чтобы я чо нибудь
 в микрофон скозаль, и прога эта переконвертировала это все в голос как
 у робота-гобота. :*) В дебьяне есть такая прога?
   

Хуюганить бум? Званить в экстр. службы?! :)

   


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd7ed28.7000...@gmail.com



Re: Голосовой синтезатор хатю :(

2010-04-28 Пенетрантность Stanislav Vlasov
28 апреля 2010 г. 13:24 пользователь alexander alexan...@mai1.mine.nu написал:
 Мне тут понадобилась программа синтезатор голоса, ну чтобы я чо нибудь
 в микрофон скозаль, и прога эта переконвертировала это все в голос как
 у робота-гобота. :*) В дебьяне есть такая прога?

sox штука универсальная.


-- 
Stanislav


Re: Голосовой синтезат ор хатю :(

2010-04-28 Пенетрантность alexander
On Wed, 28 Apr 2010 08:09:12 +
James Brown jbrownfi...@gmail.com wrote:

 alexander wrote:
  Привет.
  Мне тут понадобилась программа синтезатор голоса, ну чтобы я чо
  нибудь в микрофон скозаль, и прога эта переконвертировала это все в
  голос как у робота-гобота. :*) В дебьяне есть такая прога?

 
 Хуюганить бум? Званить в экстр. службы?! :)
 

 
 
:D ;) не-е, проста голоса нужно будет добавить в блендеровский мульт. ;D


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428191322.183f6...@mai1.mine.nu



Re: Голосовой синтезат ор хатю :(

2010-04-28 Пенетрантность alexander
On Wed, 28 Apr 2010 14:12:52 +0600
Stanislav Vlasov stanislav@gmail.com wrote:

 28 апреля 2010 г. 13:24 пользователь alexander
 alexan...@mai1.mine.nu написал:
  Мне тут понадобилась программа синтезатор голоса, ну чтобы я чо
  нибудь в микрофон скозаль, и прога эта переконвертировала это все в
  голос как у робота-гобота. :*) В дебьяне есть такая прога?
 
 sox штука универсальная.
 
 
ога ;) спасибки


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428191410.3bd3b...@mai1.mine.nu



Re: сертификация

2010-04-28 Пенетрантность Oleksandr Gavenko

On 2010.04.27 20:30, Виктор wrote:

Вот, к вопросу целостности ПО..
Скорей вопрос к математикам – какова вероятность (или хотя бы её
порядок) существования двух аналогичных (равных) контрольных сумм для
одного имени (ПО/файла) ?

Малая.

И с течением времени все меняется:

http://groups.google.com/group/mozilla.dev.security/msg/0af9dd6d772ae868

June 30, 2011 – Mozilla will stop accepting MD5 as a hash algorithm for
intermediate and end-entity certificates.

December 31, 2010 – CAs must stop issuing from 1024-bit roots. All CAs
must also stop issuing 1024-bit certificates under any root.

December 31, 2013 – Mozilla will disable or remove all 1024-bit root
certificates.


Насчет механизма защиты и безопасности MS.. все в курсе, что довольно
часты подмены файлов исполняемой среды в том числе и компонентов ядра.
При этом, усё работает на ура :(


http://en.wikipedia.org/wiki/ARM_architecture#Security_Extensions_.28TrustZone.29
http://www.arm.com/products/processors/technologies/trustzone.php

Вроде как позволит проверять подпись по выполняемой порцией кода
перед выполнением.

Кроме безопасности конечно это неограниченые возможности
для DRM.


--
С уважением, Александр Гавенко.


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd7f0fa.8060...@bifit.com.ua



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Yuri Kozlov - debian-russian@lists.debian.org  @ Tue, 27 Apr 2010 19:22:15 
+0400:

 Подумалось: а почему бы сертифицирующим организациям просто не
 выложить тесты, которые они проводят, чтобы любой смог это сделать
 и убедиться в правильности работы комплекса?

Потому что тогда можно будет сделать модификацию, формально
проходящую данные тесты, но работающую в местах, не покрытых
тестами, совершенно иначе.
  
   YK То есть они прячут свои неполные тесты? Напоминает секретные
   YK алгоритмы шифрования.  Результат известен.
  
  Тебе напомнить, сколько лет проходит между изобретением открытого
  алгоритма шифрования и его более-менее повсеместным внедрением?  И
  сколько усилий тратится в эти годы на его взлом?
  
  Тебе действительно нужен, проводя экстраполяцию по размеру,
  сертифицированный дистрибутив ALT Linux пятидесятого тысячелетия до
  нашей эры?

 YK Тогда может ну её нафиг, сертификацию?

А это уже не ко мне вопрос.  Но вообще идея такова, что тут обе
крайности плохи.

  А вот где именно они неполны, диверсанту лучше бы не знать.

 YK То есть предполагается, что он не знает. Хорошо живём.
 YK А может лучше это, как с алгоритмами? Открыть? Может и подсказал бы кто?
 YK Пополнее были бы, тесты то.

Не, не лучше.  Между тестируемой программой и тестами есть большая разница.

И кстати, о пополнее.  Помнится, мы как-то сделали тесты пополнее.
Они сразу вместо пяти минут стали выполняться по три часа.  И это мы еще
сильно урезали перебор...


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/62966...@wizzle.ran.pp.ru



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Victor Wagner - debian-russian@lists.debian.org  @ Tue, 27 Apr 2010 19:34:36 
+0400:

  Во-первых, кажется, придумана, а не разработана (ну, то есть workflow,
  может, даже и разработана, а сами-то тесты - нет).  А во-вторых, ну ты

 VW Ну сами-то тесты нужно под каждое конкретное ТЗ разрабатывать отдельно.

Во-во.

-- 
Тормоз - тоже механизм, только медленный совсем.


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/86166...@wizzle.ran.pp.ru



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Yuri Kozlov - debian-russian@lists.debian.org  @ Tue, 27 Apr 2010 19:07:22 
+0400:

   Подумалось: а почему бы сертифицирующим организациям просто не выложить
   тесты, которые они проводят, чтобы любой смог это сделать и
   убедиться в правильности работы комплекса?
  
  Потому что организация сертифиц. органов иерархическая -
  главные выдают лицензию на возмождность проводить сертифик. работы.
  Соответственно это *оплачивается* лицензиатом.
  Далее каждая испытательная лаборатория изобретает *свои* тесты
  и главный сертиф. орган утверждает этот набор тестов.
  Соответственно это *оплачивается* лицензиатом.
  
  Потом вы при сертификации конечного продукта
  оплачиваете как минимум эти издержки сертиф. лаборатории.
  
  Кто после этого бесплатно будет раздавать тесты?

 YK Логика понятна. Непонятно в ней одной. Почему органы, существующие
 YK на налоги, предлагают ещё раз оплатить выполнение своих должностных
 YK обязанностей?  Заметим, что необходимость сертификации придумал
 YK тоже не я, а некие люди, также работающие за гос.деньги.

По-хорошему, тоже понятно.  Иначе они ддосятся на раз.

-- 
Я не хочу играть за Моргота в игру если бы Морготом был я
(С)энта


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20086...@wizzle.ran.pp.ru



Re: сертификация

2010-04-28 Пенетрантность Oleksandr Gavenko

On 2010.04.28 12:15, Artem Chuprina wrote:

Yuri Kozlov -  debian-russian@lists.debian.org  @ Tue, 27 Apr 2010 19:07:22 
+0400:
  Подумалось: а почему бы сертифицирующим организациям просто не выложить
  тесты, которые они проводят, чтобы любой смог это сделать и
  убедиться в правильности работы комплекса?

Потому что организация сертифиц. органов иерархическая -
главные выдают лицензию на возмождность проводить сертифик. работы.
Соответственно это *оплачивается* лицензиатом.
Далее каждая испытательная лаборатория изобретает *свои* тесты
и главный сертиф. орган утверждает этот набор тестов.
Соответственно это *оплачивается* лицензиатом.
  
Потом вы при сертификации конечного продукта
оплачиваете как минимум эти издержки сертиф. лаборатории.
  
Кто после этого бесплатно будет раздавать тесты?

  YK  Логика понятна. Непонятно в ней одной. Почему органы, существующие
  YK  на налоги, предлагают ещё раз оплатить выполнение своих должностных
  YK  обязанностей?  Заметим, что необходимость сертификации придумал
  YK  тоже не я, а некие люди, также работающие за гос.деньги.

По-хорошему, тоже понятно.  Иначе они ддосятся на раз.


Справедливо, этот как например если бы 2 байтный
Vendor ID для USB устройств стоил 1$,
некто мог бы потратить 65.000$ для скупки всех возможных значений.

А так давай 2000$ за штуку - не каждый пошутит.

http://www.usb.org/developers/vendor/

--
С уважением, Александр Гавенко.


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd80a5d.3030...@bifit.com.ua



csepdjvu, RLE и все все все

2010-04-28 Пенетрантность Alexey Shaposhnikov

Как в дебиане преобразовать изображение в формат RLE (для csepdjvu)?
imagemagick требует установки utr (Utah Raster Toolkit), а pamtodjvurle
из дебиановской версии netpbm исключили за идеологическую
несовместимость.

-- 
С уважением, Алексей Шапошников.



--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428162421.1d777...@warrawoona.sti



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Oleksandr Gavenko - debian-russian@lists.debian.org  @ Wed, 28 Apr 2010 
11:00:46 +0300:

  *ФЕДЕРАЛЬНЫЙ ЗАКОН
  от 27 июля 2006 года N 152-ФЗ
 
  О ПЕРСОНАЛЬНЫХ ДАННЫХ*
 
  В этом законе не сказано что необходимо использовать конкретно что-то.. там
вообще как и в любом относительно вменяемом законе сказано вообще а не в
частности. Вполне нормальные требования направленные защиту ПД.
 
 
  то есть, как и в любом вменяемом законе, там сказано примерно следующее:
  делится надо :-)
 
 
 OG +1

 OG Лучше пригласить на чашку кофе полковника, чем пытаться удовлетворить
 OG законам защиты инф., песрональных данных и еще чего там придумали ))

Целого полковника всего лишь на чашку кофе!?  Не, это однозначное
невыполнение требований ФЗ...

-- 
Делу время, потехе - деньги.
Кнышев


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/87917...@wizzle.ran.pp.ru



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Oleksandr Gavenko - debian-russian@lists.debian.org  @ Wed, 28 Apr 2010 
10:55:18 +0300:

OG  Я бы сказал так - на Си код тяжело верифицировать,
OG  скорее всего придется отказаться от существующего кода
OG  и писать на более формальном языке - например Лиспе.
 
  У меня фортунка на эту тему любимая есть...
 
  Greenspun's Tenth Rule of Programming: any sufficiently complicated C
  or Fortran program contains an ad hoc informally-specified bug-ridden
  slow implementation of half of Common Lisp.
-- Phil Greenspun
  Including Common Lisp.
-- Robert Morris
 
 OG OK!

  Реализацию лиспа, на которой оно выполняется, кто доказывать будет?
  -Пушкин- МакКарти?

 OG Было бы время и возможности.

Пара лишних возрастов Вселенной?

Реализацию CL на C доказать - это не баран чихнул.  Даром, что ли,
безглючных не существует?

Вот Scheme еще можно пробовать.

  И в общем, да, ты тот лисп вообще видел?  Программы на нем писал?
 OG не CL но elisp достаточно, но это не важно

  Отлаживал?  А реальные программы, не учебные задачи?  Я б тебя еще
  понял, если б ты Хаскель назвал - тот чисто функциональный, там
  действительно существенно легче верифицировать.  А как только у тебя
  в языке есть присваивание - все, туши свет...
 
 OG в этой области профан

Ну, стало быть, и в доказательстве программ тоже профан.

OG   Доказательство же позволит избежать полного невозможного
OG   перебора для тестирования.

  Нивапрос.  Если его удастся, во-первых, построить, а во-вторых,
  проверить.
OG  Построить действительно на данный момент тяжело.
OG  Проверка же выполняется просто -
OG  убедаемся в правильности формализации
OG  и коректности правил вывода.
 
  Ты пальцем покажи.  В смысле - предъяви доказательство правильности
  формализации любого _практического_ программно-аппаратного комплекса.
 
 OG http://ertos.nicta.com.au/research/sel4/

 OG Информация разбросана по инету.

0. Это только программный.  Я просил программно-аппаратный.

1. И практический.

OG  Доказательство проверится автоматичеки.
 
  Автоматическую проверялку доказательства уже доказали?  А автомат, на
  котором оно проверяет?
 
 OG Было бы время и возможности.

... еще пара возрастов Вселенной...

 OG Но сложности все таки есть. Например

 OG   http://en.wikipedia.org/wiki/Kepler_conjecture

 OG из осторожности не признают доказанной. Хотя машинное доказательство

 OG   http://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer

 OG было принято общественностью.

... т.е. общественность после продолжительных дебатов решила черт с
вами, поверим.

  Тесты ту же вероятность обычно дают дешевле.

OG  В доказательстве нет места вероятности.
 
  Это очень наивное утверждение.  Мягко говоря, не соответствующее 
  действительности.
 OG Из wikipedia:

 OG In 2005 Benjamin Werner and Georges Gonthier formalized a proof of the four
 OG color theorem inside the Coq proof assistant. This removed the need to 
trust
 OG the various computer programs used to verify particular cases; it is only
 OG necessary to *trust* the Coq kernel.

 OG Вероятности *нет*.

Ну что значит нет?  Поленились оценить - да, верю.

OG  Тесты могут обнаружить ошибку,
OG  но не могут гарантировать их отсутствие,
OG  тогда как доказательство гарантирует.
 
  Упущено ключевое слово.  _Верное_ доказательство.  И вот в этом слове и
  прячется вероятность.
 
 OG http://en.wikipedia.org/wiki/Computer-assisted_proof
 OG http://en.wikipedia.org/wiki/Interactive_theorem_proving
 OG http://en.wikipedia.org/wiki/Automated_proof_checking

 OG Ошибки в реализации конечно возможны, но замечу
 OG что доказательства прогонялись на различных версиях
 OG и для некоторых сложных мат. теорем имеются доказательства
 OG в различных системах.

На различных версиях - это вообще не аргумент.  Различные версии имеют
тенденцию иметь близкие наборы ошибок.

Различные системы - уже лучше, но тоже, в общем...  Понимаешь, фраза
имеются доказательства в различных системах - это тест, а тесты
могут... далее см. цитату из тебя же 20 строками выше.

 OG Было бы время и возможности для проверки правильности реализации
 OG proof checker'а.

 OG Я верю что спустя некоторое время общественность примет машинные
 OG доказательства как равносильные бумажным.

Я могу поверить, что компьютерное доказательство современной теоремы
более надежно, чем человеческое.  Но вероятность того, что оно верно,
все равно отлична от 1.  А вероятность того, что правильная программа в
реальной жизни однажды не сработает, даже вполне заметно отлична от 1 -
практика показывает, что даже для не шибко распространенного софта раз
лет в 10 такое всплывает.

Не говоря уже о том, что событие с вероятностью 1, как нас учит теория
вероятностей, тоже может не произойти как нефиг делать.  (Мой любимый
пример на эту тему - выбор точки на отрезке [0;1].  Какая-то точка
обязательно будет выбрана - но вероятность ее выбора в точности равна
0.)


-- 
To UNSUBSCRIBE, email to 

Re: [Fwd: Re: сертификация]

2010-04-28 Пенетрантность Artem Chuprina
Stanislav Maslovski - ivan demakov  @ Tue, 27 Apr 2010 18:26:02 +0100:

  Неужто в SeLinix закладки есть?

 SM А вот наше мышление - повсюду кровавая гебня мерещится. =)

Им там тоже везде NSA мерещится.  S-блоки для DES чуть ли не до сих пор
копают на предмет закладок.  Хотя он уж брутфорсится давно.

-- 
Может, тебе еще секретный ключ от шкатулки с сильмариллами?
(С)энта


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/05832...@wizzle.ran.pp.ru



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Виктор - debian-russian@lists.debian.org  @ Tue, 27 Apr 2010 23:30:16 +0600:

 В Скорей вопрос к математикам – какова вероятность (или хотя бы её
 В порядок) существования двух аналогичных (равных) контрольных сумм
 В для одного имени (ПО/файла) ?

Зависит от используемого алгоритма и степени злонамеренности того, кто
пытается подменить один файл другим.

Есть две оценки - одна найти файл с заданной суммой (тут у любого
приличного алгоритма в случайном случае 1/2 в степени размер хэша в
битах), другая найти два различных файла с совпадающей, но наперед не
заданной суммой (тут вероятность равна корню из предыдущей).

Алгоритм считается криптографически стойким, пока эти оценки даже при
намеренной атаке улучшить не удается - или удается незначительно, так
чтобы не удавалось провести намеренную атаку за разумное время.

MD5 на данный момент считается нестойким, потому что вторая атака на
современном железе дает результат часов за 8.  (Такая атака уже дает
возможность поиграть с отказом от подписи.)  Но об улучшении подбора
суммы под заданную я не слышал.

-- 
Балансу вежливости и самоуважения надо учиться у англичан. Они ко всем
обращаются на вы, но Я пишут с большой буквы
(c) Yuri Nesterenko


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/39751...@wizzle.ran.pp.ru



Re: [Fwd: Re: сертификация]

2010-04-28 Пенетрантность Artem Chuprina
Dmitry E. Oboukhov - Andrey Rahmatullin  @ Wed, 28 Apr 2010 09:47:06 +0400:

  в виндовсе из коробки тысяча демонов (простите - служб) работает
  от имени одного и того же юзера.
  root ?
 AR Нет, к счастью.

 DEO разницы немного. если ты взламываешь вебсервер - получаешь его
 DEO привилегии и если при этом они совпадают с привилегиями почтового
 DEO сервера стоящего тут же рядом, то считай что ты взломал и его.

 DEO какой толк в механизме если он отключен?

Надо сказать, что ихий LocalService может все же значительно меньше, чем
наш root.  А у нас, если веб-сервер без рута работать еще более-менее
научился, то ни почтовки, ни sshd - пока толком не.  Почтовку еще можно
запинать, но в норме - ценой зависимости от куда более глючного, чем она
сама, mysql (и ага, с веб-сервером, лезущим к тому же самому mysqld...)
А sshd так вообще никак.

Ну и потом, как в свое время правильно заметил Кошмарь, пофигу, под
каким юзером работает bind, если ты его взломал и поменял информацию,
которую он выдает...  TLS, конечно, мог бы спасти - но только в руках
криптографически грамотного пользователя, а таких даже в этой рассылке
существенно меньше половины, имхо.

Ну и эта...  В наше время за веб-сервером уже почти никто не охотится.
Веб-клиент - гораздо более вкусная цель.

-- 
kernel bug (англ.) - ядрёна вошь


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/73670...@wizzle.ran.pp.ru



Re: [Fwd: Re: сертификация]

2010-04-28 Пенетрантность Andrey Rahmatullin
On Wed, Apr 28, 2010 at 02:49:31PM +0400, Artem Chuprina wrote:
 Надо сказать, что ихий LocalService может все же значительно меньше, чем
 наш root.  
Почти рут там LocalSystem, и всякие там MSSQL в явном виде запрещается
пускать от его имени.

-- 
WBR, wRAR (ALT Linux Team)
Powered by the ALT Linux fortune(6):

drF_ckoff я ж говорил уже неоднократно - я пока морально не готов
пакаджером быть
Voins drF_ckoff, приезжай на фест, мы там тебя подготовим :)


signature.asc
Description: Digital signature


Re: Display Manager - kdm, gdm, xdm ,slim, wdm, qingy

2010-04-28 Пенетрантность Victor Wagner
On 2010.04.28 at 02:30:35 +0400, Dmitry Semyonov wrote:

 2010/4/27 Artem Chuprina wrote:
 
  Ну, скажем, gdm, в отличие от xdm, умеет в качестве штатной
  функциональности запустить второй экземпляр иксов.
 
 /etc/X11/xdm/Xservers:
 
 # Examples for multiple local X displays:
 # :0 local /usr/bin/X :0 vt9 -depth 15 -nolisten tcp
 # :1 local /usr/bin/X :1 vt10 -depth 8 -nolisten tcp
 
 Сам пользовался. Работало.
 Или что-то другое имелось в виду?

Имелось в виду: вот приходишь ты к машинке, на которой запущен один
экземпляр X-ов, и видишь, что кто-то машинку занял и залочил
xscreensaver-ом. Ты жмешь на кнопку, xscreensaver что-то говорит gdm-у и
тот поднимает тебе новый чистенький X-сервер, куда ты можешь
залогиниться.



-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428111003.ga13...@wagner.pp.ru



Re: [Fwd: Re: сертификация ]

2010-04-28 Пенетрантность Victor Wagner
On 2010.04.28 at 14:30:26 +0400, Artem Chuprina wrote:

 Stanislav Maslovski - ivan demakov  @ Tue, 27 Apr 2010 18:26:02 +0100:
 
   Неужто в SeLinix закладки есть?
 
  SM А вот наше мышление - повсюду кровавая гебня мерещится. =)
 
 Им там тоже везде NSA мерещится.  S-блоки для DES чуть ли не до сих пор
 копают на предмет закладок.  Хотя он уж брутфорсится давно.

Ну копать S-блоки на предмет закладок, это развлечение для безобидных
психов, вроде как констуировать вечные двигатели первого и второго рода,
решать квадратуру круга циркулем и линейкой и искать доказательство
теоремы Ферма, не выходя за пределы школьного курса алгебры.

А для безобидных психов уже не важно, брутфорсится оно или нет. 


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428111206.gb13...@wagner.pp.ru



Посоветуйте бюджетный стриммер

2010-04-28 Пенетрантность Korona Auto Ltd./ Andrey N. Prokofiev
день добрый. Необходимо приобрести стриммер в отсек 5,25. Что 
посоветуете? Желательно что-то не было проблем с поддержкой в lenny.


--
WBR, Andrey N. Prokofiev
IT department of the Korona Auto Ltd.
Jabber ID: a...@korona-auto.com
E-mail: a...@korona-auto.com
Work Phone: +7-812-640-56-01



--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd81d37.2090...@korona-auto.com



Re: [Fwd: Re: сертификация]

2010-04-28 Пенетрантность Konstantin Matyukhin
2010/4/28 Artem Chuprina r...@ran.pp.ru:
 Ну и эта...  В наше время за веб-сервером уже почти никто не охотится.
 Веб-клиент - гораздо более вкусная цель.
Что за каннибализм в рассылке.

-- 
С уважением,
Константин Матюхин


Re: сертификация

2010-04-28 Пенетрантность Oleksandr Gavenko

On 2010.04.28 13:26, Artem Chuprina wrote:

Oleksandr Gavenko -  debian-russian@lists.debian.org  @ Wed, 28 Apr 2010 
10:55:18 +0300:
Реализацию лиспа, на которой оно выполняется, кто доказывать будет?
-Пушкин- МакКарти?

  OG  Было бы время и возможности.

Пара лишних возрастов Вселенной?


Действительно тут нужно конструктивное доказательство - привести пример.
Не доказано, но и не опровергнуто.


И в общем, да, ты тот лисп вообще видел?  Программы на нем писал?
  OG  не CL но elisp достаточно, но это не важно

Отлаживал?  А реальные программы, не учебные задачи?  Я б тебя еще
понял, если б ты Хаскель назвал - тот чисто функциональный, там
действительно существенно легче верифицировать.  А как только у тебя
в языке есть присваивание - все, туши свет...
  
  OG  в этой области профан

Ну, стало быть, и в доказательстве программ тоже профан.


Согласен. Баловался основаниями математики и
использованием цифрового друга для
полуавтоматического доказательства теорем.
Но освоить lambda calculus и Martin-Löf type theory
выпускникам мех-мата не проблема ))


  OG  Но сложности все таки есть. Например

  OGhttp://en.wikipedia.org/wiki/Kepler_conjecture

  OG  из осторожности не признают доказанной. Хотя машинное доказательство

  OGhttp://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer

  OG  было принято общественностью.

... т.е. общественность после продолжительных дебатов решила черт с
вами, поверим.


Нет - просто бородатые профессора еще боятся компьютеров.


  OG  Я верю что спустя некоторое время общественность примет машинные
  OG  доказательства как равносильные бумажным.

Я могу поверить, что компьютерное доказательство современной теоремы
более надежно, чем человеческое.  Но вероятность того, что оно верно,
все равно отлична от 1.  А вероятность того, что правильная программа в
реальной жизни однажды не сработает, даже вполне заметно отлична от 1 -
практика показывает, что даже для не шибко распространенного софта раз
лет в 10 такое всплывает.


Дома стоят, самолеты летают.

В софте есть проблемы - пишут его на коленках
с использованием опасных языков програмирования
для небезопасных платформ.


Не говоря уже о том, что событие с вероятностью 1, как нас учит теория
вероятностей, тоже может не произойти как нефиг делать.  (Мой любимый
пример на эту тему - выбор точки на отрезке [0;1].  Какая-то точка
обязательно будет выбрана - но вероятность ее выбора в точности равна
0.)


Ага, мера Лебега одноэлементного множества
на действительной прямой равна 0.

В формальной логике нет понятия вероятности,
либо имеется доказательство теоремы из соответствующих аксиом
и правил вывода либо нет.

Имеется эффективная процедура для установления того факта
является ли последовательность утверждений выводом в логическом
исчислении. А иначе как?

Человеческий фактор есть проблема.

--
С уважением, Александр Гавенко.


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd822db.8010...@bifit.com.ua



повторяющаяся ошибка при компиляции ядра

2010-04-28 Пенетрантность C S
День добрый,

в очередной раз при компиляции еррор:
make[1]: Leaving directory `/usr/src/linux-source-2.6.33'
/usr/bin/makeARCH=i386 \
 -C Documentation/lguest
make[1]: Entering directory `/usr/src/linux-source-2.6.33/Documentation/lguest'
cc -m32 -Wall -Wmissing-declarations -Wmissing-prototypes -O3 -I../../include 
-I../../arch/x86/include -U_FORTIFY_SOURCElguest.c   -o lguest
lguest.c:21:25: error: sys/eventfd.h: Нет такого файла или каталога
lguest.c: In function ‘create_thread’:
lguest.c:1027: warning: implicit declaration of function ‘eventfd’
make[1]: *** [lguest] Ошибка 1
make[1]: Leaving directory `/usr/src/linux-source-2.6.33/Documentation/lguest'
make: *** [debian/stamp/build/kernel] Ошибка 2

при этом уже явно комментарил в /usr/src/linux-source-2.6.33/.config 
(скопированного с /boot/config-2.6.26-2-686) строку с параметром 
#CONFIG_EVENTFD=y

но упорно вылазит та же ошибка ((...
куда копать дальше?

С уважением,
Чертов Вячеслав


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/73361272456...@web137.yandex.ru



Re: [Fwd: Re: сертификация]

2010-04-28 Пенетрантность Artem Chuprina
Andrey Rahmatullin - debian-russian@lists.debian.org  @ Wed, 28 Apr 2010 
16:52:22 +0600:

  Надо сказать, что ихий LocalService может все же значительно меньше, чем
  наш root.  
 AR Почти рут там LocalSystem, и всякие там MSSQL в явном виде запрещается
 AR пускать от его имени.

Ну вот то-то и оно.  Многие сервисы работают ни разу не от него.  Родные
так только те, которым оно таки да, по делу надо.  (Оный LocalSystem,
кстати, в сеть ходить не может...)

-- 
Нужны две программы - одна с интерфейсом, а другая чтобы работу делала.
Victor Wagner в aut24i$gc...@wagner.wagner.home


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/07596...@wizzle.ran.pp.ru



Re: повторяющаяся ошибка при компиляции ядра

2010-04-28 Пенетрантность C S
ещё заметил вот что, после 
#make menuconfig
жму на Load an Alternate Configuration File -.config (в котором отключен 
параметры CONFIG_EVENTFD,  CONFIG_HAVE_PERF_EVENTS, CONFIG_PERF_EVENTS и 
CONFIG_EVENT_PROFILE)
потом добавляю в меню несколько параметров и Exit- Do you wish to save your 
new kernel configuration? 
жму Yes и просмотрев файл /usr/src/linux-source-2.6.33/.config обнаруживаю, что 
там параметры уже включены вышеуказанные (((

из-за чего  такое может происходить? 

]  в очередной раз при компиляции еррор:
]  make[1]: Leaving directory `/usr/src/linux-source-2.6.33'
]  /usr/bin/makeARCH=i386 \
]   -C Documentation/lguest
]  make[1]: Entering directory 
`/usr/src/linux-source-2.6.33/Documentation/lguest'
]  cc -m32 -Wall -Wmissing-declarations -Wmissing-prototypes -O3 
-I../../include -I../../arch/x86/include -U_FORTIFY_SOURCElguest.c   -o 
lguest
]  lguest.c:21:25: error: sys/eventfd.h: Нет такого файла или каталога
]  lguest.c: In function ‘create_thread’:
]  lguest.c:1027: warning: implicit declaration of function ‘eventfd’
]  make[1]: *** [lguest] Ошибка 1
]  make[1]: Leaving directory 
`/usr/src/linux-source-2.6.33/Documentation/lguest'
]  make: *** [debian/stamp/build/kernel] Ошибка 2

  С уважением,
 Чертов Вячеслав


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/288091272457...@web131.yandex.ru



Re: Display Manager - kdm, gdm, xdm ,slim, wdm, qingy

2010-04-28 Пенетрантность Alexander Danilov

28.04.2010 00:40, Victor Wagner пишет:


xdm - оригиналный X-овый display manager. соответственно лучше всего
умеет вести себя при работе по XDMCP, но зато имеет меньше всего фич из
эпохи персоналок, вроде возможности выключить компьютер не логинясь,
запустить второй X-сервер ...



Что легко исправляется с помощью xmessage или tcl/tk на выбор, так как xdm 
умеет запускать
скрипты при старте, так что по центру экрана ввод пароля, а внизу можно 
запросто разместить кнопки
выключения, перезагрузки и создания нового xdm. Единственное, с чем, возможно, придётся повозиться - 
так это со взаимодействием xscreensaver и xdm.



--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd82a92.40...@gmail.com



Re: RU-CENTER отбирает домен ы в географических зонах второго уровня

2010-04-28 Пенетрантность Denis Feklushkin
On Wed, 28 Apr 2010 00:05:59 +0300
thevoan l...@voan.ru wrote:

 27.04.2010 22:57, Andrey N. Prokofiev пишет:
  Честно говоря я опечален. Выходит что меня в принудительном порядке 
  обяжут платить за домен в зоне spb.ru. Остается два варианта исхода 
  событий:
  1) Либо платить ценник, соизмеримый с ценником домена второго уровня и 
  пользоваться доменом дальше.
  2) Либо не платить и потерять домен.
 
  Как-то не unix-way с их стороны :(
 
  -- 
  WBR, Andrey N. Prokofiev
  IT department of the Korona Auto Ltd.
  Jabber ID: a...@korona-auto.com
  E-mail: a...@korona-auto.com
  Work Phone: +7-812-640-56-01
 
 
 
 ну, россия в этом не одинока :-)
 бесплатно им нет смысла содержать эти домены, осн. пользователи вполне 
 платёжеспособны, так что это всё ожидаемо.

Что значит содержать? Регистрация домена это же просто запись в 
регистрационных документах (Даже не поддержка ДНС-сервера)


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428204059.4160e...@db.h-g.com



Re: Посоветуйте бюджет ный стриммер

2010-04-28 Пенетрантность Denis Feklushkin
On Wed, 28 Apr 2010 15:34:15 +0400
Korona Auto Ltd./ Andrey N. Prokofiev a...@korona-auto.com wrote:

 день добрый. Необходимо приобрести стриммер в отсек 5,25. Что 
 посоветуете? Желательно что-то не было проблем с поддержкой в lenny.

Похоже их нету. Точнее их заменяет PCI контроллер SATA (чтоб хотсвоп был) и 
покупка отдельно саташных винтов


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428204259.0f020...@db.h-g.com



Re: Display Manager - kdm, gdm, xdm ,slim, wdm, qingy

2010-04-28 Пенетрантность Victor Wagner
On 2010.04.28 at 21:31:14 +0900, Alexander Danilov wrote:

 28.04.2010 00:40, Victor Wagner пишет:

 xdm - оригиналный X-овый display manager. соответственно лучше всего
 умеет вести себя при работе по XDMCP, но зато имеет меньше всего фич из
 эпохи персоналок, вроде возможности выключить компьютер не логинясь,
 запустить второй X-сервер ...


 Что легко исправляется с помощью xmessage или tcl/tk на выбор, 
 так как xdm умеет запускать
 скрипты при старте, так что по центру экрана ввод пароля, 
 а внизу можно запросто разместить кнопки
 выключения, перезагрузки и создания нового xdm. Единственное, с чем, 

Вообще-то у меня когда-то была так сделана кнопка управления модемом.
Которая показывала, не занята ли какой программой (uucp, ifcico, pppd,
входящей диалапной сессией)
телефонная линия, позволяла нажатием этой кнопки ответить на входящий
звонок (по умолчанию у меня тогда mgetty ждала аж десять гудков, чтобы
первым трубку снял живой человек, если он в квартире есть)

Но больше всего меня раздражает в xdm то, что логинный виджет там прибит
гвоздями внутрь. chooser вот сделан отдельным процессом и над ним можно
измываться. А сделали бы логинный виджет отдельным процессом,  чтобы
запускался из собственно xdm popen-ом и писал на свой stdout имя и
пароль (примерно как ssh-askpass делает) - какой бы был простор для
маневра. 

Впрочем возможность из chooser-а выбрать винду и запутить на нее
rdesktop вместо получения логинного виджета я в свое время не докрутил.


 возможно, придётся повозиться - так это со взаимодействием xscreensaver и 
 xdm.

Придется.


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428131627.ga16...@wagner.pp.ru



Re: RU-CENTER отбирает домены в г еографических зонах второго уро вня

2010-04-28 Пенетрантность Dmitry Fedorov
28 апреля 2010 г. 19:40 пользователь Denis Feklushkin написал:
 Что значит содержать? Регистрация домена это же просто запись в 
 регистрационных документах (Даже не поддержка ДНС-сервера)

Документы надо где-то хранить.


Re: Посоветуйте бюджетны й стриммер

2010-04-28 Пенетрантность Dmitri Samsonov
Korona Auto Ltd./ Andrey N. Prokofiev пишет:
 день добрый. Необходимо приобрести стриммер в отсек 5,25. Что
 посоветуете? Желательно что-то не было проблем с поддержкой в lenny.

  Из бюджетных вариантов, наверное, только miniDV-рекордер или камера. C
обычными miniDV-кассетами (~10Gb на каждую).
  Смотреть в сторону dvbackup.

  Правда, с форм-фактором 5.25 могут быть трудности.

--
Dmitri Samsonov


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd8499c.2080...@gmail.com



Re: сертификация

2010-04-28 Пенетрантность Artem Chuprina
Oleksandr Gavenko - debian-russian@lists.debian.org  @ Wed, 28 Apr 2010 
14:58:19 +0300:

OG  Я верю что спустя некоторое время общественность примет машинные
OG  доказательства как равносильные бумажным.
 
  Я могу поверить, что компьютерное доказательство современной теоремы
  более надежно, чем человеческое.  Но вероятность того, что оно верно,
  все равно отлична от 1.  А вероятность того, что правильная программа в
  реальной жизни однажды не сработает, даже вполне заметно отлична от 1 -
  практика показывает, что даже для не шибко распространенного софта раз
  лет в 10 такое всплывает.
 
 OG Дома стоят, самолеты летают.

Хороший пример.  И дома, и особенно самолеты падают, прямо скажем, нередко.

 OG В софте есть проблемы - пишут его на коленках
 OG с использованием опасных языков програмирования
 OG для небезопасных платформ.

В том случае, который был у нашей конторы, ничем кроме взглюка железа,
объяснить проблему не удалось.  С перепроверками этого места и попытками
воспроизвести проблему возились около года.

Кстати, известный факт - да, вероятность детерминированного выполнения
детерминированного алгоритма на существующем железе меньше 1.  В
достаточной степени меньше, чтобы это вызывало вполне реальные проблемы.
И чтобы десяток прогонов вероятностного теста на простоту давал лучшую
вероятность того, что число простое, чем вероятность, что все
арифметические действия в процессе выполнились правильно...

  Не говоря уже о том, что событие с вероятностью 1, как нас учит теория
  вероятностей, тоже может не произойти как нефиг делать.  (Мой любимый
  пример на эту тему - выбор точки на отрезке [0;1].  Какая-то точка
  обязательно будет выбрана - но вероятность ее выбора в точности равна
  0.)
 
 OG Ага, мера Лебега одноэлементного множества
 OG на действительной прямой равна 0.

 OG В формальной логике нет понятия вероятности,
 OG либо имеется доказательство теоремы из соответствующих аксиом
 OG и правил вывода либо нет.

 OG Имеется эффективная процедура для установления того факта
 OG является ли последовательность утверждений выводом в логическом
 OG исчислении. А иначе как?

 OG Человеческий фактор есть проблема.

Причем в данном случае принципиально неустранимая.  Можно только
уменьшить его влияние.


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/75436...@wizzle.ran.pp.ru



PKCS#11 в ssh

2010-04-28 Пенетрантность Andrey Rahmatullin
Новый openssh (5.4+), кажется, научился PKCS#11. Здесь наверняка есть
владельцы соответствующих токенов, никто случайно не может поделиться
success story?

-- 
WBR, wRAR (ALT Linux Team)
Powered by the ALT Linux fortune(6):

hiddenman vvk_home: святые были? (ldv, vsu, etc?)
vvk_home hiddenman: ldv был, а vsu вроде вообще не ездит на фесты
hiddenman vvk_home: я так и знал, что он не человек
vvk_home hiddenman: :))
raorn vsu в муроме. лежит на печи с ноутом.
hiddenman raorn: не покрывай его. не человек он и все тут. робот. linux
inside


signature.asc
Description: Digital signature


Re: сертификация

2010-04-28 Пенетрантность Yuri Kozlov
В Wed, 28 Apr 2010 13:15:22 +0400
Artem Chuprina r...@ran.pp.ru пишет:

   Кто после этого бесплатно будет раздавать тесты?
 
  YK Логика понятна. Непонятно в ней одной. Почему органы, существующие
  YK на налоги, предлагают ещё раз оплатить выполнение своих должностных
  YK обязанностей?  Заметим, что необходимость сертификации придумал
  YK тоже не я, а некие люди, также работающие за гос.деньги.
 
 По-хорошему, тоже понятно.  Иначе они ддосятся на раз.

Конечно, поэтому сами досят всех остальных.

-- 
Best Regards,
Yuri Kozlov


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428185722.60877...@keeper.home.local



Re: Посоветуйте бюджетный стриммер

2010-04-28 Пенетрантность Lev Arzhanov
 день добрый. Необходимо приобрести стриммер в отсек 5,25. Что 
 посоветуете? Желательно что-то не было проблем с поддержкой в lenny.

Проблем нет с любым SCSI либо SAS, при условии, что их (проблем) нет со
SCSI (SAS) контроллером.

-- 
С уважением,
Лев Аржанов



Re: Посоветуйте бюджетны й стриммер

2010-04-28 Пенетрантность Andrey N. Prokofiev

Lev Arzhanov пишет:

Проблем нет с любым SCSI либо SAS, при условии, что их (проблем) нет со
SCSI (SAS) контроллером.
  
А ткнуть на достойную модель можете? Какого вендора лучше брать? Бюджет 
до 70 наших деревянных.



--
WBR, Andrey N. Prokofiev
IT department of the Korona Auto Ltd.
Jabber ID: a...@korona-auto.com
E-mail: a...@korona-auto.com
Work Phone: +7-812-640-56-01



--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd85425.3070...@korona-auto.com



Re: Посоветуйте бюджетный стр иммер

2010-04-28 Пенетрантность Sapytsky Ilya
не вижу никаких трудностей - у меня работают без проблем hp surestore vs80
(dlt 80g нежатых) и забыл название hp lto2 (200 нежатых). Оба сначала раньше
были в сервере в 5,25 отсеке вместо CD-rom, потом, как появились деньги,
прикупил 1u коробку для них и всё продолжает работать дальше... Даже
прикупил 1u автолоадер от hp c lto2.

28 апреля 2010 г. 18:43 пользователь Dmitri Samsonov 
samson.samson.sam...@gmail.com написал:

 Korona Auto Ltd./ Andrey N. Prokofiev пишет:
  день добрый. Необходимо приобрести стриммер в отсек 5,25. Что
  посоветуете? Желательно что-то не было проблем с поддержкой в lenny.

   Из бюджетных вариантов, наверное, только miniDV-рекордер или камера. C
 обычными miniDV-кассетами (~10Gb на каждую).
  Смотреть в сторону dvbackup.

  Правда, с форм-фактором 5.25 могут быть трудности.

 --
 Dmitri Samsonov


 --
 To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
 with a subject of unsubscribe. Trouble? Contact
 listmas...@lists.debian.org
 Archive: http://lists.debian.org/4bd8499c.2080...@gmail.com




Re: Посоветуйте бюджетный стр иммер

2010-04-28 Пенетрантность Sapytsky Ilya
28 апреля 2010 г. 19:28 пользователь Andrey N. Prokofiev 
a...@korona-auto.com написал:

 Lev Arzhanov пишет:

  Проблем нет с любым SCSI либо SAS, при условии, что их (проблем) нет со
 SCSI (SAS) контроллером.


 А ткнуть на достойную модель можете? Какого вендора лучше брать? Бюджет до
 70 наших деревянных.

 всегда использовал HP - хорошо, но к концу стандартной гарантии лучше
купить карепак, чтобы не думалось.. а за 5 лет успеете другой стример
купить...
сейчас у меня так - dlt + lto2 стримеры на чтение (стары они уже для
продакшена, но оба с продленной гарантией. Чтение старых лент тоже нужно,
даже через 6 лет... сегодня как раз доставал данные конца 5 года - манагерам
понадобилось!)
автолоадер lto2 от hp на 8 кассет в продакшене трудиться.. как будет
заканчиваться гарантия - куплю карепак на 2 года..


Re: Посоветуйте бюдже тный стриммер

2010-04-28 Пенетрантность Dmitri Samsonov
Sapytsky Ilya пишет:
 не вижу никаких трудностей - у меня работают без проблем hp surestore vs80
 (dlt 80g нежатых) 

  ~1500$

 и забыл название hp lto2 (200 нежатых).

  800-1000$

  Это в разы дороже лишайного и на коленках решения с miniDV-камерой
или рекордером. Ну и miniDV-кассеты будут дешевле (хотя и всего на 10Gb).

  Вопрос в том, что считать бюджетным решением.

--
Dmitri Samsonov


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd8573f.5060...@gmail.com



Re: Посоветуйте бюджетны й стриммер

2010-04-28 Пенетрантность Dmitri Samsonov
Denis Feklushkin пишет:
 Похоже их нету. Точнее их заменяет PCI контроллер SATA (чтоб хотсвоп был) и 
 покупка отдельно саташных винтов

  Только винты в разы более хрупкие, чем ленты.

--
Dmitri Samsonov


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd857e2.5060...@gmail.com



spottan maliyetine okul defterleri

2010-04-28 Пенетрантность eldeberan tour
Sayın Yetkili

Elimizde mevcut olan birinci hamur kaliteli okul defterleri maliyetinin altında 
spottan satılıktır ilgilenenlerin tarafımıza başvurmaları rica olunur.

80 A4İki konulu plastik kaplı spiralli defter   3984 adetdefter 
  tane 1.250+ kdv  % 8
80 A5   karton kapaklı okul defteri   1440 adet 425   + kdv % 8
72 A5 plastik kapaklı okul defteri 5700 adet 675 + kdv%8
120 A4 spiralli okul defteri 540 adet   1300 +kdv %8
Toplam fiyattan % 15 daha indirim yapılır.

İsmail Hakkı Pehlivan
0 532 3118697

Eldeberan Turizm ltd.Şti
WEB:  www.ilayderi.com

0 532 3118697-  0 374 3118697
Mail. eldebe...@ttnet.net.tr   /  i...@ilayderi.com. msn. 
eldeberan...@hotmail.com

NOT: GÖNDERDİĞİMİZ MAİLLE RAHATSIZLIK VERDİYSEK ÖZÜR DİLERİZ EĞER MAİL 
GELMESİNİ İSTEMİYORSANIZ TARAFIMIZA MAİL ATINIZ RAHATSIZ ETMEYİZ



--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/1d24863412c16d7dda4d4f9a3b923...@bolukadinlar.com



Re: повторяющаяся ошиб ка при компиляции ядра

2010-04-28 Пенетрантность Andrey Tataranovich
16:05 Wed 28 Apr, C S wrote:
 День добрый,
 
 в очередной раз при компиляции еррор:
 make[1]: Leaving directory `/usr/src/linux-source-2.6.33'
 /usr/bin/makeARCH=i386 \
  -C Documentation/lguest
 make[1]: Entering directory 
 `/usr/src/linux-source-2.6.33/Documentation/lguest'
 cc -m32 -Wall -Wmissing-declarations -Wmissing-prototypes -O3 -I../../include 
 -I../../arch/x86/include -U_FORTIFY_SOURCElguest.c   -o lguest
 lguest.c:21:25: error: sys/eventfd.h: Нет такого файла или каталога
 lguest.c: In function ‘create_thread’:
 lguest.c:1027: warning: implicit declaration of function ‘eventfd’
 make[1]: *** [lguest] Ошибка 1
 make[1]: Leaving directory `/usr/src/linux-source-2.6.33/Documentation/lguest'
 make: *** [debian/stamp/build/kernel] Ошибка 2
 
 при этом уже явно комментарил в /usr/src/linux-source-2.6.33/.config 
 (скопированного с /boot/config-2.6.26-2-686) строку с параметром 
 #CONFIG_EVENTFD=y
 
 но упорно вылазит та же ошибка ((...
 куда копать дальше?
 

Вроде без обновления libc6-dev не соберется, или нужно отрывать все, что 
касается lguest. 


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428153237.gb10...@blackice.local



Re: RU-CENTER отбирает домен ы в географических зонах второго уровня

2010-04-28 Пенетрантность Yuri Kozlov
В Tue, 27 Apr 2010 23:57:02 +0400
Andrey N. Prokofiev a...@korona-auto.com пишет:

 Честно говоря я опечален. Выходит что меня в принудительном порядке 
 обяжут платить за домен в зоне spb.ru. Остается два варианта исхода
 событий: 1) Либо платить ценник, соизмеримый с ценником домена второго
 уровня и пользоваться доменом дальше.

А где они нахаляву раздавались?

600р -- это неделю не пообедать. Здоровее будете :)


-- 
Best Regards,
Yuri Kozlov


-- 
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100428200600.3c389...@keeper.home.local



Re: Посоветуйте бюджетный стр иммер

2010-04-28 Пенетрантность Stanislav Vlasov
28 апреля 2010 г. 21:41 пользователь Dmitri Samsonov
samson.samson.sam...@gmail.com написал:

 не вижу никаких трудностей - у меня работают без проблем hp surestore vs80
 (dlt 80g нежатых)
  ~1500$

 и забыл название hp lto2 (200 нежатых).
  800-1000$

  Это в разы дороже лишайного и на коленках решения с miniDV-камерой
 или рекордером. Ну и miniDV-кассеты будут дешевле (хотя и всего на 10Gb).

И выдержит ли бытовая minidv-камера ежедневные извращения.

  Вопрос в том, что считать бюджетным решением.

Скорее, что считать решением вообще.


-- 
Stanislav


spottan maliyetine okul defterleri

2010-04-28 Пенетрантность eldeberan tour
Sayın Yetkili

Elimizde mevcut olan birinci hamur kaliteli okul defterleri maliyetinin altında 
spottan satılıktır ilgilenenlerin tarafımıza başvurmaları rica olunur.

80 A4İki konulu plastik kaplı spiralli defter   3984 adetdefter 
  tane 1.250+ kdv  % 8
80 A5   karton kapaklı okul defteri   1440 adet 425   + kdv % 8
72 A5 plastik kapaklı okul defteri 5700 adet 675 + kdv%8
120 A4 spiralli okul defteri 540 adet   1300 +kdv %8
Toplam fiyattan % 15 daha indirim yapılır.

İsmail Hakkı Pehlivan
0 532 3118697

Eldeberan Turizm ltd.Şti
WEB:  www.ilayderi.com

0 532 3118697-  0 374 3118697
Mail. eldebe...@ttnet.net.tr   /  i...@ilayderi.com. msn. 
eldeberan...@hotmail.com

NOT: GÖNDERDİĞİMİZ MAİLLE RAHATSIZLIK VERDİYSEK ÖZÜR DİLERİZ EĞER MAİL 
GELMESİNİ İSTEMİYORSANIZ TARAFIMIZA MAİL ATINIZ RAHATSIZ ETMEYİZ



--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/f26b194f9533e4781e8eb33a2216a...@bolukadinlar.com



Re: openvz venet и ipv6

2010-04-28 Пенетрантность Denis Feklushkin
On Sun, 25 Apr 2010 18:45:36 +0400
Mikhail A Antonov b...@solarnet.ru wrote:

 Denis Feklushkin пишет:
  У кого нибудь работает? Из коробки?
  
 Да. Мелкие допиливания напильником.
 

товарищи, прошу протестировать маленький патчик к скрипту поднимания ипшников 
дебианоконтейнеров опенвз /etc/vz/dists/scripts/debian-add_ip.sh
он делает нормальной работу IPv и чуть более правильной IPv4

Нужно навалиться и проверить, особенно на старых дебианоконтейнерах, и заодно 
можно на убунтах

бага тут: http://bugzilla.openvz.org/show_bug.cgi?id=1499#c12
патчик: http://1499.bugzilla.openvz.org/attachment.cgi?id=1193

если всё ок то патч быстро решительно добавят в дебиан и может даже настанет 
полный IPv4капец


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100429021102.4ec9d...@db.h-g.com



Re: Re: варнинги при apt-get update

2010-04-28 Пенетрантность Lex2d aka Lex
скопировал первую строчку из вашего письма
gpg --keyserver hkp://wwwkeys.eu.pgp.net --recv-keys F9A2F76A9D1A0061

gpg: запрашиваю ключ 9D1A0061 с hkp сервера wwwkeys.eu.pgp.net
gpg: ключ 9D1A0061: Opera Software Archive Automatic Signing Key 2010
packa...@opera.com не изменен
gpg: Всего обработано: 1
gpg:   неизмененных: 1


от нас все пули вылетели.. проблемы на вашей стороне..
можно поискать другой кейсервер.


2010/4/28 C S ll75...@yandex.ua:


 27.04.10, 19:38, Lex2d aka Lex lex2d...@gmail.com:

 ] gpg --keyserver hkp://wwwkeys.eu.pgp.net --recv-keys A040830F7FAC5991
 ]  gpg --armor --export A040830F7FAC5991 | apt-key add -
 ]
 ]  цифирки поменять на свои недостающие NO_PUBKEY ключей, запускать от рута

 # gpg --keyserver hkp://wwwkeys.eu.pgp.net --recv-keys F9A2F76A9D1A0061
 gpg: запрашиваю ключ 9D1A0061 с hkp сервера wwwkeys.eu.pgp.net
 ?: wwwkeys.eu.pgp.net: Host not found
 gpgkeys: HTTP fetch error 7: couldn't connect: No such file or directory
 gpg: не найдено данных формата OpenPGP.
 gpg: Всего обработано: 0



bacula: бэкап на FTP

2010-04-28 Пенетрантность Denis Feklushkin
bacula умеет делать сабж?

сходу не нашёл, попытался имитировать честный раздел для бэкапа
используя curlftpfs - не заработало, т.к., видимо, к блочным устройствам 
предполагается множественный доступ, чего FTP дать не может


--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20100429072551.22424...@gmail.com