http://www.cs.utexas.edu/users/moore/publications/acl2-books/car/

Это, вообще, книга и полностью ее в онлайне нет. Однако есть следующий параграф:
ACL2 is used in industry. Remember the Intel FDIV bug? The first Pentium [trademark, Intel, Inc] could ( Read more... )

Схема устройства.

Скажите, пожалуйста, девушки, которые читают мой журнал - а какой процент русских исполнителей у вас в плейлисте?

Юноши, дети и взрослые мужчины - а у вас?

У меня - только один Пушной. Зато много - примерно шестая часть. ;)

За девять месяцев этого года винды на Мак променяли более 1 000 000 человек.

For example, a bank might be interested in knowing that their software system conserves dollars (neither destroying or creating them).

Жаль, только, что я их албанский (!) понимаю с трудом. ;)

Ну, и до кучи - Plugging Haskell in. Статья с исходниками о создании системы плагинов и (E)DSL на Haskell.

http://ask.slashdot.org/askslashdot/05/09/05/1514246.shtml?tid=221&tid=4Read more... )

http://oper.ru/gallery/view.php?t=1048751452

Очень на моего соседа похож. Кстати, тот еще тип. ;)

Митя alwe написал отчет про день третий. Фоток у нас, почему-то, оказалось маловато. Но он был не менее интересен, чем предыдущие два, поверьте. ;)