🐿️ 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

Deaf Historical Sites in the National Register of Historic Places
text-message.blogs.archives.gov·6h
🕯️Wax Cylinders
Childcare worker under investigation was hired and fired by another facility
abc.net.au·22h
🚨Incident Response
Quantifying Love: A Data Analysis of the Many Names of Love in Arabic Poetry
quantifiedcuriosities.com·6h·
Discuss: Hacker News
🔤Morphological Analysis
The National UFO Reporting Center Online Database
nuforc.org·6h·
Discuss: Hacker News
🌐WARC Forensics
Scientists harness the power of collapsing bubbles to propel tiny robots
techxplore.com·1d·
Discuss: Hacker News
⚙️Tape Transport
Yes, your Mac talks to itself. It’s okay.
sixcolors.com·1d·
Discuss: Hacker News
💾vintage computing
Stupid question but...
forums.anandtech.com·20h
⌨️Mechanical Keyboards
Webb reaches 200 strikeouts, SF Giants slug 5 home runs in rout of D-backs
mercurynews.com·18h
🎯Proof Tactics
Remote, Hybrid, Office? Yes
virtualize.sh·8h·
Discuss: Hacker News
🇳🇴Norwegian Computing
Arrest after CS spray found in Heathrow evacuation
bbc.com·6h
📟Terminal Forensics
Report: Addressing cybersecurity burnout in 2025
news.sophos.com·8h
🛡Cybersecurity
Robots, and Hope Are Tesla's Plan to Become $8.5T Company: TDS
thedrive.com·8h·
Discuss: Hacker News
🇨🇿Tesla MIR
The New d-Matrix JetStream 400G Ethernet Card for Data Center Scale AI Inference
servethehome.com·1d
🌊Stream Processing
Bacterial ink can restore coral reefs by attracting larvae
phys.org·8h
🔲Cellular Automata
If AI agents take the jobs, who buys the stuff?
news.ycombinator.com·4d·
Discuss: Hacker News
🔲Cellular Automata
Broadcom: The 'Secret Sauce' Behind Its Booming XPU Business
seekingalpha.com·1d
🖥️Modern Terminals
Obscure Emacs Packages
irreal.org·5h
🔓Open Source Software
Why You Should Learn Python (and How to Get Started)
dev.to·2d·
Discuss: DEV
💻programming languages
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·5d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
📝Text Embeddings
Fort Knox for Factories: AI-Powered Watermarks for Industrial Control Code by Arvind Sundararajan
dev.to·6d·
Discuss: DEV
🔍Vector Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap