Your Unit Tests Suck
medium.com·1d·
Discuss: Hacker News
🐛Fuzzing
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Greyscale-box test-driven development
blog.ploeh.dk·2d
🧪Binary Fuzzing
How AI coding tools can learn to develop secure software
reversinglabs.com·15h
⚡Proof Automation
SteeringControl: Holistic Evaluation of Alignment Steering in LLMs
arxiv.org·3h
✨Effect Handlers
How to Debug Chez Scheme Programs (2002)
scheme.com·2d·
Discuss: Hacker News
📜Proof Carrying Code
2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.com·11h·
Discuss: ws-dl.blogspot.com
🧠Machine Learning
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Balance between refactoring and inheritance in your code
github.com·2d·
Discuss: Hacker News
✅Format Verification
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·12h
👁️Observatory Systems
I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years.
triangulatedexistence.mataroa.blog·1h·
Discuss: r/programming
🧪Hardware Fuzzing
Understanding legacy application rewrite vs. refactor tradeoffs
testdouble.com·1d
🔄Language Evolution
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·1d·
Discuss: r/programming
📏Code Metrics
Destructive Testing: A Brief Guide
dev.to·1h·
Discuss: DEV
🔍Concolic Testing
Rounding Randomly – Reasonably Right?
vinayuck.com·7h·
Discuss: Hacker News
📐Error Bounds
Scaling AI Evaluation Through Expertise
harvey.ai·1d·
Discuss: Hacker News
🤖AI Curation
Shift left might have failed – but AI looks set to deliver on its promise
techradar.com·1d
⚡Proof Automation
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·2d
🧮Z3 Solver