Feeds to Scour
SubscribedAll
Scoured 11409 posts in 228.5 ms
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·13h
⚖️Hoare Logic
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
Data Granularity: The Hidden Factor Behind AI Testing Quality
dev.to·18h·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·8h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
From Shell to Stealth: Building AV-Evasive Binary
infosecwriteups.com·20h
🧪Binary Fuzzing
Preview
Report Post
Testing is software engineering
thoughtbot.com·1d
🔍Concolic Testing
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·3d
📋Formal Verification
Preview
Report Post
Writing a mockable Filesystem trait in Rust without RefCell
pyk.sh·17h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
A shift towards engineering-native RL for coding agents
docs.getpochi.com·15h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The Data Detox: Training Yourself for the Messy, Noisy, Real World
kdnuggets.com·11h
🧪Data science
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
The code is disposable. The specification is permanent
recursiveai.net·6h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·1d
λLambda Encodings
Preview
Report Post
Errors in Rust: A Deep Dive
halcyon.hr·7h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Why Performance Testing Must Evolve for the DevOps Era
blog.devops.dev·20h
👁️System Observability
Preview
Report Post
Mastering Electronics: A–Z Experiments via Wokwi /Part 1
hackster.io·3d
⚡Homebrew CPUs
Preview
Report Post
Relica: A Zero-Dependency Query Builder for Go That Won't Break Your Code
dev.to·5h·
Discuss: DEV
🗄️PostgreSQL WAL
Preview
Report Post
Show HN: Lunette – auditing agents for evals and environments
fulcrumresearch.ai·1d·
Discuss: Hacker News
🐛Fuzzing
Preview
Report Post