Вот тут можно посмотреть хороший мультик про всех нас :)

Чрез термины - к звездам...

На МатМехе (и не только) пять и более лет изучают частные эвристики, применяемые для поиска доказательств в логике предикатов первого порядка (и больше практически ничего)...

Слово: Анализаяц

P.S. Покупал сегодня билеты в кассах на Финляндском. У тетеньки на бейдже было написано "Кассир билетный"

Мне кто-то когда-то рассказывал, что декабристы тем отличались от большевиков (и даже просто народовольцев), что для них существовали вещи, о которых они могли сказать только "Этого не может быть!". В этой мысли что-то есть ( Read more... )

Первое внятное и разумное рассуждение о том, что делать 2 декабря, которое я слышал:

http://vdohnovitel.livejournal.com/14951.html

Со мной случился приступ программирования (одновременно с простудой, вопреки ей, можно сказать). Вот три дня просидел над этим:
http://code.google.com/p/java2ecore

Там скачать нечего (только если из SVN), но есть забавное описание в wiki :)

Click to view

http://www.bumptop.com

Помнишь, Постум, у кудесника тигрица,
полосатая, с обширными рогами -
ты застал еще? - недавно стала бриться!
Бриться, Постум, и кидаться сапогами!..

Сегодня утром у Цельсия стало еще на семь градусов меньше...