🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Property-Based Testing
QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A Better Vocabulary for Testing
alperenkeles.com
·
3d
·
Discuss:
Lobsters
,
r/compsci
,
r/programming
🔍
Formal Verification
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org
·
2d
👁️
System Observability
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com
·
16m
·
Discuss:
Hacker News
🤖
Program Synthesis
Quantifying Baseball Pitch Tunneling with K-Nearest Neighbors
runningonnumbers.com
·
9h
·
Discuss:
Hacker News
🔠
Type-Level Programming
A brief consideration of input shapes (fuzzing)
addisoncrump.info
·
2d
·
Discuss:
Lobsters
,
Hacker News
🏹
Effect Systems
Rust: Python’s New Performance Engine
thenewstack.io
·
16h
🔬
Static Analysis
You Can Build Better AI Agents in Java Than Python
medium.com
·
1h
·
Discuss:
Hacker News
🤖
Program Synthesis
A programmer's field guide to assertions
typesanitizer.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔬
Static Analysis
Stupidity as a Service
lawrenc.es
·
3h
·
Discuss:
Hacker News
🔍
Formal Verification
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
,
r/webdev
🔍
Formal Verification
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io
·
20h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Fuzzing Hardware Like Software (2021)
arxiv.org
·
15h
·
Discuss:
Hacker News
🔬
Unikernels
Arc-AGI-3 Preview: 30-day learnings
arcprize.org
·
15h
·
Discuss:
Hacker News
🎮
Verification Games
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
arxiv.org
·
2d
🛡️
seL4
Optimising for trust
tomrenner.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🛡️
seL4
Validating Path Simplification: Strategies for Quick Feedback
andrews.wiki
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
LLM Testing Strategies from OpenAI, Google, Anthropic, Meta
azilen.com
·
2d
·
Discuss:
r/programming
🎮
Verification Games
Amazon Q Developer: Remote Code Execution with Prompt Injection
embracethered.com
·
14h
·
Discuss:
Hacker News
🛡️
seL4
AI is a Junior Dev and needs a Lead
getparthenon.com
·
23h
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
original ↗
pvk.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
Page 2 »