Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
📝Compiler Design
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Some Fun Videos on Optimizing NES Code
bumbershootsoft.wordpress.com·1h
🎯Emulator Accuracy
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔨Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🧮Algebraic Archives
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·6h·
🖥️Game Emulation
Flag this post
Down with template (or not)!
cedardb.com·1d
🎯Gradual Typing
Flag this post
Codeminer42 Dev Weekly #85
blog.codeminer42.com·1d
🔩Systems Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·4h
📐Mathematical Art
Flag this post
Linkage
11011110.github.io·22h
📐Mathematical Art
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·49m·
Discuss: DEV
⚙️Operating System Design
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·7h
📊Graph Databases
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
🔓Decompilation
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·1d
🌊Streaming Systems
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·3h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·19h·
Discuss: Hacker News
Homebrew CPUs
Flag this post
Notes from RIPE 91
blog.apnic.net·1d
🌐DNS over QUIC
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·1d·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λLambda Formalization
Flag this post