[tlaplus] Re: TLA+ website is down

[Russell Brown <russell@xxxxxxxxx>]

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.

On Friday, December 27, 2024 at 12:27:57 AM UTC VX2077 wrote:

Update: website is up again.

On Thursday, December 26, 2024 at 3:11:48 PM UTC-8 VX2077 wrote:

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?

-- 
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/a839b010-d2f0-4b6a-92f0-79553d2bfa9cn%40googlegroups.com.