📋 DFDL

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

My A-Z toolbox: dcfldd
rubenerd.com·4d
📦Deflate
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Outlandish Recursive Query Examples
sqlite.org·15h·
Discuss: Lobsters
🗄️SQLite Internals
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·7h·
Discuss: Hacker News
🔤EBCDIC Mining
Show HN: AlphaSuite – An open-source platform for quantitative stock analysis
github.com·1h·
Discuss: Hacker News
📊Homelab Monitoring
Nullable vs. Nullable in C#
einarwh.no·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·5h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·2d
🌀Brotli Dictionary
The Nickel Configuration Language
nickel-lang.org·3d·
Discuss: Hacker News
📋Format Specification
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Understanding Tool-Integrated Reasoning
arxiv.org·11h
🔗Constraint Handling
Detecting and countering misuse of AI: August 2025
anthropic.com·15h·
Discuss: Hacker News
🕵️Vector Smuggling
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.io·3h·
Discuss: Hacker News
📦Container Security
How AI Retrieves Anatomical Structures Using Vector Databases
hackernoon.com·6h
🗂️Vector Search
Trying to get error backtraces in rust libraries right
iroh.computer·23h·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
A Bitcoin Core Code Analysis
binaryigor.com·2d·
Discuss: Hacker News
🧬Bitstream Evolution
Go experiments with SIMD
golangweekly.com·15h
💧Liquid Types
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing