🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comΒ·17h
πŸ“Concrete Syntax
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgΒ·1d
πŸ§ͺCBOR Fuzzing
How to Prove That An Email Was Received
metaspike.comΒ·4h
πŸ“„Document Digitization
Portable Network Graphics (PNG) Specification (Third Edition)
w3.orgΒ·1dΒ·
Discuss: Hacker News
πŸ•ΈοΈWebP Analysis
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.chΒ·15h
πŸ—ƒοΈDatabase Storage
Ultimate Lab Resource for VCF 9.0
williamlam.comΒ·2h
🏠HomeLab
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comΒ·2d
🌳Archive Merkle Trees
[$] Libxml2's "no security embargoes" policy
lwn.netΒ·8h
πŸ”“Free and open source
Memory Safety in Web Rust System Zero Cost Secure(1750885516953300οΌ‰
dev.toΒ·2hΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.coΒ·6hΒ·
Discuss: Hacker News
πŸ“šMARC Evolution
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioΒ·9h
πŸ“ŠGraph Databases
What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.comΒ·8h
🌳Archive Merkle Trees
A Standard for Human-Centered Investigation Playbooks
chrissanders.orgΒ·5h
🎯Threat Hunting
Cactus Language β€’ Syntax 12
inquiryintoinquiry.comΒ·7h
πŸ“Concrete Syntax
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.comΒ·20hΒ·
Discuss: Hacker News
πŸ“²Digitization
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.comΒ·13h
πŸ”“Open Source Software
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.comΒ·7h
🌊Stream Processing
Encrypting identifiers in practice
sjoerdlangkemper.nlΒ·18h
🌊Stream Ciphers
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comΒ·9hΒ·
Discuss: Hacker News
πŸ“‹DFDL
The Case for Native Iceberg Catalog APIs and Unified Governance in Object Storage
blog.min.ioΒ·2d
🏷️Metadata Standards
Loading...Loading more...
AboutBlogChangelogRoadmap