Anton Petrusevich -> [email protected] @ Tue, 28 Mar 2006
17:48:17 +0200:
>> А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему
>> этих самых правил. Доказать ее полноту и дать специально образованным
>> людям проверить доказательство. И после каждого изменения в программе
>> проверять, не нарушили ли где протокол. Каковая проверка ой, не всегда
>> бывает локальной операцией...
AP> Ой, страшно как... Что, бросать программы писать, и подаваться в
AP> управдомы? Или не искать способов посложнее,
... с чего я и начал.
AP> тем более, что "специально образованные люди", как показала
AP> практика, часто сами не понимают о чём говорят.
Если не понимают, то это не тому обученные люди.
--
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: [EMAIL PROTECTED]
Win-юзеры - это типа Win-модемов и Win-принтеров: такие же юзеры, но попроще,
без мозгов и памяти на борту.
http://www.livejournal.com/~dottedmag/158509.html
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]