Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeApr 19th 2020

    In this thread varkor raised the possibility of using gerby to compile and display the nLab from git-maintained LaTeX source. Let’s discuss it!

    I would be very excited about the idea of being able to edit the nLab directly using actual LaTeX code in my favorite LaTeX editor, and I bet a lot of other people would too. In particular, if I understand correctly we would then be able to define our own macros, which is something we’ve wanted for a long time. Of course, the database migration problem might be even harder – or it might not, since if I understand correctly the output would only need to be a collection of text files, not an import into a different format of database, so the only real thing to automate would be translating nLab-markdown syntax to LaTeX.

    It looks like gerby uses plasTeX whose HTML5 output uses mathjax, so we’d have to compare the performance there I guess. In principle, I guess one could enhance plasTeX with a MathML renderer, but that doesn’t seem to have been done yet?

    What about pictures and diagrams? It looks like the stacks project uses xypic with xyjax, but we could presumably extend plasTeX with the ability to render TikZ using tikzjax or perhaps better tex2svg.

    How would links and redirects work? How about includes?

    What other issues would there be?

    • CommentRowNumber2.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 19th 2020
    • (edited Apr 19th 2020)

    My feelings about this are the same fundamentally as my feelings about moving to MediaWiki. Gerby also lacks most of the benefits software development-wise that people were touting for MediaWiki.

    If people would like to use git to push content to the nLab, that is quite easy to implement, I can probably put something together in one evening’s work some time this week.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeApr 19th 2020

    It’s true that it doesn’t yet have a very wide user base. But it would at least have a user base beyond us, and the stacks project is fairly substantial. (-: And unlike MediaWiki’s PHP, at least the rendering engine plasTeX appears to be written in, and extensible in, Python.

    We’d have to think about tie-in with the nForum.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2020

    Let’s discuss it!

    Do you have an exit strategy for the ensuing discussion? ;-)

    An example of the past for how to proceed in such matters was Jake Bian’s change of the layout: Instead of starting a discussion and causing the inevitable bike-shed effect, he went ahead and implemented the change he envisioned. We saw it, liked it and forked it. It was a good step forward.

  1. Gerby seems do be optimized for the perfect web output. But I don’t see the wiki functionality. The plan would be to implement all of this? Another point is, do you want to give every editor the full TeX power, i.e. defining own macros? Certainly some people will do some mess that is then hard for others to maintain.

    • CommentRowNumber6.
    • CommentAuthorvarkor
    • CommentTimeApr 19th 2020

    While I originally mentioned Kerodon, it is maintained by a single author, so isn’t such a good comparison. However, the Stacks Project does use GitHub and pull requests, and so on, so it could be helpful to ask those responsible for running the Stacks Project about their experience with that kind of system.

    • CommentRowNumber7.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 19th 2020

    If people would like to use git to push content to the nLab, that is quite easy to implement, I can probably put something together in one evening’s work some time this week.

    For what it’s worth, I strongly support this idea. But in this case, I’d also ask for a command-line tool to verify nLab’s syntax (so that I don’t push incorrectly formatted articles).

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeApr 19th 2020

    It is worth pointing out that Keradon uses Gerby.

    • CommentRowNumber9.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 19th 2020

    I think it is important to keep the following statistics in mind.

    Kerodon has a single author, Jacob Lurie.

    According to the statistics produced by git blame, 99.16% of the Stacks Project is due to Johan de Jong. Thus, it is also a one-man operation and its collaborative nature (so far) is a myth.

    91.6% of Gerby’s code is due to Pieter Belmans and 85.6% of PlasTeX’s code is due to Kevin Smith.

    In other words, these are single-man projects used by exactly two mathematicians so far. What happens if any of these folks retires? Maybe somebody else will pick it up, maybe not. Or it may end up like Instiki, which is still being maintained, but is no longer suitable for nLab’s purposes.

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeApr 20th 2020

    But I don’t see the wiki functionality. The plan would be to implement all of this?

    The “everyone can edit” aspect of the wiki functionality would be implemented by git. The links between pages would presumably be just LaTeX \refs that gerby would compile into hyperlinks. Some tweaking of the syntax might be necessary. What else are you referring to?

  2. What else are you referring to?

    I would say that forcing people to use git or something similar would increase the threshold to contribute drastically. You mentioned (in the other thread) something like an online text editor. But wouldn’t this basically mean to program an interface?

    • CommentRowNumber12.
    • CommentAuthorvarkor
    • CommentTimeApr 21st 2020

    You mentioned (in the other thread) something like an online text editor. But wouldn’t this basically mean to program an interface?

    There are multiple possibilities here. Externally, people could use online editors like GitHub’s built-in editor or Overleaf, which doesn’t require knowledge of git. If editing facilities were still desired internally, the existing textarea could be kept (although it would be better to upgrade to something like CodeMirror).

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 21st 2020

    I would say that forcing people to use git or something similar would increase the threshold to contribute drastically.

    I’d be worried about that too.

    • CommentRowNumber14.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 21st 2020
    • (edited Apr 21st 2020)

    Similiarly to the other discussion, and in accord with Urs’ suggestion, I think the best way forward here is to incorporate the ideas that we like, i.e. make possible local editing of nLab pages and submission of them (with the usual syntax checks, as Dmitri observes). I don’t see any real need for/benefits to a wholescale switch to gerby.

    • CommentRowNumber15.
    • CommentAuthorvarkor
    • CommentTimeMay 8th 2020

    If people would like to use git to push content to the nLab, that is quite easy to implement, I can probably put something together in one evening’s work some time this week.

    Has there been an update on this since the discussion?

    • CommentRowNumber16.
    • CommentAuthorRichard Williamson
    • CommentTimeMay 19th 2020
    • (edited May 19th 2020)

    My apologies, I gave a misleading impression here: I do not actually plan to implement this until more pressing matters are addressed (unless there is widespread demand for this over other things: my ’an evening this week’ was intended to be conditional on that).

    • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeJul 19th 2020

    I am not intending to reopen this discussion, but I was looking again at gerby for a totally different purpose and noticed that contrary to what I said in #1 it might actually also support TikZ (although I haven’t tested it yet). So I thought I’d add a comment here, so as not to mislead any future stumblers across this thread.