🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Theorem Proving

Automated Reasoning, SMT Solvers, Logic Programming, Isabelle

Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·13h·
Discuss: Hacker News
🔢Denotational Semantics
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation
arxiv.org·1d
✓Automated Theorem Proving
My first experience with Formal Methods | ZipCPU
zipcpu.com·20h
🔧Hardware Verification
And the other Big Red Logic Books?
logicmatters.net·14h
🔀Category Theory
Apple's "Illusion of Thinking" paper shows experts deeply divided on AI reasoning
the-decoder.com·12h
🧮SMT Solvers
Working with Claude Code
bphogan.com·11h·
Discuss: Hacker News
🦀Rust Macros
Building a custom text-to-SQL agent using Amazon Bedrock and Converse API
aws.amazon.com·1d
🌀Brotli Internals
Show HN: DeepThink Plugin – Bring Gemini 2.5's parallel reasoning to open models
news.ycombinator.com·1d·
Discuss: Hacker News
🧮SMT Solvers
equality in type theory
ncatlab.org·4d
λLambda Formalization
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.com·6h·
Discuss: Substack
🌳Incremental Parsing
A Gentle Introduction to Multi-Head Attention and Grouped-Query Attention
machinelearningmastery.com·10h
🚀SIMD Text Processing
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
Unlock LLMs' Reasoning: A Developer's Deep Dive
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·2h·
Discuss: Hacker News
🔩Systems Programming
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
arxiv.org·1d·
Discuss: Hacker News
🧠Computational Logic
Energy Costs of Communicating with AI
frontiersin.org·8h·
Discuss: Hacker News
💻Local LLMs
The Art of Bijective Combinatorics
viennot.org·13h·
Discuss: Hacker News
🕸️Graph Algorithms
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
arxiv.org·1d
🔬Lean
OWASP Top for Business Logic Abuse
owasp.org·16h·
Discuss: Hacker News
🔒WASM Capabilities
Breaking Down The Odin Project’s Ruby Curriculum—One Project at a Time
hackernoon.com·2d
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap