← All posts tagged ?

PineappleZombie
? MLP

А никто ещё не сделал плакат с королевой перевёртышей: «соблюдай правила техники безопасности при работе со сверлильным станком!» Она прямо просится на него

PineappleZombie

Зависимые типы, зависимые типы... А кто-нибудь вообще пытался доказывать свойства программ, использующих вычисления с плавающей точкой? Учитывая то, что там корректность не транзитивна.