Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·12h·
Discuss: Hacker News
🏗️Calculus of Constructions
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·12h
🧮Combinator Calculus
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·12h
🚂Error Propagation
I Built a Compiler in Five Days with Claude AI
indiehackers.com·8h·
Discuss: Hacker News
🎭Program Synthesis
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·12h
🪢Rope Data Structures
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
arxiv.org·12h
⚙️Compilers
Adhesive category theory for graph rewriting in Rocq
arxiv.org·12h
🔗Category Theory
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·12h
📞Session Types
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·4h
🎯Bit-Vector Algorithms
The Compiler's Magic Trick That Makes Your Code Crash-Proof
dev.to·51m·
Discuss: DEV
🚂Error Propagation
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·12h
🔪Program Slicing
From AI-Generated to Production-Ready Code: WebStorm Refactorings for the Modern Workflow
blog.jetbrains.com·2h
🚚Code Migration
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·6h·
Discuss: Hacker News, r/Zig
⚡Zig
Efficient Linearizability Monitoring
arxiv.org·12h
🔗Memory Linearization
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·12h
📜Bytecode Interpreters
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
arxiv.org·12h
🔬Nanopasses
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·20h
🎯99-Line Tools