Specification Grounding: The Missing Link in Vibe Coding
unstract.com·18h·
Discuss: Lobsters, Hacker News
🛡️seL4
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🛡️seL4
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·4h·
Discuss: Substack
🛡️seL4
Binding Application in Idris
andrevidela.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·4h·
Discuss: Hacker News
👁️System Observability
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·7h
🛡️seL4
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·13h·
Discuss: r/programming
🐫OCaml
Speclinter MCP
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·14h·
Discuss: Hacker News
🌐NetworkProtocols
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
✓Automated Theorem Proving
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·23h·
Discuss: Hacker News
🤖Program Synthesis
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
C++: Maps on Chains
bannalia.blogspot.com·4h·
Discuss: Hacker News
🏹Effect Systems
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·7h
🐫OCaml
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·7h
✓Automated Theorem Proving
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·11h·
Discuss: Hacker News
🌐NetworkProtocols
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·19h·
Discuss: Hacker News
🔬Static Analysis
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·7h
🧪Property-Based Testing
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·18h·
Discuss: Hacker News
🔬Static Analysis