← All posts tagged ?

PineappleZombie
Linux ? fat32 жуйк а какие есть рецепты чтобы скопировать файлопомойку на флешку, чтобы читать на планшете? Внезапно оказалось, что фат не переваривает двоеточия в именах файлов.
PineappleZombie
? Ukraine Мне столько раз ездили по ушам бандеровцами, что я хочу спросить украинцев. Существуют ли они в природе? И если существуют, то кто эти люди?
PineappleZombie
? Haskell math numeric А как считает жуйк, кошерно ли использовать греческие буквы для обозначения переменных? Особенно, для того чтобы обозначения совпадали с обозначениями в статье.
PineappleZombie
? MLP А никто ещё не сделал плакат с королевой перевёртышей: «соблюдай правила техники безопасности при работе со сверлильным станком!» Она прямо просится на него
PineappleZombie
? programming Меня давно мучает вопрос как люди умудрятся писать функции на неск. тысяч строк? У меня всё начинает рассыпаться и перестаёт работать за-а-адолго до этого
PineappleZombie
? IEEE754 Зависимые типы, зависимые типы... А кто-нибудь вообще пытался доказывать свойства программ, использующих вычисления с плавающей точкой? Учитывая то, что там корректность не транзитивна.
PineappleZombie
? math numeric Жуйк, а в чём можно посчитать значение всяких гамма-бета функций с большим количеством знаков после запятой, чтобы было больше чем в double влезает?