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
8585
posts in
363.4
ms
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
2d
🔬
Static Analysis
CoRefine
: Confidence-Guided
Self-Refinement
for Adaptive Test-Time Compute
arxiv.org
·
2d
🔍
CBMC
Learn
fundamentals
, not
frameworks
newsletter.techworld-with-milan.com
·
1h
·
Discuss:
r/programming
🔬
Static Analysis
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
2d
🎮
Verification Games
Allocators
from C to
Zig
antonz.org
·
5h
·
Discuss:
Hacker News
🏃
Escape Analysis
Testing software in the era of coding agents
garymm.org
·
3d
·
Discuss:
Hacker News
🧪
Concolic Testing
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
2d
·
Discuss:
r/programming
👁️
System Observability
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Monitor
Jailbreaking
:
Evading
Chain-of-Thought Monitoring Without
lesswrong.com
·
1d
🛡️
macOS Security
The
Redundancy
Paradox
mihirdeshpande.com
·
53m
·
Discuss:
Hacker News
👁️
System Observability
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
💾
Cachix
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
Camera based true
random
number
generator
Beta
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🔧
Unikernel Development
Formal
Methods
Practice and Theory
adacore.com
·
2d
·
Discuss:
Hacker News
🔍
Formal Verification
Better Python tests with
inline-snapshot
pydantic.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/opensource
🧪
Concolic Testing
Emv
Helper
Tools
emv.works
·
4h
·
Discuss:
Hacker News
💻
CLI Tools
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
2h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Training A Small Language Model To
Outperform
Frontier Models On
CRM-Arena
neurometric.substack.com
·
6h
·
Discuss:
Substack
🔀
Brzozowski Derivatives
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
5d
·
Discuss:
Hacker News
🧪
Concolic Testing
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
13h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Loading...
Loading more...
« Page 1
•
Page 3 »
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