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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck 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-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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 subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory 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.
    • CommentAuthorUrs
    • CommentTimeAug 27th 2018
    • (edited Aug 27th 2018)

    I was just alerted (here) that things didn’t render properly at Science of Logic: most hyperlinked words didn’t show up at all (not even the link text). I made a trivial edit and resubmitted, now things seem to be back to normal (also in the history, rev 261 it is back to normal, so I cannot point to a page that still has the problem).

    But then I noticed that the link to ∞-representation remains gray, while the entry infinity-representation does exist, and should be redirecting.

    Looking at that entry, it, too had the problem that hyperlinked words didn’t display! I resaved, and it works now. But maybe this means that some/all entries need another re-rendering?

    And the following issue remains: ∞-representation still does not redirect. I copy-and-pasted it into the redirect, to be sure that there is no funny unicode ambiguity in the background, but that didn’t help here.

  1. One or two entries may unfortunately still need re-rendering, yes. Should only be a very small number, though. There have been issues with getting all pages to render in a sequence. I think I may have tracked down the reason (some unexpected, for me at least, way some command in Rails behaves), and we have the new queue now which seems to be working well, so I can give it another go once I have added a ’low priority’ option to the queue.

    Not sure what the issue with ∞-representation is, I’ll look into it. Thanks for raising it!

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 27th 2018

    All right, thanks a million!

    • CommentRowNumber4.
    • CommentAuthorRichard Williamson
    • CommentTimeAug 27th 2018
    • (edited Aug 27th 2018)

    In fact none of the redirects at infinity-representation were working. This was due to a syntax error higher up the page (a tex block had not been correctly closed), which I have now fixed. I need to add something to try to detect these kind of syntax errors, but it is not completely trivial, as we have discussed before.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeAug 27th 2018
    • (edited Aug 27th 2018)

    Oh, I see. Thanks for informing us. I’ll try to keep an eye out for syntax errors next time that something seems not to quite work.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeAug 27th 2018
    • (edited Aug 27th 2018)

    Just trying to make an edit to: causal locality. But upon hitting submit I keep getting the error message “Couldn’t find Web without an ID” above an edit pane that has forgotten my edits. (?)

    • CommentRowNumber7.
    • CommentAuthorRichard Williamson
    • CommentTimeAug 27th 2018
    • (edited Aug 27th 2018)

    But upon hitting submit I keep getting the error message “Couldn’t find Web without an ID” above an edit pane that has forgotten my edits. (?)

    My apologies. I was in the process of activating the new renderer for all webs (before it was only the main nLab). Now completed, but there was some disruption for a while (it was not simply a trivial case of ’switching it on’, I had to make some changes here and there). I should have made an announcement; I am very sorry if you lost a significant amount of work.

    I think that things are working fine, both on the main nLab and on personal webs, now. But there may be a few gremlins; just let me know if so.

    The edit pane seems unpredictable with regard to whether it retains or loses edits when there is an error. Something to look into when I get the chance.

  2. I’ll try to keep an eye out for syntax errors next time that something seems not to quite work.

    Great! They can be hard to spot, though, so don’t worry. It is my responsibility to find a better way of detecting the errors, so I do not mind having the burden of fishing out the errors in the meantime.

  3. Whilst I have now switched on the new renderer for all webs, I have not, by the way, re-rendered any content for the moment. So it will only take effect after an edit is made. But Towards a diagrammatic proof of the Poincaré conjecture for knots (richardwilliamson), whose source is entirely with the new ’LaTeX syntax’, has been rendered with the new renderer.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2018
    • (edited Aug 28th 2018)

    Hi RIchard,

    just to let you know: This morning also Albert algebra had the problem with hyperlinked words not showing up, even though the entry worked and was edited just yersterday.

    It seemed to me that the top of the page was okay, and the proble started right where you had added the new proposition syntax, but I didn’t check carefully before re-saving the entry. Should have done that. Just saying in case you recognize some potential causation.

    • CommentRowNumber11.
    • CommentAuthorRichard Williamson
    • CommentTimeAug 28th 2018
    • (edited Aug 28th 2018)

    Hi Urs, thanks for letting me know. That is very strange. Please let me know next time you see an occurrence of this, I cannot think of any explanation of it at the moment. I have not observed this myself! If re-saving fixed it, it would not be likely to be caused by the new syntax.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2018

    Hi Richard,

    sorry, one more:

    The links to complex K-theory do not work, even though this is a redirect to topological K-theory.

    I suppose this means that the latter page has a hidden syntax error somewhere. But I don’t see it…

  4. Thanks Urs! No need to apologise, it is I who should be doing so. I have been wrapped up with other things and had no time to look into anything this evening, but will take a look as soon as I get the chance. I did however make some progress earlier on the long-running asynchronous problems, I think I may be able to solve them. Again, need a little more time, but will keep people updated.

    By the way, I have switched off all re-rendering for now except on the immediately edited page. This means that any changes in redirects or included pages will not be reflected in pages which depend upon them, unless one manually re-renders them. Apologies for the inconvenience; as in the previous paragraph, I’ll fix as soon as possible. Better this I think than running the risk of the nLab being down, which is what happens when the re-rendering spirals out of control.

  5. I am about to switch re-rendering back on. I have made some significant changes to how it is done, and am hopeful that it may work better this time. Some disruption may be seen when editing for a short period; I suggest to save all edits before submitting until I make another message here.

  6. Yes, there are some issues. I am going to try to fix them rather than revert. You should not lose any work if you submit, but the page will not render properly for the moment.

  7. Actually, I would ask people for the moment not to submit any edits, please. Apologies for inconvenience, I will update soon.

  8. I am still fine-tuning some things, but things should be stable now. I will update when I completely done.

  9. Am done for today. I have tested now on a page which triggers very heavy re-rendering, and it seems to be handled fine.

    There is only one issue that I know of remaining: one may on a rare occasion get a timeout when saving an edit. I am not quite sure why (the code is supposed to be non-blocking), and will look into it. However, the timeout is harmless; the edit will be saved, and the content will be rendered.

    For those interested, recall that because the nLab pages are now more or less static content, if one makes an edit on a page that affects a link on another page, or is included in another page, all those pages which depend on it must be re-rendered. We cannot on a web server wait until all that is completed, a web server should respond to requests quickly. Thus we have to do the re-rendering asynchronously, i.e. the web server just says ’I’ll handle it’ and returns, and the re-rendering is carried out later, in a different thread/process.

    What I have done in the latest update is that I realised that Maruku (the thing which produces HTML from the Markdown/Tex that we write) can be run from the command line. Previously I have had to use it within Rails, i.e. within the web server on which Instiki is running. This increased the complexity of the logic, and created enormous problems with threading: a web server is made for threads to be handled quickly, and it is not good to have to introduce further threading which is not part of the dealing with the web requests, which is what is needed to have asynchronicity. So now I was able to rework the rendering logic a bit so that Rails is not involved: it just calls the renderer API as before, but now this renderer API does not have to go back into Rails to render the markdown, it is all handled by command line APIs outside of the web server. The threading is now handled by the operating system on the server (together with the queue API I wrote), which is very robust. In particular, I have been able to increase the throughput massively in the queue API (and we could go much higher I believe, I am being a bit careful).

    In summary, I am cautiously optimistic that things might be working well now on this front, which will leave me free to work on the other things which have been piling up. As I have mentioned before, the page one immediately edits should also be rendered asynchronously; I have been waiting until we had stability with the asynchronous rendering before proceeding to this, but if we now have that, I can tweak the user interface to allow for this.

    • CommentRowNumber19.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 6th 2018
    • (edited Sep 6th 2018)

    The links to complex K-theory do not work, even though this is a redirect to topological K-theory.

    I suppose this means that the latter page has a hidden syntax error somewhere. But I don’t see it…

    Yes, there was a tex block which was not closed/opened properly. Not easy to find, I have fixed it now.

    I have also begun the process of trying to make it easier to detect syntax errors. In particular, tex strings are now validated (by running itex2MML on them outside of Maruku) in the course of rendering. This was not actually very helpful in this particular case, because the invalid tex string ended up being empty (!), but at least it would have been flagged as an issue with opening/closing of LaTeX blocks.

  10. Re #18: Just to confirm that things do seem to be working very well now. The timeout issue is still there, but not very serious, as I mentioned. Will fix when I see where the blocking is coming from!

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeSep 7th 2018

    Just saw the following:

    The entry Deligne’s theorem on tensor categories currently does not render properly (to see this quickly, scroll down to the very bottom: all double square bracket hyperlinks appear non-rendered).

    This must be due to LaTeX syntax errors in the code. Luckily, there is now the functionality that upon saving the syntax error is displayed in an error message, very helpfully.

    However, there seem to be several syntax errors in this entry, and the following problem occurs: After fixing the first, one does get the error message for where the second is, but thereby, in the edit pane the first error is being reinstantiated. I suppose the second error message prevents the first fix from being saved?

    • CommentRowNumber22.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 7th 2018
    • (edited Sep 7th 2018)

    Luckily, there is now the functionality that upon saving the syntax error is displayed in an error message, very helpfully.

    Yes, I added this yesterday :-).

    However, there seem to be several syntax errors in this entry, and the following problem occurs: After fixing the first, one does get the error message for where the second is, but thereby, in the edit pane the first error is being reinstantiated. I suppose the second error message prevents the first fix from being saved?

    Ah, thanks for pointing this out. Your diagnosis sounds correct. Do not have the opportunity to fix it now, but will do so later if I get the chance.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeSep 7th 2018

    Thanks, Richard!

    I have fixed it now by some copy-and-paste yoga, saving the article paragraph-wise and checking for errors.

    Now it all works again.

    Besides a doubled closing curly bracket, which was announced in the error message and easily fixed, it seems that what confused the system was a missing opening dollar sign. It seems that this is what got reported as an erroneous but allegedly empty LaTeX block.

    • CommentRowNumber24.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 9th 2018
    • (edited Sep 9th 2018)

    Great, thanks for taking the time to fix this!

    The bug mentioned in #21 when there are several syntax errors should now be fixed. See here.

    When I get the chance, I will see if I can find a way to improve the error message in the ’allegedly empty’ case. It is not completely obvious to me how to do it just now.

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeSep 9th 2018
    • (edited Sep 9th 2018)

    Thanks!

    I can see that making the system spot missing opening dollar signs must be pretty hard. But it shouldn’t be too important in usual practice.

  11. Just to note that I have switched on the validation for double dollar blocks as well now.
    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2018

    Thanks, Richard!

    Hope you don’t mind me mentioning one more bug. This has been around since the beginning of the nLab, but maybe now is the time that for you it’ll be immediate to fix:

    After one comes back from the dialogue of instiki’s file upload process, the link to the file (now existing) remains gray. Usually it’s secretly active, but displays as if it were not. One has to re-save the entry to trigger the link being shown properly. (recorded also here).

    I say “usually”, because sometimes it isn’t, and one has to repeat the upload dialogue (and repeat the re-save.) But I don’t know if this is two separate bugs or two incarnations of the same one.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeSep 11th 2018
    • (edited Sep 11th 2018)

    And one more, if I may, just for the record:

    I keep coming across entries that have included tables via [[!include entry name]] that don’t display properly: One sees the table outline and some symbols do appear, but mostly the table entry are shown empty.

    In each case resaving the entry (the including entry!) solves the problem.

    I gather you keep saying that you trigger re-rendering of all pages? Just out of interest, how long does it take for all entries to get touched this way? Seems to be days and weeks, is that possible?

    • CommentRowNumber29.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 11th 2018
    • (edited Sep 11th 2018)

    Thanks for reporting, I’ll look into these when I get the chance.

    I gather you keep saying that you trigger re-rendering of all pages?

    I had tried on many occasions, but things were never stable enough to have a complete run. I usually trigger re-rendering of just a subset. Things should be stable now, though, because the asynchronous stuff seems to be robust and working well now, so I can give it another go sometime.

    Just out of interest, how long does it take for all entries to get touched this way? Seems to be days and weeks, is that possible?

    No, indeed, the reason not all entries have been touched is, as above, that there has not been a complete run. Also, because we are in a period of quite major improvements (or what are hopefully improvements, at least!) and fixes, I try not to re-render everything on each occasion. But we should definitely do a completely run through again soon.

    The throughput on the asynchronous re-rendering is quite high now. I can try to see, next time, how long it takes; I would guess an hour or so now, but it might be less (or more!). The thing is that it does not just re-render all 18000 pages, it has to follow the tree of redirects and includes, so the number of re-renderings is quite a bit higher.

    • CommentRowNumber30.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 11th 2018
    • (edited Sep 11th 2018)

    The issue with table rendering might be a relatively new one, by the way; it was maybe not announced very prominently, but I made a major change last week so that Maruku (the Markdown renderer, including the itex2MML renderer) is now run outside of Rails. This seems to have gone fine on the whole, but there may be an issue or two with includes that need solving.

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeSep 11th 2018

    I see, thanks.

    Please allow me to mention yet one more:

    at our old friend, the entry geometry of physics – perturbative quantum field theory, the table of contents has disappeared again (The word “Contents” appears, but then the list of sections is missing)

    • CommentRowNumber32.
    • CommentAuthorUrs
    • CommentTimeSep 12th 2018
    • (edited Sep 12th 2018)

    The same problem as in #31 occurs also at geometry of physics – categories and toposes. The table of contents does not appear any more, except for the line “Contents”.

    Re-saving does not help. Maybe it has to do with the chpaters being in !include-files?

  12. Yes, I believe it is a problem with includes. Thanks for raising, I will try to fix as soon as possible (but cannot do so just now unfortunately).

    • CommentRowNumber34.
    • CommentAuthorUrs
    • CommentTimeSep 12th 2018

    No rush. Thanks for looking into it!

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTime6 days ago

    Hi Richard,

    hm, now I see that also the equation numbering broke again. To see this at geometry of physics – perturbative quantum field theory search the document for the string (eq:.

  13. Thanks for mentioning. All the same issue I think, not had a chance to look into it unfortunately. Apologies!

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTime6 days ago

    All the same issue I think

    Oh, okay. Sounds good.

    • CommentRowNumber38.
    • CommentAuthorzskoda
    • CommentTime2 days ago

    I see that the list of categories on the bottom of the page lost the comma and the spacing between the items. For example in my personal web https://ncatlab.org/zoranskoda/show/analiti%C4%8Dka+geometrija instead of

    category: zadarmat2, zadarmat4

    now it is displayed something like

    category: zadarmat2zadarmat4

  14. Thanks for raising this, Zoran. Ali has raised a similar issue. I will fix as soon as I get the chance (not had time for a week or so to do much maintenance).

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTime1 hour ago
    • (edited 1 hour ago)

    Just for the record, for later use:

    I could maybe narrow down the rendering problem with geometry of physics – categories and toposes:

    I tried to re-save all the separate !included entries.

    One of them didn’t save now, due to a LaTeX syntax error. I fixed that.

    But this problem here remains, and might cause the toc not rendering in the full entry:

    Trying to re-save geometry of physics – homotopy types consistently fails with a “524 timeout error” (?)