🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Preservation

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

Memory Safety in Web Rust System Zero Cost Secure(1750885516953300)
dev.to·3h·
Discuss: DEV
🦀Rust Borrowing
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.co·7h·
Discuss: Hacker News
📚MARC Evolution
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
derived set
ncatlab.org·9h
🧮Algebraic Archives
[$] Libxml2's "no security embargoes" policy
lwn.net·9h
🔓Free and open source
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·17h
📋Protocol Buffers
Ultimate Lab Resource for VCF 9.0
williamlam.com·3h
🏠HomeLab
How to Prove That An Email Was Received
metaspike.com·4h
📄Document Digitization
Encrypting identifiers in practice
sjoerdlangkemper.nl·19h
🌊Stream Ciphers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·18h
📝Concrete Syntax
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·16h
🗃️Database Storage
Program Execution, follow-up
windowsir.blogspot.com·12h·
Discuss: www.blogger.com
⚡Performance Tools
ZFS in Virtualization: Storage Backend for the Pros
klarasystems.com·7h
💿ZFS Internals
Memory Safety in Web Rust System Zero Cost Secure(1750794401345600)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Schemars v1 is now released
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros
Driving cost-efficiency and speed in claims data processing with Amazon Nova Micro and Amazon Nova Lite
aws.amazon.com·7h
🌊Stream Processing
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Memory Safety in Web Rust System Zero Cost Secure(1750762127113200)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Loading...Loading more...
AboutBlogChangelogRoadmap