Protovalidate Is Now v1.0
buf.build·5h·
Discuss: Hacker News
✅Format Validation
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·20h
🔗Concatenative Programming
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·18h·
Discuss: DEV
🧪Binary Fuzzing
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·17h
✅Format Verification
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
How to implement the Outbox pattern in Go and Postgres
medium.com·5h·
Discuss: Lobsters
🔐CBOR
System Instruction Fixed Point
funcall.blogspot.com·1h·
Discuss: www.blogger.com
⚡Proof Automation
FreeBSD Errata Notice FreeBSD-EN-25:15.arm64
bsdsec.net·3h
🐡OpenBSD
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🔤Type Theory
utf-8-history.txt
cl.cam.ac.uk·14h
🔤Character Encoding
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·1d
📝ABNF Parsing
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·3h·
Discuss: Hacker News
🔧Binary Parsers
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Property-Based Testing
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·16h
🧮Algebraic Datatypes
Your Unit Tests Suck
medium.com·3h·
Discuss: Hacker News
🧪Property-Based Testing
Why is Protobuf’s C++ API so clunky? Would a nlohmann/json-style wrapper make sense?
github.com·12h·
Discuss: r/programming
🔧KAITAI
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
λLambda Encodings
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects