🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Serving and styling XML on the web
blog.saxonica.com·2h
🔀XSLT
Increased animal pollination during the Paleocene–Eocene thermal maximum
cambridge.org·1d·
Discuss: Hacker News
🦴Database Paleontology
Do LLMs Have Good Music Taste?
tylercosgrove.com·2d·
Discuss: Hacker News
🎯Recommendation Metrics
Creating 3D Worlds with HTML and CSS
keithclark.co.uk·12h·
Discuss: Hacker News
📟Terminal Physics
Former YC product lead shares how she builds voice agents
aimodelbehavior.substack.com·1d·
Discuss: Substack
🎙️Whisper
At least 600 CDC employees are getting final termination notices, union says
the-independent.com·16h
📄Document Digitization
Maeda & Tierney 'have to build a partnership' - Nevin analysis
bbc.com·4h
✅Archive Validation
What I’d Buy If I Could Only Invest $1,000 in Crypto
hackernoon.com·1d
🔍BitFunnel
An Exploratory Study on Crack Detection in Concrete through Human-Robot Collaboration
arxiv.org·3d
🏺Computational Archaeology
Help Trying to find proper credit management for AI app
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI Curation
Radxa Cubie A7A is a powerful SBC based on Allwinner A733 Cortex-A76/A55 AI SoC with up to 16GB RAM
cnx-software.com·1d
🖥️Modern CPU
Enhanced Photogrammetric Reconstruction Accuracy via Adaptive Kernel Regression in Fragmented Archaeological Sites
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
How to Outsmart AI Cheating Without Killing Creativity
hackernoon.com·6d
📚Proof Pedagogy
Who pays for this?
aardvark.co.nz·19h
🔌Operating system internals
Send Emails with Lovable and Mailtrap
dev.to·4h·
Discuss: DEV
📡Feed Security
TSV Void Mitigation: Dynamic Flux Compensation via Real-Time Nano-Electrostatic Field Modulation
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Adaptive Resource Allocation in Coherent Memory Systems for AI Inference Acceleration
dev.to·5d·
Discuss: DEV
🖥️Hardware Architecture
Transformer-Mediated Immune Cell Self/Non-Self Discrimination via Contextualized Peptide Motif Analysis
dev.to·5d·
Discuss: DEV
📈Mutual Information
Dynamic Acoustic Elastography for Early-Stage Tissue Characterization via Adaptive Wavelet Decomposition
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
Fusing Echocardiography Images and Medical Records for Continuous Patient Stratification
arxiv.org·1d
📄OCR
Loading...Loading more...
AboutBlogChangelogRoadmap