Merge branch 'ScottLogic:gh-pages' into gh-pages

Author: timkins666

_posts/2025-01-20-algebraic-data-types-with-java.md

@@ -32,6 +32,8 @@ This is the first post in a series exploring types and type systems.   Other pos
 
 - [Functors and Monads with Java and Scala]({{site.baseurl}}/2025/03/31/functors-monads-with-java-and-scala.html)
 
+- [Higher-Kinded Types with Java and Scala]({{site.baseurl}}/2025/04/11/higher-kinded-types-with-java-and-scala.html)
+
 When we develop an application, we frequently need to model some aspect of business to describe and solve a business problem. We do this by creating a conceptual representation of the real-world problem that we are trying to solve. This allows us to understand the "domain" where our software operates.
 
 ## Domain Modelling

_posts/2025-02-17-variance-in-java-and-scala.md

@@ -23,6 +23,8 @@ This is the second post in a series exploring types and type systems.   Other po
 
 - [Functors and Monads with Java and Scala]({{site.baseurl}}/2025/03/31/functors-monads-with-java-and-scala.html)
 
+- [Higher-Kinded Types with Java and Scala]({{site.baseurl}}/2025/04/11/higher-kinded-types-with-java-and-scala.html)
+
 ## Variance in Generics
 
 Generics are a fundamental pillar of modern type-safe programming languages. They allow us to write reusable code that can work with different types without sacrificing type safety. But when you dive deeper into the world of generics, you encounter the intriguing concepts of *covariance* and *contravariance*. These concepts, often perceived as complex, are crucial for understanding how type hierarchies and subtyping interact with generic types.

_posts/2025-02-21-ais-biggest-flaw-the-blinking-cursor-problem.markdown

@@ -3,8 +3,6 @@ title: AI’s Biggest Flaw? The Blinking Cursor Problem
 date: 2025-02-21 08:00:00 Z
 categories:
 - Artificial Intelligence
-tags:
-- featured
 summary: 'AI''s potential is immense, yet clunky user interfaces and a lack of discoverability
   are holding it back from seamless adoption. To unlock AI’s true power, we need interfaces
   that guide, adapt, and engage—moving beyond the blinking cursor to something more

_posts/2025-03-05-intersection-and-union-types-with-java-and-scala.md

@@ -15,14 +15,16 @@ image: magnussmith/assets/java.jpg
 ![intersection_union.webp]({{site.baseurl}}/magnussmith/assets/intersection_union.webp)
 
 
-This is the third post in a series exploring types and type systems.   Previous posts have looked at
+This is the third post in a series exploring types and type systems.   Other posts have looked at
 
 - [Algebraic Data Types with Java]({{site.baseurl}}/2025/01/20/algebraic-data-types-with-java.html)
 
 - [Variance, Phantom and Existential types in Java and Scala]({{site.baseurl}}/2025/02/17/variance-in-java-and-scala.html)
 
 - [Functors and Monads with Java and Scala]({{site.baseurl}}/2025/03/31/functors-monads-with-java-and-scala.html)
 
+- [Higher-Kinded Types with Java and Scala]({{site.baseurl}}/2025/04/11/higher-kinded-types-with-java-and-scala.html)
+
 ## Intersection and Union Types with Java and Scala
 
 One of the difficult things for modern programming languages to get right is around providing flexibility when it comes to expressing complex relationships. As languages evolve, they need to give us tools to model the nuances of real world problems more accurately in our code.

_posts/2025-03-31-functors-monads-with-java-and-scala.md

@@ -14,14 +14,16 @@ image: magnussmith/assets/java.jpg
 
 ![functors_monads.webp]({{site.baseurl}}/magnussmith/assets/functors_monads.webp)
 
-This is the fourth post in a series exploring types and type systems.   Previous posts have looked at
+This is the fourth post in a series exploring types and type systems.  Other posts have looked at
 
 - [Algebraic Data Types with Java]({{site.baseurl}}/2025/01/20/algebraic-data-types-with-java.html)
 
 - [Variance, Phantom and Existential types in Java and Scala]({{site.baseurl}}/2025/02/17/variance-in-java-and-scala.html)
 
 - [Intersection and Union Types with Java and Scala]({{site.baseurl}}/2025/03/05/intersection-and-union-types-with-java-and-scala.html)
 
+- [Higher-Kinded Types with Java and Scala]({{site.baseurl}}/2025/04/11/higher-kinded-types-with-java-and-scala.html)
+
 
 In this post we will combine some ideas from functional programming with strong typing to produce robust expressive code that is more reusable. 
 
@@ -536,4 +538,4 @@ Scala's for comprehensions and typeclasses (like those in Cats) make working wit
 
 ### Next time
 
-Next time we build on the concepts of __Functor__  and __Monads__ taking the abstraction to the next level with __Higher-Kinded Types__ to write more reusable code and reducing code duplication.
+Next time we build on the concepts of __Functor__  and __Monads__ taking the abstraction to the next level with [Higher-Kinded Types]({{site.baseurl}}/2025/04/11/higher-kinded-types-with-java-and-scala.html) to write more reusable code and reducing code duplication.

_posts/2025-04-01-making-sense-of-the-ai-developer-tools-ecosystem.markdown

@@ -3,6 +3,8 @@ title: Making Sense of the AI Developer Tools Ecosystem
 date: 2025-04-01 14:56:00 Z
 categories:
 - Artificial Intelligence
+tags:
+- featured
 summary: 'The AI developer tooling landscape has rapidly expanded from simple autocomplete
   to a complex ecosystem of assistants, agents, and AI-first environments. In this
   post, I propose a practical classification based on how AI is positioned within

_posts/2025-04-02-inferesg-finding-the-right-architecture.md

@@ -13,6 +13,7 @@ tags:
 summary: During the InferESG project, we made a pivotal decision to use an orchestrated
   workflow to conduct a deterministic process, parallel to the agentic system.
 author: drees
+image: "/uploads/InferESG%20Architecture%20tn.png"
 ---
 
 During the InferESG project we made a pivotal decision to create an alternative architecture, one that sits parallel to the agentic framework used for the conversational part of the system. This decision came about from discussions with the client, and their needs to analyse and process company sustainability reports, evaluate them and compare them to relevant materiality topics. You can read more about the [InferESG project and the challenge it presented here](https://blog.scottlogic.com/2025/03/20/inferesg-overview.html).