Property-based testing of batch-invariant operations
mmaaz.ca·14h·
Discuss: Hacker News
🗺️Region Inference
News for September 2025
ptreview.sublinear.info·2d
🔢Algebraic Datatypes
Use JUnit Parameterized Tests to Force Test Coverage
spin.atomicobject.com·1h
🧪Compiler Testing
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·8h·
Discuss: DEV
🌳Pattern Match Compilation
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·9h
🎲Parser Fuzzing
Seriously Testing LLMs
satisfice.com·11h
🎯Finite Automata
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.io·6h
🧪Zig Testing
The Inverse Matrix problem
talesfrom.dev·13h
🚂Error Propagation
Simple hash map in C, for learning purpose
reddit.com·2h·
Discuss: r/C_Programming
🏷️Symbol Interning
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Rust Borrowing
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·1d·
Discuss: Hacker News
🌱Minimal ML
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·18h·
Discuss: Hacker News
🛡️Stack Safety
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1d·
Discuss: Hacker News
🌱Minimal ML
A Structural Vibration-based Dataset for Human Gait Recognition
nature.com·28m
✨Effect Inference
Automatic Building Code Review: A Case Study
arxiv.org·9h
📦Dependency Analysis
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·6h·
Discuss: Hacker News
⚡Cache Optimization
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·21h·
Discuss: Hacker News
🧪Compiler Testing
How we trained an ML model to detect DLL hijacking
securelist.com·5h
🏷️Memory Tagging