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

Cauchy coup
leancrew.com·1d
📐Linear Algebra
DailyMe: Write less. Do more. Feel better
apps.apple.com·12h·
Discuss: Hacker News
⬜Minimalism
SQL Injection as a Feature
idiallo.com·21m·
Discuss: Hacker News
⛏️SQL Archaeology
Show HN: I couldn't find an idea so I created a problem bank
gotaprob.com·8h·
Discuss: Hacker News
🔗Constraint Handling
Image Search: An internet-powered image search and conversion for C64 OS
c64os.com·1d·
Discuss: Hacker News
🖥️Vintage Macintosh
Notes on Image Generation with GPT-4.1
taoofmac.com·22h·
Discuss: Hacker News
📐Mathematical Art
Detecting code copying at scale with Vendetect
blog.trailofbits.com·7h·
Discuss: Hacker News
🚀Indie Hacking
An Introduction to GPU Profiling and Optimization
bitsand.cloud·1d·
Discuss: Hacker News, r/programming
📊Performance Profiling
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·4d·
Discuss: Hacker News
🔐Quantum Security
Honest Abe: Anti-BS Epistemology
austinross.xyz·4d·
Discuss: Hacker News
🔲Proof Irrelevance
I need help with implementing a db in a Go API
reddit.com·1d·
Discuss: r/golang
🔓Reverse engineering
AI whiplash, and Neovim in the age of AI
dlants.me·4d·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Debugging AI's Most Frustrating Habit: The Abandoned Answer
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Claude Code Spec Workflow: Automated Spec-Driven Workflow for Claude Code
github.com·4h·
Discuss: Hacker News
⚡Proof Automation
Why Your AI Agent Still Feels Like a Toy (And How We're Fixing It)
dev.to·2d·
Discuss: DEV
⚙️TLA+
The Force: A Star Wars themed programming language
github.com·9h·
Discuss: Hacker News
🦀Rust Macros
Evaluating generative AI models with Amazon Nova LLM-as-a-Judge on Amazon SageMaker AI
aws.amazon.com·3d
🧠Intelligence Compression
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·4d·
Discuss: DEV
⚔️Lean Tactics
How AI Superintelligence Will Transform Our Products
dev.to·5h·
Discuss: DEV
🔐Capability Systems
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·4d
🕸️Algebraic Topology
Loading...Loading more...
AboutBlogChangelogRoadmap