Goedel August 4th update (#216)

* Javier's info * Jacob's info * update to 20th July update * updates to 4th August and 20th July
IntersectMBO · Aug 14, 2023 · a9e995d · a9e995d
1 parent 6507057
commit a9e995d
Show file tree

Hide file tree

Showing 3 changed files with 56 additions and 0 deletions.
diff --git a/blog/2023-07-20-goedel.md 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
diff --git a/blog/2023-08-04-goedel.md 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
diff --git 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' },