Mentorship Session: Rust for Linux: Code Documentation & Tests
Rust for Linux aims to bring a new system programming language into the kernel. Rust has a key property that makes it very interesting to consider as the second language in the kernel: it guarantees no undefined behavior takes place (as long as unsafe code is sound). This includes no use after-free mistakes, no double frees, no data races, etc.
An important part of using, writing and reviewing safe and unsafe code consists in accurately describing the safety contracts and invariants of functions and types, as well as the justifications of the correctness of unsafe blocks. A portion of this talk will focus on how we are writing those within the project, as well as a general look at the documentation, coding guidelines, etc.
Furthermore, in Rust, examples are part of the documentation and double as tests. The session will take a brief look into writing documentation tests as well as testing in general. No prerequisite Rust knowledge is needed to follow the session.
Mentor: Miguel Ojeda, Rust for Linux Maintainer
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Mentorship Session: Rust for Linux: Code Documentation & Tests», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.