A game that is popular at my school has these modal ads with a close button that is smaller than you can accurately tap. Every third time it opens I end up in the App Store. It drives me nuts. A confirmation would be nice.
Somebody rewrote hub in Go a while ago and called it gh. The team behind hub only decided recently to merge in gh and make it the new, GitHub-approved version of hub.
nano is less confusing than vim, though that is another bad habit to form. I used it for a very long time, but switching to vim has been amazing. I think that -m is probably best for teaching a beginner, though.
I've wondered for a while how they deal with situations like that. For instance, when they implemented stars, there was likely a user named stars, but then they reserved /stars for their new feature, presumably removing that user. I just wonder if they emailed the user and said, Hi, we need your username for a new feature. Thanks, GitHub.
Unrelated: Don't factory reset your router. The software to set it up requires you to downgrade to 10.7 or something. It'd be nice if linksys would update their software, or at least remove the version cap.
I wonder how many of the cheap web hosts will impelent this. I think the increased hosting cost on top of the certificate itself also discourages people from using TLS. Wishful thinking, perhaps...
Where I live, elementary starts at 8, middle starts at 9, and high school starts at the wonderful time of 7:30. The transition from middle school to high school was especially painful. I wish we used the times your district used; they make so much more sense than ours.
Fermat's last theorem has been proven; there is no solution, people. In this case, you can't verify this using "any old calculator," as most show only ten digits and these diverge at digit 12.
Any podcast recommendations for the HN crowd? I personally listen to Hello Internet (CGP Grey and Brady Haran) and Still Untitled: The Adam Savage Project (Adam Savage and friends).