Defense in Depth: A Practical Guide to Python Supply Chain Security · Bernát Gábor - Engineering & Open Source
bernat.tech/ pin · @ user · Ctrl+Enter
No discussions yet
Discover
github.comGitHub - loderunner/scrt: A command-line secret manager for developers, sysadmin…
A command-line secret manager for developers, sysadmins, and devops. - loderunner/scrt
timstr.websiteFull Spectrum and Infrared Photography | Tim Straubinger
1 1
github.comGitHub - wolfSSL/wolfip: Lightweight TCP/IP stack with no dynamic memory allocat…
Lightweight TCP/IP stack with no dynamic memory allocations - wolfSSL/wolfip
https://arstechnica.com/gadgets/2026/03/more-modular-design-makes-macbook-neo-ea…
1 1
lf-lean: The frontier of verified software engineering | Theorem
We present lf-lean, a verified translation of all 1,276 statements of the Logical Foundations textbook from Rocq to Lean…
parametricavocado.itch.ioBubble Sorted Amen Break by Vee 🥑
Play in your browser
1 10