🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Archive Verification

Formal Proofs, Storage Correctness, Integrity Checking, Preservation Logic

Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
The Great Unracking: Saying goodbye to the servers at our physical datacenter
stackoverflow.blog·15h
🏠Homelab Archaeology
Legal Ransomware
aardvark.co.nz·12h
🏴‍☠️Piracy
Project SERVFAIL: one year in
sdomi.pl·8h
📡BGP Archaeology
The Error Project: Estimating the Reliability and Robustness of Research
error.reviews·13h·
Discuss: Hacker News
💧Manuscript Watermarks
Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5
synacktiv.com·17h·
Discuss: Lobsters, Hacker News
🔒Hardware Attestation
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Mastering the Exhaustive Prior Art Search Challenge
dev.to·1d·
Discuss: DEV
🧭Content Discovery
You Are in a Box
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
The Great Sludge: Why the Internet Will Die Before You Do
dev.to·3h·
Discuss: DEV
📰RSS Archaeology
The great misunderstanding of the DRY principle
pmatteo.com·2d·
Discuss: Hacker News
💧Liquid Types
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
🗜️Graph Compression
Machine Learning Fundamentals: dimensionality reduction
dev.to·13h·
Discuss: DEV
📐Linear Algebra
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·11h·
Discuss: Hacker News
🦋Format Metamorphosis
Remote Code Execution Discovered in XTool AnyScan App: Risks to Phones and Vehicles
nowsecure.com·17h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·3d·
Discuss: r/programming
✅Format Verification
Loading...Loading more...
AboutBlogChangelogRoadmap