Linux Mint 21.1 ‘Vera' will drastically improve ISO verification

2022-09-30

Show HN: Build your gRPC apps with embedded zero trust networking

2022-09-30

Tell HN: You can now sell some software and services to Iranian customers

2022-09-29

Ask HN: What's the difference between a specification and an implementation?

2022-09-29

Show HN: A formally verified native Delta Lake implementation in Rust

2022-09-28

Oracle verifies Java licensing tools from Flexera and Lime Software

2022-09-26

Show HN: Runtime Encrypted and Verifiable Kubernetes

2022-09-26

Katara: Synthesizing CRDTs with Verified Lifting

2022-09-26

Solving the Dog-Bunny Puzzle with Program Verification Technology

2022-09-21

Extracting a Verified Interpreter from Isabelle/HOL

2022-09-21