В процессе диплома пишется эмулятор ARM(на самом деле, не совсем эмулятор, но это не важно). Пишется на Haskell, с последующей генерацией в С. Главная цель работы - изучить возможности advanced type systems для программирования.

Конфигурация:

1. Emacs : haskell-mode + vimpulse(очень удобная штука) + org-mode(для literate описания). org-haskell-mode для интеграции всего в одном буфере - оказалось очень удобно для описания частей системы, проставления ссылок, хранения частей документации, и вобще всего что может понадобиться, в одном месте.
2. xmonad + xmobar - в качестве декстоп окружения. Очень удобно при наличии 2-х мониторов(сейчас он отключен). Обычно на втором открывается документация, и переводится в язык описания модели.

После черных тем перешел на менее контрастные, вроде даже для глаз стало приятней.

В общем : замечания, пожелания, вопросы приветствуются.

>>> Просмотр (1679x1049, 446 Kb)

На скриншоте вы можете увидеть процесс написания кода для добавления закладки в delicious(с автодополнением тэгов, и прочей автоматизацией). Код пишется в основном редакторе - emacs, шрифт Dejavu Sans Mono, сколько не пытался а лучше подобрать не могу, обычно вдохновляют обсуждения на ЛОР, но сколько не пробовал, лучше не могу найти. Оставляйте замечания и пожелания по поводу внешнего вида, цветовой темы, шрифтов, с удовольствием выслушаю.

>>> Просмотр (1679x1049, 522 Kb)