How to Use Claude Code Subagents to Parallelize Development
zachwills.net·21h·
Discuss: Hacker News
⚡Process Calculi
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·6h
🔍Formal Verification
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·20h·
Discuss: r/programming
💎Refinement Types
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·18h
🔄Reproducible Builds
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·12h·
Discuss: Hacker News
⚙️PL Implementation
Billion-Line Days Demand Billion-Test Nights
momentic.ai·19h·
Discuss: Hacker News
🔄Reproducible Builds
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🔬Static Analysis
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️Operating System Design
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·15m
🎮Verification Games
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
Using Linters to Direct Agents
factory.ai·16h·
Discuss: Hacker News
🔄Reproducible Builds
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·18h·
Discuss: Hacker News
✓Automated Theorem Proving
The Android Linux Commander
hackaday.com·17h
🐳Containerization
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
The Engine to No Engine Journey
md.jtmn.dev·6h·
Discuss: Hacker News
🐫Embedded OCaml
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·15h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols