Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
If Your Kernel Development is a Little Rusty
hackaday.com·4d
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
Loading...Loading more...