From 9a9e95726ab5b5ddc7577ce280f28cea7c31a3b1 Mon Sep 17 00:00:00 2001
From: Magnus Madsen <magnus-madsen@users.noreply.github.com>
Date: Mon, 3 Aug 2026 06:48:16 +0200
Subject: [PATCH] refactor: update outdated and non-https links

- Documentation: Blog card links directly to https://blog.flix.dev/,
  Twitter card links to https://x.com/flixlang.
- Contribute: Aarhus University link updated to the research group's
  new page (old URL 404s).
- Principles: Go blog article moved to go.dev/blog/codelab-share
  (blog.golang.org no longer responds); Joe Duffy blog upgraded
  to https.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 src/pages/contribute.astro    | 2 +-
 src/pages/documentation.astro | 4 ++--
 src/pages/principles.astro    | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/pages/contribute.astro b/src/pages/contribute.astro
index c11565e..c02b787 100644
--- a/src/pages/contribute.astro
+++ b/src/pages/contribute.astro
@@ -10,7 +10,7 @@ import Layout from "../layouts/Layout.astro";
 
         <p>
           Flix is developed at <a
-            href="http://cs.au.dk/research/programming-languages/"
+            href="https://cs.au.dk/research/programming-languages-logic-and-software-security"
             >Aarhus University</a
           >, at the <a href="http://plg.uwaterloo.ca">University of Waterloo</a
           >, and by a community of <a
diff --git a/src/pages/documentation.astro b/src/pages/documentation.astro
index 9c03155..8459477 100644
--- a/src/pages/documentation.astro
+++ b/src/pages/documentation.astro
@@ -13,7 +13,7 @@ const smallLinks = [
   },
   {
     text: "Blog",
-    link: "/blog/",
+    link: "https://blog.flix.dev/",
     icon: "fa-brands:microblog",
   },
   {
@@ -28,7 +28,7 @@ const smallLinks = [
   },
   {
     text: "Twitter",
-    link: "https://twitter.com/flixlang",
+    link: "https://x.com/flixlang",
     icon: "fa-brands:twitter",
   },
   {
diff --git a/src/pages/principles.astro b/src/pages/principles.astro
index b50b4b2..e0333a9 100644
--- a/src/pages/principles.astro
+++ b/src/pages/principles.astro
@@ -226,7 +226,7 @@ import Principle from "../components/Principle.astro"
         </Principle>
 
         <Principle name="Share memory by communicating">
-            Flix follows the Go mantra: <a href="https://blog.golang.org/share-memory-by-communicating"><i>Do
+            Flix follows the Go mantra: <a href="https://go.dev/blog/codelab-share"><i>Do
             not communicate by sharing memory; instead, share memory by
             communicating.</i></a> In other words: mutable memory should never be shared between processes.
             Processes should only share immutable messages (and data structures). We believe this
@@ -235,7 +235,7 @@ import Principle from "../components/Principle.astro"
         </Principle>
 
         <Principle name="Bugs are not recoverable errors">
-            We believe in the <a href="http://joeduffyblog.com/2016/02/07/the-error-model/">Midori Error
+            We believe in the <a href="https://joeduffyblog.com/2016/02/07/the-error-model/">Midori Error
             Model</a>; that is, there are two kinds of errors: <i>recoverable errors</i> and <i>program
             bugs</i>. Recoverable errors are things like illegal user input, network errors, etc. Errors
             that can be anticipated and where there is a chance of recovery. Program bugs, on the other