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
🧪 Compiler Testing
Differential Testing, Fuzzing, Property Testing, Metamorphic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
120776
posts in
2.23
s
Task 17:
Implement
property-based
invariant
tests · Issue #30
github.com
·
1h
🎲
Property Testing
A
note
on
parameterized
testing
blog.gnoack.org
·
13h
🎲
Property Testing
Go -
Unit
&
Integration
Testing
linkedin.com
·
16h
·
Discuss:
r/programming
🧪
Zig Testing
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
19h
·
Discuss:
Hacker News
🧪
Testing Compilers
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
23h
·
Discuss:
Hacker News
🛡️
Error Ergonomics
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
55m
⚡
Partial Evaluation
QEMI
: A Quantum Software Stacks Testing Framework via Equivalence
Modulo
Inputs
arxiv.org
·
1d
🎲
Test Generators
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🎲
Test Generators
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
23h
🎭
Program Synthesis
mitsuhiko/insta
: A snapshot testing library for rust
github.com
·
18h
🔒
Rust Borrowing
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
1d
📚
Stack Allocation
Functional
Optics
for Modern Java
blog.scottlogic.com
·
13h
✨
Gleam
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
1d
🧪
Testing Compilers
E2E
Tests: The Full
Stack
Check
dev.to
·
16h
·
Discuss:
DEV
🧪
Test DSLs
6
niche
programming
languages
developers secretly love
howtogeek.com
·
1h
🏺
Code Archeology
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
🧪
Parser Testing
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
1d
🔬
Nanopasses
Testing software in the era of coding agents
garymm.org
·
2d
·
Discuss:
Hacker News
🧪
Zig Testing
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
1d
🏃
Escape Analysis
Proof-oriented
Programming in F*
fstar-lang.org
·
8h
·
Discuss:
Lobsters
⚡
functional programming
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