December 25th, 2007

with Cat The Cat

Парочка мыслей.

Смотрю на Java Modelling Language, JML. В примере, данном в описании, код и спецификация разделены.

Например:
//@ requires amount > 0;
//@ ensures balance = \old(balance) + amount; -- спецификация
//@ assignable balance;
public void credit(int amount) { ... })
Налицо дублирование кода.

Как-то это нехорошо.

А на страничку JML я попал случайно, из списка инструментов статических проверок кода. Стало интересно, что же они там придумали. ;)

Теперь про тренировки.

Вчера я попытался жать на один раз. 120 кг едва-едва. Это я давно не тренировался. Но при этом 100-105 кг у меня рабочий вес в районе 6-10 повторений и, по идее, я должен был пожать где-то 125.

Налицо разница между теоретическим предсказанием и практическим результатом.
with Cat The Cat

Про проверку остановки программ (в контексте статического анализа).

Со странички Dana Xu (которая ESC/Haskell, на ее страничке есть про этот проект) пришел на страничку с лекциями по спецификации и верификации программ.

Там, среди всего прочего, есть топик "Proving program termination."
with Cat The Cat

По поводу суда над Сергеем Аракчеевым и Евгением Худяковым.

Предложение Ирины Дедюховой:
Если хотите поставить свою подпись - надо ставить ее под своим собственным письмом кремлину с домашним адресом. Вот здесь:
http://www.kremlin.ru/mail/about2.shtml

Надо немедленно написать приблизительно следующее:

ТРЕБУЕМ ПРЕКРАТИТЬ ИЗДЕВАТЕЛЬСТВА И СУДЕБНЫЕ ПРЕСЛЕДОВАНИЯ В ОТНОШЕНИИ НЕВИНОВНЫХ, ДВАЖДЫ ОПРАВДАННЫХ СУДОМ ПРИСЯЖНЫХ АРАКЧЕЕВА И ХУДЯКОВА!
ТРЕБУЕМ ПОЛНОГО СЛУЖЕБНОГО РАССЛЕДОВАНИЯ ОБСТОЯТЕЛЬСТВ ФАБРИКАЦИИ И ФАЛЬСИФИКАЦИИ ЭТОГО ДЕЛА, ТРЕБУЕМ НЕМЕДЛЕННО НАКАЗАТЬ ВИНОВНЫХ В ЭТОГМ ПРОИЗВОЛЕ СУДЕБНЫХ ВЛАСТЕЙ!

А в данном случае - вы участвуете в омерзительном балагане в тот момент, когда у Аракчеева и Худякова остались сутки!

И что? За сутки до приговора речи Рогозина читать?
С меня под завязку хватит устройства этой компанией политических пиарщиков - митингов в январе этого года. Рогозин тогда ни слова не сказал про Аракчеева!
И на этих митингах ни слова не было сказано о том, что эти офицеры - абсолютно невиновны. Они там гульгали про то, что чичей, дескать, есть за что убивать.
Не спорю, резоны во всяком деле найти можно. Но к данному сфабриковавнному и полностью сфальсифицированному делу - это не относится.

Под чем вы здесь "подписываетесь"? Вы взрослые люди, вам не стыдно? Сутки остались, чтобы вам ОСТАТЬСЯ ЛЮДЬМИ!!!

Прошу вас, выполните свой гражданский долг в отношении оболганных офицеров.
Пойдите, и как граждане России - заставьте президента выполнить свой служебный долг.