Hi there, another update from the DAFA project.
This time is a bounty to find a great abstract thinker!
PREQUEL
Some weeks ago, I announced DAFA (here) and I have received some good feedback and interest from some devs on Discord as well. Then, I had a big upvote by @utopian-io (thanks again and again), and I've stacked up some rewards.
What's better than reinvesting those rewards straightaway? NOTHING!
The bounty for this Abstract Technical Treatment is 50 SBD.
BRIEF
I'd like to start talking with some senior devs about the high-level architecture to use, mainly an abstract technical treatment that will help me understand how to roll out DAFA technically and ideally to find a partner to move things forward, faster.
Here you can find the first breakdown of DAFA's main components.
RULES
The treatment should be written and well commented using TLA+ to give everyone a common ground: math.
The TLA file should be very clearly commented.
The deadline is the 15th of July.
PLEASE NOTE: If there will be multiple quality submissios I'll make sure to award a bounty to each.
Everyone who wants to join is highly encouraged to get in touch with me on Discord (venalbe#9432) for any clarification and/or feedback.
I look forward to hearing from you.
Thanks,
Alberto
LEARN | CONTRIBUTE | PROPAGATE
``The treatment should be written and well commented using TLA+ to give everyone a common ground: math.''
100% agreed.
Then developers, once you get them, can read this and start working at once: would be clear what is desired.
For those who don't already know, there's a Java program that can test TLA+ code, run cases and display output. It can mechanically check model work.