Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8621
posts in
177.6
ms
Go -
Unit
&
Integration
Testing
linkedin.com
·
2d
·
Discuss:
r/programming
🧪
Property-Based Testing
interwhen
: A Generalizable Framework for
Verifiable
Reasoning with Test-time Monitors
arxiv.org
·
20h
📊
Runtime Verification
CryptoAnalystBench
:
Failures
in Multi-Tool Long-Form LLM Analysis
arxiv.org
·
20h
🛡️
seL4
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1d
✓
Automated Theorem Proving
AI #155: Welcome to
Recursive
Self-Improvement
lesswrong.com
·
1d
🧮
SMT Solvers
I built a
zero-noise
AI code review agent using Claude Code
medium.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Realworld
benchmark between Codex 5.3 and
Opus
4.6
swe-agi.com
·
1d
·
Discuss:
Hacker News
🔧
ppx
OpenClaw
Hub: A Platform for
Managing
OpenClaw
Skills
openclawskill.net
·
16h
·
Discuss:
Hacker News
🔧
DevOps
The
Fourth
Wave
of Computing
lucibrowser.com
·
15h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Hare
0.26.0 released
harelang.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
State of
HLSL
: February 2026
abolishcrlf.org
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
Find the right local LLM for your
exact
hardware
localclaw.io
·
18h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Explain
Your Rules
blog.sebastiansastre.co
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
1d
·
Discuss:
Hacker News
🔗
Curry-Howard
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
2d
·
Discuss:
Hacker News
🛡️
seL4
The Solution to Prompt Injection: Mapping
SSL/TLS
Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
[
Podman
]
Quadlet
as a First-Class Platform Primitive
ebourgess.dev
·
1d
·
Discuss:
Hacker News
🐳
Containerization
OpenEnv
in Practice:
Evaluating
Tool-Using Agents in Real-World Environments
huggingface.co
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Sign up or log in to see more results
Sign Up
Login
« Page 2
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help