Subj : [$] Safety in an unsafe world
To   : All
From : LWN.net
Date : Tue Nov 05 2024 15:30:05

[$] 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)

.