Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·6h·
Discuss: Hacker News
🏗️Calculus of Constructions
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·6h
🪢Rope Data Structures
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·22h
⚖️Inference Rules
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·6h
🚂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·21h·
Discuss: Hacker News
🎯Type Theory
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·6h
📞Session Types
Zero-Knowledge AI Inference with High Precision
eprint.iacr.org·12h
📈Monotonic Logic
Creating a database of motivated proofs
gowers.wordpress.com·12h·
Discuss: Hacker News
⚖️Inference Rules
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·6h
🌳Pattern Match Compilation
Adhesive category theory for graph rewriting in Rocq
arxiv.org·6h
🔗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·6h·
Discuss: DEV
🪢Rope Data Structures
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·6h
🎯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·6h
🌱Minimal ML
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·15h
💫Effect Systems
scheme
ytp.me·6h
🔧Scheme Macros
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·6h
🎲Parser Fuzzing