On systematic construction of correct logic programs
arxiv.org·9h
⚖️Hoare Logic
Structural vs. Mathematical “Under” (2023)
dyalog.com·13h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·9h
🎯Performance Proofs
FLINT: Fast Library for Number Theory
flintlib.org·19h
🧮Algebraic Datatypes
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1h
✅Format Verification
Paradigms of Intelligence Team
github.com·18m·
Discuss: Hacker News
🔲Cellular Automata
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Is Math Discovered or Invented?
curtispoe.org·6h
🔲Proof Irrelevance
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·9h
🗂️Vector Databases
LLM System Design and Model Selection
oreilly.com·3h
💻Local LLMs
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·9h
🧠Intelligence Compression
Did GPT-5 Solve 'New Math'?
tech2geek.net·3h·
Discuss: Hacker News
🎯Performance Proofs
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·22m·
Discuss: Hacker News
⚔️Lean Tactics
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·2h·
Discuss: DEV
📦Container Security
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Two Dogmas of Empiricism
en.wikipedia.org·1d·
Discuss: Hacker News
💻Programming languages
Notes on Autograd
aschrein.github.io·18h·
Discuss: Hacker News
⚡Incremental Computation
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·9h
🧠Machine Learning