Ada Lovelace
Augusta Ada King, Countess of Lovelace, born in 1815 as the only legitimate daughter of the poet Lord Byron, spent 1842 and 1843 translating a French memoir on Babbage's unbuilt Analytical Engine and, in the process of annotating it, wrote something no one had written before: a detailed, step-by-step method for getting a machine to carry out a nontrivial mathematical computation on its own. The memoir she translated had been written in 1842 by Luigi Menabrea, an Italian military engineer and mathematician who had heard Babbage lecture on the Analytical Engine's design in Turin and produced the first serious published account of how the mill and the store were meant to work together; Lovelace rendered Menabrea's French into English in 1843, but rather than publish a plain translation she appended a set of her own annotations, labeled Note A through Note G, that ran roughly three times longer than Menabrea's original paper and went far beyond explaining his text. Those notes were published in 1843 in Taylor's Scientific Memoirs under the initials "A.A.L.," since a woman publishing original mathematical work under her own name was not something Victorian scientific journals welcomed, and the notes sat largely unread by the wider public for more than a century until the rise of digital computing sent historians back to find out who had actually understood Babbage's machine well enough to program it on paper before it ever physically existed.
Note G is the one that matters most to computing history: in it, Lovelace laid out a complete operational sequence for computing the Bernoulli numbers, a demanding series used in number theory, using nothing but the Analytical Engine's mill and store as Babbage had designed them, and historians of computing widely treat this as the first published algorithm written for execution by a machine rather than by a human. The method is recognizably a loop in the modern sense: each new Bernoulli number depends on values already computed earlier in the sequence, so Lovelace's table of operations repeats the same cycle of mill operations again and again, pulling previously stored results back out of the store on each pass rather than starting the arithmetic over from scratch, which is exactly the kind of iterative, state-carrying computation every programming language still expresses as a for-loop or a while-loop today. Note G presents this as an actual table of operations, variables, and store locations, tracking which card runs which step and which store address holds which quantity at each stage, a level of operational precision neither Menabrea's memoir nor any of Babbage's own surviving papers had set down in full for a specific worked problem, which is why Note G rather than anything Babbage wrote himself is what gets pointed to as the Analytical Engine's first demonstrated program. Who deserves credit for the algorithm's structure has been debated since the twentieth century rediscovered the notes: Babbage and Lovelace corresponded closely while she worked, Babbage had already sketched some of the engine's computational possibilities in his own notebooks, and at least one error in an early draft of the Bernoulli calculation is documented in their surviving letters as something Babbage helped her find, so the work was not produced in isolation from him. Most historians today nonetheless credit Lovelace specifically with the algorithm's operational structure, its explicit table format, and the framing of it as a general method rather than a one-off trick, while treating the underlying machine architecture as Babbage's and the collaboration between the two of them as close and genuine, a more accurate picture than either crediting her with inventing the machine or treating her as a mere translator adding footnotes.
Beyond Note G's algorithm, Lovelace made a second claim in her notes that reaches even further forward than Babbage's own ambitions for the machine: she argued explicitly that the Analytical Engine's operations were not bound to numbers at all, but to any symbols whose fundamental relations could be expressed precisely, writing that the engine "might act upon other things besides number, were objects found whose mutual fundamental relations could be expressed by those of the abstract science of operations," and pointing specifically to the idea that it could compose elaborate pieces of music if musical relationships could be reduced to the same symbolic notation the engine used for arithmetic. This is a different and in some ways larger insight than the mill-and-store architecture Babbage himself had designed: Babbage had built a general-purpose arithmetic machine, but Lovelace was the one who articulated that the real object the machine manipulated was not numbers but patterns of symbols following defined rules, and that arithmetic was simply the one application anyone had gotten around to building, a conceptual move that reaches directly forward past Hollerith's data cards and past numeric computing altogether into every modern system that manipulates text, images, logic, or sound as symbols rather than quantities. It is worth being precise about what she did and did not foresee: she was describing a machine still fundamentally mechanical and still operating through punched-card sequences, decades before anything resembling software, logic gates, or stored-program flexibility in the modern sense existed, so the leap is conceptual rather than a design for general-purpose computing as it is built today, but the conceptual leap itself, numbers are just one kind of symbol a rule-following machine can manipulate, is a genuine and direct ancestor of the idea that makes a word processor, a music synthesizer, and a spreadsheet all instances of the same underlying machine.
Lovelace never saw the Analytical Engine run, since it was never built in her lifetime or Babbage's, and she died of cancer in 1852 at thirty-six, having published almost nothing else; her 1843 notes sat in relative obscurity, cited occasionally by specialists, until B.V. Bowden republished them in 1953 and the growing digital-computing field recognized Note G for what it was. Rediscovery did not settle every question cleanly: some later historians pushed back hard against popular accounts that credited her with single-handedly inventing programming, pointing out how closely she worked with Babbage and how much of the engine's architecture was entirely his, while other historians pushed back just as hard against efforts to reduce her to a mere annotator, pointing to the specificity, originality, and foresight of both Note G and the symbol-processing passage as plainly her own; the most defensible position, and the one modern Lovelace scholarship has largely settled on, credits her with the algorithm's operational structure and the symbolic generalization as her own intellectual contributions, built in close partnership with the machine's actual designer. Note G's table-of-operations format and its central idea, that a sequence of stored operations could reuse earlier results to grind through a problem too large to solve in one pass, reappears decades later in a very different and far more literal form, as rows of punched holes feeding mechanical tabulators built not to demonstrate a mathematical abstraction but to count and cross-tabulate an entire nation's population, in Herman Hollerith's tabulating machine built for the 1890 United States census.