2007 год. Ноябрь или Декабрь. Еду на маршрутке в старый петергоф до конечной.
Погода унылая, пейзаж унылый, типичный ДС2, короче. Холодно, уже смеркается.
Слушаю какой-то говнорок, вроде Rob Zombie.

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

Чуваки рассказывают что у них морда на Qt, а верификатор на Ocaml. Спрашивают меня про Ocaml, ничего не нахожу что им ответить,
пришел домой, открыл книжку по Ocaml, что-то меня не впечатлило. (действительно, зачем если есть C++).
Забил короче, (зря конечно, на ocaml точно не следовало забивать).

Через пару месяцев пошел туда (в терком) устраиваться на что-то вроде технического писателя, потому что батя перестал посылать мне бабки в виду того, что я не пошел пересдавать теорвер с 4 на 5. В итоге взяли в другой проект программистом.

Проработал я недолго, до мая. Поначалу в проекте нравилось, потом полезла всякая тестерская специфика и я обнаружил, что больше двачую интернеты, чем непосредственно работаю.