๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“œ Proof Carrying Code

Program Verification, Certified Compilation, Type Safety, Mobile Code

UK online age verification test cuts visits to porn sites in half
english.elpais.comยท11h
๐Ÿ›กCybersecurity
Who invented the hard drive?
techspot.comยท1d
๐Ÿ—ƒ๏ธPunched Cards
Python 3.14.0rc2 and 3.13.7 are go!
blogger.comยท5d
๐Ÿ“ฆArchive Formats
Sanity Check: Is my network traffic properly encrypted with this setup?
reddit.comยท1dยท
Discuss: r/homelab
๐ŸŒDNS over QUIC
From Feedback to Failure: Automated Android Performance Issue Reproduction
arxiv.orgยท1d
๐Ÿ‘๏ธObservatory Systems
New method probes cancer cell messengers that weaken immune system
phys.orgยท1d
๐Ÿ“„Document Digitization
Quantum Inertial Navigation with Atom Interferometry-Based Gradient Sensors
dev.toยท21hยท
Discuss: DEV
โš›๏ธQuantum Tape
A Comprehensive Perspective on Explainable AI across the Machine Learning Workflow
arxiv.orgยท1d
๐Ÿค–AI Curation
RAG for Geoscience: What We Expect, Gaps and Opportunities
arxiv.orgยท1d
๐Ÿ“กFeed Archaeology
Predictive Maintenance & Optimization of Cryogenic Storage Tank Insulation via Multi-Modal Sensor Fusion and Bayesian Inference
dev.toยท2dยท
Discuss: DEV
๐ŸŒก๏ธPreservation Physics
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Adaptive Noise Cancellation via Learned Compact Filter Banks for Low-Light CMOS Sensors
dev.toยท21hยท
Discuss: DEV
๐ŸŽงVorbis Encoding
๐Ÿ—๏ธ React Keys โ€” Why They Matter in Lists
dev.toยท3dยท
Discuss: DEV
๐ŸŽฏGradual Typing
The 10 Best Algolia Alternatives in 2025
shaped.aiยท21h
๐ŸŒFederated Search
Eyes on the Image: Gaze Supervised Multimodal Learning for Chest X-ray Diagnosis and Report Generation
arxiv.orgยท17h
๐Ÿ“ŠLearned Metrics
Artificial Intelligence in Rural Healthcare Delivery: Bridging Gaps and Enhancing Equity through Innovation
arxiv.orgยท17h
๐ŸŒCultural Algorithms
Automated Anomaly Detection in Industrial CT Scans via Hyperdimensional Pattern Matching
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Illusions in Humans and AI: How Visual Perception Aligns and Diverges
arxiv.orgยท17h
๐ŸŒˆColor Science
GPU Costs Melting Your Budget
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Algorithms
Quantum Error Correction via Adaptive Topological Code Synthesis with Reinforcement Learning
dev.toยท3dยท
Discuss: DEV
โš›๏ธQuantum Error Correction
Loading...Loading more...
AboutBlogChangelogRoadmap