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

Football Daily | Cole Palmer v French vineyard is football’s latest random copyright battle
theguardian.com·14h
📡RSS
How Far Can You Run Before Sundown?
thefiddler.substack.com·18h·
Discuss: Substack
🎯Interactive Provers
CdIn2S4 Micro-Pyramids for Reductive Photocatalytic Degradation of PFOS
onlinelibrary.wiley.com·14h·
Discuss: Hacker News
🌈Spectroscopy
Someone Returned a Library Book That Their Grandmother Checked Out Eight Decades Ago
smithsonianmag.com·1d·
Discuss: Hacker News
🗃archives
Should You Hire an AI Artist or a Concept Artist?
80.lv·7h·
Discuss: Hacker News
📐Mathematical Art
Rust At Microsoft And Chairing The Rust Foundation
filtra.io·1d·
Discuss: Hacker News, r/rust
🔩Systems Programming
The Prompt to Make AI Write Like a Human
jsdev.space·1d·
Discuss: Hacker News
🎙️Whisper
Insurers May Limit Payments in Cases of Unpatched CVEs
darkreading.com·16h
🔓Hacking
Commvault: High-risk gap allows malicious code to be injected
heise.de·2d
🔓Hacking
I'm making a freeware Linux Learning Game and could use some QA, Criticism, and feedback.
reddit.com·10h·
Discuss: r/linux
📟Terminals
ChatLoopBackOff: Episode 67 (Kserve)
youtube.com·1d
🌊Streaming Systems
Interpolation in Classical Propositional Logic
arxiv.org·5d
🔗Combinatory Logic
Silk Typhoon Attacks North American Orgs in the Cloud
darkreading.com·9h
🔓Hacking
Necro-Reaper: Pruning Away Dead Memory Traffic in Warehouse-Scale Computers
danglingpointers.substack.com·3d·
Discuss: Substack
🔩Systems Programming
Predictive Maritime Asset Valuation via Dynamic Network Embedding & Bayesian Optimization
dev.to·6h·
Discuss: DEV
🔍Vector Forensics
Towards a Larger Model via One-Shot Federated Learning on Heterogeneous Client Models
arxiv.org·3d
🤐Secure Multiparty
A Cost-Effective Framework for Predicting Parking Availability Using Geospatial Data and Machine Learning
arxiv.org·2d
🧠Machine Learning
Long Chain-of-Thought Reasoning Across Languages
arxiv.org·2d
🧮Z3 Applications
The Enemy from Within: A Study of Political Delegitimization Discourse in Israeli Political Speech
arxiv.org·1d
📝Concrete Syntax
You Can Build Better AI Agents in Java Than Python
medium.com·2d·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap