Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
Thoughts on creating a tracking pointer class, part 13: Restoring the strong exception guarantee
devblogs.microsoft.com·4h
Beyond the Checkbox: How Backblaze’s SOC 2 Type 2 Certification Secures Your Cloud Data
backblaze.com·3h
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
Loading...Loading more...