New “Hello, Scala” lessons alvin January 8, 2018 - 8:30pm

I just added lessons on SBT, ScalaTest, and a brief introduction to FP to the “Hello, Scala” website.

Added a few more lessons to “Hello, Scala” alvin December 21, 2017 - 5:41pm

Just added a few more lessons to “Hello, Scala” including tuples, Scala + Swing, and a complete little OOP example. Also started a Github repo for it.

Hello, Scala (Scala tutorial website) alvin December 17, 2017 - 7:34pm

It’s still a work in progress, but I’m creating a Hello, Scala website as a simple, quick introduction for those interested in learning Scala.

iPhone 8 vs Intel Core i5 web performance

With Twitter being Twitter, I saw this image there, and now I can’t find it again. But it shows that the new iPhone 8 is significantly faster at rendering a page.

Actually, since I can’t find the original source, I don’t know if they both rendered mobile web pages, or whether they tried several times to make sure it wasn’t just a hiccup. But seeing that the architecture in a little phone can come anywhere near the performance of a desktop/laptop processor that’s still being sold makes one wonder about the future.

Update: I think this was the original source of the image.

HTTPS for everyone

July 22, 2017 will go down as the day I (finally) switched this website to using HTTPS instead of HTTP. (See the padlock icon in the URL field of your browser.) I’ve been using a self-signed certificate to log in to this site for a long time, but yesterday I finally switched to “HTTPS for everyone.”

How to use curl to get headers from a URL

Curl FAQ: How do I use curl to get the headers from a website URL?

Short answer: Use curl's -I option, like this:

$ curl -I URL

Here's a specific example, including a real URL and results:

Apache 301 redirects on GoDaddy web hosting

I have a shared web hosting account on GoDaddy, and wanted to do a 301 redirect with an Apache .htaccess file. For some unknown reason GoDaddy’s web interface wasn’t working for this, so I thought I’d fix the problem manually.

In short, this did NOT work:

Redirect 301 /the-old-uri