AG
а чего просто не закоментировали сразу
Size: a a a
2021 March 12
AG
производительность бы вообще потолок пробила
P
Наверное, в 2013 так было ещё популярно
K
сча электронно ип сделать можно?
KS
https://github.com/jscert/jscert/blob/master/coq/JsCorrectness.v#L1630
срочно нужны эстимейты по читабельности.
срочно нужны эстимейты по читабельности.
А почему там 5 тысяч строк...
Oℕ
Kirill Shelopugin
А почему там 5 тысяч строк...
обычный кок же
P
больше бенчмарков богу бенчмарков
Oℕ
можно мне пожалуйста еблиотеку так чтобы она была оптимизирована под хеллворлд
P
можно мне пожалуйста еблиотеку так чтобы она была оптимизирована под хеллворлд
а это разве не все?
AK
эх, вот бы подождать пока вся эта ебистика обрастет мясом и снова сделать бенчмарки
AT
сча электронно ип сделать можно?
Да
λ
https://github.com/jscert/jscert/blob/master/coq/JsCorrectness.v#L1630
срочно нужны эстимейты по читабельности.
срочно нужны эстимейты по читабельности.
(* faster *) это хинт конпелятору, чтобы доказывал быстрее?K
а самозанятым быстро стать и платить прост 13 процентов?
SK
(* faster *) это хинт конпелятору, чтобы доказывал быстрее?Всё так
KS
Когда закончится этот груминг уже
GP
Kirill Shelopugin
Когда закончится этот груминг уже
никогда