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
16741
posts in
575.0
ms
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
1d
⚙️
Batch Processing
ExpressivityBench
: Can LLMs Communicate
Implicitly
?
arxiv.org
·
1d
🌐
Protocol Synthesis
TruConfirm
: Ending Vulnerability Guesswork with Proof inside
ETM
blog.qualys.com
·
6d
✅
Archive Fixity
ReAct
Pattern
dev.to
·
2d
·
Discuss:
DEV
✨
Effect Handlers
The Junior Developer
Paradox
: Why AI Makes
Fundamentals
More Important, Not Less
dev.to
·
2d
·
Discuss:
DEV
⚔️
Lean Tactics
Show HN:
Rehearse
– a
pytest
like testing library for voice agents
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Show HN: API Unit manage and schedule real API test
flows
, not just
requests
apiunit.io
·
4d
·
Discuss:
Hacker News
🏠
Homelab Pentesting
Testing
CLIs
with
Scrut
cgamesplay.com
·
5d
·
Discuss:
Hacker News
🔍
Concolic Testing
Boundary
Engineering
cabreza.substack.com
·
3d
·
Discuss:
Substack
🛡️
Error Boundaries
Type
Variance
en.wikipedia.org
·
4d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
dshearer/misatay
: AI Agent Tool that Keeps You in the Loop
github.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
4d
🦀
Rust Macros
Validation
is the
bottleneck
. Not code gen
kerno.io
·
5d
·
Discuss:
Hacker News
📏
Code Metrics
Verifying
coding
AIs
for LLM powered software
aunhumano.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Building "zero-gap"
secrets
for a
UGC
platform
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🐚
Shell Monads
Announcing
:
genai
v0.1.0
50984e11.maruel-ca.pages.dev
·
4d
·
Discuss:
Hacker News
🔌
Interface Evolution
Kubernetes Operator for automated
Jupyter
Notebook validation in
MLOps
pipelines
reddit.com
·
3d
·
Discuss:
r/kubernetes
✅
Archive Validation
Should You Use
Ampcode
for Production Code? One Month In
intelligenttools.co
·
3d
·
Discuss:
Hacker News
📏
Code Metrics
Loading...
Loading more...
« Page 11
•
Page 13 »
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