Simple Smalltalk Testing: With Patterns (1994)
web.archive.org·4h·
Discuss: Lobsters, r/programming
🔍Concolic Testing
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·21h
🐛Fuzzing
On Continuous Test Improvement
dsyme.net·11h·
Discuss: Hacker News
📏Code Metrics
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Tic-tac-toe meets Lean 4
ochagavia.nl·19h·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
A Guide to Static & Dynamic Application Security Testing
boostsecurity.io·8h
🧪Protocol Fuzzing
Use Good Test Data
nkantar.com·1d
🚚Data Migration
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Uncertainty-Calibrated Test-Time Model Adaptation without Forgetting
arxiv.org·1d
📊Quantization
SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·13h
💧Liquid Types
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·12h
🎯NTLM Attacks
Status Update: August 2025
joshleeb.com·19h
🧩WASM Components
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·1d
🔍Concolic Testing
Rules for Python | Cursor Directory
cursor.directory·15h
🪟Awesome windows command-line
I was wrong about tidymodels and LLMs
simonpcouch.com·7h·
Discuss: Hacker News
✨Effect Handlers
Deep dive into Mojo object initialization
connorgray.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·1d·
Discuss: Hacker News
📏Code Metrics
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·1d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations