Rust & Tell - April 2021

preview_player
Показать описание

00:00:00 Introduction
00:04:00 Xavier Denis - Safer Rust: program verification with Creusot
00:33:20 Bernhard Borges - Using Rust to build open-source distributed networks
01:04:16 Andreas Klostermaier - Cropping.Rocks: a Rust/Rocket/WASM microservice
Рекомендации по теме
Комментарии
Автор

That last talk was a good example of Rust cornering the WebAssembly domain. But it was unclear about what makes the cropping algorithm so complex. Does it consider the contents of the image as well as the size and the positions of the draggable markers?

SimonClarkstone
Автор

@evanxg852000 regarding your question at 31:10, I just wanted to add that while I think Xavier has the right answer that these belong in the source code as the data isn't at a symbol granularity, you could imagine IDE filtering of the attributes, such as like hiding non-failing attributes/assertions with something like the vs-code light bulb.

mattrice