Re: [tlaplus] TLA+ website is down

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

On 28 Dec 2024, at 21:09, Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:

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/

On Dec 27, 2024, at 6:41 AM, Russell Brown <russell@xxxxxxxxx> wrote:

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.

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/BAAC36C8-EDA2-4BBA-88AF-F579F9A1CBF3%40lemmster.de.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/ECF0CEB9-4998-4934-A29F-38EDA1036F54%40wombat.me.