🧪 CBOR Fuzzing

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

Fall 2025 FreeBSD Vendor Summit registration open
discoverbsd.com·1d
🐡OpenBSD
Flag this post
Memento Labs, the ghost of Hacking Team, has returned — or maybe it was never gone at all.
securityaffairs.com·2d
🔓Hacking
Flag this post
Sometimes Assertions
antithesis.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
PMPP-Eval Journey
blog.sinatras.dev·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
ZK-SenseLM: Verifiable Large-Model Wireless Sensing with Selective Abstention and Zero-Knowledge Attestation
arxiv.org·45m
🔄Session Type Inference
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·3d
🌐NetworkProtocols
Flag this post
How Remote Procedure Call Works
newsletter.systemdesign.one·17h·
Discuss: r/programming
⚡gRPC
Flag this post
Re: A few comments on ‘age’ (2019)
groups.google.com·2d·
Discuss: Lobsters
🔐Archive Encryption
Flag this post
How to organize your Rust tests
blog.logrocket.com·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·13h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Post-Quantum-secure WireGuard tunnels
github.com·4h·
Discuss: Hacker News
📻Homebrew Protocols
Flag this post
Cognition Releases SWE-1.5: Near-SOTA Coding Performance at 950 tok/s
cognition.ai·6h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Cross-Paradigm Graph Backdoor Attacks with Promptable Subgraph Triggers
arxiv.org·2d
🌐BGP Security
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·22h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Infrastructure as Code
opentofu.org·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
How Reliable Are Your AI Agents?
dev.to·21h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Lobsters, Hacker News
🧠Separation Logic
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Vectorizing for Fun and Performance
ibm.com·11h·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Recent Rust Changes
ncameron.org·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Flag this post