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
🎲 Property Testing
QuickCheck, Hypothesis, Generative Testing, Invariant Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112648
posts in
308.1
ms
Task 17:
Implement
property-based
invariant
tests · Issue #30
github.com
·
1d
🧪
Compiler Testing
test: add property-based
invariant
tests (PROP-001 through PROP-006) by
meleantonio
· Pull Request #45
github.com
·
1d
🎲
Test Generators
Consistency
Meets
Verification
: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
arxiv.org
·
1d
🎲
Parser Fuzzing
Clean
Architecture in .NET 10: Testing What
Matters
dev.to
·
16h
·
Discuss:
DEV
🧪
Compiler Testing
A
note
on
parameterized
testing
blog.gnoack.org
·
1d
🧪
Compiler Testing
Cryptopals-57
solution
dev.to
·
6h
·
Discuss:
DEV
🔒
Rust Borrowing
My
Skill
Makes Claude Code GREAT At
TDD
aihero.dev
·
6h
🧪
Compiler Testing
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
3d
·
Discuss:
Hacker News
🎲
Test Generators
WebTestPilot
: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with
Symbolized
GUI Elements
arxiv.org
·
16h
🧪
Parser Testing
Proving
What's Possible
buttondown.com
·
2d
📜
Proof Languages
Escaping the "AI
Spaghetti
Code" Trap: How I
Refactored
My Next.js App with spec-kit
printablehandwriting.com
·
12h
·
Discuss:
DEV
✨
Code Formatters
High
errors
with image generation
status.openai.com
·
13h
🚂
Error Propagation
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
1d
✨
Effect Inference
Quick and
dirty
linting
phpied.com
·
14h
🌲
Deforestation
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
11h
·
Discuss:
Hacker News
🐹
Minimal Go
LangChain
Agent Testing Guide Tool (Free)
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🧪
Parser Testing
Virtual
Reality
Check
bluesnews.com
·
4h
🔍
Lens Libraries
Signal
vs.
Noise
at Scale
blog.gorewood.games
·
3h
🌲
Deforestation
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
2d
·
Discuss:
Hacker News
📚
Self-Documenting Code
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