Writing your own Go linter (dhcp25)
cdn.media.ccc.de·12h
⚙️PL Implementation
Flag this post
13 Principles of Writing Great Software
frontbackgeek.com·1d·
Discuss: r/programming
🔬Static Analysis
Flag this post
Architectural debt is not just technical debt
frederickvanbrabant.com·6h·
Discuss: Hacker News, r/programming
📊Runtime Verification
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·2d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Claude Skills Market
skillsmp.com·15h·
Discuss: Hacker News
💻CLI Tools
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·5d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·2d·
Discuss: Hacker News
❄️Nixified Development
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·19h
📐Linear Algebra
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
dev.to·9h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·19h
🧱Immutable Infrastructure
Flag this post
How to design effective agent workflows?
boliv.substack.com·3d·
Discuss: Substack
🔧DevOps
Flag this post
Building gemini-imagen with Claude Code: How AI Became My Pair Programming Partner
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·11h
🔧DevOps
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post