R
Ну так попробуйте
нечего coq сувать куда не надо
Size: a a a
2020 November 15
AT
Ну так попробуйте
там есть сложности с финансированием -- деньги есть, но сложный бюрократический процесс
λ
Топ менеджеры пока не на новых маках
AT
Сюткин
Я брал у него автограф лол
AT
Топ менеджеры пока не на новых маках
дак топ-менеджеры и не пишут пруфы))
λ
дак топ-менеджеры и не пишут пруфы))
Напиши пруф на coq , что нужны деньги
AT
прост у французов долбанутая система немного)
последний раз даже от бесплатной работы отказались из-за этого
последний раз даже от бесплатной работы отказались из-за этого
AT
дак топ-менеджеры и не пишут пруфы))
Как будто ты пишешь :)
AT
Как будто ты пишешь :)
:)
λ
Он подкасты пишет
AT
перехожу на лин, завязываю с кок
AT
Он подкасты пишет
это еще лучше, да
2020 November 16
E
а погоди, там памяти только 8ГБ
AT
А неплохо, спасибо
E
А неплохо, спасибо
там есть еще 16 гб версия за 1899
E
мы просто вчера тут эту тему поднимали
AT
там есть еще 16 гб версия за 1899
У меня просто щас 16, хочется прыгнуть на следующий уровень на след лаптопе