[14:05:23] <ada_ru> (a) А что там с яхо группами? Емайл видели?
[14:07:12] <ada_ru> (a) Там капут какой то?
[14:08:03] <ada_ru> (a) Судя по описанию ничего хорошего.
[16:03:07] <ada_ru> (Лекс) немножечко оффтопа, случай интересен тем, что компилятор верифицирован https://cakeml.org/
[16:08:52] <ada_ru> (Лекс) Bootstrapping the compiler in the logic takes several hours and works better with more RAM (64 GB might be a minimum).
[16:09:00] <ada_ru> (Лекс) восхитительно, однако
[16:17:44] <ada_ru> (Максим)  отвечает (a) на <А что там с яхо груп…>
А что за емайл? Я ничего не видел 😕
[16:20:15] <ada_ru> (Максим) Кажется нашел. https://help.yahoo.com/kb/groups/SLN31010.html?impressions=true