picat-lang.org SSL certificate

C. G.

unread,

Dec 10, 2024, 3:51:12 AM12/10/24

to Picat

Hi,

I know this is not about the language itself, rather about the people being able to reach its definition and resources, so please bear with me.

I realized that I keep using http://picat-lang.org/ instead of https://picat-lang.org/ .

Using those sites without https is at least discouraged (prominent "not secure" warnings), when not even blocked by browsers nowadays.

But unfortunately there is an issue with the SSL certificate of https://picat-lang.org/ : it is created for another, not matching domain securedata.net and its subdomains *.securedata.net and it doesn't list picat-lang.org neither among the alternative domains.

This makes the browsers refuse to connect to it, throwing errors like

net::ERR_CERT_COMMON_NAME_INVALID

I suggest creating a certificate for the domain picat-lang.org and using it.

Letsencrypt offers free certificates (that need to be renewed every 3 months, it can be automatised), so there should be no costs incurred.

best regards,

Cristian

Neng-Fa Zhou

unread,

Dec 10, 2024, 5:11:35 PM12/10/24

to C. G., Picat

Hi Cristian,

Doug Edmunds has once brought up this issue. Currently, I am paying out of my pocket for having the picat-lang.org website hosted by a company. I called the company and was told that the hosting fee would go up by 200% if it is switched to https. As the website never gets confidential information from users, it may not be worth it to upgrade.

If you can help create a certificate for the website or tell me how to do it, that would be great and appreciated.

Cheers,

NF

--
You received this message because you are subscribed to the Google Groups "Picat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to picat-lang+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/picat-lang/56443cce-2323-4ab5-b0ad-04b3d9b3165dn%40googlegroups.com.

César Pedraza

unread,

Dec 10, 2024, 7:45:02 PM12/10/24

to Picat

Hi,

I assume picat-lang.org is a static website, so it should be easy to migrate it to a service like GitHub pages, which is free and takes care of the certificates. If using a service like that is not desirable, the next reasonable option is to use Let's Encrypt. In order to use the certificates from Let's Encrypt, you will need access to the server where the website is hosted. I will be happy to help with this.

Cheers,

César

Neng-Fa Zhou

unread,

Jan 8, 2025, 5:22:12 PMJan 8

to Picat

Good news: picat-lang.org has an SSL now, and viewers will not receive annoying warnings about insecurity. The Picat community deserves a secure official web site.