Internals for Interns
es
About Me Series Books
es

Understanding the Go Compiler: From SSA to Machine Code

By Jesús Espino • January 12, 2026 • 14 min read
#Go #Compiler
From SSA to Machine Code

In the previous post , we explored how the compiler transforms IR into SSA—a representation where every variable is assigned exactly once. We saw how the compiler builds SSA using Values and Blocks, …

The SQL Query Roadtrip: The Execution Engine

By Jesús Espino • January 5, 2026 • 15 min read
#PostgreSQL #Database #SQL
The Execution Engine

In the previous article , we explored how PostgreSQL’s planner chooses the optimal execution strategy. The planner produces an abstract plan tree—nodes like “Sequential Scan,” …

Understanding the Go Compiler: The SSA Phase

By Jesús Espino • December 29, 2025 • 16 min read
#Go #Compiler
The SSA Phase

In the previous post , we explored the IR—the compiler’s working format where devirtualization, inlining, and escape analysis happen. The IR optimizes your code at a high level, making smart …

The SQL Query Roadtrip: The Query Planner

By Jesús Espino • December 22, 2025 • 19 min read
#PostgreSQL #Database #SQL
The Query Planner

In the previous article , we explored how PostgreSQL’s rewriter transforms queries—expanding views, applying security policies, and executing custom rules. By the end of that phase, your query …

Understanding the Go Compiler: The IR

By Jesús Espino • December 15, 2025 • 18 min read
#Go #Compiler
The IR

In the previous posts , we’ve explored how the Go compiler processes your code: the scanner breaks it into tokens, the parser builds an Abstract Syntax Tree, the type checker validates …

The SQL Query Roadtrip: Query Rewriting

By Jesús Espino • December 8, 2025 • 11 min read
#PostgreSQL #Database #SQL
Query Rewriting

In the previous article , we explored how PostgreSQL transforms SQL text into a validated Query tree through parsing and semantic analysis. By the end of that journey, PostgreSQL knows that your …

Understanding the Go Compiler: The Unified IR Format

By Jesús Espino • December 1, 2025 • 11 min read
#Go #Compiler
The Unified IR Format

In the previous post , we explored how the Go compiler’s type checker analyzes your code. We saw how it resolves identifiers, checks type compatibility, and ensures your program is semantically …

The SQL Query Roadtrip: Parsing and Analysis

By Jesús Espino • November 24, 2025 • 12 min read
#PostgreSQL #SQL #Database
Parsing and Analysis

In the previous article , we explored how PostgreSQL establishes connections and communicates using its wire protocol. Once your connection is established and the backend process is ready, you can …

Understanding the Go Compiler: The Type Checker

By Jesús Espino • November 17, 2025 • 13 min read
#Go #Compiler
The Type Checker

In the previous posts , we explored the scanner—which converts source code into tokens—and the parser —which takes those tokens and builds an Abstract Syntax Tree.

In future posts, I’ll cover …

The SQL Query Roadtrip: Connections and Communication

By Jesús Espino • November 9, 2025 • 9 min read
#PostgreSQL #Database
Connections and Communication

In the previous article , we explored the complete journey a SQL query takes through PostgreSQL—from parsing to execution. But before any of that can happen, your application needs to establish a …

← Newer
1 2 3 4 5
Older →

© 2026 Jesús Espino. All rights reserved.

A collection of blog posts explaining software internals in an approachable way

This website uses cookies to analyze traffic and improve your experience. Privacy Policy