Review #2: OS X on MacBook Air

The first computer I tried was an IBM PC. Then we got a second-hand Amiga 500. My main computer before I moved to Oslo in 1997 was the Amiga 1200 with the Miami TCP/IP stack. Then, a friend helped me build an IBM-compatible PC that ran the Linux-based operating system distribution known as Red Hat Linux for years. Then I switched to Debian. Debian GNU/Linux, a free operating system. Then I got Ubuntu, based on Debian GNU/Linux. These days I run Fedora on my main laptop and Ubuntu on my second laptop.

I never really tried the Macintosh before entering University of Oslo. It ran NCSA Mosaic and NCSA telnet, but I had to reboot that computer quite often.

I just tried MacBook Air with OS X from Apple Computer.

I am quite satisfied with it. Mac OS X boots very fast, it is somewhat stable (almost as stable as the Linux kernel, as far as I know), but the operating system sometimes runs out of memory. Adding more memory to the machine is possible with the correct screwdrivers, but warrants the guarantee, so unlike a computer from say Lenovo or Toshiba, you can’t just add more memory to the MacBook Air as easy. The MacBook Air is both proprietary hardware and proprietary software.

When the proprietary Mac OS X software runs out of memory, it opens a window that asks whether I want to close any running programs.

A reboot usually fixes the problem. I am used to reboot computers running real operating systems like Linux on hardware and kernel upgrades, however, the MacBook Air with Mac OS X still needs to be rebooted quite often compared to the non-Macintosh computers I have tried.

Travel #3: MIT, Cambridge and Boston

Arrived Boston South Station from Penn Station by train.

Took the subway from BOS to Kendall/MIT.

Found the hotel and left my luggage.

Went to the MIT campus and went on the self-guided walking tour of the MIT campus.


Went to the MIT museum. Met a Canadian woman who didn’t study at MIT. Had a nice conversation.

Went back to the hotel and checked in.

Ate at Dunkin’ Donuts.

Visited SIPB. Went to eat dinner at Meadhall with some of the SIPB members. Nice selection of beer and food on the menu.

Tried the earl grey flavored ice cream at the campus dairy.

Then had a nice conversation and said goodbye to the SIPB members and went back to the hotel.

The next day I went to a quantum computing group talk at the Institute of Theoretical Physics in MIT Building 7.

Had lunch at Flour, Too.

Went over the Harvard Bridge and saw Berklee College of Music, the John Hancock Tower and a historical building near Boston Commons.



Went back to Cambridge.

Visited the book store The Coop and got three books by Richard Feynman, Scott Aaronson and Seth Lloyd.

Went back to visit SIPB.

Went to dinner at The Friendly Sandwich with SIPB members.

Said goodbye to the SIPB members. Brought a doggy bag with a delicious sandwich to the hotel. Went to sleep.

Went back to NYC by train. Flew home to OSL from JFK.

Travel #2: New York City and Manhattan

I took a taxi to the hotel from JFK with a cab driver from Long Island.

The cab driver was nice and introduced me to NYC on the trip from the airport.

Quickly I noticed that I had no data coverage on AT&T.

I walked from 212 East 42nd Street down to 5th Avenue and saw The New York Public Library and went to the Empire State Building 86th floor observatory. Nice view.


I could see the Chrysler Building from the hotel room.

I tried to sleep after the flight (7 hours and 20 minutes).

Uninstalled Android apps that used lots of data over 3G/4G and chose sync via WiFi only and set a MB limit on my Nexus 5 phone. Then I tested roaming on AT&T, but no coverage with my SIM card from a Norwegian operator.

Didn’t notice any jet lag after the trip from OSL to JFK in Dreamliner.

Got up and ate breakfast. Happy after breakfast. Still no sleep.

Went to the United Nations Headquarter that was 5 minutes away from the hotel. Guided tour can be ordered on according to the port guard. A queue of people was leaving and arriving UN.


A guy was shouting across the other side of the UN, but I didn’t understand his language.

After lunch I went to the Grand Central Station and photographed the clock.


Dave, the drummer of Fancy Color, told me about a free concert with Nicole Atkins in Madison Square Park 7pm.


I went to the Rose Center for Earth & Space museum and saw a fulldome movie and tried to find a replica of the Mars rover. Nobody could tell me where it was, but I found it on the web afterwards.

I went to dinner at Palm Too, 840 Second Avenue. They had no formal dress code (as in United Nation), casual, so I wore a t-shirt from AMNH and ate, before I went to the concert in Madison Square Park. Perfect close of NYC.


I had no AT&T data coverage on the phone, either due to my SIM card or general 4G network problems in NYC. Gmail caches the emails on Android. Kind of a nice feature!

Mathematics #1: The Social Theorem

Yesterday I wrote my first letter to John Nash.

The Social Theorem (from my article “Social Graphs in Mathematics“, on Paul Erdős, John Nash, and Bertrand Russell, not surprisingly rejected by Notices of the American Mathematical Society in 2009 because it didn’t end with a conclusion, and then printed on my own cost and distributed) goes something like this:

Whenever a mathematician meets another mathematician in a point on the social graph, they will either ignore each other, produce a new proof, occasionally a new mathematician, or define a new conjecture.

My conclusion in 2014 after visiting MIT is:

Expand your social graph.

Travel #1: Visiting USA – New York City and Boston

I visit NYC and Boston between 2014-06-17 – 2014-06-21.

Travelling between Oslo-Gardermoen (OSL) and New York City (JFK)

I go from Oslo-Gardermoen (OSL) with Norwegian DY7001 on 2014-06-17 18:00 (CEST) and arrive New York (JFK) on 2014-06-17 20:05 (EDT).

In New York City

I stay on Manhattan at The Westin New York Grand Central, 212 East 42nd Street, near Grand Central Station and the Chrysler Building, for two nights.
On 2014-06-17 23:00 (EDT) I visit Empire State Building, 350 5th Ave.
On 2014-06-18 09:00 (EDT) I visit Rose Center for Earth and Space at the American Museum of Natural History, 81st Street between Central Park West and Columbus Avenue. On 2014-06-18 19:00 (EDT) I go to the Palm Restaurant – NYC Too, 840 Second Avenue, and the Top of the Rock Observation Deck in the GE Building, 30 Rockefeller plaza.

Travelling from New York City (NYP) to Boston (BOS)

I go on 2014-06-19 06:20 (EDT) from New York Penn Station (NYP), 7th & 8th Avenues, between 31st & 33rd Streets, with the AmTrak Acela train to Boston South Station (BOS).
I arrive at Boston South Station (BOS) on 2014-06-19 10:05 (EDT).
From Boston South Station (BOS) I take the Red Line subway on 2014-06-19 10:24 (EDT) and arrive on 2014-06-19 10:32 (EDT) at the Kendall/MIT Station.

In Boston

I go on a MIT tour from the lobby of Building 7 on 2014-06-19 11:00 (EDT).
On 2014-06-19 15:00 (EDT) I check-in at the Kendall Hotel, 350 Main Street.
On 2014-06-20 10:00 (EDT) I go from MIT Building 10 (under the Great Dome), walking up to the east end of the 3rd floor (“infinite”) corridor, and find MIT Building 6 Room 310.
On 2014-06-20 11:00 (EDT) I attend the Farhi Group Meeting at MIT Building 6 Room 310.
On 2014-06-21 11:00 (EDT) I check-out from the Kendall Hotel.
On 2014-06-21 11:33 (EDT) I go with the Red Line subway from the Kendall/MIT Station to Boston South Station (BOS).

Travelling from Boston (BOS) to New York (NYP)

I go with AmTrak Acela train from Boston South Station on 2014-06-21 13:40 (EDT) and arrive on 2014-06-21 17:49 (EDT) at New York Penn Station (NYP), 7th & 8th Avenues, between 31st & 33rd Streets.

Travelling from New York (JFK) to Oslo (OSL)

I go from New York Penn Station (NYP), 7th & 8th Avenues, between 31st & 33rd Streets, to New York (JFK), where I go to Oslo (OSL) with Norwegian DY7002 on 2014-06-21 21:35 (EDT). I arrive Oslo (OSL) on 2014-06-22 10:50 (CEST).

Lesson #7: Oasis – Some Might Say

Some Might Say was written by Noel Gallagher and the first single on Oasis‘ second album (What’s the Story) Morning Glory? (1995) and their first number 1 hit on the UK Singles Chart.

This song features power chords.  A power chord is a 3-note chord that is neither major nor minor since it has no 3rd.  Link Wray is credited for inventing power chords in Rumble (1958).

TAB: Some Might Say

Contact Gary Gramolini at if you are interested in learning this song.

Lesson #6: The Knack – My Sharona


My Sharona is the debut single by The Knack. It reached Number 1 on Billboard Hot 100 in 1979 and stayed there for 6 weeks.

The riff in the intro and the verse is alternating between the 6th and 4th string (G) and then ending on the chords C and Eb. Repeat once.

Then the first two bars of the riff alternating between the 6th and 4th string (G) is repeated and then building up with chord Bb.

At last the chords C, Eb and F.

The guitar solo in left as an exercise to the reader.

TAB: My Sharona

Contact Gary Gramolini at if you are interested in learning this song.