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-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
8561
posts in
254.3
ms
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🧪
Concolic Testing
Go -
Unit
&
Integration
Testing
linkedin.com
·
16h
·
Discuss:
r/programming
📊
Runtime Verification
Implementation of Polynomial
NP-Complete
Algorithms Based on the
NP
Verifier
Simulation Framework
arxiv.org
·
8h
⏱️
Computational Complexity
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
19h
·
Discuss:
Hacker News
🧪
Concolic Testing
Proving
What's Possible
buttondown.com
·
18h
🔍
Formal Verification
Towards
Poisoning
Robustness
Certification for Natural Language Generation
arxiv.org
·
1d
🛡️
seL4
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
21h
·
Discuss:
Lobsters
🐫
Embedded OCaml
Show HN: A
header-only
C++ benchmark for predictive models on raw
binary
streams
github.com
·
4h
·
Discuss:
Hacker News
🔧
ppx
Proof-oriented
Programming in F*
fstar-lang.org
·
9h
·
Discuss:
Lobsters
🔗
Curry-Howard
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
5d
·
Discuss:
DEV
🧪
Concolic Testing
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
1d
🎮
Verification Games
Dear
Agent:
Prove
it.
rijnard.com
·
9h
·
Discuss:
Hacker News
🔍
Formal Verification
Ready to test what actually
matters
?
vibearena.io
·
1d
·
Discuss:
Hacker News
🧪
Concolic Testing
The Death of Traditional Testing: Agentic Development Broke a 50-Year-Old Field,
JiTTesting
Can
Revive
It
engineering.fb.com
·
20h
·
Discuss:
Hacker News
🧪
Concolic Testing
Stryker
Mutator
: Test your tests with mutation testing
stryker-mutator.io
·
1d
·
Discuss:
Hacker News
🧪
Concolic Testing
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
1d
·
Discuss:
r/programming
👁️
System Observability
Rust
Standard
Library Challenges
rustfinity.com
·
23h
·
Discuss:
r/rust
🏗️
Dune
Monitor
Jailbreaking
:
Evading
Chain-of-Thought Monitoring Without
lesswrong.com
·
20h
🛡️
macOS Security
Testing software in the era of coding agents
garymm.org
·
2d
·
Discuss:
Hacker News
🧪
Concolic Testing
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
1d
·
Discuss:
Hacker News
🛡️
seL4
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