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
🔍 Proptest
Property Testing, Hypothesis, QuickCheck, Rust Testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
73010
posts in
797.9
ms
RUSTSEC-2025-0148
: Vulnerability in
finch-rust
rustsec.org
·
3d
🐧
Rust for Linux
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
3d
⚓
Anchors
The
Spec
Problem, Part 1: When Tools
Try
to Do Too Much
blog.gorewood.games
·
4d
🌀
Maelstrom
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
3d
·
Discuss:
DEV
🧪
Testing
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎯
WASM Runtime
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
3d
·
Discuss:
Hacker News
,
r/rust
🍱
Nom
TestMigrationsInPy
: A Dataset of Test Migrations from
Unittest
to Pytest
arxiv.org
·
4d
🧬
Mutation Testing
Jarvis2021/agent-vcr
: Agent
VCR
gives teams a way to test MCP: record client-server traffic into
.vcr
cassettes, replay it in tests and CI. No live servers, rate limits, or drift. Same format in Python and TypeScript so teams can share recordings. Built for compatibility gates, regression detection, and deterministic pipelines - the tool mature platform teams expect.
github.com
·
1d
·
Discuss:
Hacker News
🔌
gRPC Interceptors
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
1d
📊
Datalog
Simplifying
State Management in
Flutter
with Command and Result
dev.to
·
13h
·
Discuss:
DEV
📝
Poem
Testing
CLIs
with
Scrut
cgamesplay.com
·
5d
·
Discuss:
Hacker News
⌨️
CLI Development
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🦀
Rayon
Teach
your models to act, not just be
thoughtbot.com
·
4d
⚓
Anchors
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
Constraint Programming
To
Consume
or
Reference
in Rust
meejah.ca
·
4d
🦀
Rust Lifetimes
The Rise of
Spec
Driven Development
dbreunig.com
·
3d
·
Discuss:
Hacker News
🧪
Jepsen Testing
Quantum 4 questions
cloudynights.com
·
3d
⚛️
Quantum Computing
Narrative-Driven Development:
BDD
+
TDD
+ Living Documentation in One Workflow
test2doc.com
·
4d
·
Discuss:
Hacker News
🧪
Testing
Context
Is Part of the Game
joy.pm
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
Show HN: We
audited
AI agent
configs
on GitHub. Every one had security issues
clawhatch.com
·
2d
·
Discuss:
Hacker News
🔒
Rustls
Loading...
Loading more...
« Page 5
•
Page 7 »
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