🐿️ 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
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com
·
12h
·
Discuss:
Hacker News
🛡️
seL4
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org
·
1d
✓
Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com
·
11h
·
Discuss:
Hacker News
🧪
Property-Based Testing
(Attempting to) Engineer the chaos out of AI agents
trunk.io
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org
·
4h
🐫
OCaml
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org
·
20h
·
Discuss:
Hacker News
📡
Network Protocol Design
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com
·
25m
·
Discuss:
Substack
🔬
Static Analysis
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
4h
🎮
Verification Games
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org
·
4h
✓
Automated Theorem Proving
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧪
Property-Based Testing
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org
·
2d
🔬
Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
LLM Inference Handbook
bentoml.com
·
5h
·
Discuss:
Hacker News
🛡️
seL4
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
9h
·
Discuss:
r/programming
🔬
Static Analysis
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org
·
4h
✓
Automated Theorem Proving
A Refreshing SQL Injection Discovery in Z-Push
xbow.com
·
14h
·
Discuss:
Hacker News
🛡️
seL4
Show HN: Authorization in LLM Applications
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
18h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org
·
2d
🧪
Property-Based Testing
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Loading...
Loading more...
« Page 1
•
Page 3 »