Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·2h
⚡Control Synthesis
Prefetching in Deep Memory Hierarchies with NVRAM as Main Memory
arxiv.org·2h
⚡Cache-Aware Algorithms
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.org·2h
🏗️MLIR
Automated Cost-Benefit Analysis for Network Infrastructure Optimization via Graph Neural Networks
dev.to·17h·
Discuss: DEV
🔗Graph Rewriting
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·2h·
Discuss: DEV
🪢Rope Data Structures
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·2h
📮Message Queues
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·2h
🪜Recursive Descent
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·2h
📈Earley Parsing
Program Synthesis via Test-Time Transduction
arxiv.org·2h
🎭Program Synthesis
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
arxiv.org·2h
🌳Pattern Match Compilation
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
arxiv.org·2h
⚙️Compilers
How Meta Animates Billions of AI-generated Images
blog.bytebytego.com·14h
🎭Program Synthesis
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·18h·
Discuss: Hacker News
📦Monorepos
Parallelism Strategies in Deep Learning
afmck.in·15h·
Discuss: Hacker News
🔀SIMD Programming
Space-Deniable Proofs
eprint.iacr.org·20h
📜Proof Languages
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·2h
🏷️Attribute Grammars
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
MicroAlloc
bogdanthegeek.github.io·1d
🧠Memory Allocators
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·10h
🎯99-Line Tools
Rustchain: Transpile Anything Into Rust (and Back Out Again)
reddit.com·3h·
Discuss: r/programming
🏗️Cranelift