Today we are very excited to have Beth Aitman give a practical guide to making good …
Continue readingAll articles
Upgrade certbot on Debian 9 stable [Updated 2019-01-28]
Since Debian stretch was released 2017-06-17 it was updated six times to 9.6 on 2018-11-10 …
Continue readingRust 2019 wish list
January Meetup - Community Space Rust Embedded Edition 2018 - Rust Zürichsee
This month we will have an open space and time to talk hosted by coredump. Raphael …
Continue readingrevfs lightning talk at 35c3 (video)
The recording of lightning talks on day 4 was published and you can find my part …
Continue readingRust in the year 2025
Summary protocol of the workshop "Rust in the year 2025"
- Types
- Refinement - Types with more predicates …
- Types