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

5 Chrome features I use all the time as a college student
blog.google·2d
🏠Personal Archives
MCP is an open protocol that standardizes how apps provide context to LLMs
modelcontextprotocol.io·3d·
Discuss: Hacker News
🏺Protocol Archaeology
Remember the Companies Making Vital Open Source Contributions
news.slashdot.org·4h
🔓Open Source Software
Typing to Think, Typing to Prompt
kvncnnlly.com·2d·
Discuss: Hacker News
🎙️Whisper
Futarchy’s fundamental flaw — the market — the blog post
dynomight.net·2d·
Discuss: Hacker News
🔍BitFunnel
Meta under fire over AI rules that allow romantic roleplay with children and false medical advice
techspot.com·8h
📰RSS Archaeology
Claude Code turned a 3-week project into a 2-day task — but nearly broke it
businessinsider.com·1d
🌳Incremental Parsing
Treacherous vibrations: Eavesdropping on cell phone calls with radar and AI
heise.de·4d
🎙️Whisper
Peer Effect Estimation in the Presence of Simultaneous Feedback and Unobserved Confounders
arxiv.org·2d
🔍Information Retrieval
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.to·4d·
Discuss: DEV
⚡gRPC
Over-Squashing in GNNs and Causal Inference of Rewiring Strategies
arxiv.org·2d
🌸Bloom Variants
🚀 How I Built an AI Agent That Generates Structured Test Cases in Minutes
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Securing the Quantum Age
paloaltonetworks.com·2d
🔐Quantum Security
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·4d·
Discuss: Hacker News
💻Local LLMs
The Jobs AI Can’t Touch (Yet): Why Some Roles Are Safe from Automation
dev.to·2d·
Discuss: DEV
💾Persistence Strategies
ChatGPT just gave me a hard truth that I probably needed to hear and I am shook
techradar.com·3d
⚡Proof Automation
Adaptive Optimization of Time-Sensitive Network (TSN) Protocols via Reinforcement Learning and Dynamic Signal Shaping
dev.to·2d·
Discuss: DEV
📡Network Calculus
Chi-Geometry: A Library for Benchmarking Chirality Prediction of GNNs
arxiv.org·3d
🔗Graph Isomorphism
ClimateSOM: A Visual Analysis Workflow for Climate Ensemble Datasets
arxiv.org·4d
🌀Differential Geometry
CROP: Integrating Topological and Spatial Structures via Cross-View Prefixes for Molecular LLMs
arxiv.org·4d
🤖Paleographic ML
Loading...Loading more...
AboutBlogChangelogRoadmap