A Bittersweet Farewell: My Final KDE Snap Release and the End of an Era
scarlettgatelymoore.dev·15h
🔓Open Source Software
The Bug That Taught Me More Than Any Tutorial
dev.to·20h·
Discuss: DEV
✅Archive Fixity
Next-gen voice, video, and chat messaging using your domain name not your number
thunderbolt.com·2d·
Discuss: Hacker News
🔌Operating system internals
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·16h·
Discuss: Hacker News
✅Format Verification
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·6h·
Discuss: Hacker News
🦀Rusty Databases
JavaScript lib for exchanging selective disclosure proofs
github.com·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Lost Data in Electron Microscopy
arxiv.org·3h
🌡️Preservation Physics
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·3h
🔧Hardware Verification
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·12h·
Discuss: Substack
🔗Topological Sorting
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·2d·
Discuss: Hacker News
🗄️Database Internals
The MiniPC Revolution
jadarma.github.io·14h·
Discuss: Hacker News
🖥️Modern Terminals
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·20h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·14h·
Discuss: Hacker News
🔐Archive Encryption
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·20h
🔄Archival Workflows
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·5h·
Discuss: Substack
🔩Systems Programming
Linear scan with lifetime holes
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Show HN: RAG-Guard: Zero-Trust Document AI
github.com·9h·
Discuss: Hacker News
🤖Archive Automation
The Day I Logged in with a Hash
gsociety.fr·1d·
Discuss: Hacker News
🔓Hacking
Memory optimizations to reduce CPU costs
ayende.com·20h·
Discuss: Hacker News
📝Text Compression
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence