MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
liebow-feeser
Search

[$] Safety in an unsafe world

Tuesday November 5, 2024. 04:16 PM , from LWN.net
Joshua Liebow-Feeser took to the stage at
RustConf to describe the methodology
that his team uses to encode
arbitrary constraints in the Rust type system when working on the

Fuchsia operating system
(slides).
The technique is not unknown to
the Rust community, but Liebow-Feeser did a good job of both explaining the
method and making a case for why it should be used more widely.
https://lwn.net/Articles/995814/

Related News

News copyright owned by their original publishers | Copyright © 2004 - 2024 Zicos / 440Network
Current Date
Nov, Thu 21 - 12:56 CET