🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧠 Computational Logic

Resolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability

DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
🧠 Solving LeetCode Until I Become Top 1% — Day `27`
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
I'm writing a book!
laplab.me·21h
🗄️Database Internals
Real-world performance comparison of ebtree/cebtree/rbtree
wtarreau.blogspot.com·45m·
Discuss: wtarreau.blogspot.com
🌲B-tree Variants
AIs that break down questions reason better
gael-varoquaux.info·2d
✓Automated Theorem Proving
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
arxiv.org·3d·
Discuss: Hacker News
🧮Theorem Proving
Beyond the Competition: How Claude Sonnet 4, GPT-4o, and Gemini 2.5 Can Work Together in Agent Harmony
dev.to·3h·
Discuss: DEV
⚙️TLA+
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·50m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·11h
🤖Paleographic AI
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
The dark side of Python (for CS students before learning Python)
gist.github.com·8h·
Discuss: Hacker News
💻programming languages
Inference Economics of Language Models
epoch.ai·1d·
Discuss: Hacker News
💻Local LLMs
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Loading...Loading more...
AboutBlogChangelogRoadmap