The Logical Argument
blog.computationalcomplexity.org·54m·
Discuss: blog.computationalcomplexity.org
✓Automated Theorem Proving
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Dependent types I › Universes, or types of types
jonmsterling.com·15h·
Discuss: Hacker News
🔤Type Theory
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·4h·
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·20h·
Discuss: Hacker News
👑Isabelle
Understanding Tool-Integrated Reasoning
arxiv.org·17h
🔗Constraint Handling
Teaching programming languages
kmjn.org·2d
💻Programming languages
One-shot design of functional protein binders with BindCraft
nature.com·5h
⬆️Lambda Lifting
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·46m·
Discuss: Hacker News
🔲Cellular Automata
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
C++ or Rust: Differences Explained
harshal.is-cool.dev·11h·
Discuss: Hacker News
🔩Systems Programming
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
The Grammar According to West
dwest.web.illinois.edu·7h·
Discuss: Hacker News
🔬Lean
Implementing Forth in Go and C
eli.thegreenplace.net·18h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Model Merging – A Biased Overview
crisostomi.github.io·5h·
Discuss: Hacker News
🔲Cellular Automata
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·5h·
Discuss: Hacker News
🤖Network Automation
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·17h
🧮Theorem Proving
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs