🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧪 Property-Based Testing

QuickCheck, Input Generation, Hypothesis Testing, Test Refinement

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...
AboutBlogChangelogRoadmap