📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Getting a Hypergraph of Functions to a Browser
systeminit.com·5h·
Discuss: Hacker News
🌀Brotli Internals
An enough week
blog.mitrichev.ch·1h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·17h
🔨Compilers
Tying It All Together: Your Map to Better Go Architecture
dev.to·6h·
Discuss: DEV
📊Dependency Graphs
Modern C and initializing an array
subethasoftware.com·4h
🗂Data structures
Programmer in Wonderland
binaryigor.com·5h·
Discuss: Hacker News
🔩Systems Programming
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·10h·
Discuss: Hacker News
🔄Burrows-Wheeler
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·1d
🧮Compute Optimization
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·21h
🔗Functional Compilers
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·7h
🌀Brotli Internals
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
LINQ and Learning to Be Declarative
nickstambaugh.dev·7h·
Discuss: Hacker News
🔗Concatenative Programming
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·17h
🕸️Graph Algorithms
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·9h
⚡Proof Automation
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·2d·
Discuss: Hacker News
🌳Incremental Parsing
Haskell Weekly Issue 493
haskellweekly.news·12h·
Discuss: Hacker News
🧬Functional Programming
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·9h·
Discuss: DEV
🗂️Vector Databases
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·7h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·5h·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·10h·
Discuss: Hacker News, r/programming
🌳Incremental Parsing