Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·14h·
Discuss: Hacker News
🏗️Calculus of Constructions
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·15h
🪢Rope Data Structures
Building a Query-Based Incremental Compilation Engine in Rust
dev.to·2h·
Discuss: DEV
🗃️Query Compilation
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·15h
🚂Error Propagation
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.io·23h
🔄Subinterpreters
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·15h
📞Session Types
Quartic Quantum Speedups for Planted Inference
journals.aps.org·6h
🧩Constraint Solvers
Creating a database of motivated proofs
gowers.wordpress.com·21h·
Discuss: Hacker News
⚖️Inference Rules
Zero-Knowledge AI Inference with High Precision
eprint.iacr.org·20h
📈Monotonic Logic
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·15h
🌳Pattern Match Compilation
Two Mathematical Perspectives on AI Hallucinations and Uncertainty
lesswrong.com·8h
⚖️Inference Rules
Adhesive category theory for graph rewriting in Rocq
arxiv.org·15h
🔗Category Theory
BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·54m
🧮Combinator Calculus
A recursive algorithm for reliability evaluation of multi-state hierarchical systems with stochastic dependent components
sciencedirect.com·4h
🚂Error Propagation
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·15h
🎯Finite Automata
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching