📋 DFDL

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

Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Roll Your Own Virtual Ontology with Claude Code
github.com·2d·
Discuss: Hacker News
📋Document Grammar
Unicode and endianness
sjoerdlangkemper.nl·21h
🔤Character Encoding
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·2d·
Discuss: DEV
🚚Data Migration
Case study: enhancing SBOMs with cdsbom at the Linux Foundation
opensource.org·1d
🔓Open Source Software
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·21h·
Discuss: Hacker News
🎯Gradual Typing
DNS at IETF 123
potaroo.net·1d
🌐DNS Security
Consistency over Availability: How rqlite Handles the CAP theorem
philipotoole.com·9h·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·20h·
Discuss: Hacker News
🌳Persistent Data Structures
Qualifiers on Hypertext Links (1991)
w3.org·7h·
Discuss: Hacker News
🔗Hypertext Systems
Cross-Entropy. Intuition and Applications
hclimente.eu·1h·
Discuss: Hacker News
📈Entropy Estimation
Digital Forensics Round-Up, August 06 2025
forensicfocus.com·10h
🔐Archive Cryptanalysis
The Amaranth hardware description language
amaranth-lang.org·22h·
Discuss: Hacker News
🔍FPGA Verification
The Singularity Syndicate: Artifacts
hackernoon.com·18h
⏰Time Crystals
How we made JSON.stringify more than twice as fast
v8.dev·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·1d
🧮Datalog
Software books I wish I could read
buttondown.com·13h·
Discuss: Hacker News
🔄Language Evolution