|
Distributed solving discussions
|
|
0
|
76
|
December 9, 2023
|
|
Investigating alternative backends for the resource machine
|
|
13
|
388
|
December 7, 2023
|
|
Simple information flow control for partial transactions
|
|
8
|
236
|
November 29, 2023
|
|
Abstract intent machine model
|
|
7
|
245
|
November 27, 2023
|
|
Generalized proof-of-stake
|
|
0
|
207
|
November 27, 2023
|
|
Intent Languages: CSP Formulation
|
|
24
|
613
|
November 17, 2023
|
|
Proposal for revised engine groupings
|
|
16
|
296
|
November 21, 2023
|
|
Engine composition: abstract/concrete _and_ synchronous/asynchronous
|
|
0
|
81
|
November 21, 2023
|
|
Ideas on Architecutre (Specs) - diagrams, definitions, and framing
|
|
1
|
152
|
November 17, 2023
|
|
Learner Graph: state of the art and open questions
|
|
10
|
143
|
November 15, 2023
|
|
Forall / negative checks in resource logics
|
|
7
|
199
|
November 2, 2023
|
|
Strategyproof Computing
|
|
0
|
205
|
October 16, 2023
|
|
Relevant open research questions in P2P networking
|
|
0
|
160
|
May 27, 2023
|
|
Notes on Identities
|
|
0
|
132
|
July 26, 2023
|
|
Controllers from first principles
|
|
0
|
207
|
May 28, 2023
|
|
Taiga post-ordering execution and verification
|
|
3
|
175
|
October 5, 2023
|
|
Minimum viable abstract VM
|
|
8
|
238
|
September 26, 2023
|
|
Taiga's data format
|
|
2
|
177
|
September 25, 2023
|
|
Models of computation: selection criteria and candidates
|
|
5
|
232
|
September 13, 2023
|
|
Intents as (bio-)chemical reaction systems, modeled via KaSim
|
|
1
|
121
|
September 8, 2023
|
|
Pledge On Anoma OS
|
|
1
|
116
|
September 8, 2023
|
|
Model based testing with Colored Petri Nets, DCR graphs
|
|
1
|
110
|
August 22, 2023
|
|
Intent Machines: Composition and Components
|
|
1
|
186
|
August 18, 2023
|
|
Network layer privacy on Anoma: yay or nay?
|
|
4
|
168
|
August 10, 2023
|
|
Taiga transaction/partial transaction renaming proposal
|
|
2
|
104
|
August 10, 2023
|