๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ›ก๏ธ Archive Verification

Formal Proofs, Storage Correctness, Integrity Checking, Preservation Logic

Product Update โ€“ New Backups Platform
blog.sucuri.netยท18h
๐Ÿ”„Sync Engine
Some third-party Mac apps I use
lapcatsoftware.comยท1h
๐ŸŽApple Archive
U.S. CISA adds Fortinet FortiWeb flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.comยท2d
๐Ÿ›กCybersecurity
Five things you need to know about AI right now
technologyreview.comยท15h
๐Ÿ”ฒCellular Automata
Diary of a Startup โ€“ the rise and fall of ArsDigita
web.archive.orgยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Fast and Simple Rust Interner
matklad.github.ioยท4d
๐Ÿฆ€Rust Verification
Enforce AWS Security Compliance with Config Rules & Auto-Remediation
blog.devops.devยท23h
๐Ÿ”Capability Systems
Active Exploitation of Microsoft SharePoint Vulnerabilities: Threat Brief
unit42.paloaltonetworks.comยท16h
๐Ÿ”“Hacking
Build, Learn, Delete, Repeat
ymichael.comยท1dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Go library: CEL predicates to SQL conditions (PostgreSQL Dialect)
reddit.comยท1dยท
Discuss: r/golang
๐ŸงฉSQLite Extensions
Logging Best Practices: Defining Error Codes
thenewstack.ioยท3d
๐Ÿ›ก๏ธError Boundaries
CrewAI meets RAG: built-in and custom solutions
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
A Novel Two-Dimensional Smoothing Algorithm
arxiv.orgยท11h
๐ŸŒ€Fractal Compression
Unlocking True Document Productivity with PixLab Vision Workspace
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Digitization
Use generative AI in Amazon Bedrock for enhanced recommendation generation in equipment maintenance
aws.amazon.comยท22h
๐Ÿ Homelab Orchestration
Intuitionistic monotone modal logic via translation
arxiv.orgยท1d
๐Ÿ—๏ธConstructive Mathematics
DENSE: Longitudinal Progress Note Generation with Temporal Modeling of Heterogeneous Clinical Notes Across Hospital Visits
arxiv.orgยท1d
๐Ÿ“ˆTime Series
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.orgยท1d
๐Ÿค–Paleographic ML
Any recommendations for all-flash mini-PC/NAS?
reddit.comยท16hยท
Discuss: r/homelab
๐Ÿ”ŒOperating system internals
We're building cross-functional AI-native teams (Would love your feedback)
medium.comยท17hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap