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

NZ1: A minimalist, dependency-free data compression algorithm
github.com·1h·
Discuss: Hacker News
🌊Streaming Compression
Faster Reed-Solomon Erasure Coding in Java with Go & FFM
reddit.com·14h·
Discuss: r/golang
🔧Reed-Solomon Decoding
Towards Optimal Transaction Scheduling
muratbuffalo.blogspot.com·2m·
Discuss: www.blogger.com
🗄️Database Internals
Encrypting data at rest, one OS at a time
tailscale.com·8h
🌊Stream Ciphers
Lookup Table Madness (2004)
sqlservercentral.com·2h·
Discuss: Hacker News
🏺Database Archaeology
Song recommendations with free monads
blog.ploeh.dk·1d
🐚Shell Monads
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·9h
📏Linear Logic
The Equality Delete Problem in Apache Iceberg
blog.dataengineerthings.org·5h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Decentralized Proof-of-Location systems for trust, scalability, and privacy
nature.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·20h
🧠Intelligence Compression
How Did I Possibly Break This?
funcall.blogspot.com·17h·
Discuss: www.blogger.com
🎯Gradual Typing
How I Built Local-First Apps with React Native + RxDB (and Why Your App Probably Needs This Too)
hackernoon.com·1d·
Discuss: Lobsters
🔌Offline-first Apps
🛠 Type‑Safe DSLs in Go — No Magic, Just Go ⚡
dev.to·18h·
Discuss: DEV
🌐Protocol Synthesis
Kigen eUICC issue (custom backdoor vs. FW update bug)
seclists.org·16h
🛡️eBPF Security
Bcachefs to be removed from mainline Linux kernel
lore.kernel.org·1d·
Discuss: Hacker News
💿ZFS Scrubbing
The "high-level CPU" challenge
yosefk.com·16h·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture
Amazon EC2 defenses against L1TF Reloaded
aws.amazon.com·1d
🌳Archive Merkle Trees
Behind the Scenes: CI and CD with this Web Site and Blog
matttproud.com·1d
🦋Format Metamorphosis
Unducking Typescript primitive aliases
zerotrickpony.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap