📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Optimal Addition Sequences for Integer Multiplication
jonot.me·1d
📐Interval Arithmetic
An optimization and debugging story with Go and DTrace
gaultier.github.io·7h
🎯Emulation Accuracy
Claude 4, Gemini 2.5 Pro, and GPT-4.1: Understanding Their Unique Quirks
eval.16x.engineer·9h·
Discuss: Hacker News
⚡Proof Automation
Single Core Hundred Thousand Concurrency（1751348251399400）
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Beyond Code: The Multidimensional Impacts of Large Language Models in Software Development
arxiv.org·20h
💻Programming languages
TypeSanitizer: a detector for strict type aliasing violations
clang.llvm.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Learning Constraints Directly from Network Data
arxiv.org·20h
🧠Machine Learning
Vibe coding a Perl interface to a C library - Part 1
dev.to·21h·
Discuss: DEV
📝Concrete Syntax
How AI on Microcontrollers Actually Works: Operators and Kernels
danielmangum.com·1d·
Discuss: Hacker News
📊Quantization
llvm: InstCombine: improve optimizations for ceiling division with no overflow - a PR by Alex Gaynor and Claude Code
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Building the Unbreakable Contract: A Pipeline for AI-Powered Vulnerability Classification and Repair
hackernoon.com·10h
📏Code Metrics
Single Core Hundred Thousand Concurrency（1751327856613900）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
An Investment in Learning
slott56.github.io·2d
💻Programming languages
WebAssembly for Client-Side Image Processing
dev.to·11h·
Discuss: DEV
🎬WebCodecs API
Herb Language Server and Visual Studio Code Extension
marcoroth.dev·8h·
Discuss: Hacker News
🌀Brotli Internals
Weak-to-Strong GraphRAG: Aligning Weak Retrievers with Large Language Models for Graph-based Retrieval Augmented Generation
arxiv.org·20h
🔍Information Retrieval
Correlated Mutations for Integer Programming
arxiv.org·20h
🌸Bloom Variants
Writing Code to Be Read at a Glance
jelv.is·1d·
Discuss: Hacker News
🔗Concatenative Programming
Digging into Intel Flat Memory Mode for CXL Memory
community.intel.com·8h·
Discuss: Hacker News
💾Memory Mapping
Distributed Sorting at Scale
systemdesignacademy.com·16h·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance