a novel clock mechanism that can be used in scenarios with a dynamic number of participants, allowing a completely decentralized creation of processes/replicas without need for global identifiers.
3/25/2023Haskell https://docs.haskellstack.org/en/stable/install_and_upgrade/ https://downloads.haskell.org/ghcup/unofficial-bindists/stack/ a56d2cd37611eccf00ab8df38c3718923cf5677f3aeacd250394e79b676dcb98 stack-2.9.3-osx-aarch64.tar.gz wget https://downloads.haskell.org/ghcup/unofficial-bindists/stack/2.9.3/stack-2.9.3-osx-aarch64.tar.gz
3/24/2023[ ] Inclusion Protocol [ ] Gas Price Oracle [ ] New Tx Type [ ] Planned Featureset Gas Protocol and how it fits into Staking for Manifold Lovely Little Gas Protocol is an implementation of the LedgerHeadger[^1] specification. Note: an audit has been completed by 20squares, results will be posted here
3/17/2023source: https://pearsonified.com/characters-per-line/ For any font size, as the CPL increases, the line width also increases. Start with a desired CPL value, and then divide it by the character constant for the font you’re using. This results in a width factor, $xw$, which is specific to the desired CPL and font: $$ x_w=\frac{C P L}{\mu}=\frac{\frac{\text { char }}{\text { line }}}{\text { char }}=\frac{1}{\text { line }} $$
1/10/2023