typo: Remove redundant “the” in “A break from programming languages”

Author: lexi-lambda

blog/posts/2025-05-29-a-break-from-programming-languages.md

@@ -44,7 +44,7 @@ My interest in pushing the frontier of programming language design has always be
 
 # Ten years of programming languages
 
-I turned twenty eight this year. Almost exactly ten years ago, I started my first professional software engineering job. It was a fairly mundane position writing Ruby on Rails and JavaScript, but even then, I spent a great deal of free time pursuing the programming language hobby projects that truly caught my fancy. My first professional experience working with Haskell would come less than a year later, experience that would soon inspire my hobby research project to implement a Haskell-style type system within the Racket macro system. The the majority of my career to date has followed more or less directly from that formative time.
+I turned twenty eight this year. Almost exactly ten years ago, I started my first professional software engineering job. It was a fairly mundane position writing Ruby on Rails and JavaScript, but even then, I spent a great deal of free time pursuing the programming language hobby projects that truly caught my fancy. My first professional experience working with Haskell would come less than a year later, experience that would soon inspire my hobby research project to implement a Haskell-style type system within the Racket macro system. The majority of my career to date has followed more or less directly from that formative time.
 
 After a decade, it seems fair to reflect a little on what I have learned, what I managed to achieve, and maybe more significantly, what I did *not*. Something one learns very quickly upon beginning any serious work on programming languages is that they are startlingly, unforgivably *hard*. A vast array of dizzyingly smart people have been working on the problem of program specification for seventy years; there are not many pieces of low hanging fruit left on the tree, and any new gains tend to be very hard won.