How to Use Claude Code Subagents to Parallelize Development
zachwills.net·7h·
Discuss: Hacker News
⚡Process Calculi
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·7h·
Discuss: r/programming
💎Refinement Types
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·14h·
Discuss: r/programming
👁️System Observability
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·4h
🔄Reproducible Builds
Billion-Line Days Demand Billion-Test Nights
momentic.ai·5h·
Discuss: Hacker News
🔄Reproducible Builds
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·20h·
Discuss: Hacker News
🔬Static Analysis
IO is special
blog.ploeh.dk·1d·
Discuss: Lobsters
💎Refinement Types
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·1d
🧠Automated Reasoning
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️Operating System Design
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
Using Linters to Direct Agents
factory.ai·2h·
Discuss: Hacker News
🔄Reproducible Builds
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
The Android Linux Commander
hackaday.com·3h
🐳Containerization
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
An Introduction to XForms
xml.com·6h·
Discuss: Hacker News
⚙️PL Implementation
Scaffolding for production vibe coding
interjectedfuture.com·1h·
Discuss: Hacker News
🔬Static Analysis
Master Foo and LLM Mountain
tusshah.github.io·19h·
Discuss: Hacker News
⚙️PL Implementation