VCF 9.0 Hardware BOM for Silicon Valley VMUG
williamlam.com·12h
🏠HomeLab
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·2d
📡Bluetooth Archaeology
microsoft/react-native-code-push
github.com·2d
🎬WebCodecs
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
Gradual negation types and the Python type system
jellezijlstra.github.io·2d·
Discuss: Hacker News
🔬Refinement Types
kubriX: Out of the Box Internal Developer Platform (IDP) for Kubernetes
reddit.com·1d·
Discuss: r/kubernetes
🏺ZIP Archaeology
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Antivirus vs Firewall: which is right for me?
techradar.com·21h
🛡️eBPF Security
Blacklists Are Eating Crypto Alive. Here’s Why It Matters.
hackernoon.com·2d
🔗Blockchain Archives
Linkdump No 64
82mhz.net·1d
🔌Operating system internals
Primary Attack Vectors Persist
sentinelone.com·1d
🔓Hacking
Bcachefs Lands More Fixes Ahead Of Linux 6.16-rc7
phoronix.com·13h
🗄️File Systems
Hypseus Singe: A program to play laserdisc arcade games
github.com·41m·
Discuss: Hacker News
📼Retro Games
Decrypting DPAPI Credentials Offline
infosecwriteups.com·2d
🕸️WebAssembly
Mitigating the risks of package hallucination and 'slopsquatting'
techradar.com·2d
🔓Hacking
AI Driving the Adoption of Confidential Computing
darkreading.com·1d
🔒Privacy Preserving
Async Without the Headache: Meet areq, the Drop-In Replacement for Python’s Requests
hackernoon.com·1d
⚡gRPC
UNC6148 deploys Overstep malware on SonicWall devices, possibly for ransomware operations
securityaffairs.com·2d
🦠Malware Analysis