Sketch of possible Anoma proof-of-stake system: "heterogeneous proof-of-stake"
|
|
2
|
110
|
April 24, 2024
|
Speculative execution with the resource machine
|
|
0
|
83
|
April 1, 2024
|
Some thoughts on controllers, promises, and fault isolation
|
|
3
|
77
|
April 4, 2024
|
Stored data format: resource machine <> storage
|
|
21
|
430
|
April 3, 2024
|
Initial Anoma applications to write in Juvix
|
|
3
|
143
|
March 21, 2024
|
Rise of the Resource Machines - Article Feedback
|
|
1
|
207
|
March 11, 2024
|
Sketch of possible Anoma governance system: "intent-centric governance"
|
|
2
|
138
|
March 5, 2024
|
Abstract Intent Machines - Article feedback
|
|
0
|
91
|
February 23, 2024
|
CRDTs on the resource machine
|
|
0
|
149
|
February 19, 2024
|
Sketch of a controller-local name service application
|
|
1
|
75
|
February 19, 2024
|
Relationship between internal machine interfaces and the resource machine
|
|
0
|
96
|
February 16, 2024
|
The "Slow Game" in Decentralized Protocols: Navigating High-Frequency Service Regulation with Low-Frequency Governance (WIP)
|
|
5
|
241
|
January 29, 2024
|
Resource Consumption, Ownership and Authorization
|
|
3
|
148
|
January 7, 2024
|
Taiga function privacy roadmap
|
|
6
|
239
|
January 4, 2024
|
The Anoma Level (AL) Programming System
|
|
1
|
184
|
December 28, 2023
|
Behavioural properties in the Anoma specs
|
|
0
|
106
|
December 20, 2023
|
ART Report: Resource Machine
|
|
32
|
708
|
December 19, 2023
|
Specs <> engineering versioning discussions & priorities
|
|
1
|
154
|
December 10, 2023
|
Distributed solving discussions
|
|
0
|
98
|
December 9, 2023
|
Investigating alternative backends for the resource machine
|
|
13
|
454
|
December 7, 2023
|
Simple information flow control for partial transactions
|
|
8
|
276
|
November 29, 2023
|
Abstract intent machine model
|
|
7
|
289
|
November 27, 2023
|
Generalized proof-of-stake
|
|
0
|
236
|
November 27, 2023
|
Intent Languages: CSP Formulation
|
|
24
|
705
|
November 17, 2023
|
Proposal for revised engine groupings
|
|
16
|
335
|
November 21, 2023
|
Engine composition: abstract/concrete _and_ synchronous/asynchronous
|
|
0
|
105
|
November 21, 2023
|
Ideas on Architecutre (Specs) - diagrams, definitions, and framing
|
|
1
|
185
|
November 17, 2023
|
Learner Graph: state of the art and open questions
|
|
10
|
186
|
November 15, 2023
|
Forall / negative checks in resource logics
|
|
7
|
234
|
November 2, 2023
|
Strategyproof Computing
|
|
0
|
250
|
October 16, 2023
|