Difference between revisions of "2021.07.27"
Jump to navigation
Jump to search
| Line 37: | Line 37: | ||
== Tomorrow's work plan (to discuss) == | == Tomorrow's work plan (to discuss) == | ||
* Now I have kore, tla, docker installed. What could be the | * Now I have kore, tla, docker installed. What could be the next? | ||
* Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment. | * Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment. | ||
== The activity in near future == | == The activity in near future == | ||
* Prepare for the presentation of PKC and Ideation to Media Lab. | * Prepare for the presentation of PKC and Ideation to Media Lab. | ||
** Requires a page of Personal Statement, a page of working experience, and the info for potential collaboration | ** Requires a page of Personal Statement, a page of working experience, and the info for potential collaboration | ||
Revision as of 14:34, 27 July 2021
| Date | 2021-07-27 |
|---|---|
| Person | @KevinTung |
Context and Goal
- Found the containerized application of TLA and K-framework.
- 2021.07.26
To-Do
- Install and test TLA, K-Framework.
- Organize Meeting:2021.07.26/Ben,Kevin
- Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment.
- Install IFrame which Jared requires and document the requirement in Application:dev.xlp.pub
- Report progress and mutual review.
Progress
- Namespace_Management
- Ideally, all the naming conventions should be configured here and the rules will apply to all the pages in the system.
- Finish Docker Workflow and need to test by other participants.
- How to account for their testing? User feedback?
- Fix the Dockerfile in [1]
- Changed the version of image to Debian:10
- Debian 10 cannot download cvc3
- Found medium article [2], which connects to github[3].
- Download and try a simple tla file on dev.xlp.pub.
- successfully use pcal, tlc, any, but failed to use tlatex [4]
- Installed kframework/kore [5]
Conclusion
https://thewiki.us/index.php/Namespace_Management#Namespace_Management_Rules_in_PKC
Tomorrow's work plan (to discuss)
- Now I have kore, tla, docker installed. What could be the next?
- Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment.
The activity in near future
- Prepare for the presentation of PKC and Ideation to Media Lab.
- Requires a page of Personal Statement, a page of working experience, and the info for potential collaboration