Без заголовка

Когда я указал на проект, аналогичный вашему в математике, одному моему студенту (в этом проекте разработали офисную систему в 20тыс. строк), то студент подумал, что это опечатка. Ибо такие системы сейчас занимают 20млн. строк. Но нет, это не опечатка. Там идея была проста: за свою жизнь человек не сможет до конца понять 20млн. строк простого текста -- ибо он их просто не успеет прочесть, помрёт раньше от старости. Но 20тыс. строк сверхсложного текста он прочесть успеет -- это всего один томик. И они сделали множество языков, которые написаны друг на друге. И получили сокращение объема своих кодов в тысячу раз. Звучит совершенно потрясающе! А что за проект, он общедоступный?