[ANN] Forester 4.2

Community
1

I am pleased to announce the release of Forester 4.2 on opam, which is an OCaml utility to develop “Forests”, which are densely interlinked mathematical websites / Zettelkästen similar to the Stacks project or Kerodon. You can see the changelog on my own Forest.

This release adds many new features and improvements, including:

  • First-class functions and lazy arguments, which can be used to implement more ergonomic MathML macros
  • A new query language, which is now expressive enough to encode the backmatter
  • Improved performance of graph analysis (2x overall speedup rendering my own forest)

To see other features and documentation of breaking changes, please view the Forester 4.2 Release Notes.

My thanks to @kentookura and Jinser Kafka for their contributions to this release.

11 Likes
2

Sorry to resurrect an old thread, but you might want to keep an eye on this: Should we remove XSLT from the web platform? - whatwg/html - GitHub

1 Like
3

Thanks! I saw this too and I am furious but not surprised. I predicted these vultures would make such a move, and have been thinking about how we can avoid reliance on clientside xslt. I think Forester 6 may have to emit html directly, but I want to do so in a way that does not lose many of the useful aspects of our current approach.

We have got to find a way to wrest the beloved Web from these vicious, vicious people who understand so little about the Web that they have become stewards of. Most of these guys aren’t even aware that people still use RSS… it is very telling.

4 Likes