THis is a place for writing in the spirit of LocalCharts with high-quality mathematical typesetting. To do this, we use forester to build the source of this website, and then embed comments from the LocalCharts discourse instance. Forester satisfies more of the desiderata for an adequate scientific publishing platform than almost any other tool that I've considered using for a similar purpose, which is funny because it came out of Jon Sterling having a fairly similar thought process.
To contribute to the forest, you can send a pull request to the github repository. The README in the github repository has instructions for how to set up a local environment for writing. Additionally, if you have been around in the LocalCharts community for a reasonable amount of time, you can DM Owen Lynch and ask for write access to the github so that you don't have to go through an approval step before pushing to the repo.
In any case, when you contribute to the forest, you should do a couple things. First of all, you should add yourself to the trees/authors folder (you can see owen-lynch.tree for an example of this). Then you should claim a namespace. For instance, Owen's posts all start with ocl (Owen Carroll Lynch), i.e. ocl-0001, ocl-0002. You might end up typing this a lot, so initials are good. You can generate new trees in a namespace using the new script in the repository, so for instance new ocl makes a new file within the ocl namespace, numbered with the next number.
If you haven't used forester before (which is most people), you can start by reading Forester for the Woodland Skeptic, which will get you started quickly and hopefully give you a sense of why to use forester.
There are some useful macros for math/category theory in macros.tree. Hopefully as the forest grows, we will have some flame wars about notation and end up with some semi-productive standardization via this macros file.
Comments (and by extension, automatic cross-posting to the forum) are opt-in. If you would like comments, then you must put \meta{comments}{true} at the top of your page.
The easiest way to connect ideas is via links! Forester supports several different types of links. The simplest is markdown-style links, written like [link title](https://linkaddress.com). Because linking to the nlab is so common in localcharts, we also have a special macro \nlab{...} (when you have \import{macros} at the top of your file) for linking to nlab pages by their title, tastefully colored in that special nlab green like so: Double category.
Additionally, pages within the same forest can be referenced just by their tag, as in [Home page](lc-0001), or "wikilink style" with [[lc-0001]], which produces a link titled by the title of the referred page, like so: LocalCharts Forest. Note that internal links have a dotted underline. Moreover, on a given page