Category Archives: Personal

Fourth stop: A dive into mathematical logic

This is the fourth installment in my Amazon Marketplace spending spree.

Back in school we used the horrible book “Grundläggande Logik” (eng. Basic Logic) by Kaj B. Hansen in the mathematical logics course. This book appears to be an experiment in cross-referencing chapters back and forth and informing the reader that several of the basic concepts presented are trivial and hence not explained. Even the professor we had didn’t like the book but he said that there was no better book on the subject which I later learnt should be interpreted as “there is no better book in Swedish on the subject“. I did not do too well in that course.

Recently I read the illuminating blog entry “Math For Programmers” by Steve Yegge. The following two books were recommended in the comments section and I found them at a great price so I ordered them on the spot.

Computability and Logic by George S. Boolos et. al.
Computability and Logic by George S. Boolos et. al.
Logic for Mathematicians by A.G. Hamilton
Logic for Mathematicians by A.G. Hamilton

New theme, new plugin

I decided it was time to change the theme of my blog again, I get the urge ever so often when I get bored with the old one. Normally I spend 30 minutes or more on WordPress’ theme site before I can decide but this time I hit the jackpot on the first page. The theme I chose is “Ahimsa” by ravi and I must say that I really like this one, probably the coolest theme I’ve had so far (IMHO of course).

Moving on, I noticed that a friend of mine had added gravatar support and since I recently learned about gravatars thanks to Stack Overflow I decided I wanted in on the fun too. The plugin I eventually settled on was Easy Gravatars as that was the only one I could find that worked with WordPress 2.7.

Unexpected downtime

On the 12th of July I went on vacation for four weeks. Since I planned to be away for the whole time I prepared and scheduled my regular tumblelogs for the whole time so that my site would be updated regularly even though I was away.

What happened instead was that on the very same day that my vacation began my server decided to stop serving requests. Me being some 300 kilometers away and with no means of remotely rebooting the machine had to accept the fact that all of my hard work would go by unread and forgotten.

Once I got back, four weeks later, I discovered that OpenBSD had decided to kernel panic on me. A week or two before I had upgraded from 4.2 to 4.3 and something changed for the worse.
The server has a noise level which could probably compete with a small aircraft and for some time I’ve been meaning to replace a couple of the fans in it. Considering it had already been down for four (long) weeks I thought I’d leave it off and get some good nights sleep until I could remedy the noise situation. It took a little longer than expected but now I have replaced the three 120mm Nidec fans, rated at a whopping 42dBa, with three Noctua fans, rated at an agreeable 8dBa. I should have done this sooner!

The site should hopefully be back to normal now. If OpenBSD decides to act up again I’ll attempt downgrading the kernel to 4.2. If that doesn’t help I will have to track down an RS232 extension cord so I can debug the darn thing.

Unsolved Mysteries

Here is a collection of some of the most well known unsolved mysteries (links to Wikipedia). They make for good reading on a rainy day.

Wow! Signal – Possibly extraterrestrial signal caught by SETI on August 15, 1977
Valentich Disappearance – Disappeared without a trace in a Cessna October 21, 1978 after reporting that he encountered a strange flying object
The Lost Colony – 16th century colony where all the inhabitants disappeared
Mary Celeste – Brigantine ghost ship discovered outside the strait of Gibraltar in December, 1872
Felix Moncla – USAF pilot that disappeared while pursuing an unidentified flying object in 1953
Ararat Anomaly – Unidentified object visible via satellite and aerial reconnaissance in a hard to reach location on mount Ararat
Oak Island – Location of a strange pit that many believe contain a hidden treasure

WordPress Magic

In an act of pure magic I managed to recover most, if not all, of my old posts from an old SQL dump I found on an even older disk. All the time I expected there to be a full database backup on my old server which I meant to restore just as soon as I had access to the machine. As it turns out my backups were all located on the disk that died, the very same disk where the live database was located. Sometimes I scare myself..

Luckily though I had a slightly older dump available on the surviving hard drive and after creating a sandbox WordPress installation I was able to export my old blog and import it into this one so in the end it all turned out fine anyway.

Why <insert year here> is not the year Linux takes over the desktop

Right now I’m feeling extremely pissed off and sad, both at the same time. I have been using Linux for more or less 10 years now. By “using” I mean that it has been my primary OS for every purpose you could possible use a computer for. Ok it’s not entirely true, I replaced Linux with FreeBSD for about a year back in 2000 or somewhere around that time. The reason I switched to Linux was simple and I think many of you will recognize it. The major operating system on home computers at the time, you know the one, was extremely bug ridden and unstable and had very little to offer in terms of functionality. Some will argue that it is still unstable and bug ridden but in my limited experience things are much better now than back in the older days in those terms.

Very quickly I learned that Linux had a lot of powerful tools to offer which helped you in everyday matters if only you spent a little time getting to know them. Tools such as find, grep, sed, vi and so on are invaluable and I feel utterly lost without them. The other operating system has virtually no useful tools installed in the base install and even if you go out and waste (a lot of) money on their horrible development package you’ll find yourself with the definition of a bloated GUI where every power tool will be hidden under layers and layers of menus without offering console equivalents. It’s not like the GUI was usable in the first place. Why do focus follow mouse clicks and why on earth isn’t this configurable? Why is it that there are no system logs whatsoever? Why does the system hang for minutes upon minutes during boot if there is no DHCP reply leaving the user in limbo as to what is going on? Now all these issues are moot to me as I do not use this operating system and have no plans on doing so in the near future but to a lot of people this is very much the reality and to an unlucky bunch has been forced upon them. How fascist!

Where was I .. oh, yes .. In recent years Linux adoption by “regular” users has started to grow rapidly. I though this was a great thing at first and I even did my best to help these people ease into the transition. As time went by I started realizing that more and more people around me were Linux users and several of them had jumped on the bandwagon in the last year or so. “Great!”, I thought at the time but recently I have slowly started to come aware of the dark side of it all.

To me applications like Samba are a solution which makes it possible for people who choose to use lesser operating systems to interact with the rest of the world. Personally I like NFS and SSHFS (FUSE), depending on the purpose I think both these solutions do a very good job. If you want service discovery multicast DNS services such as Rendezvous, Avahi etc do an excellent job. You have a portable system which cannot be beaten, why on earth would I need a severely crippled system like SMB other than when interacting with someone on a crippled system?

Back to the issue at hand. Recently I’ve started hearing complaints from the recent Linux switchers. This is all good as no system is perfect and in the beginning I thought it would be refreshing to hear complaints from someone with a different background. Now I’m starting to realize the surmounting disaster that we are soon to face. These people want Linux to plug right into their legacy infrastructure built on top of SMB and other bad solutions. It doesn’t matter that they have replaced their systems with Linux which offers all these “new” shiny features, they still cling to the legacy crap. In the beginning I tried to reason with them but I soon learned that this was impossible. Stupid people don’t get smart just because they made one smart move in their life. With the growing presence of commercial interests I fear that we are going to see major Linux distributions move more and more towards being a bolt-on replacement to their original systems. Resources are going to be spent on making Linux compatible with legacy solutions rather than getting these companies to invest in upgrading their existing infrastructure. Others should be forced to adapt to modern, intelligent standards than forcing Linux to implement proprietary, badly designed, protocols. I fear that Linux is going to become the “new” OSX. All the power tools will be present on the system but most users will have no idea that they exist or how to use them.

The reason I’m pissed is that I am really really fed up with people trying to explain to me why I should be using SMB or why vi is so bad. Why KDE is so much better than GNOME and then having no clue about all the other options like Fluxbox (which I am using), Enlightenment and so on. Why some distribution is bad because it doesn’t automatically call WINE when double clicking an EXE-file, if they had just bothered to STFW they would have set that up in less than 2 minutes btw. If they don’t like the Unix philosophy then why on earth are they using Linux?
Maybe I’m a digital millenium racist but right now I feel that all the switchers should simply go back to their old operating system and leave the rest of us be. I don’t tell them that of course as it would be counter productive.

I’m seriously considering going back to FreeBSD. I loved FreeBSD and the only reason I went back to Linux was due to two drivers, one of which exists for FreeBSD today and the other I don’t need anymore. The BSDs are (luckily) further away from mainstream adoption and do not suffer from the mass of ignorant people infesting the Linux community.

I’ve never been a fan of blurting out RTFM or STFW but I’m seriously considering starting now.