VCF 9.0 Hardware BOM for Silicon Valley VMUG
williamlam.com·5h
🏠HomeLab
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·2d
📡Bluetooth Archaeology
microsoft/react-native-code-push
github.com·2d
🎬WebCodecs
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.com·1d
⚡gRPC
Gradual negation types and the Python type system
jellezijlstra.github.io·1d·
Discuss: Hacker News
🔬Refinement Types
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·2d·
Discuss: Hacker News
✨Algebraic Effects
Asymmetry of Verification and Verifier's Law
jasonwei.net·3d·
Discuss: Hacker News, Hacker News
🔮Proof Search
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·1d
⚡Proof Automation
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·4d·
Discuss: r/programming
✅Format Verification
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·1d·
Discuss: DEV
🔄Lens Laws
Almost Always Auto (2013)
herbsutter.com·1d·
Discuss: Hacker News
🔒Type Safety
Artificial Intelligence in Cybersecurity: Dual Use for Defense and Attack
dev.to·20h·
Discuss: DEV
🎯Threat Hunting
kubriX: Out of the Box Internal Developer Platform (IDP) for Kubernetes
reddit.com·1d·
Discuss: r/kubernetes
🏺ZIP Archaeology
Automating Dropbox to Google Drive Backups with n8n
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Antivirus vs Firewall: which is right for me?
techradar.com·14h
🛡️eBPF Security
Blacklists Are Eating Crypto Alive. Here’s Why It Matters.
hackernoon.com·1d
🔗Blockchain Archives
Primary Attack Vectors Persist
sentinelone.com·1d
🔓Hacking
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Decrypting DPAPI Credentials Offline
infosecwriteups.com·1d
🕸️WebAssembly
Mitigating the risks of package hallucination and 'slopsquatting'
techradar.com·2d
🔓Hacking