Securing the Quantum Age
paloaltonetworks.com·3d
🔐Quantum Security
Trust at Scale with Fastly Image Optimizer and C2PA
fastly.com·5d
🛡️Preservation Proofs
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal — Decision-Making Processes
cyberwarhead.com·2d
🦠Malware Analysis
Using keyrings and certificates on z/OS with Liberty
colinpaice.blog·3d
🔐PKI Archaeology
Engadget review recap: Dell 14 Premium, Framework Desktop, Sony Theater Bar 6 and more
engadget.com·23h
🔌Operating system internals
Bad Engineering
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
🔐Systems Hardening
Long time lurker, half baked photo and a questions
i.redd.it·1d·
Discuss: r/homelab
💾Floppy Imaging
Happy 100000th birthday, Debian
lists.debian.org·20h·
Discuss: Lobsters
❄️Nixpkgs
Why Game Devs Don't Merge Files
kuril.in·1d·
Discuss: Hacker News
🔓Open Source Software
Predictive Maintenance & Optimization of Cryogenic Storage Tank Insulation via Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·5h·
Discuss: DEV
🌡️Preservation Physics
Let's Encrypt End of Life Plan for RFC 6962 Certificate Transparency Logs
letsencrypt.org·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
All Hyped Up for HyperCard: Further Adventures with an Apple Legacy Format
blogs.loc.gov·3d·
Discuss: Lobsters
🏛️OAIS Implementation
The Enterprise Experience
churchofturing.github.io·11h·
Discuss: Lobsters
💾Persistence Strategies
Data Exfiltration via Image Rendering Fixed in Amp Code
embracethered.com·50m
🔓Hacking
Why People Read Assembly
codestyleandtaste.com·16h·
Discuss: r/programming
🚀Compiler Optimizations
Various desktop Linux tips for newbies
akselmo.dev·18h·
Discuss: Lobsters
🔌Operating system internals
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·2d·
Discuss: Hacker News
⚡Proof Automation
A Better Vocabulary for Testing
alperenkeles.com·17h·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·2d
🕰️RetroCRDTs
Typechecker Zoo
sdiehl.github.io·1d·
Discuss: Lobsters, r/programming
λLambda Formalization