Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Property Testing
🎲 Property Testing
Invariants, Fuzzing, QuickCheck, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
79
posts in
7.2
ms
0059: NYC and SF?
🏗️
Language Design
scattered-thoughts.net
·
6d
6 days ago
Actions for 0059: NYC and SF?
View from Bangladesh: India forcing people across the border is becoming a
test
of ties
⚖️
Invariants
Content type:
News
scroll.in
·
1d
1 day ago
Actions for View from Bangladesh: India forcing people across the border is becoming a test of ties
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
⚖️
Invariants
cointelegraph.com
·
3d
3 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
Programming Languages Software Award
🔗
Dependent Types
sigplan.org
·
1d
1 day ago
Actions for Programming Languages Software Award
Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
⚖️
Invariants
sdtimes.com
·
1d
1 day ago
Actions for Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases
An AI agent found 21 zero-days in FFmpeg for $1,000. Chrome just patched a record 429 bugs.
⚙️
CompTime
Content type:
News
thenextweb.com
·
5d
5 days ago
Actions for An AI agent found 21 zero-days in FFmpeg for $1,000. Chrome just patched a record 429 bugs.
ICYMI: May 2026 @AWS Security
✓
Formal Verification
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for ICYMI: May 2026 @AWS Security
justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and
testing
are a single source of truth.
🧩
Monads
Content type:
Code
github.com
·
10h
10 hours ago
·
Hacker News
Actions for justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.
Less-relevant results
FOD#155: Continual Learning in LLMs: Why AI
Models
Need Sleep
🔗
Dependent Types
turingpost.com
·
2d
2 days ago
Actions for FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep
GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation
✓
Formal Verification
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation
“Sloppenheimer:” Amazon Employees Mock the Company’s AI on Slack
🧪
Automated Testing
404media.co
·
2d
2 days ago
·
Hacker News
Actions for “Sloppenheimer:” Amazon Employees Mock the Company’s AI on Slack
Re-quantizing a local LLM 14x faster by skipping the tensors that didn't change
⏩
SIMD
Content type:
News
Content type:
Blog
andreaborio.substack.com
·
1d
1 day ago
·
Substack
Actions for Re-quantizing a local LLM 14x faster by skipping the tensors that didn't change
Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
⚖️
Invariants
Content type:
News
coindesk.com
·
6d
6 days ago
Actions for Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
Slop Has no ROI, an Economy Built on False Assumptions of Slop is Doomed
📏
LinearTypes
techrights.org
·
6d
6 days ago
Actions for Slop Has no ROI, an Economy Built on False Assumptions of Slop is Doomed
Nuclei: Fast and Flexible Vulnerability Scanning in 2026
🔍
Static Analysis
Content type:
Blog
jonathansblog.co.uk
·
5d
5 days ago
Actions for Nuclei: Fast and Flexible Vulnerability Scanning in 2026
17 real security bugs in 10 weeks, all from an AI scanner
🧹
Memory Management
lalitm.com
·
4d
4 days ago
·
Lobsters
Actions for 17 real security bugs in 10 weeks, all from an AI scanner
Introducing SupXML, the
modern
memory-safe XML parser alternative to libxml2
⚙️
Systems Programming
Content type:
Blog
supso.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing SupXML, the modern memory-safe XML parser alternative to libxml2
GapFuzz: Cross-Plane Divergence
Fuzzing
for Distributed SDN Controllers
🧹
Memory Management
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for GapFuzz: Cross-Plane Divergence Fuzzing for Distributed SDN Controllers
BDMEmu - Bandai Design Master emulator v1.0 released!
⏩
SIMD
ngemu.com
·
4d
4 days ago
Actions for BDMEmu - Bandai Design Master emulator v1.0 released!
Where the f*ck is the Excalidraw markup table?
🔗
Dependent Types
Content type:
News
Content type:
Blog
larkmatter.substack.com
·
4d
4 days ago
·
Substack
Actions for Where the f*ck is the Excalidraw markup table?
Sign up or log in to see more results
Sign Up
Login
« Page 2
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