Three ways formally verified code can go wrong in practice
buttondown.com·17h
📜Proof Carrying Code
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
A Practical Guide to Kubernetes Stateful Backup and Recovery
thenewstack.io·2d
💿Backup Strategies
Slip – A Lisp System in JavaScript
lisperator.net·20h·
Discuss: Hacker News
🔗Lisp
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Google’s OSV Fix Just Added 500+ New Advisories — All Thanks to One Small Policy Change
socket.dev·1d·
Discuss: Hacker News
🔓Open Source Software
Operable Software
ferd.ca·21h·
Discuss: Hacker News
👁️System Observability
The Linus Method: How we simiplifed RFC reviews
devashish.me·17h·
Discuss: Hacker News
⚙️Proof Engineering
Taming Video Processing Chaos with Domain-Driven Design in Symfony
hackernoon.com·3d
🌊Streaming Systems
Keeping my Nix inputs fresh
jimmyff.co.uk·1d·
Discuss: Hacker News, r/programming
❄️Nix Flakes
Full Browser-Based CP/M emulator – finally
retrogamecoders.com·11h·
Discuss: Hacker News
📟Terminals
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
7-Zip: Information on closed security gaps available
heise.de·23h
💣ZIP Vulnerabilities
Present Latency, DWM and Waitable Swapchains (2018)
jackmin.home.blog·1d·
Discuss: Hacker News
🖥️Modern Terminals
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.org·10h·
Discuss: Hacker News
🌐DNS over QUIC
Why it took 4 years to get a lock files specification
snarky.ca·6h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·15h·
Discuss: DEV
💾Storage Replication
Serverless: Fast to Market, Faster to the Future • Srushith Repakula • GOTO 2025
youtube.com·2d
🌊Streaming Systems
Building A Real-Time Communication System Using Go and WebSocket
dev.to·14h·
Discuss: DEV
🌐WebSocket Framing
A Year of Gentoo
arch.dog·20h·
Discuss: Lobsters, Hacker News
❄Nix