Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·8h·
Discuss: Hacker News
🏗️Calculus of Constructions
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·8h
🧮Combinator Calculus
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·8h
🚂Error Propagation
I Built a Compiler in Five Days with Claude AI
indiehackers.com·4h·
Discuss: Hacker News
🎭Program Synthesis
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·8h
🪢Rope Data Structures
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
arxiv.org·8h
⚙️Compilers
Adhesive category theory for graph rewriting in Rocq
arxiv.org·8h
🔗Category Theory
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·8h
📞Session Types
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·5m
🎯Bit-Vector Algorithms
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·8h
🔪Program Slicing
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·2h·
Discuss: r/Zig
⚡Zig
Efficient Linearizability Monitoring
arxiv.org·8h
🔗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·8h·
Discuss: DEV
🪢Rope Data Structures
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·8h
📜Bytecode Interpreters
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
arxiv.org·8h
🔬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·16h
🎯99-Line Tools
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·15h
📡Binary Protocols