А что с видео-записью (и доступом к нему)?
Буду рассказывать в основном про верификацию функциональных программ на Coq/SSReflect + Mathcomp. Курс проводится при поддержке Тинькофф Финтех и МФТИ.https://twitter.com/MikePotanin/status/1169648558003408896 …
-
-
-
Обещали, что запись будет, но будет ли она публично доступной пока не понятно.
Kraj razgovora
Novi razgovor -
-
-
В тинькоффе используют coq? o_O
-
На счет продакшена не знаю, а для личных проектов некоторые используют.
Kraj razgovora
Novi razgovor -
-
-
На него как-то людям из-вне мути и тинькова попасть можно?
-
Надо зарегистрироваться, а там как повезет.
- Još 2 druga odgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.