Hello there! So I have decided to start my own blog. Not that there are not enough blogs out there, but boredom and some project ideas got me thinking that it would be nice to have a place where I can share what’s on my mind these days. Even if no ones reads them, I think there is definitely a good reason to just blab around every now and then.

I intend to use this space for sharing random thoughts ranging from computer science, math, linguistics, and physics related ideas to commentary on current events and politics. I’ve wanted to do something like this for a long time now, and finally got some time to do it. So hopefully this blog will make it past this first post and survive my laziness. If not, then I hope at least this leftover and lonely post entrained you at for a bit.

As far as why I chose an oddly named, though very interesting, mathematical theorem as the name of my blog: I wished I had a deeply rooted philosophical reason for it. Like some anecdote of what this means to me and my education or how I read about topology while dreaming after falling asleep reading about topology. But to be honest the rationale behind the namesake of this blog is pretty lacking: I chose it because I have always liked the name of that theorem. Back in the day I thought it was funny. Now it is it more like “meh”, but still holds a special place as my “go-to” name for a placeholder (right there next to “0xdeadbeef”). Nevertheless, don’t let this discourage from looking into the result the theorem describes. The theorem is itself very interesting and would recommend everyone to take a look at it and its applications in physics and meteorology (hopefully will make a post later on about it). However, just for the sake of completeness, I will claim that the true reason behind naming a blog after this theorem is that its Wikipedia page has this picture in it:

Hairy Ball Theorem

It is a baby’s head (which apparently passes for a “hairy ball” nowadays), so you gotta love it. If that isn’t gold, then I don’t know what is. This was slightly better than the ham sandwich theorem whose Wikipedia article literally has a picture of, surprise surprise, a ham sandwich. In case, you know, you’ve never seen one or it’s been a while since you had one.

While writing what I intended to be a very brief “hello world” sort-of post, I got sucked up into looking up other oddly named mathematical results. And honestly, what a reveling and enriching detour this has been. Completely worth the past two hours of random walks in Wikipedia. I found out that there’s the wonderfully named “chicken McNugget theorem”. This is a formalization of the question “what is the largest number of McNuggets you cannot order without asking McDonalds to split a pack?”. So if you want to get some weird and confused looks, I would recommend going ahead and demanding your 43 chicken McNuggets next time you visit good ol’ Ronald.

Digging deeper into this rabbit hole, I found out about the weirdly named “law of the unconscious statistician”. This “law” simply formalizes a well-held mantra amongst statisticians, on finding out the expected value of a function of random variable, that apparently seems so obvious they inherently assume it to be true. Fortunately, nothing in its statement requires an unconscious statistician and no statisticians were hurt in the process of establishing it. We wouldn’t want that.

Then there’s the “infinity monkey theorem” which, although it sounds like a weird crossover between Planet of the Apes and the Marvel Universe, simply says that given enough time, a monkey, and a typewriter, the monkey could almost surely type the complete works of Shakespeare. I am not sure whether it is harder to find a monkey that would non-stop type given a typewriter without doing, you know, normal-monkey-stuff or to find a typewriter that actually works today. There’s also the “no-hair theorem”, which has nothing to do the the hairy ball theorem. This physics result defines the “minimum amount” of information one would need to fully characterize things occurring in the horizon of a black hole. Turns out its name comes from the metaphoric lack of “hair” in black holes.

I think the highlight of this journey was, however, this little corner of unfortunate accidents rooting from the names of the result’s authors. This, of course, comes from a guy whose last name literally translates to “spiny” or “thorny”. The king of this realm has to be the “Cox-Zucker machine”. This algorithm was apparently not named like that by the authors (as one would expect) but by someone else in a paper five years later. And thinking that before this I always thought the infamous “Wiener processes” were already too much of an unfortunate result of naming conventions. How little did I know.

If you are interested in knowing how this website was built, I made the Jekyll source code public in my GitHub. Jekyll is a pretty widely used static-site generator; especially for academic blogs. Although there is some sort of a learning curve at the start, it is pretty impressive what you can do with it once you manage to pass that initial warm-up stage. Static-site generators are a truly amazing idea. I really wished I knew of them back in the days of struggling with handwritten CSS and HTML always doing the opposite I wanted them to do.

For now and in the foreseeable future, this website is being build with a Jekyll theme called minimal mistakes. It is very flexible and offers a tremendous amount of options (plus relatively good docs), so would recommend it if you are planning on exploring using Jekyll as a base for your website. It certainty deserves people’s attention. Obviously, feel free to use any of my own personal code as you wish in your own projects without asking. Mi casa es tu casa.

That’s it for today. Welcome to my blog and I hope you enjoy going over my random thoughts in the future! More posts will come soon (I hope…)