📋 DFDL

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

Das Problem mit German Strings
polarsignals.com·7h·
Discuss: Lobsters, Hacker News
✅Format Verification
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·16h
✅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·10h·
Discuss: Hacker News
🧮Algebraic Datatypes
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·11h·
Discuss: Hacker News
🦀Rust Macros
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
A Model for all Ranges
qt.io·14h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·1d·
Discuss: DEV
🔒Type Safety
Delta Lake: Transform Pandas Prototypes into Production
codecut.ai·11h·
Discuss: Hacker News
📐Delta Encoding
The Impact of the Cyber Assessment Framework (CAF) on Digital Investigations
digitalforensicsmagazine.com·1d
🎯Threat Hunting
Encoding sortable binary database keys
stately.cloud·9h·
Discuss: Hacker News
💾Database Formats
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·8h
🔌Interface Evolution
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·2d
🗄️Database Internals
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·2h
✅Format Verification
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·14h
🦀Rust Macros
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·16h
🎯Gradual Typing
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1d·
Discuss: Hacker News
✅Format Validation
Antirez/sds: Simple Dynamic Strings library for C
github.com·1d·
Discuss: Hacker News
✅Format Verification