Understanding Tool-Integrated Reasoning
arxiv.org·13h
🔗Constraint Handling
The Grammar According to West
dwest.web.illinois.edu·3h·
Discuss: Hacker News
🔬Lean
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·34m·
Discuss: DEV
🔗Constraint Handling
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·16h·
Discuss: Hacker News
👑Isabelle
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Thinking About Thinking
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🔗Constraint Handling
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·23h·
Discuss: Hacker News
🔗Constraint Handling
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
System eval with Obsidian and Claude Code
interjectedfuture.com·2h
⚡Proof Automation
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·3h·
Discuss: Hacker News
🌊Stream Processing
Python 3.14 Preview: Lazy Annotations
realpython.com·3h
λLambda Formalization
Deep learning reveals antibiotics in the archaeal proteome
nature.com·3h·
Discuss: Hacker News
⚙️ABNF Mining
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·13h
🧠Computational Logic
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·7h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Dependent types I › Universes, or types of types
jonmsterling.com·11h·
Discuss: Hacker News
🔤Type Theory
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities