G
Size: a a a
2020 June 06
p
Каждой области свои технологии
ну вот верификация нужно в ракетостроении например. для банка/круда она нахуй не нужна.
DB
Так о чем угодно можно сказать
p
в нынешней ситуации время разработки ценнее количества багов
G
Так о чем угодно можно сказать
Я не понял твоего негодования
p
то есть можно допустить баги если ты нахуячишь приложение в срок
G
Надеюсь я летом найду время и таки напишу свою оську с poica + FramaC
p
бля почему в ТС не глобальный вывод типов
DB
Я не понял твоего негодования
Меня смущает только ваше восхищение зависимыми типами, пока не написано больше, чем умножения матриц. Куда ни глянь про зависимые типы: у нас тут можно списки конкатенировать. Ну охереть. Ещё что? Или мы целый язык пишем, чтобы хед на пустом списке не вызвать?
p
Меня смущает только ваше восхищение зависимыми типами, пока не написано больше, чем умножения матриц. Куда ни глянь про зависимые типы: у нас тут можно списки конкатенировать. Ну охереть. Ещё что? Или мы целый язык пишем, чтобы хед на пустом списке не вызвать?
а что тебе нужно?
p
на мелочах таких и строится разработку
DB
Ну что тут сказать)))
G
Кто знает умную систему прочтения книг? У меня флешка с несколькими десятками книг к прочтению, я начал группировать по папкам и получается мессиво уже
p
для математических задач это охуенная вещь потому что там тесты писать оч трудно
p
например какой-нибудь кодек для аудио
G
Кто знает умную систему прочтения книг? У меня флешка с несколькими десятками книг к прочтению, я начал группировать по папкам и получается мессиво уже
Папки "Отложил", "Осилил" и т.д.
G
Ещё бы приоритет поставить
p
например какой-нибудь кодек для аудио
хуй ты тесты напишешь для такого
p
точнее напишешь но пиздец страдать будешь
p
Ещё бы приоритет поставить
я две едели ищу удобную библиотеку с приложением под десктоп и андроид, а ее нету