15 lines
817 B
Markdown
15 lines
817 B
Markdown
|
## About
|
||
|
|
A simple little protocol for a "message box" where people can send me messages that are sealed "on site" in their local client (most likely
|
||
|
|
their web browser). Read `SPECIFICATION.md` for more details.
|
||
|
|
|
||
|
|
## Purpose
|
||
|
|
This is intended to test a workflow using LLM pair design and programming. I've found LLMs to be great at dumping code that is annoying
|
||
|
|
to read and understand, but mostly works. I would like to design systems that are pleasant and easy to understand, with the essential
|
||
|
|
components displayed to the human in a way that is abstacted away from noisy implementation details, which are handled by the LLM.
|
||
|
|
|
||
|
|
### Goals
|
||
|
|
- [x] Complete specification in informal markdown
|
||
|
|
- [ ] Implement concretely in code
|
||
|
|
- [ ] Apply standard code tests
|
||
|
|
- [ ] Complete specification in formal language (P, Quint, etc.)
|