🧪 CBOR Fuzzing

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

Adding linear-time lookbehinds to RE2
systemf.epfl.ch·12h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Python Fundamentals: LEGB rule
dev.to·16h·
Discuss: DEV
🎯Gradual Typing
ELA-1467-1 poppler security update
freexian.com·1d
🛡️CBOR Security
Shooting Bugs-in-a-Barrel with AI-Driven Binary Analysis on a Totolink Router
prizmlabs.io·3d·
Discuss: Hacker News
🔍eBPF
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
The Unreasonable Effectiveness of Fuzzing for Porting Programs
notes.billmill.org·2d·
Discuss: Hacker News
🐛Fuzzing
So you want to serialize some DER?
alexgaynor.net·2d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Rewriting the Ruby Parser
railsatscale.com·20h·
Discuss: Hacker News
🔗Monadic Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Reverse-Engineering Xcode's Coding Intelligence prompt: A look under the hood
peterfriese.dev·1h·
Discuss: Hacker News
📜Proof Carrying Code
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·13h·
Discuss: r/MachineLearning
🧠Learned Compression
This Week in Security: That Time I Caused a 9.5 CVE, iOS Spyware, and The Day the Internet Went Down
hackaday.com·1d
🔓Hacking
Fan Out Creative Testing
askrally.com·19h·
Discuss: Hacker News
📊Feed Optimization
MCP Security Vulnerabilities and Attack Vectors
forgecode.dev·1d·
Discuss: Hacker News
🔐CBOR
higher: Your favourite Haskell type classes for Rust (2023)
github.com·20h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
OWASP Top for Business Logic Abuse
owasp.org·2d·
Discuss: Hacker News
🔒WASM Capabilities
NodeJS Fundamentals: tls
dev.to·11h·
Discuss: DEV
🌐NetworkProtocols
Machine Learning Fundamentals: a/b testing example
dev.to·3h·
Discuss: DEV
👁️Observatory Systems