🐿️ 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
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org
·
2h
🐫
OCaml
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
2h
🎮
Verification Games
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org
·
2h
✓
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
·
3h
·
Discuss:
Hacker News
🛡️
seL4
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org
·
2h
✓
Automated Theorem Proving
A Refreshing SQL Injection Discovery in Z-Push
xbow.com
·
12h
·
Discuss:
Hacker News
🛡️
seL4
User simulators bridge RL with real-world interaction
jessylin.com
·
9h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
8h
·
Discuss:
r/programming
🔬
Static Analysis
Using Gemini and Claude for SQL Analytics
benjaminwootton.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Show HN: Authorization in LLM Applications
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Data-Star.dev – v1 and Beyond
data-star.dev
·
15h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
16h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org
·
2d
🧪
Property-Based Testing
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
12h
·
Discuss:
Substack
🐫
Embedded OCaml
Modern Electric Vehicle Infrastructure Security
ocpp.us
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Loading...
Loading more...
« Page 1
•
Page 3 »