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

Math Poetry: The Square
denisegaskins.com·1d
📐Mathematical Art
One Extra Click
tedium.co·16h
🌀Brotli Internals
Political-bias benchmark for Grok 4, GPT-4.1, Gemini 2.5 Pro and Claude Opus 4
promptfoo.dev·10h·
Discuss: Hacker News
🎛️Feed Filtering
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·3d·
Discuss: Hacker News
📦Container Security
A breakdown of attacker response times to AWS key leaks
clutch.security·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
FeelFish – AI Novel Writing Assistant
feelfish.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Intel's $100B Bluff
nearlyright.com·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Show HN: LogMerge – View multiple log files in a merged view
github.com·8h·
Discuss: Hacker News
📝Log Parsing
UV Bug Trap
hackster.io·6h
⚙️Cassette Mechanics
BATMAN brings T cell receptor therapy out of the shadows
phys.org·16h
📄Document AI
Zignal: A zero-dependency image processing library
github.com·18h·
Discuss: Hacker News
📄Document Streaming
Enhancing Natural Language Inference Performance with Knowledge Graph for COVID-19 Automated Fact-Checking in Indonesian Language
arxiv.org·4d
⚡Proof Automation
Disastra: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
🏺Archaeological Computing
I Gained 10 Extra Hours A Week With This AI Rule
dev.to·1d·
Discuss: DEV
⚡Proof Automation
How AI Learns
dev.to·1d·
Discuss: DEV
🧠Machine Learning
The problem with AI agents isn’t the model, it’s missing context (and we built the fix)
dev.to·2d·
Discuss: DEV
⚙️TLA+
How TF i made An AI for motion graphics
dev.to·14h·
Discuss: DEV
🎙️Whisper
Evaluating Ensemble and Deep Learning Models for Static Malware Detection with Dimensionality Reduction Using the EMBER Dataset
arxiv.org·2d
🦠Malware Analysis
Show HN: I'm not a developer, but I spent a year architecting a compassionate AI
github.com·23h·
Discuss: Hacker News
⚡Incremental Computation
LLMs Tend to Be Overconfident
link.springer.com·3d·
Discuss: Hacker News
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap