Беспорядочные связи (с e-libraries)
Открывается какой-то вал статей по TCS: логика и CS, категории и CS, логика и категории (для CS ;)), теория типов (которая, конечно, использует логические исчисления). Все эти бёрды, миртенсы, уодлеры, рейнольдсы, жирары, не говоря уже о многих неизвестных.
Пока это всё играет исключительно деструктивную роль, «энтропия нарастает», в голове особенно. Всё-таки заниматься чем-то без руководителя до определённых пор невозможно, мне кажется. То есть это всё впустую.
Пока это всё играет исключительно деструктивную роль, «энтропия нарастает», в голове особенно. Всё-таки заниматься чем-то без руководителя до определённых пор невозможно, мне кажется. То есть это всё впустую.