Zulip Chat Archive

Stream: new members

Topic: The number game down?

Rado Kirov (Feb 06 2025 at 05:54):

Is the number game down for everyone else or just me - https://adam.math.hhu.de ?

Yaël Dillies (Feb 06 2025 at 06:05):

Looks like it, yes. Can't access either

Kevin Buzzard (Feb 06 2025 at 09:06):

@Jon Eugster is maybe the person to ping?

Jon Eugster (Feb 06 2025 at 16:27):

sorry! It's up again. Our server is too small :(

Jon Eugster (Feb 06 2025 at 16:28):

(@Matvey Lorkish might also be a good person to ping in future)

Matvey Lorkish (Feb 07 2025 at 08:03):

Hello guys! I am Matvey you can ping or DM me if there seems to be something out of order. I will try to fix it asap.

Eric Taucher (Feb 07 2025 at 10:57):

Keywords so this can be more easily found in the future when needed.

Lean Game Server
Natural Number Game
Robo
Set Theory Game
A Lean Intro to Logic
Knights And Knaves Game
Is it just me

Kevin Buzzard (Feb 09 2025 at 17:53):

@Matvey Lorkish is NNG down again? I was about to post a blog post linking to it.

Eric Taucher (Feb 09 2025 at 17:56):

Kevin Buzzard said:

is NNG down again?

It is up for me but the images, PNG or such are not displaying. The buttons are working and new pages are displaying.

Dan Abramov (Feb 09 2025 at 18:01):

I'm getting net::ERR_CONTENT_LENGTH_MISMATCH 200 on static assets (like JS). Indeed their content seems randomly cutoff.

Rado Kirov (Feb 09 2025 at 18:05):

Same here, it was up for a few days since the original post (enough for me to finish the set theory game) and now it's down with the same error.

Matvey Lorkish (Feb 09 2025 at 19:44):

I will look into it!

Matvey Lorkish (Feb 09 2025 at 20:26):

NNG4 should work now again, and the sever should be more memory stable now.

Matvey Lorkish (Feb 09 2025 at 20:28):

Dan Abramov said:

I'm getting net::ERR_CONTENT_LENGTH_MISMATCH 200 on static assets (like JS). Indeed their content seems randomly cutoff.

Could you please me how to replicate this error? I did not manage to do so.

Matvey Lorkish (Feb 09 2025 at 20:30):

Please feel free to ping me if something is off again :smile:

Kevin Buzzard (Feb 15 2025 at 14:34):

@Matvey Lorkish is NNG down again?

Julian Berman (Feb 15 2025 at 15:17):

It looks like yes with the same content length issue.

Julian Berman (Feb 15 2025 at 15:18):

It's been awhile since I had to look at anything in this realm, but the content size is suspiciously near 65K -- maybe your nginx settings (or the defaults) are allocating too-small buffers for the response.

Julian Berman (Feb 15 2025 at 15:21):

max_response_body_size looks like maybe the relevant setting, probably look first in the nginx logs to see what you see there.

Matvey Lorkish (Feb 15 2025 at 17:39):

Thank you for the tipp, I will look into it once I get the chance for it!

Last updated: May 02 2025 at 03:31 UTC