On 8 Jun 2024, at 19:09, Owen Lynch wrote:
> Hello forester friends,>> Kevin Carlson and I have just released silviculture 0.1, which is an> overleaf-style editor for forester.>> Github: https://github.com/LocalCharts/silviculture> Website: https://forest.localcharts.org/silviculture-0001.xml> Live Demo: https://silviculture-demo.localcharts.org>> I look forward to getting feedback from you all, and hopefully in the> future turning this from alpha software into something production > ready> that can make the experience of writing in forester as smooth as> possible!>> -Owen
This is really cool! Thank you very much for sharing, and I’m excited
that Topos is putting some energy into this stuff. It also lights a bit
of a fire for us to get a proper forest server running (where you can
dynamically rebuild a tree rather than the whole forest).
Best,
Jon
> This is really cool! Thank you very much for sharing, and I’m excited > that Topos is putting some energy into this stuff. It also lights a bit > of a fire for us to get a proper forest server running (where you can > dynamically rebuild a tree rather than the whole forest).
I think we can use this [module](https://ocaml.org/p/ocamlgraph/2.1.0/doc/Graph/Fixpoint/index.html)
to compute the reachable set of a tree in the transclusion graph. This
gives us the set of trees which requires rerendering.
Using a rendering cache of some sort, we can avoid rerendering the
reachable set entirely, instead just splicing in the newly rendered
tree.
Once this [PR](https://github.com/mirage/irmin-watcher/pull/37) is
merged, we might be able to program a cross-platform (Unix) file
watcher. This will (finally) make https://github.com/kentookura/forest-server
obsolete.