The Ultimate SRE Reliability Checklist
oneuptime.com·1h·
Discuss: r/devops, r/programming, r/webdev
🛡️seL4
Is GitHub Actions suitable for running benchmarks?
labs.quansight.org·28m·
Discuss: Hacker News
🔄Reproducible Builds
A Software Engineer's Guide to Observability: Part 1 – Logging
engineering.theblueground.com·34m·
Discuss: Hacker News
📊Runtime Verification
ASUS Gaming Laptops Have Been Broken Since 2021: A Deep Dive
github.com·15h·
Discuss: Lobsters, Hacker News, r/hardware, r/programming
🔧Unikernel Development
Why the Edge Isn’t Just ‘Cloud Computing, But Closer’
thenewstack.io·22h
⎈Kubernetes
Necessary tool? Async LoRA for distributed systems
news.ycombinator.com·1d·
Discuss: Hacker News
📊Runtime Verification
What Makes System Calls Expensive: A Linux Internals Deep Dive
blog.codingconfessions.com·20h·
Discuss: Hacker News
🔧Unikernel Development
Visual Exploration of Gradient Descent (many images)
lesswrong.com·54m
🧩Separation Logic
Adaptive Programming Systems for Humans and AI
gfrison.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·4h·
Discuss: Hacker News
📦Unikernel Systems
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·9h·
Discuss: r/programming
🔬Static Analysis
Why Event Driven Systems Are Not That Hard
darrenhorrocks.co.uk·23h·
Discuss: r/programming
🌐NetworkProtocols
How to implement the Outbox pattern in Go and Postgres
medium.com·23h·
Discuss: Lobsters
📊Runtime Verification
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Merging Physics-Based Synthetic Data and Machine Learning for Thermal Monitoring of Lithium-ion Batteries: The Role of Data Fidelity
arxiv.org·2d
🩹Self-Healing Systems
We Need to Talk About Observation (Swift/SwiftUI)
jaredsinclair.com·1d·
Discuss: Hacker News
📊Runtime Verification
Balanced Hybrid 1st Build: Hot-Swappable Drives + Workstation + Gaming Rig
reddit.com·22h·
Discuss: r/homelab
🔄Reproducible Builds
Common Applications of Web Browser Automation
anchorbrowser.io·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Network Storage and Scaling Characteristics of a Distributed Filesystem
maknee.github.io·22h·
Discuss: Hacker News
⚙️Operating System Design
Your Unit Tests Suck
medium.com·21h·
Discuss: Hacker News
🧪Property-Based Testing