Specification Grounding: The Missing Link in Vibe Coding
unstract.com·8h·
Discuss: Lobsters, Hacker News
🛡️seL4
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·1d
🛡️seL4
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Binding Application in Idris
andrevidela.com·2h·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·13h·
Discuss: Hacker News
🤖Program Synthesis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3h·
Discuss: r/programming
🐫OCaml
Speclinter MCP
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·1d
✓Automated Theorem Proving
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·20h·
Discuss: Hacker News
🔄Finite State Machines
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·5h·
Discuss: Hacker News
🛡️seL4
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·9h·
Discuss: Hacker News
🔬Static Analysis
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·8h·
Discuss: Hacker News
🔬Static Analysis
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·13h·
Discuss: Hacker News
📡Network Protocol Design
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·21h
✓Automated Theorem Proving
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·1d
🔬Static Analysis
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·21h
🤖Program Synthesis