Verification, Type-level Programming, Safety Proofs, Linear Types
The Sliding Window in Haskell & Rust
mmhaskell.com·4d
All you wanted to know about sw vulnerabilities…but were too busy to look into - DevConf.CZ 2025
youtube.com·1d
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·1d
Loading...Loading more...