GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·10h
🚂Cranelift IR
LeetCode Day 8 — Compare Version Numbers (165)
nitinahirwal.in·3h·
Discuss: DEV
🌳Tree Diffing
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·10h
🪜Recursive Descent
Expressive Power of Graph Neural Networks for (Mixed-Integer) Quadratic Programs
arxiv.org·10h
🧩Constraint Solvers
ChemOrch: Empowering LLMs with Chemical Intelligence via Synthetic Instructions
arxiv.org·10h
🔗Parser Combinators
WarpSpeed: A High-Performance Library for Concurrent GPU Hash Tables
arxiv.org·10h
🔗Hash Algorithms
Supercharging Unit Test Generation with in-IDE TestSpark
blog.jetbrains.com·3h
🎲Test Generators
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·10h
🌳Pattern Match Compilation
From domain-landmark graph learning to problem-landmark graph generation
arxiv.org·10h
🔗Graph Rewriting
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
arxiv.org·10h
🧮Theorem Provers
SnipSnap: A Joint Compression Format and Dataflow Co-Optimization Framework for Efficient Sparse LLM Accelerator Design
arxiv.org·10h
📋JSON Parsing
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·10h
⚡Control Synthesis
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·8h·
Discuss: Hacker News
🪆Embedded DSLs
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
arxiv.org·10h
🌳Pattern Match Compilation
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.org·10h
🏗️MLIR
Automating FOWLP design: A comprehensive framework for next-generation integration
edn.com·1d
📱Bytecode Design
Talk me out of designing a monstrosity
reddit.com·2d·
Discuss: r/rust
🪞Metaprogramming