Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·4h·
Discuss: Hacker News
🏗️Calculus of Constructions
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·4h
📞Session Types
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·4h
🪢Rope Data Structures
Efficient Linearizability Monitoring
arxiv.org·4h
🔗Memory Linearization
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
I Built a Compiler in Five Days with Claude AI
indiehackers.com·39m·
Discuss: Hacker News
🎭Program Synthesis
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·11h·
Discuss: DEV
🔗Concurrency Primitives
Adhesive category theory for graph rewriting in Rocq
arxiv.org·4h
🔗Category Theory
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·4h
🌳Pattern Match Compilation
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·23h
🌿Trie Structures
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·4h
🧮Combinator Calculus
Transitive Dependency Version Resolution in Rust and Java: Comparing the Two
hackernoon.com·1d
📦Dependency Analysis
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·4h
🚂Error Propagation
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·4h
🚀Code Motion
Sketching approximations and LP approximations for finite CSPs are related
arxiv.org·4h
🎨Graph Coloring
Introducing Resizable Region Packing Problem in Image Generation, with a Heuristic Solution
arxiv.org·4h
🔄Loop Optimization
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·4h
🔪Program Slicing
Randomized matrix computations: Themes and variations
arxiv.org·4h
🧮Linear Algebra