From a9e995deb2d0dceebcd06c29057d64880e9ff61e Mon Sep 17 00:00:00 2001
From: James Chapman <james.chapman@iohk.io>
Date: Mon, 14 Aug 2023 14:49:15 +0100
Subject: [PATCH] Goedel August 4th update (#216)

* Javier's info

* Jacob's info

* update to 20th July update

* updates to 4th August and 20th July
---
 blog/2023-07-20-goedel.md | 29 +++++++++++++++++++++++++++++
 blog/2023-08-04-goedel.md | 26 ++++++++++++++++++++++++++
 docusaurus.config.js      |  1 +
 3 files changed, 56 insertions(+)
 create mode 100644 blog/2023-07-20-goedel.md
 create mode 100644 blog/2023-08-04-goedel.md

diff --git a/blog/2023-07-20-goedel.md b/blog/2023-07-20-goedel.md
new file mode 100644
index 0000000000..812c51e78e
--- /dev/null
+++ b/blog/2023-07-20-goedel.md
@@ -0,0 +1,29 @@
+---
+title: Goedel Team Update
+slug: 2023-07-20-goedel
+authors: jmchapman
+tags: [goedel]
+hide_table_of_contents: false
+---
+
+The team works on applied research and consulting in formal methods
+that is directly applicable to evidence based engineering in Core Tech
+and beyond.
+
+## High level summary
+
+The team is working on formalising mini protocols, the performance
+modelling prototype and also finishing off their ICE papers.
+
+## Details
+
+* Formalization of the chain synchronization mini-protocol in the
+  thorn calculus
+
+* Final pre-publication steps for ICE 2023 papers
+
+* Developing approach for specification and verification of
+  mini-protocols
+
+* Started work on porting the DeltaQ framework to a new, more concrete
+  backend based on piecewise-polynomials
\ No newline at end of file
diff --git a/blog/2023-08-04-goedel.md b/blog/2023-08-04-goedel.md
new file mode 100644
index 0000000000..b240fab63a
--- /dev/null
+++ b/blog/2023-08-04-goedel.md
@@ -0,0 +1,26 @@
+---
+title: Goedel Team Update
+slug: 2023-08-04-goedel
+authors: jmchapman
+tags: [goedel]
+hide_table_of_contents: false
+---
+
+The team works on applied research and consulting in formal methods
+that is directly applicable to evidence based engineering in Core Tech
+and beyond.
+
+## High level summary
+
+The team is formalising mini protocols and also further developing the
+performance modelling prototype.
+
+## Details
+
+* Developing new framework for specification and verification of
+  mini-protocols which is closer to the Haskell implementation.
+
+* Developed a new internal representation for the DeltaQ algebra that
+  allows for more modularity in backend implementations
+
+* Discussions regarding the Cardano networking specification
\ No newline at end of file
diff --git a/docusaurus.config.js b/docusaurus.config.js
index 6f41ff34d6..7a82818352 100644
--- a/docusaurus.config.js
+++ b/docusaurus.config.js
@@ -97,6 +97,7 @@ const config = {
               { to: 'tags/cli-api', label: 'Node CLI & API' },
               { to: 'quarterly/tags/cli-api-quarterly', label: 'Node CLI & API Quarterly' },
               { to: 'tags/crypto', label: 'Crypto' },
+              { to: 'tags/goedel', label: 'Goedel' },
             ],
           },
           { to: 'archive', label: 'Archive', position: 'right' },