🔧 DevOps

Infrastructure as Code, Docker, Kubernetes, Site Reliability Engineering

Training: Postgres Performance and Maintenance
postgresconf.org·18h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Architectural debt is not just technical debt
frederickvanbrabant.com·17h·
Discuss: Hacker News, r/programming
📊Runtime Verification
Flag this post
"You Don't Need Kafka, Just Use Postgres" Considered Harmful
morling.dev·17h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Flag this post
It is your fault if your application is down
ufried.com·4d·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·2d·
Discuss: Hacker News
❄️Nixified Development
Flag this post
Fragments Nov 3
martinfowler.com·10h
🔬Static Analysis
Flag this post
CM-LIUW-Odometry: Robust and High-Precision LiDAR-Inertial-UWB-Wheel Odometry for Extreme Degradation Coal Mine Tunnels
arxiv.org·5h
🤖Robotics
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·2d·
Discuss: DEV
📊Runtime Verification
Flag this post
GoFr's Instant Power: Production-Ready Go Services in 5 Minutes
dev.to·18h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Learn K8S quick
reddit.com·2d·
Discuss: r/kubernetes
⎈Kubernetes
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·9h·
Discuss: DEV
💎Refinement Types
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·5h
🧠Automated Reasoning
Flag this post
The 7 Paid Subscriptions I Use in 2025 as a Freelance Software Developer
dev.to·2d·
Discuss: DEV
🌐ActivityPub
Flag this post
GitHub Issue Monitor AI Agent with Mastra
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Beyond the LLM: The 8 Essential Components for Building Reliable AI Agents and Where Coding Tools Fit In
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Building a Google Play Store Rating Agent with Mastra and Telex.im
dev.to·13h·
Discuss: DEV
🔌APIs
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·5h
📝Nix Language
Flag this post
IaaS vs PaaS vs SaaS — The Cloud Models Every Developer Should Understand 📊
dev.to·2d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post