Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·19h·
Discuss: r/programming
💎Refinement Types
What I Learned Building My First Jenkins Plugin
mergify.com·23h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Billion-Line Days Demand Billion-Test Nights
momentic.ai·18h·
Discuss: Hacker News
🤖Program Synthesis
Using Haskell in Production
agentultra.com·15h·
Discuss: Hacker News
🔠Type-Level Programming
Thoughts on running my own forgejo (hosted git with web stuff) server
neilzone.co.uk·2d·
Discuss: Hacker News
🖥Self-Hosting
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🐳Containerization
Supply chains and watering holes
cryptography.dog·14h·
Discuss: Lobsters
💎Refinement Types
Easy to use server for the KiCad Plugin and Content Manager
github.com·1d·
Discuss: Hacker News
🐳Containerization
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·23h·
Discuss: r/programming
👁️System Observability
The Immutable Linux Paradox
discourse.ubuntu.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Changes to Camunda Helm Sub-Charts: What You Need to Know
camunda.com·8h·
Discuss: Hacker News
⎈Kubernetes
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com·23h·
Discuss: Hacker News
🐳Containerization
Belzebub.ai: AI Deception Platform
beelzebub.ai·53m·
Discuss: Hacker News
🖥Self-Hosting
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·19h·
Discuss: Hacker News
🤖Program Synthesis
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·5h·
Discuss: Hacker News
🐳Containerization
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·10h·
Discuss: r/programming
📊Runtime Verification
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols