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 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 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 nforum 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 sheaves 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.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2022

    It is high time that we put the donated funds to use for securing the physical existence of the nLab installation.

    We still need to urgently migrate the installation to a new server (the one we are running on had been sunsetted already ~2~2 years ago) and then we need to possibly hire a sysadmin to take care of the day-to-day operation of software and server.

    For these and related IT tasks, we need a body of technical experts who can make informed decisions about how to use the donated funds for the purpose of guaranteeing the hardware & software existence of the nlab, such that the Topos Institute – which is kindly administering our funds for us – can rely on their expressed decision when paying bills for us.

    For this purpose has now been created a body called the nLab technical board.

    The founding members of the technical board currently are:

    Adeel, Felix and Mike are currently the three persons who have the password to the nLab server, know what it takes to do there and have been doing it and are doing it. They are the ones keeping the nLab in physical existence at the moment.

    You all know Mike, he is in particular the one founding member of the nLab community who is IT-savvy enough to serve on such a board.

    Adeel, to recall, is our pre-previous admin who two weeks ago suddenly jumped in and revived our running installation by pointing the DNS server back to it.

    Felix had migrated the nLab to a secure server already a year ago, but then we didn’t go live with it as we still trusted somebody else would do this (and now that server has been decommissioned, unfortunately). Incidentally, a week ago Felix figured out what it was that kept the nLab running slow – turns out it was a broken backup mechanism that apparently broke back in 2018. He fixed it right away. The nLab is much more responsive now, you will notice when you do editing. And it’s again being automatically backed up now.

    These three kindly agreed to help us out by lending their names to the “nLab technical board” and by taking care of organizing the next steps that need to be taken with the nLab’s installation and authorizing required payments.

    In fact, since a few days ago, a further volunteer has kindly joined in and started helping with detecting problems in the current installation.

    Similarly, if you are a technical expert on the required IT issues and would like to lend a hand with keeping the nLab installation alive and well, then please drop a note, either here or directly to one of the technical board members. (You don’t have to become a formal member of the “technical board”.)

    • CommentRowNumber2.
    • CommentAuthorEric
    • CommentTimeMay 14th 2022

    As an early nLab contributor and huge fan, I’d be happy to be included in the technical group and help contribute if any issues come up.

    My email is eric.forgy@outlook.com.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 15th 2022

    Thanks, for offering help. I checked with the board members, and apparently they are looking to bringing the installation into a state where it could be run on a personal computer, at which point they would make a list of issues that volunteers could do debugging on in their personal installation.