Ура!
Француз Жозеф Сифакис и американцы Эдмунд Кларк и Аллен Эмерсон стали лауреатами премии Тьюринга 2007 года. Премия составляет $250,000 (я почему-то думал что больше).
Высокой научной награды они удостоены за создание метода проверки модели (Model Checking).
Похоже, что model checking не такой уж беспомощный, если за него дают премию.

Сегодня последний день на работе. Как-то затрахала меня эта долбаная порнуха изменились жизненные приоритеты, стало не интересно. Проработал примерно год, за это время узнал много нового, читая NNM и башорг, расширил боковое зрение, научился забивать на все и создавать вид бурной рабочей деятельности.
Эх, прощайте халявные обеды и зарплата, здравствуй универская столовка и раздолбайство.
Еще первый раз за этот год положил деньги на мобильник. =)

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

Скажите у вас когда-нибудь подобная херня была? Может мне уже пора лечиться.

Нельзя объять необъятное.
Нельзя впихнуть невпихуемое.

Вот тут лежит прикольная флешка.
Сравнительный размер объектов от 100 биллионов световых лет (10²⁶ метров) до одного фентометра (10^-15 метров).
От размеров нашей вселенной до протона. Сделано все очень красиво, всем советую глянуть.

Проза жизни: вчера было рано, завтра будет поздно, а сегодня - некогда.

Ассемблер у нас уже был, так что может заинтересовать многих.
Наткнулся на сайт с демками размером 256 байт. Естественно для x86 это Dos и это COM файлы. Хотя я не все видел. Но там есть 3!!! тетриса. Кто писал тетрис Скакову сколько он весил?
Еще там есть исходники!!! Можно повтыкать, как сделано. И трафика уйдет мало.

Новосибирск. Замечательные фотографии моего города.

P.S.
Взял билеты домой. 27-го туда, 7-го обратно. Эх! держись родной город.

Как сказал один мой хороший друг znah
Что бы я делал без интернета.......
Наверно столько бы замечательных вещей сделал.....

(Не мое. Прочитал у нашего админа.)
У всех у нас есть недостатки.
Вот например у меня есть недостаток водки и женщин.

Продолжаю расширять словарный запас.
Много раз слышал слово, но что значит не знал.



ЛОГИСТИКА (logistics)- совокупность методов и способов эффективного управления товарными потоками с обеспечением наименьших издержек и высокого уровня организации и осуществления процессов снабжения, управления товарным рынком, производства, сбыта и послепродажного обслуживания.

Мой каждый день кристально ясен
И полон радостных картин.
Не потому, что мир прекрасен,
А потому, что я кретин!!!

Что-то в этом есть.

Телефон Samsung SCH-B600:

Профессиональный фотоаппарат:


Компания Samsung Electronics объявляет о начале продаж мобильного телефона со встроенной 10-мегапиксельной камерой.
Когда появятся телефоны с профессиональными объективами и микроволновкой, я пожалуй куплю себе такой девайс. =)

Появилась новая игра MySQL 5.
Цель - уничтожить базу противника.

О великий и могучий русский язык...
Сегодня услышал замечательное слово "зеппинг" - переключение с канала на канал в попытках уклониться от проклятой рекламы. (Ну или просто так.) Наверно, почти каждому близко подобное времяприпровождение. Эх, жаль я телек смотрю мало, а как дорвусь тоже люблю "пострелять".
Интересно, а как называется человек занимающийся зеппингом?
Зеппенгер или зеппенгист? =)