Relative Completeness of Incorrectness Separation Logic
arxiv.org·10h
🧠Separation Logic
SAT Requires Exhaustive Search
link.springer.com·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Differentiable Economics: Strategic Behavior, Mechanisms, and Machine Learning
cacm.acm.org·42m
🔲Cellular Automata
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·10h
💻Local LLMs
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·21h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
How far can we push AI autonomy in code generation?
martinfowler.com·17m
⚡Proof Automation
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·10h
🧮Datalog
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·13h·
Discuss: Hacker News
📊Citation Graphs
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
KCR: Resolving Long-Context Knowledge Conflicts via Reasoning in LLMs
arxiv.org·10h
🧮Theorem Proving
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·1h·
Discuss: Hacker News
📼Tape Combinators
Pragmatism in Programming Proverbs
gingerbill.org·5h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Understanding Decision Trees
dev.to·13h·
Discuss: DEV
🌳Huffman Trees
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·10h
🔄Finite State Machines
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·10h
⚡Proof Automation
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms