Verification, Type-level Programming, Safety Proofs, Linear Types
Stop using your system Perl
perlhacks.com·3h
The Sliding Window in Haskell & Rust
mmhaskell.com·4d
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·12h
FreeBSD Foundation Launches SBOM Project
discoverbsd.com·9h
Loading...Loading more...