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

4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·12h
🔬Binary Analysis
An OCC Idea
lambdacreate.com·1d
🗄️Database Internals
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
My Homelab, now in a 10" rack.
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·4h
📋Document Grammar
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·8h
📃Manuscript Tokenization
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·8h
⚙️Compression Benchmarking
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
⚡Modern Compression
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Memory Safety in Web Rust System Zero Cost Secure(1750594760521200)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
bootc-image-builder: Build your entire OS from a Containerfile
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·1d·
Discuss: Hacker News
🧩WASM Modules
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·8h
🎯Performance Proofs
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·3h
🔓Password Cracking
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.to·14h·
Discuss: DEV
👁️System Observability
DigitalOcean Fundamentals: API
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Automate MongoDB Database Backups with C# Console Application and Windows Task Scheduler
dev.to·2d·
Discuss: DEV
🤖Archive Automation
🔁 Throwback Thursday: That Time I Thought I Understood Microservices
dev.to·2h·
Discuss: DEV
🌊Streaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap