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

New homelab (and new user): plans, software and hardware questions
pcpartpicker.com·1d·
Discuss: r/homelab
🏠HomeLab
Using Eldoc to show entities with given uuids in the echo area
mbork.pl·1d
✅Format Verification
Not So Direct I/O
jmcph4.dev·19h·
Discuss: Lobsters, Hacker News
💿ZFS Internals
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·19h·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Ask HN: Are foreign key constraints still useful?
news.ycombinator.com·1h·
Discuss: Hacker News
🗄️Database Internals
trailofbits/buttercup
github.com·22h
🔓Open Source Software
The Imminent Deprecation of memory_order:consume
people.kernel.org·5h·
Discuss: Hacker News
🔩Systems Programming
Using traversals to batch database queries
chrispenner.ca·2d·
Discuss: Hacker News
⚙️Batch Processing
Verification Method for Graph Isomorphism Criteria
arxiv.org·20h
🔗Graph Isomorphism
In-depth analysis on Valorant's Guarded Regions
reversing.info·1h·
Discuss: Hacker News
🖥️Terminal Renaissance
Hardware Encryption with OPAL2 Self-Encrypting SSD on Linux (2022)
furayoshi.com·1d·
Discuss: Hacker News
🔒Secure Boot
Database.news – curated list of database news from authoritative sources
database.news·1d·
Discuss: Lobsters, Hacker News
🦴Database Paleontology
derive_hash_fast: Over 2x faster hashing than #[derive(Hash)]
reddit.com·10h·
Discuss: r/rust
🦀Rust Borrowing
Canonical's OpenJDK builds promise devs more speed and 12 years of support
zdnet.com·1d·
Discuss: Hacker News
🔓Open Source Software
Reading the Code Around Make_u32_from_two_u16()
cybersect.substack.com·9h·
Discuss: Substack
🔩Systems Programming
React Cache: It's about consistency
twofoldframework.com·1d·
Discuss: Hacker News, r/reactjs
⚡Cache Theory
In Order Traversal in Haskell and Rust
mmhaskell.com·1d·
Discuss: Hacker News
🦀Rust Verification
Show HN: Building a web search engine from scratch with 3B neural embeddings
blog.wilsonl.in·8h·
Discuss: Hacker News
🔍Semantic Search
Accrescent – Progress Update and Roadmap
blog.accrescent.app·1d·
Discuss: Hacker News
🔄Sync Engine
Numerical Considerations in Weighted Model Counting
arxiv.org·1d
📐Error Bounds
Loading...Loading more...
AboutBlogChangelogRoadmap