Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants
Real-time Fire Detection System
hackster.ioยท6h
Free coffee, cut-price theatre tickets and birthday upgrades: 42 genius ways to beat the system
theguardian.comยท10h
Ultimate Lab Resource for VCF 9.0
williamlam.comยท3d
Encrypting identifiers in practice
sjoerdlangkemper.nlยท4d
Breaking Limits: Highly-Isolated and Low-Overhead Wasm Container - Soichiro Ueda & Ai Nozaki
youtube.comยท2d
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comยท3d
Loading...Loading more...