Property-Based Testing, Input Generation, Crash Discovery, Security Testing

Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·3h·
Discuss: DEV
SMT Applications
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·1d·
Discuss: Hacker News
🛡️WASM Security
News for September 2025
ptreview.sublinear.info·2d
🧪Property-Based Testing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·19h
🧮Kolmogorov Complexity
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·11h
🔐Cryptographic Archaeology
Seriously Testing LLMs
satisfice.com·21h
🔍Concolic Testing
How we trained an ML model to detect DLL hijacking
securelist.com·15h
🔗Binary Similarity
The future of your code is no-code
pleasedontdeploy.com·10h·
Discuss: Hacker News
📏Code Metrics
I'm Building a Browser for Reverse Engineers
nullpt.rs·23h·
🛡️WASM Sandboxing
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.com·2h
📝Database WAL
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.io·16h
📏Code Metrics
My time at Oracle: functional and design specification reviews
smalldatum.blogspot.com·3h·
💾Persistence Strategies
Cyberattackers Exploit Zimbra Zero-Day Via ICS
darkreading.com·3h
🔓Hacking
Four years, Five failures, One compiler
daymare.net·1d·
🏗️Compiler Archaeology
Artificial Intelligence in Penetration Testing: Force Multiplier, Not a Replacement
wehackpeople.wordpress.com·7h
Proof Automation
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·15h·
Discuss: Hacker News
Proof Automation
Beating the L1 cache with value speculation (2021)
mazzo.li·7h·
Discuss: Lobsters
CPU Microarchitecture
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·5h
🔗Constraint Handling