davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·12h
📝Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·21h·
Discuss: Hacker News
🕸️WebP Analysis
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·9h
🗃️Database Storage
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
[$] Libxml2's "no security embargoes" policy
lwn.net·2h
🔓Free and open source
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.co·48m·
Discuss: Hacker News
📚MARC Evolution
Local Elasticsearch Playground: A Practical Introduction and hands-on test (and moving to a RAG solution)
dev.to·1d·
Discuss: DEV
🏺ZIP Archaeology
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·3h
🌳Archive Merkle Trees
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Beyond Theory – Interview with Jill Delaney by Juan Alonso
ica.org·2h
🏛️PREMIS
derived set
ncatlab.org·3h
🧮Algebraic Archives
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·7h
🔓Open Source Software
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
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Program Execution, follow-up
windowsir.blogspot.com·6h·
Discuss: www.blogger.com
⚡Performance Tools