Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·3h·
Discuss: Hacker News
🏗️Calculus of Constructions
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·4h
🧮Combinator Calculus
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·4h
🚂Error Propagation
I Built a Compiler in Five Days with Claude AI
indiehackers.com·22m·
Discuss: Hacker News
🎭Program Synthesis
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·4h
🪢Rope Data Structures
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
arxiv.org·4h
⚙️Compilers
Adhesive category theory for graph rewriting in Rocq
arxiv.org·4h
🔗Category Theory
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·4h
📞Session Types
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·4h
🔪Program Slicing
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Efficient Linearizability Monitoring
arxiv.org·4h
🔗Memory Linearization
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·3h·
Discuss: DEV
🪢Rope Data Structures
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·4h
📜Bytecode Interpreters
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
arxiv.org·4h
🔬Nanopasses
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·11h
📡Binary Protocols
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·12h
🎯99-Line Tools
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·4h
🚂Cranelift IR
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·4h
🪜Recursive Descent