Testing File System Code: Mocking, Stubbing, and Test Patterns 9/9
dev.to·2d·
Discuss: DEV
✅Archive Fixity
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·4h
✅Archive Validation
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Testing races with a synchronizing Decorator
blog.ploeh.dk·1d
🔄Sync Engine
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·7h
⚡Proof Automation
Week 31 Status
blogs.gnome.org·13h
🎯Gradual Typing
Testing Our Shopping Apps with AI
newstoretech.substack.com·17h·
Discuss: Substack
🔍Concolic Testing
AI agents, part 3: Adaptive designs optimize development and user experience
heise.de·2h
⚡Incremental Computation
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·33m
🧪Binary Fuzzing
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·1d·
Discuss: Hacker News
📜Proof Carrying Code
Little Mistakes in AI Can Lead to Big Problems
hackernoon.com·1d
🔍Vector Forensics
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Python Testing MCP Server
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·19h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Reproducibility of Machine Learning-Based Fault Detection and Diagnosis for HVAC Systems in Buildings: An Empirical Study
arxiv.org·7h
🧠Machine Learning
Cybersecurity Instruction Tuned Model
huggingface.co·8h·
Discuss: Hacker News
🔒WASM Capabilities
Relative Completeness of Incorrectness Separation Logic
arxiv.org·7h
🧠Separation Logic
Claude Code: A Developer's Guide to AI-Powered Terminal Workflows
vibe.forem.com·20h·
Discuss: DEV
⚡Proof Automation
How AI Tools Are Assisting Smart Contract Testing & Auditing in 2025
dev.to·4h·
Discuss: DEV
🏠Homelab Pentesting