Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·11h
🏛️PREMIS Metadata
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
Samsung SmartThings finally adds support for joining existing Thread networks
theverge.com·7h
🏠Home Automation
Kubernetes NFS Persistent storage help
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Preservation
original ↗
whynothugo.nl·1d
🌊Streaming Systems
Closing the Cloud Security Gap
paloaltonetworks.com·1d
🏠Homelab Security
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
If Anyone Builds It, Everyone Dies: my review
haggstrom.blogspot.com·11h·
Discuss: haggstrom.blogspot.com
🔲Cellular Automata
How OpenTelemetry Works: Tracing, Metrics and Logs on Kubernetes
thenewstack.io·2d
👁️Observatory Systems
What is Patch Management?
jamf.com·1d
✅Archive Fixity
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.to·4h·
Discuss: DEV
🔌Interface Evolution
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
CVE-2024-36401 - GeoServer - tailoring a public PoC to enable at-scale high-confidence detection
bitsight.com·1d
🧪CBOR Fuzzing
Call for full re-election of the NixOS Steering Committee
discourse.nixos.org·8h·
Discuss: Hacker News
🤝Paxos Consensus
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·5h·
Discuss: Hacker News
🛡️RISC-V Security
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🌊Streaming Systems
Building Actual Peer-to-peer Applications: Outside Misconceptions
hackernoon.com·2d
🌐Distributed Hash