🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

How To: Proxmox Backup Server 4 (VM) Installation
derekseaman.com·18h
💾Proxmox Storage
ORC-AxE.FINAL_.pdf at Koboldpress
koboldpress.com·3d
✅Document Verification
Evidence for common fungal networks among plants
nature.com·8h·
Discuss: Hacker News
🕸️Algebraic Topology
US feds crack down on Russian cryptocurrency exchange Garantex
metacurity.com·2d
🎫Kerberos Attacks
The Inheritance Trap – Silent Metadata Exposure from Cloud Folder Inheritance
medium.com·3d·
Discuss: Hacker News
💿WORM Storage
PyPI now serves project status markers in API responses
blog.pypi.org·3d·
Discuss: Hacker News
📦Package Managers
Database.news – curated list of database news from authoritative sources
database.news·6d·
Discuss: Lobsters, Hacker News
🦴Database Paleontology
Show HN: I "hacked" Cursor and turned it into a general-purpose AI agent
viewerkit.com·3d·
Discuss: Hacker News
🎙️Whisper
Trump news at a glance: DC crackdown expands with national guard to be deployed by three more states
theguardian.com·8h
🛡Cybersecurity
I tried Google's new AI tool for finding flight deals. It told me how to live affordably inside my favorite movies.
businessinsider.com·2h
🔍BitFunnel
Repetitive TMS-based Identification of Methamphetamine-Dependent Individuals Using EEG Spectra
arxiv.org·6h
🧲Magnetic Resonance
Deep Learning-Based Automated Segmentation of Uterine Myomas
arxiv.org·6h
🧠Machine Learning
Privacy Enhancement for Gaze Data Using a Noise-Infused Autoencoder
arxiv.org·6h
🛡️Differential Privacy
Multi-Sensory Cognitive Computing for Learning Population-level Brain Connectivity
arxiv.org·6h
🌀Hyperbolic Geometry
DoJ seizes $2.8M linked to Zeppelin Ransomware
securityaffairs.com·2h
🏴‍☠️Piracy
From Decentralized Storage to Decentralized Behavior
dev.to·3d·
Discuss: DEV
🤝Distributed Consensus
Atal Capital Management Q2 2025 Letter
seekingalpha.com·1d
⏳Time Capsule Networks
TEN: Table Explicitization, Neurosymbolically
arxiv.org·4d
🌳Context free grammars
T-CACE: A Time-Conditioned Autoregressive Contrast Enhancement Multi-Task Framework for Contrast-Free Liver MRI Synthesis, Segmentation, and Diagnosis
arxiv.org·4d
🧠Machine Learning
A Chain of Diagnosis Framework for Accurate and Explainable Radiology Report Generation
arxiv.org·4d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap