🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

UK health firms ‘misleading’ parents with claims over milk teeth ‘treatments’
theguardian.com·3h
🔗Data Provenance
Add Indexes to Foreign Key Refs in PostgreSQL
rishigoomar.com·2d·
Discuss: Hacker News
🚀Query Optimization
When a Bug Saved the Company
weblog.rogueamoeba.com·1h·
Discuss: Hacker News
🔓Open Source Software
Why developers question everything
timharek.no·2d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
AI Mode in Search gets new agentic features and expands globally
blog.google·5h·
Discuss: Hacker News
🤖AI Curation
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·3d
🎯Performance Proofs
[D] Location of EACL 2026
reddit.com·3d·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
What things would you do with access to an abundance of m.2 SSD's? (256GB-1TB)
i.redd.it·3d·
Discuss: r/homelab
💿Disk Geometry
AirBreath Sensing: Protecting Over-the-Air Distributed Sensing Against Interference
arxiv.org·3d
🕸️Mesh Networking
Adaptive Noise Cancellation via Learned Compact Filter Banks for Low-Light CMOS Sensors
dev.to·2d·
Discuss: DEV
🎧Vorbis Encoding
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·2d
🔲Cellular Automata
Enhancing 3D point accuracy of laser scanner through multi-stage convolutional neural network for applications in construction
arxiv.org·2d
🏺Computational Archaeology
Remove360: Benchmarking Residuals After Object Removal in 3D Gaussian Splatting
arxiv.org·3d
🏺Computational Archaeology
SpecDetect: Simple, Fast, and Training-Free Detection of LLM-Generated Text via Spectral Analysis
arxiv.org·3d
📊Document Wavelets
MedAtlas: Evaluating LLMs for Multi-Round, Multi-Task Medical Reasoning Across Diverse Imaging Modalities and Clinical Text
arxiv.org·3d
✓Automated Theorem Proving
AI-Driven Adaptive Curriculum Design for Geriatric Caregiver Training Simulators
dev.to·3d·
Discuss: DEV
🗺️Competency Maps
Storage options for k8s cluster on mini pcs
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Preservation
How to Think Like a Prompt Engineer (Even Without Coding)
dev.to·2d·
Discuss: DEV
📐Proof Assistants
MPCAR: Multi-Perspective Contextual Augmentation for Enhanced Visual Reasoning in Large Vision-Language Models
arxiv.org·2d
📊Learned Metrics
Dynamic Acoustic Elastography for Early-Stage Tissue Characterization via Adaptive Wavelet Decomposition
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
Loading...Loading more...
AboutBlogChangelogRoadmap