Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Goedel August 4th update #216

Merged
merged 4 commits into from
Aug 14, 2023
Merged

Goedel August 4th update #216

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6aebe6c
Javier's info
jmchapman Aug 10, 2023
7758c06
Jacob's info
jmchapman Aug 10, 2023
a33d2a5
update to 20th July update
jmchapman Aug 14, 2023
d65b234
updates to 4th August and 20th July
jmchapman Aug 14, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 29 additions & 0 deletions blog/2023-07-20-goedel.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
26 changes: 26 additions & 0 deletions blog/2023-08-04-goedel.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
1 change: 1 addition & 0 deletions docusaurus.config.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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' },
Expand Down
Loading