🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

NASA and Google test AI medical assistant for astronaut missions to the moon and Mars
space.com·1d·
Discuss: r/space
🤖AI Curation
We live in a fascist nation. What now? | by Chris Armitage | Aug, 2025 | Medium
medium.com·1d
🔱plan 9
What are Vox staffers reading in the dog days of summer?
vox.com·3h
⭐Awesome lists
InfoSec News Nuggets 8/13/2025
aboutdfir.com·4d
🛡Cybersecurity
Apple’s new Processor Trace instrument is incredible
victorwynne.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Tools
NASA-developed printable metal can withstand extreme temperatures
phys.org·1h
🧲Magnetic Tribology
A Mega-Quake Shocked Myanmar. Could California Be Next?
scitechdaily.com·1d
🌀Riemannian Computing
Single SMB host, multiple networks: need new solution
forum.proxmox.com·3h·
Discuss: r/homelab
💿Proxmox HA
Saturday Citations: A new category of supernovas; neurons beat machine learning; depression and vitiligo
phys.org·2d
⏰Time Crystals
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·5d
🧪RISC-V Fuzzing
Technologies to use for a web app
reddit.com·1d·
Discuss: r/golang
🔄Reproducible Builds
Uncertainty-Aware Prediction of Parkinson's Disease Medication Needs: A Two-Stage Conformal Prediction Approach
arxiv.org·3d
🧠Machine Learning
Exploiting Krylov Subspace Methods for Real-Time Sparse Linear Systems in High-Dimensional Signal Processing
dev.to·6d·
Discuss: DEV
⚡SIMD Vectorization
Chimera: Harnessing Multi-Agent LLMs for Automatic Insider Threat Simulation
arxiv.org·6d
🎯Threat Hunting
CATP: Contextually Adaptive Token Pruning for Efficient and Enhanced Multimodal In-Context Learning
arxiv.org·6d
📊Learned Metrics
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.org·4d
🕸️Algebraic Topology
Enhanced Target Tracking via Bayesian Multisensor Fusion and Adaptive Kalman Filtering (BMFAKF)
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Taiwan Web Infrastructure targeted by APT UAT-7237 with custom toolset
securityaffairs.com·2d
🛣️BGP Hijacking
Always Up-to-Date API Docs Are Real (And No, It’s Not AI)
dev.to·2d·
Discuss: DEV
🔌Archive APIs
Live: Tony Burke cancels far-right Israeli politician's visa ahead of Australia visit
abc.net.au·14h
🏠Personal Archives
Loading...Loading more...
AboutBlogChangelogRoadmap