Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·20h·
Discuss: Hacker News
🎯Performance Proofs
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org·1d
🌳Incremental Parsing
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Memgoose – An In-Memory Mongoose Impersonator
github.com·52m·
Discuss: Hacker News
🔄Sync Engine
The effective LLM multi-tenant security with SQL
getbruin.com·1d·
Discuss: Hacker News
🗄️Database Internals
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
A new breed of analyzers
daniel.haxx.se·22h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·19h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Running new applications on old glibc
lightofdawn.org·2d·
Discuss: Hacker News
🔗Static Linking
Kubernetes 1.34 Features Explained
scaleops.com·1d·
Discuss: Hacker News
📦Container Security
The Linus Method: How we simiplifed RFC reviews
devashish.me·17h·
Discuss: Hacker News
⚙️Proof Engineering
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
Why it took 4 years to get a lock files specification
snarky.ca·6h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing