Status update 2025-07
whynothugo.nl·4d
🔌Interface Evolution
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·3d·
Discuss: Hacker News
🦀Rust Verification
Saturday Citations: Chatbots chat about suicide; ancient concrete recipes; depression and brain morphology
phys.org·11h
🕳️Persistent Homology
He worked with artificial limbs for decades. Then a lorry ripped off his right arm. What happened when the expert became the patient?
theguardian.com·13h·
Discuss: Hacker News
⚙️Swedish Assembly
UX Design for Microneedle Patch Dashboards: A Human-Centered Perspective
dev.to·1d·
Discuss: DEV
✋Tactile Computing
The Efficiency Trap
anthonybatt.com·3d·
Discuss: Hacker News
🚀Indie Hacking
Integrating Nix and Buck2
tweag.io·3d·
Discuss: Hacker News
❄️Nix Flakes
Google Sans Code
github.com·1d·
Discuss: Hacker News
🔠Terminal Fonts
Assessing Value of Renewable-based VPP Versus Electrical Storage: Multi-market Participation Under Different Scheduling Regimes and Uncertainties
arxiv.org·2d
📈Linear programming
Potential Future Restrictions on the Self-Hosted Version of Plane (2023)
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Reverse engineering some updates to Claude
simonwillison.net·2d·
Discuss: Hacker News
🏺ZIP Archaeology
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·3d
⏰Temporal Logic
Linux 6.17 Now Makes Multi-Core/SMP Support Unconditional
phoronix.com·3d
🔩Systems Programming
PesudoCLI - your AI man pages.
dev.to·11h·
Discuss: DEV
⚡Redis Internals
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·3d·
Discuss: DEV
🧠Memory Allocators
Modular Snip Recorder: A Data Collection Tool for Behavior Cloning (2/2)
dev.to·37m·
Discuss: DEV
📊Count-Min Sketch
Looking to secure my setup. ELI5 Crowdsec + Suricata (or other solutions)
reddit.com·23h·
Discuss: r/homelab
📦Container Security
AI LLMs are now so clever that they can independently plan and execute cyberattacks without human intervention — and I fear that it is only going to get worse
techradar.com·3h
🎯Threat Hunting
Just Say What You Mean: Avoiding Deadlock on Enhanced Cooperation in the WSIS+20 Review
circleid.com·2d
📝ABNF Parsing
Building Real-Time Deepfake Detection in Slack
dev.to·2d·
Discuss: DEV
🔓Open Source Software