🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Dependent Preservation
Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 2
•
Page 4 »