May 6, 2014
Volume 12, issue 4

Error 526 Ray ID: 4ac1304bec8091b8 • 2019-02-20 13:06:07 UTC

Invalid SSL certificate

You

Browser

Working

Newark

Cloudflare

Working

deliverybot.acm.org

Host

Error

What happened?

The origin web server does not have a valid SSL certificate.

What can I do?

If you're a visitor of this website:

Please try again in a few minutes.

If you're the owner of this website:

The SSL certificate presented by the server did not pass validation. This could indicate an expired SSL certificate or a certificate that does not include the requested domain name. Please contact your hosting provider to ensure that an up-to-date and valid SSL certificate issued by a Certificate Authority is configured for this domain name on the origin server. Additional troubleshooting information here.

Originally published in Queue vol. 12, no. 4—
see this item in the ACM Digital Library

David Chisnall - C Is Not a Low-level Language
Your computer is not a fast PDP-11.

Tobias Lauinger, Abdelberi Chaabane, Christo Wilson - Thou Shalt Not Depend on Me
A look at JavaScript libraries in the wild

Robert C. Seacord - Uninitialized Reads
Understanding the proposed revisions to the C language

Carlos Baquero, Nuno Preguiça - Why Logical Clocks are Easy
Sometimes all you need is the right language.

Comments

(newest first)

nicolas | Fri, 27 Jun 2014 12:28:22 UTC

Very nice and understandable article. it would be interesting to know what you think dependent types/Agda bring to the plate.

Mukesh Tiwari | Thu, 08 May 2014 10:16:18 UTC

Thank you the article! Now I realised the power of type class. Take any problem, capture the essence and model it in Haskell type system.

Programming Languages