๐Ÿ“‹ DFDL

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

Semantic Dictionary Encoding
falvotech.comยท20hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.orgยท8h
โœ…Format Verification
Building a Universal CSV to Supabase Importer: From Messy Data to Structured Database
dev.toยท6hยท
Discuss: DEV
โœ…Format Validation
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท20hยท
Discuss: www.blogger.com
๐Ÿ”—Lisp
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.orgยท1dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.orgยท7h
๐ŸงฎTheorem Proving
utf-8-history.txt
cl.cam.ac.ukยท5h
๐Ÿ”คCharacter Encoding
Greyscale-box test-driven development
blog.ploeh.dkยท16h
๐ŸงชProperty-Based Testing
ECMAScript TC39 proposal-pattern-matching
github.comยท21hยท
Discuss: Hacker News
๐Ÿ”คType Theory
OTW - Bandit Level 4 to Level 5
tbhaxor.comยท1d
๐Ÿ”งKAITAI
A simple way to automate RHEL VM creation
marcin.juszkiewicz.com.plยท2d
๐Ÿ”ŒOperating system internals
<p>๐Ÿ”— <a href="https://stephango.com/file-over-app">Steph Ango: File over app</a></p>
lmika.orgยท12h
๐ŸŽฏDependent Preservation
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.comยท20hยท
Discuss: Hacker News
๐Ÿ“„PDF Archaeology
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท16hยท
Discuss: Hacker News
ฮปLambda Encodings
Algebraic Types are not Scary
blog.aiono.devยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.comยท2h
๐Ÿ’ปLocal LLMs
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.toยท9hยท
Discuss: DEV
๐ŸงชBinary Fuzzing
Show HN: OSS SDK for Digital Identity
ssi-sdk.blockialabs.comยท1hยท
Discuss: Hacker News
๐Ÿ”คEBCDIC Privacy
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.orgยท1d
๐Ÿ“‹Document Grammar
Balance between refactoring and inheritance in your code
github.comยท23hยท
Discuss: Hacker News
โœ…Format Verification