A
Я уже всосал литр IPA, так что я ХЗ что я тут делаю... 😂
во мне две стопки настойки на борщевичном соке
Size: a a a
2020 August 28
AT
во мне две стопки настойки на борщевичном соке
Это по-хипстерски! 😂 :+1:
A
Это по-хипстерски! 😂 :+1:
мне иногда кажется, что я уже насквозь из борщевика состою
AT
мне иногда кажется, что я уже насквозь из борщевика состою
Если начнут прорастать корни – будет разумно обратиться к врачу. 😂
A
Если начнут прорастать корни – будет разумно обратиться к врачу. 😂
благодарю за рекомендацию! скорее, обеспокоюсь более, если во мне останется что-то человеческое..
AT
благодарю за рекомендацию! скорее, обеспокоюсь более, если во мне останется что-то человеческое..
Займитесь плотно формальной верификацией – точно ничего человеческого не останется. 😉
AT
Just another Swamp Thing. 😂
A
Just another Swamp Thing. 😂
😉👌
AT
Займитесь плотно формальной верификацией – точно ничего человеческого не останется. 😉
Чтобы сохранить то последнее человеческое, что осталось от занятий формальной верификацией, я прибегаю к проверенному средству -- тестированию.
AT
Чтобы сохранить то последнее человеческое, что осталось от занятий формальной верификацией, я прибегаю к проверенному средству -- тестированию.
A
Чтобы сохранить то последнее человеческое, что осталось от занятий формальной верификацией, я прибегаю к проверенному средству -- тестированию.
проверенному чем?
AT
проверенному чем?
временем
AV
А время это тестировало или верифицировало?
A
временем
формально проверенному?
AT
формально проверенному?
интуитивно
АГ
это очевидно мне минимум из сегодняшней дискуссии. мне казалось, что @graninas не понимает этого, но теперь вижу, что понимает, но нарочно троллит, т.к. защищает тесты через нападение на верификацию. @GabrielFallen тактично защищаете подход, который вам ближе.
А я что, я ничего. То, что я на самом деле думаю, написано в моей книге
A
интуитивно
интуиция - это же быстрая апелляция к собственному опыту без промежуточных выкладок, за O(1)..
AT
интуиция - это же быстрая апелляция к собственному опыту без промежуточных выкладок, за O(1)..
За О()
A
А я что, я ничего. То, что я на самом деле думаю, написано в моей книге
мне нужен практический пример, задача, которая может подстегнуть меня к чтению книги. иначе, книга будет пылиться на полке/диске, пока не будет случайно удалена.
книга без приложения не заходит. положу в ту же директорию, что и HoTT, до лучших времён. и всё.
книга без приложения не заходит. положу в ту же директорию, что и HoTT, до лучших времён. и всё.