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

To Pay a Translator
nybooks.com·2d
🏛Digital humanities
Gene tests begin in women's athletics
bbc.com·14h·
Discuss: Hacker News
⚙Backus-Naur Form
His search for the Titanic concealed a top-secret military operation
cnn.com·4h·
Discuss: Hacker News
🔍Tape Forensics
Late-season WNBA storylines: Clark’s struggles, a new MVP threat and the Aces’ revival
theguardian.com·8h
📰Feed Readers
Writing a Hypervisor in 1,000 Lines
seiya.me·3d·
Discuss: Hacker News
🦀Embedded Rust
Why Starmer wants No 10 rejig after a year in power
bbc.com·6h
🔒WASM Capabilities
Worlds Largest Neutrino Detector Is Collecting Data In China
hackaday.com·6h
🔲Lattice Cryptography
New Vioso Exaplan offers 1:1 projection of CAD layouts
madcornishprojectionist.co.uk·10h
🖥️Modern Terminals
Deep research and open access
andrewpwheeler.com·4d·
Discuss: Hacker News
🔬Academic Search
DDoS attacks on Arch Linux: situation probably clarified
heise.de·4h
🔍eBPF
Irish Central Bank to no longer approve Israeli bonds
the-independent.com·6h
⚡HTMX
Meta reportedly allowed unauthorized celebrity AI chatbots on its services
engadget.com·2d
🛡Cybersecurity
The Advanced Project Gemini Concepts That Could Have Been
hackaday.com·2d
🇷🇺Soviet Computing
Adobe's pipeline for high‑throughput data ingestion with Apache Iceberg
medium.com·2d·
Discuss: Hacker News
⚙️Batch Processing
For the first time, scientists observed the 'hidden swirls' that affect the flow of sand, rocks and snow
phys.org·2d
🌊Stream Processing
Wall Street is Experiencing a Wave of Crypto IPOs as Trump Policies Embolden More to Go Public
hackernoon.com·12h
🔍BitFunnel
My small lab + upcoming upgrades
i.redd.it·3d·
Discuss: r/homelab
🖥Home Lab Setup
Numerical Method for Space-Time Fractional Diffusion: A Stochastic Approach
arxiv.org·3d
📊Computational Geometry
AI in Business Intelligence and Analytics: Latest Tools & Future Trends
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Tidal Torque-Induced Angular Momentum Transfer in Micro-Robotic Swarms: Validation & Scalable Control
dev.to·3d·
Discuss: DEV
⚙️Tape Mechanics
Loading...Loading more...
AboutBlogChangelogRoadmap