Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·6h·
Discuss: Hacker News
👁️System Observability
The Engine to No Engine Journey
md.jtmn.dev·18h·
Discuss: Hacker News
🐫Embedded OCaml
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·1h·
Discuss: Hacker News
🩹Self-Healing Systems
Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·3d·
Discuss: r/programming
🛡️seL4
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·21h·
Discuss: Hacker News
❄️Nixified Development
Supply chains and watering holes
cryptography.dog·1d·
Discuss: Lobsters
💎Refinement Types
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Lexy: A parser combinator library for C++17
github.com·7h·
Discuss: Hacker News
🧩Parser Combinators
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Just Enough Automation
bevel.work·9h·
Discuss: Hacker News
🤖Program Synthesis
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·11h·
Discuss: r/programming
🧱Immutable Infrastructure
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·23h·
Discuss: r/programming
🔬Unikernels
Write Better with Vale
pragprog.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🧮Lambda Calculus
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·2h·
Discuss: Hacker News
🐳Containerization
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·5h·
Discuss: Hacker News, r/rust
🧮Lambda Calculus