18. 11. 2019920 zhlédnutíFormal verification made easy (and fast)!Speaker Daniel Bristot de Oliveira (Red Hat, Inc.)DescriptionLinux is complex, and formal verification has been gain...
4. 12. 2018290 zhlédnutíUrl: https://linuxplumbersconf.org/event/2/contributions/80/speaker: Mike RapoportIt is well known that developers do not like writing documentation. But a...
21. 3. 2019295 zhlédnutíLeoPays - бизнес сообщество на блокчейне LeoPays. Ссылка на сайт https://leopays.social31 августа 2020 года мы преступили к тестированию собственного блокчей...