📋 DFDL

Data Format Description Language, Binary Parsing, Schema Definition, Format Specification

Das Problem mit German Strings
polarsignals.com·19h·
Discuss: Lobsters, Hacker News
✅Format Verification
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·1d
🗂️Vector Databases
Datalogics Announces Adobe PDF Library Updates with New Package Versions
pdfa.org·1d
📄PDF Internals
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·22h·
Discuss: Hacker News
🦀Rust Macros
Digital Forensics Round-Up, August 27 2025
forensicfocus.com·1h
🔬Archive Forensics
Claude Code's 19 cent Parser
blogger.com·2d
🔧Binary Parsers
A Model for all Ranges
qt.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
martinfowler.com·1h
🦋Format Metamorphosis
Delta Lake: Transform Pandas Prototypes into Production
codecut.ai·22h·
Discuss: Hacker News
📐Delta Encoding
Implement EIP-7730 today
blog.trailofbits.com·5h
🔤EBCDIC Privacy
The Grammar According to West
dwest.web.illinois.edu·2h·
Discuss: Hacker News
🔬Lean
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·2d·
Discuss: DEV
🔒Type Safety
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·4h
🌳Archive Merkle Trees
Encoding sortable binary database keys
stately.cloud·20h·
Discuss: Hacker News
💾Database Formats
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·3d
🗄️Database Internals
Show HN: Vectorless RAG
github.com·7h·
Discuss: Hacker News
📊Multi-vector RAG
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·13h
✅Format Verification
(繁中) The Art of PHP — My CTF Journey and Untold Stories!
blog.orange.tw·13h
🇨🇳Chinese Computing