Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
💻CS
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·22h·
Discuss: Hacker News
⚙️PL Implementation
Don’t compare programming to the real world
expressionstatement.com·21h·
Discuss: r/programming
👁️System Observability
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·17h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Binding Application in Idris
andrevidela.com·11h·
Discuss: Hacker News
🔠Type-Level Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·3h·
Discuss: Hacker News
👁️System Observability
The Next Wave
dumindu.github.io·15h·
Discuss: Hacker News, r/programming
🔬Static Analysis
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Speclinter MCP
github.com·1d·
Discuss: Hacker News
🔍Formal Verification
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·17h·
Discuss: r/programming
📦Unikernel Systems
Will LLMs and Vibe Coding Fuel a Developer Renaissance?
thenewstack.io·1d
🔄Reproducible Builds
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·16h·
Discuss: Substack
🐫Embedded OCaml
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·6h
🎮Verification Games
Air France-KLM to increase intelligence of bots that have saved 200k hours
computerweekly.com·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·17h·
Discuss: Hacker News
🔬Static Analysis
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3h·
Discuss: Substack
🔍Formal Verification
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·19h·
Discuss: Hacker News
🔠Type-Level Programming
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·18h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·12h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds