TLA+ website is down

[VX2077]

Starting this morning, when visiting

https://lamport.azurewebsites.net/tla/tla.html

I've been getting a 503 response The service is unavailable.

It was working fine last night.

We the foundation in place, are there plans to move the TLA+ content out of the Lamport's 🙌 personal website?

Maybe move it to GitHub Pages?

[VX2077]

Update: website is up again.

[Russell Brown]

I don't think so. Or it only kind of is. The video lecture series videos are not available. Or at least video 4 (which I was half way through) are not currently available.

[Markus Kuppe]

Thank you for bringing this to our attention. You can also access the videos on YouTube [1], on GitHub [2], and on a (bandwidth-limited) mirror site [3].

M.

[1] https://www.youtube.com/channel/UCajiu4Cj_GHOX0if3Up-eRA
[2] https://github.com/tlaplus/lecture
[3] https://tla.msr-inria.inria.fr/video/

[Russell Brown]

Thank you.

Do you know if there is a downloadable copy of video6v2.mp4? I couldn’t find it in the GitHub repo https://github.com/tlaplus/lecture/blob/a464f055685a3bd9ca229202518ca00234b4201e/video6.html#L150

Actually, scratch that. I grabbed it from the INRIA mirror, and created a PR to add it to github

https://github.com/tlaplus/lecture/pull/1

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/VQBk-CYpevQ/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/BAAC36C8-EDA2-4BBA-88AF-F579F9A1CBF3%40lemmster.de.