Software Correctness & Supply Chain Security (with Sean Allen)

What it is

Deep dive into open-source dependency auditing, formal verification trade-offs, and software supply-chain resilience in modern engineering organizations.

In plain terms

Deep dive into open-source dependency auditing, formal verification trade-offs, and software supply-chain resilience in modern engineering organizations.

Why I recommend it

Timely engineering read as AI-generated code increases the volume of third-party packages entering production.

Topics

#software-engineering #cybersecurity #open-source #devops #coding

Added Nov 10, 2026 · 0 opens