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
🔍 Proptest
Property Testing, Hypothesis, QuickCheck, Rust Testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
73217
posts in
675.7
ms
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
11h
·
Discuss:
Hacker News
✅
Property Testing
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
23h
✅
Property Testing
Auditing
Rust
Crates
Effectively
arxiv.org
·
1d
🎲
Quickcheck
Should Test Expected
Values
Come from the Same Place as the
Implementation
?
dev.to
·
1d
·
Discuss:
DEV
🧬
Mutation Testing
Make Your Own Budget
Component
Tester
hackster.io
·
21h
⚡
Circuit Design
Better Python tests with
inline-snapshot
pydantic.dev
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔥
Trace Compilation
ESLint
Plugin
Perfectionist
perfectionist.dev
·
20h
⚙️
SWC
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
18h
🧮
SMT Solvers
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
4h
✅
Property Testing
It’s about to get a lot
easier
for your JavaScript to clean up after
itself
piccalil.li
·
1h
🗑️
Garbage Collection
I got
bored
and had Claude design and
implement
a programming language
github.com
·
4h
·
Discuss:
Hacker News
🔄
Salsa
CoRefine
: Confidence-Guided
Self-Refinement
for Adaptive Test-Time Compute
arxiv.org
·
8h
🚀
Superoptimization
QtWidgets
to
QtQuick
, An Application Journey Part 2
qt.io
·
7h
🧊
Iced
ReAct
Pattern
dev.to
·
2d
·
Discuss:
DEV
⚛️
React
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
6h
·
Discuss:
Hacker News
📦
Serde
R2
: Final
Validation
stories.rivian.com
·
19h
📚
Rkyv
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
15h
📝
Parsing
Generate type-safe API
clients
from
OpenAPI
orval.dev
·
1h
·
Discuss:
DEV
⚡
FastAPI
Testing software in the era of coding agents
garymm.org
·
22h
·
Discuss:
Hacker News
🧬
Mutation Testing
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
22h
🔨
Incremental Compilation
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