📋 DFDL

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

My A-Z toolbox: dcfldd
rubenerd.com·4d
📦Deflate
The Nickel Configuration Language
nickel-lang.org·4d·
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·17h
🔗Constraint Handling
Apple Silicon USB3 Support [RFC]
lore.kernel.org·17h·
Discuss: Hacker News
🔌Operating system internals
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.io·8h·
Discuss: Hacker News
📦Container Security
Trying to get error backtraces in rust libraries right
iroh.computer·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Heartbreak as a Service?
syntheticauth.ai·2h·
Discuss: Hacker News
🏛Digital humanities
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
A Bitcoin Core Code Analysis
binaryigor.com·2d·
Discuss: Hacker News
🧬Bitstream Evolution
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Reloading classes in python and shared borders
andrewpwheeler.com·1d·
Discuss: Hacker News
🦀Rust Macros
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·2d·
Discuss: DEV
🔒Type Safety
How AI Retrieves Anatomical Structures Using Vector Databases
hackernoon.com·12h
🗂️Vector Search
The Hexagon: A Battle-Tested Blueprint for Your Event-Driven App
mina-tafreshi.medium.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Google Aiming for Gold
divested.dev·8h·
Discuss: Hacker News
🔄Sync Engine
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·15h·
Discuss: Hacker News
🦀Rust Macros
Detecting and countering misuse of AI: August 2025
anthropic.com·21h·
Discuss: Hacker News
🕵️Vector Smuggling
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·2d
🧠Machine Learning