|
Concrete specs details
|
|
0
|
55
|
May 6, 2024
|
|
First draft of application state encoding format
|
|
0
|
50
|
May 6, 2024
|
|
Specs v2 Master Planning Thread
|
|
3
|
84
|
May 3, 2024
|
|
A question on settlement to external chains
|
|
1
|
114
|
April 24, 2024
|
|
Sketch of possible Anoma proof-of-stake system: "heterogeneous proof-of-stake"
|
|
2
|
157
|
April 24, 2024
|
|
Speculative execution with the resource machine
|
|
0
|
86
|
April 1, 2024
|
|
Some thoughts on controllers, promises, and fault isolation
|
|
3
|
93
|
April 4, 2024
|
|
Initial Anoma applications to write in Juvix
|
|
3
|
156
|
March 21, 2024
|
|
Rise of the Resource Machines - Article Feedback
|
|
1
|
213
|
March 11, 2024
|
|
Sketch of possible Anoma governance system: "intent-centric governance"
|
|
2
|
195
|
March 5, 2024
|
|
Abstract Intent Machines - Article feedback
|
|
0
|
92
|
February 23, 2024
|
|
Sketch of a controller-local name service application
|
|
1
|
78
|
February 19, 2024
|
|
Relationship between internal machine interfaces and the resource machine
|
|
0
|
115
|
February 16, 2024
|
|
The "Slow Game" in Decentralized Protocols: Navigating High-Frequency Service Regulation with Low-Frequency Governance (WIP)
|
|
5
|
249
|
January 29, 2024
|
|
Resource Consumption, Ownership and Authorization
|
|
3
|
151
|
January 7, 2024
|
|
Taiga function privacy roadmap
|
|
6
|
250
|
January 4, 2024
|
|
Behavioural properties in the Anoma specs
|
|
0
|
113
|
December 20, 2023
|
|
Specs <> engineering versioning discussions & priorities
|
|
1
|
156
|
December 10, 2023
|
|
Distributed solving discussions
|
|
0
|
100
|
December 9, 2023
|
|
Investigating alternative backends for the resource machine
|
|
13
|
485
|
December 7, 2023
|
|
Simple information flow control for partial transactions
|
|
8
|
289
|
November 29, 2023
|
|
Abstract intent machine model
|
|
7
|
311
|
November 27, 2023
|
|
Generalized proof-of-stake
|
|
0
|
257
|
November 27, 2023
|
|
Intent Languages: CSP Formulation
|
|
24
|
761
|
November 17, 2023
|
|
Proposal for revised engine groupings
|
|
16
|
341
|
November 21, 2023
|
|
Engine composition: abstract/concrete _and_ synchronous/asynchronous
|
|
0
|
105
|
November 21, 2023
|
|
Ideas on Architecutre (Specs) - diagrams, definitions, and framing
|
|
1
|
195
|
November 17, 2023
|
|
Learner Graph: state of the art and open questions
|
|
10
|
187
|
November 15, 2023
|
|
Forall / negative checks in resource logics
|
|
7
|
247
|
November 2, 2023
|
|
Strategyproof Computing
|
|
0
|
259
|
October 16, 2023
|