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
28236
posts in
15.8
ms
Programmable
Property-Based
Testing
arxiv.org
·
4d
🐛
Fuzzing
Software Testing With Test Case Design
Techniques
qable.io
·
23h
🔍
Concolic Testing
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
4h
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Some notes on
unreliability
of LLM
APIs
andrewpwheeler.com
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Why “Small Changes” Don’t
Exist
in Production Game Systems
hackernoon.com
·
5h
✨
Algebraic Effects
Simulation
for Agentic
Evaluation
yortuc.com
·
19h
·
Discuss:
Hacker News
🔍
Concolic Testing
AuditBench
: Evaluating Alignment
Auditing
Techniques on Models with Hidden Behaviors
arxiv.org
·
1d
🧪
Binary Fuzzing
An
Introduction
to
Lean
4
uv.es
·
10h
⚔️
Lean Tactics
Show HN: Testing
SQL
logic
without a real database
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Preview
Regex
Replacements as
Diffs
emacsredux.com
·
43m
✅
Format Verification
Putting the "
APC
List" Prototype to the Test: A
Usability
Story
blogs.lib.umich.edu
·
1d
📟
CLI Design
Combat
Robotics
hackster.io
·
1h
🦾
ARM Cortex-M
Pytest
parameter
functions
nedbatchelder.com
·
1d
⚡
Proof Automation
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
21h
🧠
Lisp Dialects
Full Report: What Claude Code Actually
Chooses
amplifying.ai
·
19h
📏
Code Metrics
Code Review
Bench
:
Towards
Billion Dollar Benchmarks
withmartian.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Let’s stop
copying
C
eev.ee
·
1d
🔗
Concatenative Programming
How Claude Code
Automates
Software Development: A Deep-Dive Into AI-Powered Engineering
Workflows
buymeacoffee.com
·
11h
·
Discuss:
DEV
⚡
Proof Automation
Formal
methods for the
unsafe
side of the Force
antithesis.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Verification
dReLU
Sparsification: Recovering LLM Performance with
150B
Token Pretraining
hackernoon.com
·
21h
💻
Local LLMs
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