Binary Protocol Testing, Security Validation, Parser Robustness, Format Security

Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·6h·
Discuss: Hacker News
📝Concrete Syntax
Practical ZFS Performance Tuning: ARC, L2ARC, and SLOG Explained
discoverbsd.com·7h
🔍eBPF
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
The State of Security Protocols in Agent 2 Agent(A2A) Systems.
dev.to·11h·
Discuss: DEV
🔐Capability Systems
Cowsay as a Service (CaaS) — PicoCTF Walkthrough
infosecwriteups.com·1d
📝Shell Parsing
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
📊HyperLogLog
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·1d·
Discuss: Hacker News
Proof Automation
Security Affairs newsletter Round 544 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·5h
🛡Cybersecurity
This Week in Security: CVSS 0, Chwoot, and Not in the Threat Model
hackaday.com·2d
🛡️RISC-V Security
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·5h·
Discuss: Hacker News
Dependent Rust
Four years, Five failures, One compiler
daymare.net·8h·
🏗️Compiler Archaeology
1Password CLI Vulnerability
codeberg.org·14h·
🛡️CLI Security
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
🔗Functional Compilers
A History of Active Directory Security
adsecurity.org·1d
🏺Kerberos Archaeology
ELA-1534-1 freeipa security update
freexian.com·6h
🎫Kerberos Exploitation
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·1h·
Discuss: Hacker News
🔍Concolic Testing
A grand week
blog.mitrichev.ch·3h·
🧮SMT Solvers
Plugin Secure
rya.nc·1d·
Discuss: Hacker News
Checksum Validation
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·23h·
Discuss: Hacker News
Proof Automation