Абсолютно живой блог по суперкомпиляции ("метавычисления и специализация программ") -- http://metacomputation-ru.blogspot.com/, 5 соавторов.
Я в последние несколько дней думаю, как тренировать системное мышление, в которое входит свободное обращение с мета-уровнями и языками. Почитал я эти "суперкомпиляторские тексты" и подумал, что учебный курс по суперкомпиляции был бы как раз правильным инструментом разминки мозгов -- там мета на мете и метой погоняет, причем это суть вполне сформулированного учебного предмета. И особенно интересно -- заход с суперкомпиляцией на DSL (про это несколько статей в блоге суперкомпиляторщиков), от которого уже и до language workbenches недалеко, хотя и не до PLM/САПРовских. Но кто сказал, что не до PLM/САПРовских? Может статься, что через развитый общеязыковый (не-САПРовский) инструментарий дорога в САПРы окажется короче...
Найти бы что-нибудь подобное для презентационной стороны вопроса, работы с изобразительными синтаксисами...