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 Testing
Specific
QuickCheck, Hypothesis, property-based testing, generative testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
187366
posts in
16.5
ms
Spotify Is Adding Artist Verification
Badges
on
Profiles
🔍
Jepsen
cnet.com
·
17h
It's time to be right.
✅
Correctness
brooker.co.za
·
1d
FMCSA
Tightens
Clearinghouse
Verification to Strengthen Driver Records
📝
Database WAL
metro-magazine.com
·
13h
Why I still reach for
Lisp
and Scheme instead of
Haskell
🦀
Rust programming language
news.ycombinator.com
·
1d
·
Hacker News
Tries
for
Polynomials
🗂️
Vector Indexes
doisinkidney.com
·
3d
·
Lobsters
KYC
Bottleneck: Why Verification Delays Cost
Casinos
More Players Than Poor Odds
💳
Transactions
baltictimes.com
·
17h
Please
help me
understand
my next steps
⚙️
Mechanical Sympathy
carder.market
·
1d
How the
Booking
Phishing Campaign Works and What
Defenders
Should Watch For
🎲
Fuzzing
malware.news
·
22h
Anthropic Tool Access, EU App
Bypasses
, and
Active
Zero-Days
📑
OSDI
bishopfox.com
·
6d
Pie
Thieves
🎲
Fuzzing
endnotes.net
·
2d
·
Hacker News
Sorry
, AI artists. Spotify’s not
letting
you become ‘verified’ on its platform.
🔍
Information Retrieval
musicbusinessworldwide.com
·
17h
Your Voice Just Sold You Out: The 3-Second
Clone
That
Walked
Into Axios
🎲
Fuzzing
caracomp.com
·
1d
·
DEV
It's Hard Not to Feel Powerful - 100%
Vibecoder
Perspective
✅
Correctness
olexian.com
·
3d
·
r/vibecoding
Roblox
announces control measures to
comply
with Indonesia's social media curb
🦀
Rust
channelnewsasia.com
·
20h
Leveraging Agentic AI Techniques to Improve
Formal
Verification (
Infineon
, et al.)
📐
TLA+
semiengineering.com
·
2d
GovTech
seeking feedback on a dating service with free meals and
Singpass
verification
🎲
Fuzzing
straitstimes.com
·
18h
·
r/singapore
Practical Post-Quantum Secure
Publicly
Verifiable
Secret Sharing and Applications
🤝
Paxos Consensus
eprint.iacr.org
·
6d
An AI
prompt-injected
another AI in the wild and recognized it had
succeeded
🎲
Fuzzing
ratnotes.substack.com
·
2d
·
Substack
Extending
Ruzzy
with
LibAFL
🎲
Fuzzing
blog.trailofbits.com
·
1d
·
Hacker News
Laws as Constraint
Residues
: Toward a Structural
Ontology
of Law
🔐
Serializability
philsci-archive.pitt.edu
·
4d
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
Save / unsave
s
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