🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

I Lived With Alexa+ for a Week. Here’s How It Went (2025)
wired.com·1d
🎙️Whisper
The Hidden World of Coordinates
youtube.com·23h
🕸️Algebraic Topology
Sendblue (YC S23) is hiring senior engineers
ycombinator.com·1d·
Discuss: Hacker News
📡Feed Archaeology
Linux kernel 6.16 lands without any headline features but 38M lines of code
theregister.com·21h
🔩Systems Programming
Android Unexpected Keyboard Review
entropicthoughts.com·16h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Rolling Network Racks: The Ultimate Upgrade for Home Networks
linuxblog.io·10h·
Discuss: r/homelab
🏠HomeLab
The HTML Hobbyist
htmlhobbyist.com·44m·
Discuss: Hacker News
🏛Digital humanities
The Untrustworthy and Rewritten
medium.com·2h·
Discuss: Hacker News
🏰Manuscript Networks
AI can be responsibly integrated into classrooms by answering the 'why' and 'when'
phys.org·17h
🗺️Competency Maps
Big Enough to Fail
willgallego.com·16h·
Discuss: Hacker News
🤝Distributed Consensus
Automated HEMT Model Construction from Datasheets via Multi-Modal Intelligence and Prior-Knowledge-Free Optimization
arxiv.org·8h
⚡Circuit Archaeology
What happens when you enter a URL into the browser?
infosecwriteups.com·1d
🌐DNS Security
Building a Modern and Frugal Kubernetes Network with Cilium ClusterMesh
medium.com·2d·
Discuss: Hacker News
🏠Homelab Federation
No Redundancy, No Stall: Lightweight Streaming 3D Gaussian Splatting for Real-time Rendering
arxiv.org·8h
⚡LZ4 Streaming
cargo license v0.7.0
reddit.com·1d·
Discuss: r/rust
📦Archive Formats
SmartPNT-MSF: A Multi-Sensor Fusion Dataset for Positioning and Navigation Research
arxiv.org·2d
🌀Differential Geometry
Conversations over Clicks: Impact of Chatbots on Information Search in Interdisciplinary Learning
arxiv.org·8h
🔍Information Retrieval
Hyperbolic Genome Embeddings
arxiv.org·8h
🌀Hyperbolic Geometry
Polar Coding and Linear Decoding
arxiv.org·1d
ℹ️Information Theory
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·1d
🎵Audio ML
Loading...Loading more...
AboutBlogChangelogRoadmap