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
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·21h·
Discuss: Hacker News
🕸️WebP Analysis
Build a Data Cleaning & Validation Pipeline in Under 50 Lines of Python
kdnuggets.com·1d
✅Archive Validation
Encrypting identifiers in practice
sjoerdlangkemper.nl·13h
🌊Stream Ciphers
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
[$] Libxml2's "no security embargoes" policy
lwn.net·2h
🔓Free and open source
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
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.com·1h
🌊Stream Processing
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·1d
🐛Fuzzing
Linters, Formatters, and Type-Checkers
playfulprogramming.com·6d
🎯Gradual Typing