Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·10h·
Discuss: Hacker News
🏗️Calculus of Constructions
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·10h
🪢Rope Data Structures
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·1d
⚖️Inference Rules
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·10h
🚂Error Propagation
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News
🎯Type Theory
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·10h
📞Session Types
Quartic Quantum Speedups for Planted Inference
journals.aps.org·2h
🧩Constraint Solvers
Creating a database of motivated proofs
gowers.wordpress.com·16h·
Discuss: Hacker News
⚖️Inference Rules
Zero-Knowledge AI Inference with High Precision
eprint.iacr.org·16h
📈Monotonic Logic
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·10h
🌳Pattern Match Compilation
Two Mathematical Perspectives on AI Hallucinations and Uncertainty
lesswrong.com·3h
⚖️Inference Rules
Adhesive category theory for graph rewriting in Rocq
arxiv.org·10h
🔗Category Theory
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·10h·
Discuss: DEV
🪢Rope Data Structures
A recursive algorithm for reliability evaluation of multi-state hierarchical systems with stochastic dependent components
sciencedirect.com·17m
🚂Error Propagation
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·10h
🎯Finite Automata
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
arxiv.org·10h
🌱Minimal ML