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

Updates to Cirrus (iCloud), Revisionist (versions), Spundle (sparse bundles) and T2M2 (Time Machine)
eclecticlight.co·9h
🔄Sync Engine
Welcome: Sustainability and Computing Special Section
cacm.acm.org·1h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
ICT2, the paperback!
logicmatters.net·1d
🎯Proof Tactics
Program Execution, follow-up
windowsir.blogspot.com·2d·
Discuss: www.blogger.com
⚡Performance Tools
Calculus Phobic's Introduction to Differentiable Programming
andersource.dev·17h·
Discuss: Hacker News
⚡Incremental Computation
Anthropic Launches Claude Desktop Extensions
anthropic.com·23h·
Discuss: Hacker News
🔓Open Source Software
A case for courage, when speaking of AI danger
lesswrong.com·13h·
Discuss: Hacker News
🎯Threat Hunting
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.to·1d·
Discuss: DEV
👁️System Observability
"Who Should I Believe?": User Interpretation and Decision-Making When a Family Healthcare Robot Contradicts Human Memory
arxiv.org·11h
🎯Threat Hunting
On Context-Content Uncertainty Principle
arxiv.org·11h
🧠Machine Learning
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
From expected to actual: Kotlin doesn't reinvent, it reuses 🔄
dev.to·15h·
Discuss: DEV
💧Liquid Types
Understanding the System 3: Databases
dev.to·12h·
Discuss: DEV
🗄️Database Internals
Automate MongoDB Database Backups with C# Console Application and Windows Task Scheduler
dev.to·4d·
Discuss: DEV
🤖Archive Automation
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.org·11h
🕳️Persistent Homology
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·11h
⚙️Logic Synthesis
FreeBSD Foundation Launches SBOM Project
discoverbsd.com·7h
🐡OpenBSD
Learning Lineage Constraints for Data Science Operations
arxiv.org·3d
🏺Database Archaeology
How Keploy Transformed My API Testing Experience During Their Fellowship Program
dev.to·10h·
Discuss: DEV
🔍Concolic Testing
Entelligence vs CodeRabbit
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap