🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔮 Proof Search

Automated Reasoning, Tactic Languages, Resolution, Unification

In defense of floating point
leancrew.com·15h
📐Arithmetic Precision
OpenAI and Microsoft are dueling over AGI. These real-world tests will prove when AI is really better than humans.
businessinsider.com·2h
🔲Cellular Automata
Refurb weekend: Gremlin Blasto arcade board
oldvcr.blogspot.com·11h·
Discuss: Lobsters, Hacker News
📺Retrogaming
Modelling API rate limits as diophantine inequalities
vivekn.dev·2d·
Discuss: Hacker News
🎯Performance Proofs
Deep research in the API, webhooks, and web search with o3
community.openai.com·2d·
Discuss: Hacker News
🔌Archive APIs
Delphi Raises $16M Series A from Sequoia Capital to Pioneer "Digital Minds"
delphi.framer.website·7h·
Discuss: Hacker News
🔌Interface Evolution
A case for courage, when speaking of AI danger
lesswrong.com·2d·
Discuss: Hacker News
🎯Threat Hunting
Claude Code Commands Directory
claudecodecommands.directory·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Slouching Towards Sensemaking
karanchawla.io·5h·
Discuss: Hacker News
🧲Magnetic Philosophy
Cross-Compiling 10,000+ Rust CLI Crates Statically
blog.pkgforge.dev·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The AI delegation dilemma
foxhound.systems·1d·
Discuss: Hacker News, r/programming
🗺️Competency Maps
Testing OpenAI Codex and Comparing It to Claude Code
thenewstack.io·19h
📜TEI Encoding
HackTheSite Basic 6
dev.to·1d·
Discuss: DEV
🔓Password Cracking
Sirius: A GPU-native SQL engine
github.com·20h·
Discuss: Hacker News
🗄️Database Internals
ProofBoard My Hackathon Journey with Bolt!
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750952117902400)
dev.to·2d·
Discuss: DEV
🌐Network Protocols
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3d
✅Format Verification
Blackbox AI — For Real
dev.to·15h·
Discuss: DEV
🌐WASI
GCP Fundamentals: Data Labeling API
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·2d·
Discuss: Hacker News
📦Container Security
Loading...Loading more...
AboutBlogChangelogRoadmap