Skip to content
Snippets Groups Projects
Normal view Permalink
technical.md 1.39 KiB
Newer Older
Michael Kohlhase's avatar
initial documents derived from the first e-mail
Michael Kohlhase committed
1 2 3 4 5 6 7 8 9 10 11 12 13 
# Technical Concerns

Recall that SIGMathLing maintains [a bouquet of services](services/); here we air some
technical concerns and ideas.  
1. a system of **resource repositories**. MK: I would just make a GitHub/Lab organization and somehow pay for their services or use our KWARC GitLab. Git LFS should help us deal with the large files involved and Git would take care of permission management.
2. the **math analysis blackboard** I would develop and publish an annotation schema
   (using the KAT schema as a starting point) and establish a math result triple store
   that manages all of these. Technical details are still open how best to do this, but I am sure Deyan has some ideas.
3. A **web site**, MK: I would go via GitHub/GitLab pages and jekyll, that makes communal
   development 
4. a **resource reference page**: MK, this is just a page on the web page, probably automatically generated from an internal data base of resources and/or harvested from the repositories. Licensing should be made transparent. 
5. a **suite of systems and libraries**: Initially, this will be a page on the website with links to their repositories (the LlaMaPuN library, CorTeX, KaT, .... ), mostly by reference to public resources.
6. **communication channels**: we start out with a members mailing list, a public atom feed for announcments (from the web site), later there may even be a regular newsletter that digests these.