The Logical Argument
blog.computationalcomplexity.org·7h·
Discuss: blog.computationalcomplexity.org
✓Automated Theorem Proving
On systematic construction of correct logic programs
arxiv.org·2d
⚖️Hoare Logic
Dependent types I › Universes, or types of types
jonmsterling.com·21h·
Discuss: Hacker News
🔤Type Theory
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·11h·
Discuss: DEV
🔗Constraint Handling
FLINT: Fast Library for Number Theory
flintlib.org·2d
🧮Algebraic Datatypes
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·1d·
Discuss: Hacker News
👑Isabelle
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·27m
⚙️Proof Engineering
Teaching programming languages
kmjn.org·2d
💻Programming languages
One-shot design of functional protein binders with BindCraft
nature.com·12h
⬆️Lambda Lifting
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·7h·
Discuss: Hacker News
🔲Cellular Automata
Guessing Game: Haskell Style
entropicthoughts.com·2d
👑Dependent Haskell
C++ or Rust: Differences Explained
harshal.is-cool.dev·17h·
Discuss: Hacker News
🔩Systems Programming
Understanding Tool-Integrated Reasoning
arxiv.org·1d
🔗Constraint Handling
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
The Grammar According to West
dwest.web.illinois.edu·14h·
Discuss: Hacker News
🔬Lean
Implementing Forth in Go and C
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Model Merging – A Biased Overview
crisostomi.github.io·12h·
Discuss: Hacker News
🔲Cellular Automata
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·11h·
Discuss: Hacker News
🤖Network Automation
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·27m
✓Automated Theorem Proving
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·1d
🧮Theorem Proving