๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

Discrepancy in logic diagrams and theory of operations documentation
rescue1130.blogspot.comยท17hยท
Discuss: rescue1130.blogspot.com
๐ŸงฒMagnetic Recording
The Early Development of Set Theory (2024)
plato.stanford.eduยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธConstructive Mathematics
Crowdfunding Success โ€“ Was it worth it?
atomic14.substack.comยท17hยท
Discuss: Substack
๐Ÿ”—Supply Chain
Fast and Simple Rust Interner
matklad.github.ioยท5d
๐Ÿฆ€Rust Verification
The Productivity Delusion
octopus.comยท15hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
The Benefits of Trunk-Based Development
thinkinglabs.ioยท2dยท
Discuss: Hacker News, Hacker News
โ„๏ธNix Adoption
Pure Bash MCP Server for FFmpeg
github.comยท7hยท
Discuss: Hacker News
๐ŸŽž๏ธFFmpeg Filters
New research fuels the future of data storage: Predicting spin accumulation for faster, greener memory
phys.orgยท1h
๐ŸงฒMagnetic Recording
Bazel and action (non-) determinism
jmmv.devยท1d
๐Ÿ”„Reproducible Builds
Fwupd 2.0.13 Released with Faster Startup and Lower Memory Use
linuxiac.comยท1d
๐Ÿ”ŒOperating system internals
Revisiting Graph Contrastive Learning on Anomaly Detection: A Structural Imbalance Perspective
arxiv.orgยท1d
๐Ÿง Machine Learning
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.comยท2dยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
Distributed Web Crawlers: A Hands-On Guide with Go
dev.toยท2dยท
Discuss: DEV
๐Ÿ“กBGP Archaeology
Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
arxiv.orgยท1d
๐ŸŒ€Riemannian Computing
PDEformer-2: A Versatile Foundation Model for Two-Dimensional Partial Differential Equations
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Revolutionizing Novel Writing: Introducing novelWriter
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
PRIDE -- Parameter-Efficient Reduction of Identity Discrimination for Equality in LLMs
arxiv.orgยท2d
๐ŸŒ€Brotli Dictionary
Open-Vocabulary Object Detection in UAV Imagery: A Review and Future Perspectives
arxiv.orgยท2d
๐Ÿค–Advanced OCR
Best Productivity App!
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Digitization
๐Ÿงฌ The Operating System Is Web3โ€™s Final Frontier โ€” Why Only AI-Native Can Unlock the Full Stack
dev.toยท7hยท
Discuss: DEV
๐ŸŒCultural Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap