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
16948
posts in
409.5
ms
Beyond
Static
Alignment:
Hierarchical
Policy Control for LLM Safety via Risk-Aware Chain-of-Thought
arxiv.org
·
1d
🔒
WASM Capabilities
Algebraic
Robustness
Verification of Neural Networks
arxiv.org
·
1d
🔧
Hardware Verification
CAP-SRP
: Building a Cryptographic Flight Recorder for AI Content
Refusals
— A Complete Implementation Guide
dev.to
·
3d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
2d
·
Discuss:
DEV
⚡
Proof Automation
Vulnerable
MCP Servers Lab: 9 ways to boost
ML
security
reversinglabs.com
·
5d
🔓
Hacking
The Engineer's Guide to
Elastic
Detections
as Code
elastic.co
·
6d
✅
Archive Validation
What are
Effect
System and Why Do We care?
idiomaticsoft.com
·
6d
✨
Effect Handlers
Why Is My Code So Slow? A Guide to
Py-Spy
Python
Profiling
towardsdatascience.com
·
4d
📊
Count-Min Sketch
Personal AI
usage
disclosure
dpc.pw
·
6d
🎙️
Whisper
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
6d
·
Discuss:
Substack
🦀
Rust Borrowing
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
6d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Borrowing
AI Isn't
Optional
Anymore
nlopes.dev
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
6d
·
Discuss:
Hacker News
🖥️
Game Emulation
Bridging
AI and
Skills
bridge.surf
·
5d
·
Discuss:
Hacker News
🗺️
Competency Maps
Wirth
's
Revenge
jmoiron.net
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚡
Incremental Computation
Skill
Issues: An
OpenClaw
Malware Campaign
cantpwn.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Data Agent Ready Database:
Designing
the Next-Gen Enterprise Data
Warehouse
databend.com
·
6d
·
Discuss:
Hacker News
🗄️
Database Internals
Debugging
with AI: Can It Replace an
Experienced
Developer?
developerway.com
·
6d
·
Discuss:
Hacker News
,
r/reactjs
🐛
Fuzzing
Trust
Signals
Are
Broken
ordep.dev
·
6d
·
Discuss:
Lobsters
,
Hacker News
🧪
CBOR Fuzzing
Algebraic
Effects
for the Rest of Us
overreacted.io
·
6d
✨
Algebraic Effects
Loading...
Loading more...
« Page 15
•
Page 17 »
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