Insights  /  Company

What's in the name Lambdaserve?

The nostalgic story behind the name.

People tend to assume the name Lambdaserve points to AWS Lambda. The truth is older and a little more sentimental than that. The name comes from lambda calculus, the piece of mathematics that put the function at the centre of computing long before there were clouds to run anything on.

A Greek letter that came to mean function

Lambda is the eleventh letter of the Greek alphabet, written as the lower-case symbol λ. In the 1930s the mathematician Alonzo Church used that single letter to build a formal system called lambda calculus, which describes computation entirely in terms of functions. In Church's notation the lambda marks the point where a function names the input it is about to use, and over time the letter became a kind of shorthand for the idea of a function itself.

That is what the name reaches for. Amazon happens to have borrowed the same letter for its functions service, which is why people make the connection, but both names point at the same modest idea. A function takes something in and hands something back, and almost everything a computer does can be described that way.

The function had a long life before programming

It is easy to assume the function has always belonged to software, because every language a developer touches is built around it. Its history runs back much further. Gottfried Leibniz used the word in the late seventeenth century to describe quantities that depend on a curve. Leonhard Euler later gave us the familiar way of writing a function applied to a value, and Peter Dirichlet helped settle the broader definition still used today, which treats a function as a rule that maps each input to exactly one output, free of any particular formula.

The moment that matters most for software arrived in 1936. Church set out lambda calculus, and in the same year Alan Turing described his abstract machine. The two looked nothing alike, yet they were shown to capture precisely the same notion of what can be computed. Functions had become a foundation of computing before there were computers to run them on. When John McCarthy designed Lisp in the late 1950s, he carried lambda directly into a programming language, and the path from a question in pure mathematics to an everyday working tool was complete.

Why we would struggle without them

Take functions away and a program becomes a single long stretch of instructions, with every repeated piece of work copied out again wherever it is needed. Nobody could hold such a thing in their head, let alone change it safely. A function lets you name a piece of behaviour once, use it in many places, and correct it everywhere by correcting it in one spot.

It also draws a clean line between what something does and how it does it, so the rest of a program can rely on the result without caring about the detail underneath. That boundary is what makes larger systems possible, because small understandable pieces can be composed into bigger ones, and those into bigger ones again.

What actually happens when a function runs

Underneath the tidy idea sits a small piece of bookkeeping. When a program calls a function, the processor has to remember where to carry on once the function is done, and it does this using a region of memory called the call stack. Making the call pushes a frame onto that stack, and the frame holds the address to return to, the arguments being passed in, and room for the function's own local values.

With the frame in place, the processor runs the function's instructions, leaves any result where the caller knows to look for it, removes the frame from the top of the stack, and resumes at the saved return address as though nothing had interrupted it. One function calling another simply stacks a fresh frame on top, and a function that calls itself does the same thing over and over, which is why very deep recursion can run the stack out of room and cause the overflow that lent a certain programming website its name.

So the name is a small tribute to all of that. A Greek letter, a piece of 1930s mathematics, and the quiet function that carries every program we build. Functions that serve seemed like a fitting idea to name a company after.

Written by the Lambdaserve team as general, informational guidance for founders and engineers. It is not legal, financial or tax advice. Third-party product names, programmes and logos belong to their respective owners and are referenced for identification only.

Building something? Let's talk.

We bring the products and the engineering.

hello@lambdaserve.com