๐Ÿฟ๏ธ 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

The rise and fall of Bayesian statistics
statmodeling.stat.columbia.eduยท1d
๐Ÿ“Information Geometry
As electric bills rise across the US, evidence mounts that data centers share blame. States feel pressure to act
mercurynews.comยท14h
๐Ÿ Homelab Federation
Free Online Network Tools: DNS, IP Lookup, Email Health and More
digtrace.netยท6hยท
Discuss: Hacker News
๐Ÿ“กBGP Archaeology
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.comยท4d
๐Ÿ”—Functional Compilers
The Puzzle of Low Data Center Utilization Rates
powerpolicy.netยท43mยท
Discuss: Hacker News
๐Ÿ“ŠHomelab Monitoring
GNU libsigsegv is a library for handling page faults in user mode
gnu.orgยท3dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
How to Form an Opinion
idiallo.comยท3dยท
Discuss: Hacker News
๐ŸงฎTheoretical Computer Science
Reflections on the React Community
leerob.comยท20hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
(Sponsor) Clic for Sonos
sixcolors.comยท14h
๐ŸŽตAudio Streaming
Show HN: Job Shield โ€“ a job trust verification platform
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Don't stop at basic protections; make ongoing training a priority
techradar.comยท22h
๐Ÿ›กCybersecurity
Quarkโ€™s Outlines: Python Floating Point Numbers
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Error Bounds
Need Feedback: Browser Extension for Bulk ChatGPT Content Generation
news.ycombinator.comยท18hยท
Discuss: Hacker News
โšกgRPC
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.orgยท6d
๐Ÿ“ŠStatic Analysis
Automated Artifact Detection and Classification in Industrial CT Scanning Using Multi-Scale Graph Neural Networks
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠQuantization
Hackers are now mimicking government websites using AI - everything you need to know to stay safe
techradar.comยท12h
๐Ÿ•ต๏ธVector Smuggling
Genetic Polymorphism-Guided Personalized Exercise Prescription via Multi-Modal AI Analysis
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
ViFP: A Framework for Visual False Positive Detection to Enhance Reasoning Reliability in VLMs
arxiv.orgยท5d
๐Ÿ‘๏ธOCR Verification
Real-World Examples of Success in AI Software Development
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
What Is RAG and How to Implement It ?
dev.toยท4dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Loading...Loading more...
AboutBlogChangelogRoadmap