А вы что, сейчас реально не работаете (на себя, близких, страну, а не на буржуев)??
 
Вот например мелокомягкий рисёч, вовсю пилят LeanAide всем разрабам на погибель :) Прямо сейчас пока ты тусишь, а твои конкуренты вовсю качаются в cs.
Формализация перегонки естественного языка в код, учат аишку кодингу в зависимых типах на лине4. Ментатам в ФА вчера немного разобрал эту темку, плюсы и минусы.
Самому Siddhartha Gadgil конечно большой респект, посмотрите его гитхаб, много ценного. Но на самом деле LeanAide -- это просто очередной инструмент, хоть и очень мощный. Стратегически надо качать мета-спеки, в конечном итоге к ним всё белковое и сведётся.