📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Exploring High Efficiency Web Analysis Results（1750616211008400）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
Real-world performance comparison of ebtree/cebtree/rbtree
wtarreau.blogspot.com·34m·
Discuss: wtarreau.blogspot.com
🌲B-tree Variants
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·23h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Show HN: AI Distiller (aid) reduces hallucinations during vibe coding
github.com·4h·
Discuss: Hacker News
✨Effect Handlers
Trip June 2025 ISO C++ standards meeting (Sofia, Bulgaria)
herbsutter.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🛠Language Design
Basic facts about GPUs
damek.github.io·15h·
Discuss: Lobsters, Hacker News
🖥️Hardware Architecture
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
brainfuck-rs: A Brainfuck AOT compiler written in Rust
reddit.com·12h·
Discuss: r/rust
🦀Rust Macros
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Exploring High Efficiency Web Analysis Results（1750584977764000）
dev.to·11h·
Discuss: DEV
🌊Stream Processing
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Exploring High Efficiency Web Analysis Results（1750593242231900）
dev.to·9h·
Discuss: DEV
🌊Stream Processing
RAG Made Simple: Simplicity’s Approach to Modular Retrieval & Generation (Part 1)
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·16h·
Discuss: DEV
🧬Functional Programming
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages