Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·16h
📝Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1h·
Discuss: DEV
🦀Rust Borrowing
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·1d·
Discuss: Hacker News
🕸️WebP Analysis
BNFGen: A random text generator based on context-free grammars
baturin.org·4h·
Discuss: Hacker News
🌳Context free grammars
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·15h
📋Protocol Buffers
Encrypting identifiers in practice
sjoerdlangkemper.nl·17h
🌊Stream Ciphers
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·7h
🌳Archive Merkle Trees
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·7h·
Discuss: Substack
🦀Rust Macros
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·8h·
Discuss: Hacker News
📋DFDL
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
🔍Concolic Testing
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·1d
🔄Burrows-Wheeler
Field Sensitive Escape Analysis in Golang?
reddit.com·17h·
Discuss: r/golang
🧠Lisp Dialects
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·2d
🐛Fuzzing