Observability for Databases in CI/CD
blog.sonichigo.com·1d·
Discuss: Hacker News
👁️System Observability
How to (actually) become an expert in .NET
mijailovic.net·2d·
Discuss: r/programming
🔤DSLs
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.org·1d
💎Refinement Types
What I Learned Building My First Jenkins Plugin
mergify.com·2h·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·4h·
Discuss: Hacker News
🔧Unikernel Development
Easy to use server for the KiCad Plugin and Content Manager
github.com·4h·
Discuss: Hacker News
🐳Containerization
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·16h·
Discuss: Hacker News
🛡️seL4
From Modular to Utility-First tailwind migration
auslake.vercel.app·4h·
Discuss: r/programming
⚙️PL Implementation
Trying out import std
nibblestew.blogspot.com·2d·
Discuss: Hacker News, nibblestew.blogspot.com
📦Unikernel Systems
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·6h·
Discuss: r/programming
👁️System Observability
The Case for Cowboy Coding
bevel.work·13m·
Discuss: Hacker News
💎Refinement Types
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·3h·
Discuss: r/programming
👁️System Observability
Prompt Snapshot Testing
ninkovic.dev·15h·
Discuss: Hacker News
🧪Property-Based Testing
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·4h·
Discuss: r/programming
🧱Immutable Infrastructure
Semiconductor Fabs II: The Operation
lesswrong.com·1d
💾Retro Computing
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·22h
💎Refinement Types
Adventures in C++ Game Architecture
hoboker.substack.com·16h·
Discuss: r/programming
🔬Static Analysis
The Last Programmers
xipu.li·21h·
Discuss: Hacker News, Hacker News
📊Runtime Verification
Rust's Enterprise Breakthrough Year
rust-trends.com·4h·
Discuss: Hacker News
🐫Embedded OCaml