🐿️ 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

Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioΒ·5h
πŸ“ŠGraph Databases
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comΒ·2h
πŸ”’Linear Types
Memory Safety in Web Rust System Zero Cost Secure(1750762127113200οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Slashing CI Costs at Uber
uber.comΒ·9hΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
Using PhantomData and Zero-Sized Types
dev.toΒ·4hΒ·
Discuss: DEV
πŸ”’Type Safety
How keys are used in FileVault and encryption
eclecticlight.coΒ·13hΒ·
Discuss: Lobsters, Hacker News
πŸ’£Compression Security
The Bitter Lesson is coming for Tokenization
lucalp.devΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”—Monadic Parsing
Architecture Overview and Deployment of OpenShift Data Foundation Using Internal Mode
dev.toΒ·12hΒ·
Discuss: DEV
πŸ—„οΈDatabase Internals
Machine Learning Fundamentals: accuracy with python
dev.toΒ·1dΒ·
Discuss: DEV
πŸ‘οΈObservatory Systems
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comΒ·5hΒ·
Discuss: Hacker News
πŸ“‹DFDL
The Guide to the Foundation Models Framework
azamsharp.comΒ·6hΒ·
Discuss: Hacker News
Ξ»Lambda Formalization
Kafka Fundamentals: kafka retention.ms
dev.toΒ·9hΒ·
Discuss: DEV
🌊Streaming Systems
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgΒ·1d
🎯Performance Proofs
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.orgΒ·1d
πŸ”’Bitwise Algorithms
LakeFS adds REST catalog support for data version control on structured data
lakefs.ioΒ·6hΒ·
Discuss: Hacker News
πŸ”ŒArchive APIs
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comΒ·10hΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
HariSekhon/DevOps-Bash-tools
github.comΒ·18h
🐚Shell Automation
Semantic-Aware Parsing for Security Logs
arxiv.orgΒ·1d
πŸ“Log Parsing
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.orgΒ·1d
⚑Modern Compression
VFArch\=e: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software
arxiv.orgΒ·1d
πŸ›‘οΈeBPF Security
Loading...Loading more...
AboutBlogChangelogRoadmap