Pieter

I'm not making any claims as to which word is best, I just wanted to point out the spelling in some of the existing literature on schobers in algebraic geometry :)

except maybe the first Kapranov--Schechtman paper about them (which might be unpublished in any case)

but the existing literature on (perverse) schobers doesn't capitalise it

There's more than the ones you see now by the way.

That's Opus design. I only draw Riemann surfaces, badly.

There's no technical reason whatsoever to not implement this again, it's just that it would take me 1 or 2 whole days to get it as good as I want it to be, and I don't feel like spending that time.

With the new system this functionality was not re-implemented (yet).

@DylanWilson There used to be graphs, visualising the dependencies.

I did notice some silly issues with comment links: comments are on a separate page, but whenever you see a link to a comment it will link to the tag page. I'll fix that soon.

You wouldn't even be the first to point out a typo, Daniel Litt did that yesterday already!

Jacob produces the TeX, and while I could in theory (maybe) change it too I have no intention to do so.

I'm not dealing with typos myself either.

Yup, comments work.

@SaalHardali We've opted for staying close to whatever happens in the pdf when it comes to emphasis. I think we'll leave it as it is for now. If it really bothers you then you can use a local stylesheet to restyle <em> to be bold.

Although it's not if the Stacks project contains so much material which was not written by Johan. But Kerodon is not meant to be contributed to in that way.

That is a community project in the sense that everyone can contribute by commenting, but it's not like the Stacks project where everyone can contribute material.

Are you talking about Kerodon?

Sorry, that was too quick

@Espen

Yeah, that makes sense, but not all of it.

Parts of it, sure, that makes some sense.

No-one prints the Stacks project (I hope).

The whole point of doing things online in a non-book format is that it can grow as you want.

There are print-on-demand services, sure.

What does that have to do with Kerodon or me?

I'm just an ordinary algebraic geometer, I'm not going to rewrite HTT or anything.

Yeah, the discussion took a confusing turn :).

I'm not writing a single line of TeX for this.

Also the graphics took some time, which is not because of me.

Well, that it took so long is because of me, not Jacob :).

No, it won't be a dump in the beginning, and then fixing things over time. It'll be a rewrite from the beginning.

Also, reorganising thousands of pages of material is not something I'd call "with only corrections made".

No, not all. The input is a TeX file and a tags file, and it spits out (the database for) the website.

But a) it's currently not so easy to use, b) I'm not going to design and maintain it for you :P

You can start your own if you want, the software is open source!

But I'm just the tech guy, not the one who actually writes the mathematics.

@skd It's supposed to be a rewrite / restructuring of HTT / HA / SAG (or maybe some subset thereof), as far as I know.

Interpret that as you wish :)

Except for arxiv.org/abs/math/0204020

Although a quick check through earlier papers shows that he didn't submit those

No, see arxiv.org/abs/1505.06768

So it goes the other way it seems

In any case, Google brings up arxiv.org/abs/1006.1116

He might be going to the ICM then, that's the only conference happening this week, unless someone decided to compete with that.

Too bad he doesn't get a ping though.

@HarryGindi It's probably best to ask Adeel, who goes by the moniker @AAK nowadays it seems.

@HarryGindi Is mathoverflow.net/questions/83421/… of any help here?

How much Jacob will have transferred to the new system is hard to predict.

@JonathanBeardsley Serious work on my part will start next week, I hope to have it finished by the end of September maybe.

On the other hand, Banff also has limited space, and I have seen grad students of some of the organisers stay in the town.