On systematic construction of correct logic programs
arxiv.org·3h
⚖️Hoare Logic
Structural vs. Mathematical “Under” (2023)
dyalog.com·7h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🎯Performance Proofs
FLINT: Fast Library for Number Theory
flintlib.org·13h
🧮Algebraic Datatypes
Sets & Heaps in Haskell and Rust
mmhaskell.com·23h
🔒Type Safety
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·3h
🗂️Vector Databases
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·3h
🧠Intelligence Compression
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Two Dogmas of Empiricism
en.wikipedia.org·19h·
Discuss: Hacker News
💻Programming languages
Notes on Autograd
aschrein.github.io·13h·
Discuss: Hacker News
⚡Incremental Computation
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·3h
🧠Machine Learning
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·13h·
Discuss: Substack
🔗Topological Sorting
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·3h
🧠Intelligence Compression
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·20h
🌀Brotli Dictionary
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·3h
🌸Bloom Variants
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·10h
🎯Performance Proofs
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·3h
🔧Hardware Verification