🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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
Loading...
Loading more...
Page 2 »