The Ultimate SRE Reliability Checklist
oneuptime.com·6h·
Discuss: r/devops, r/programming, r/webdev
🛡️seL4
Is GitHub Actions suitable for running benchmarks?
labs.quansight.org·4h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
A Software Engineer's Guide to Observability: Part 1 – Logging
engineering.theblueground.com·4h·
Discuss: Hacker News
📊Runtime Verification
ASUS Gaming Laptops Have Been Broken Since 2021: A Deep Dive
github.com·19h·
Discuss: Lobsters, Hacker News, r/hardware, r/programming
🔧Unikernel Development
Software Engineering Leadership in Flux
lesswrong.com·2h
🩹Self-Healing Systems
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·2h·
Discuss: Hacker News
🐫Embedded OCaml
A Guide To Fluent Bit’s Health Check API Endpoints
thenewstack.io·1h
📊Runtime Verification
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·1d·
Discuss: Hacker News
🔧Unikernel Development
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·8h·
Discuss: Hacker News
📦Unikernel Systems
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·14h·
Discuss: r/programming
🔬Static Analysis
Why Event Driven Systems Are Not That Hard
darrenhorrocks.co.uk·1d·
Discuss: r/programming
🌐NetworkProtocols
How to implement the Outbox pattern in Go and Postgres
medium.com·1d·
Discuss: Lobsters
📊Runtime Verification
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
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Adaptive Programming Systems for Humans and AI
gfrison.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Balanced Hybrid 1st Build: Hot-Swappable Drives + Workstation + Gaming Rig
reddit.com·1d·
Discuss: r/homelab
🔄Reproducible Builds
Common Applications of Web Browser Automation
anchorbrowser.io·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Using a maintenance mode primitive to shard Postgres with zero downtime
gadget.dev·38m·
Discuss: Hacker News
🧱Immutable Infrastructure
Network Storage and Scaling Characteristics of a Distributed Filesystem
maknee.github.io·1d·
Discuss: Hacker News
⚙️Operating System Design