Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Property Testing
QuickCheck, Generative Testing, Haskell, Test Cases
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
135004
posts in
55.3
ms
kcsujeet/testoise
: Lightweight and fully type-safe lazy test variables for Bun, Vitest, and Jest. Inspired by RSpec.
github.com
·
1d
·
Discuss:
r/javascript
🔍
Proptest
What If
Traits
Carried
Values
nadrieril.github.io
·
12h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Lifetimes
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
2d
🦀
Rust
From Research Paper to
Prototype
: Using Generative AI to
Automatically
Generate Test Cases
dev.to
·
4d
·
Discuss:
DEV
🎭
Program Synthesis
Testing Step Functions
workflows
: a guide to the enhanced
TestState
API
aws.amazon.com
·
2h
🧪
Jepsen Testing
Haskell
ecosystem activities report: December
2025â
€“February 2026
well-typed.com
·
3d
🔄
Salsa
Testing
typing
chandrahalim.com
·
1d
⌨️
Mechanical Keyboards
Typechecking
mCRL2
emi-h.com
·
1d
·
Discuss:
Lobsters
🔍
Type Inference
Specification
debugging
as code generation
protocols-made-fun.com
·
1d
🎭
Program Synthesis
A Coding
Implementation
to Build an Uncertainty-Aware LLM System with Confidence Estimation, Self-Evaluation, and
Automatic
Web Research
marktechpost.com
·
21h
🦙
Ollama
Maximally
minimal
view types, a follow-up
smallcultfollowing.com
·
2h
👻
Phantom Types
Test Control from a Google
Spreadsheet
get-skipper.github.io
·
1d
·
Discuss:
Hacker News
🧪
Testing
Linux Applications Programming by
Example
: The
Fundamental
APIs (2nd Edition)
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🔧
Abseil
4 Claude Code
Workflows
That
Write
Your Python Tests
dev.to
·
6h
·
Discuss:
DEV
🧬
Mutation Testing
A Guide on How to
Develop
and
Benchmark
the Same Feature in Node and Go
hackernoon.com
·
23h
🧵
Lightweight Threads
jsongrep
is faster than {jq,
jmespath
, jsonpath-rust, jql}
micahkepe.com
·
1d
·
Discuss:
r/programming
🔥
DataFusion
Architecting Real
Typst
Templates (
realraum
)
cdn.media.ccc.de
·
1d
🏭
Code Generation
CDS
expressions
in CAP
qmacro.org
·
5h
✅
SQLx Compile-Time Verification
Brute-Forcing
My Algorithmic
Ignorance
with an LLM in 7 Days
blog.dominikrudnik.pl
·
7h
·
Discuss:
Hacker News
🔢
algo
Teste
arthursiqueira.writeas.com
·
5h
🧪
Testing
Loading...
Loading more...
Page 2 »
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