Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Property-Based Testing
QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7376
posts in
7.7
ms
Programmable
Property-Based
Testing
arxiv.org
·
3d
🧪
Concolic Testing
Some notes on
unreliability
of LLM
APIs
andrewpwheeler.com
·
3h
·
Discuss:
Hacker News
🧩
Parser Combinators
Enhancing LLM-Based Test Generation by
Eliminating
Covered
Code
arxiv.org
·
1d
🧪
Concolic Testing
Code Review
Bench
:
Towards
Billion Dollar Benchmarks
withmartian.com
·
4h
·
Discuss:
Hacker News
👁️
System Observability
saint0x/fzy
: a systems programming language prioritizing verifiable correctness, determinism, and performance
github.com
·
1d
·
Discuss:
r/programming
🔄
Reproducible Builds
Why Did My Model Do That? Model
Incrimination
for Diagnosing LLM
Misbehavior
lesswrong.com
·
17h
🎮
Verification Games
Show HN:
CodeLeash
: framework for quality agent development, NOT an
orchestrator
codeleash.dev
·
17h
·
Discuss:
Hacker News
🔧
DevOps
New
ARENA
material: 8 exercise sets on alignment science &
interpretability
lesswrong.com
·
3h
🎮
Verification Games
Gartner
: Market Guide for API and
MCP
Testing Tools
gartner.com
·
2h
·
Discuss:
Hacker News
👁️
System Observability
The Big
TDD
Misunderstanding
kiss-and-solid.com
·
5d
·
Discuss:
r/programming
🧪
Concolic Testing
Formal
methods for the
unsafe
side of the Force
antithesis.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
The
Unreasonable
Effectiveness
of External Feedback Loops
bernste.in
·
3h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Are we
optimizing
for speed at the cost of
resilience
?
endure.codeslick.dev
·
11h
·
Discuss:
r/SideProject
,
r/programming
👁️
System Observability
A
fuzzer
for the Toy
Optimizer
bernsteinbear.com
·
2d
·
Discuss:
Hacker News
🏃
Escape Analysis
Instant
DB
clones
for AI agents
contextbits.com
·
48m
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
VeriSoftBench
: Repository-Scale Formal Verification Benchmarks for
Lean
utopia-group.github.io
·
3d
·
Discuss:
Hacker News
🔍
Formal Verification
Working on
Pharo
Smalltalk:
BPatterns
: Rewrite Engine with Smalltalk Style
dionisiydk.blogspot.com
·
11h
·
Discuss:
Hacker News
,
r/programming
🔧
ppx
TeXCCChess
: How Coding Agents Wrote a
Chess
Engine in Pure TeX
blog.mathieuacher.com
·
9h
·
Discuss:
Hacker News
🔧
ppx
everythingability/HyperCod
: An attempt at a HyperCard clone but as a PWA
github.com
·
4h
·
Discuss:
Hacker News
📦
OPAM
Berry
: An MCP server that
verifies
LLM claims against your evidence
strawberry.hassana.io
·
1d
·
Discuss:
Hacker News
🔒
Protocol Verification
Loading...
Loading more...
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