AT
Size: a a a
2021 March 11
AN
А видюха там до сих пор 1050ти
AN
🤣потому что не успеваю купить что то лучше
w
🤣потому что не успеваю купить что то лучше
хахаха, да мне вообще похуй
AT
🤣потому что не успеваю купить что то лучше
И не успеешь уже
AN
Я надеюсь к лету можно будет взять 3070 рублей за 80
AT
У нас в наличии только от двойного ценника начинаются
AT
шёл 2021 год, иде уже не влазило на обычный ноутбук
Вспомнилось как в 90-е emacs расшифровывали: eight megabytes and constantly swapping
λ
Вспомнилось как в 90-е emacs расшифровывали: eight megabytes and constantly swapping
Уже тогда красноглазым был?
AT
Уже тогда красноглазым был?
По рассказам старейшин
AT
Emacs я в 2015м впервые сам запустил
AT
Тогда уже больше памяти ему нужно было
2021 March 12
SK
w
https://github.com/jscert/jscert/blob/master/coq/JsCorrectness.v#L1630
срочно нужны эстимейты по читабельности.
срочно нужны эстимейты по читабельности.
а можно рисунок фотографии скриншота?
Oℕ
https://github.com/jscert/jscert/blob/master/coq/JsCorrectness.v#L1630
срочно нужны эстимейты по читабельности.
срочно нужны эстимейты по читабельности.
Define readability isSSR := 100% * isSSR
Theorem zalupa: readability vanilla = 0.
Proof.
Admitted.
Theorem zalupa: readability vanilla = 0.
Proof.
Admitted.
SK
Define readability isSSR := 100% * isSSR
Theorem zalupa: readability vanilla = 0.
Proof.
Admitted.
Theorem zalupa: readability vanilla = 0.
Proof.
Admitted.
Спасибо
Oℕ
Я мучался написать done.Qed. или Admitted
P
Define readability isSSR := 100% * isSSR
Theorem zalupa: readability vanilla = 0.
Proof.
Admitted.
Theorem zalupa: readability vanilla = 0.
Proof.
Admitted.
Прямо как у Олега на докладе!
P
Я мучался написать done.Qed. или Admitted
Кстати, они там в readme пишут, шо Admitted они для производительности написали, чтобы оно не проверяло, но пруфы настоящие, так что можно и Qed...