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

Type-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data

Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Cross-Account and Cross-Region Backups with AWS Backup (and Friends)
tylerrussell.dev·1d·
Discuss: Hacker News
💿Backup Strategies
ente-io/ente: 🔒 End-to-end encrypted cloud for photos, videos and 2FA secrets.
github.com·2h
🔒Homomorphic Compression
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Discover C++26’s compile-time reflection
lemire.me·9h·
Discuss: Hacker News
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure(1750545683665600)
dev.to·12h·
Discuss: DEV
🦀Rust Borrowing
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Memory Safety in Web Rust System Zero Cost Secure(1750506908117500)
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure(1750525775079000)
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
VMware Fundamentals: Harbor Boshrelease
dev.to·18h·
Discuss: DEV
📦Container Security
A Data Engineer's Guide to PyIceberg
hackernoon.com·1d
🗄️PostgreSQL WAL
Memory Safety in Web Rust System Zero Cost Secure(1750491469901500)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·12h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·13h·
Discuss: r/MachineLearning
🧠Learned Compression
Monorepo with Bun
dev.to·1h·
Discuss: DEV
🐚Bash Monads
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Xf – A modern C++ eXtension to FreeRTOS
github.com·20h·
Discuss: Hacker News
💧Liquid Types
NodeJS Fundamentals: fs
dev.to·13h·
Discuss: DEV
🌊Streaming Systems
Python Fundamentals: OrderedDict
dev.to·16h·
Discuss: DEV
🛡️Proof-Carrying Archives
Loading...Loading more...
AboutBlogChangelogRoadmap