Atsky Journal

Премия Тьюринга 2007

Tue, 12 Feb 2008 14:29:12 GMT

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

Я свободен (I-Free)

Fri, 14 Sep 2007 11:01:55 GMT

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

Наука сна

Wed, 27 Jun 2007 14:33:46 GMT

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

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

Разные подходы.

Fri, 06 Apr 2007 11:59:11 GMT

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

Флешка.

Mon, 02 Apr 2007 14:01:10 GMT

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

Всегда так.

Thu, 15 Feb 2007 09:31:35 GMT

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

Я балдею.

Mon, 29 Jan 2007 10:49:59 GMT

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

Город Н-ск.

Sat, 20 Jan 2007 14:22:36 GMT

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

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

Tue, 05 Dec 2006 15:13:03 GMT

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

Самокритика.

Wed, 25 Oct 2006 08:16:10 GMT

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

ЛОГИСТИКА

Mon, 23 Oct 2006 15:43:55 GMT

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

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

Улыбнуло.

Mon, 16 Oct 2006 16:44:09 GMT

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

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

Пиздец девайс.

Mon, 16 Oct 2006 13:01:01 GMT

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

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

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

Wed, 11 Oct 2006 12:34:23 GMT

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

Tue, 10 Oct 2006 15:28:57 GMT

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