📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

ChatHLS: Towards Systematic Design Automation and Optimization for High-Level Synthesis
arxiv.org·7h
⚙️Logic Synthesis
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.com·3d
🔄Graph Rewriting
Vibe coding a Perl interface to a foreign library
chrisarg.github.io·8h·
Discuss: Hacker News
📝Concrete Syntax
Single Core Hundred Thousand Concurrency（1751449651129400）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition
arxiv.org·7h
🎯Performance Proofs
Algorithms for Modern Hardware
en.algorithmica.org·2d·
Discuss: Hacker News
🎯Performance Proofs
Mixture of Experts Architecture in Transformer Models
machinelearningmastery.com·1d
🧮SMT Solvers
C++ Encounters of the Rusty Zig Kind
hackaday.com·18h
🦀Rust Macros
Gist of Go: Semaphores
antonz.org·19h
🧠Program Logic
Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
arxiv.org·1d
🎯Performance Proofs
A Hierarchical and Evolvable Benchmark for Fine-Grained Code Instruction Following with Multi-Turn Feedback
arxiv.org·7h
📼Tape Combinators
Parsing Layout, or: Haskell's Syntax is a Mess
amelia.how·18h·
Discuss: Lobsters, r/programming
🔗Monadic Parsing
Exploring High Efficiency Web Analysis Results（1751449594071700）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Parasites Found
mmapped.blog·1d·
Discuss: Hacker News
🦀Rust Macros
Pattern-Based Graph Classification: Comparison of Quality Measures and Importance of Preprocessing
arxiv.org·7h
🌊Spectral Clustering
Higher-Order Weakest Precondition Transformers via a CPS Transformation
arxiv.org·7h
⚖️Hoare Logic
NativeJIT: A C++ expression –> x64 JIT
github.com·2d·
Discuss: Hacker News
🏭Compiler Backends
Stop adding booleans to programming languages
goldenstack.net·8h·
Discuss: Hacker News
⛪Church Encoding
Exploring High Efficiency Web Analysis Results（1751415025182400）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
The provenance memory model for C
gustedt.wordpress.com·2d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🚀Compiler Optimizations