Month: July 2025

An Introduction to Evaluation Contexts in Programming Semantics

by

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

How Functional Languages Simulate Goto with Labels and μ-Bindings

by

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

Understanding Algebraic Data and Codata Types in Functional Programming

by

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

How Let Bindings Improve Code Readability in Functional Programming

by

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

Nothing is Absolute: A Beginner’s Guide to Einsten’s Theory of Sepcial Relativity

by

When Einstein introduced the theory of Special Relativity, he did something no one had dared to do before: he challenged the very foundations upon which our understanding of the physical world was built. Until then, Newtonian mechanics reigned supreme, treating time, space, and mass as fixed, unchanging quantities. These were not active elements in the … Read more

5 Signs Your Startup Actually Has Brand Value

by

Not long ago, I was in a valuation review call with a founder preparing for a secondary sale. The startup had good momentum: healthy revenue, low churn, some brand awareness in its niche. A growth-stage fund was stepping in, and the founder wanted to factor in a premium for brand value. “We’ve built a strong … Read more