Equivalence of Halting Problem to Convergence of Power Series
arxiv.orgยท15h
๐ŸงฎCombinator Calculus
็ฌฌๅ››: A Japanese and Forth inspired postfix language
gist.github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Languages
Conversation with Claude on Reasoning
blog.yellowflash.inยท2hยท
Discuss: Hacker News
๐Ÿ”„Subinterpreters
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.orgยท15h
๐ŸŒฑTiny Languages
Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.orgยท15h
๐ŸงฎCombinator Calculus
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.orgยท15h
๐Ÿ—๏ธMLIR
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.orgยท15h
โšกControl Synthesis
Checking extracted rules in Neural Networks
arxiv.orgยท15h
โš–๏ธInference Rules
MobiZO: Enabling Efficient LLM Fine-Tuning at the Edge via Inference Engines
arxiv.orgยท15h
๐Ÿ—บ๏ธRegion Inference
I Built a Compiler in Five Days with Claude AI
indiehackers.comยท11hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Learning functions, operators and dynamical systems with kernels
arxiv.orgยท15h
๐Ÿ”ML Language
Similarity as Thermodynamic Work: Between Depth and Diversity -- from Information Distance to Ugly Duckling
arxiv.orgยท15h
๐Ÿ—‚๏ธType Indexing
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
arxiv.orgยท15h
โš™๏ธCompilers
Program Synthesis via Test-Time Transduction
arxiv.orgยท15h
๐ŸŽญProgram Synthesis
Huxe: A Personal Intelligence System
huxe.comยท1hยท
Discuss: Hacker News
๐Ÿ“ˆEarley Parsing
Space-Deniable Proofs
eprint.iacr.orgยท1d
๐Ÿ“œProof Languages
FlagEval Findings Report: A Preliminary Evaluation of Large Reasoning Models on Automatically Verifiable Textual and Visual Questions
arxiv.orgยท15h
โœ…Type Checking
On LLM-Based Scientific Inductive Reasoning Beyond Equations
arxiv.orgยท15h
๐Ÿ”ML Language
Polymorphism for Beginners
roscidus.comยท3dยท
Discuss: Hacker News
๐ŸŽญPolymorphic Variants
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.comยท8hยท
Discuss: Substack
๐Ÿ“ŠCode Metrics