A new method to build more energy-efficient memory devices could lead to a sustainable data future
phys.org·14h
🧲Magnetic Recording
The Why of PGP Authentication
articles.59.ca·10h
🔑Cryptographic Protocols
Customizing text content moderation with Amazon Nova
aws.amazon.com·1d
📊Feed Optimization
Operable Software
ferd.ca·10h·
Discuss: Hacker News
👁️System Observability
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
What Is Digital Supply Chain Management
securityscorecard.com·7h
🔗Supply Chain
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
RUSSIAN INTERNET INFRASTRUCTURE IN THE AGE OF DIGITAL SOVEREIGNTY AND INFRASTRUCTURAL COERCION: THE CASE OF TSPU
criticalinfralab.net·16h
🖥️Self-hosted Infrastructure
Autonomous architecture - problem description
disruptivearchitecture.info·15h
🌊Streaming Systems
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·6h·
Discuss: Hacker News
📟Terminal Typography
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Issue 730
iosdevweekly.com·23h
🔌Interface Evolution
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
A Manifesto for the Programming Desperado
github.com·8h·
Discuss: Hacker News
💻Programming languages
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
We can just do things together
leaflet.pub·2h·
Discuss: Hacker News
📡BGP Archaeology
Tangled, a Git collaboration platform, built on atproto
blog.tangled.org·2h·
Discuss: Hacker News
🔄Sync Engine
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs