[$] Safety in an unsafe world
Date:
Tue, 05 Nov 2024 15:16:46 +0000
Description:
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.
======================================================================
Link to news story:
https://lwn.net/Articles/995814/
--- Mystic BBS v1.12 A47 (Linux/64)
* Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)