davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·12h
📝Concrete Syntax
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
Encrypting identifiers in practice
sjoerdlangkemper.nl·13h
🌊Stream Ciphers
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·7h
🔓Open Source Software
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·3h
🌳Archive Merkle Trees
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
[$] Libxml2's "no security embargoes" policy
lwn.net·2h
🔓Free and open source
XOR Marks the Flaw in SAP GUI
darkreading.com·5h
🔓Hacking
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·9h
🗃️Database Storage
Sourcemeta Revamps JSON Schema Management
thenewstack.io·1d
🏷️Metadata Standards
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
The collective waste caused by poor documentation
shanrauf.com·16h·
Discuss: Hacker News
📦Deflate
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
BNFGen: A random text generator based on context-free grammars
baturin.org·31m·
Discuss: Hacker News
🌳Context free grammars
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation