USA (1)

This is an article of the travel report 'North-America'

This will be the first article in a series of maybe two or three articles on the US. I do not cover everything in great detail here, but I hope its enough so that you get an idea how it was. The pictures in this article are publish unprocessed (only resized to 25% of original size because otherwise the filesize would become an issue for slow internet connections). Driving 2500 km After we crossed the border at Saint St Marie, we had to drive about 2500 km to get to Badlands National Park - which was the first National Park on our “checklist”.

Canada (1)

This is an article of the travel report 'North-America'

After almost three weeks in Canada, we entered the US today in/near Sault Saint Marie. Time for a review, I guess. Canada We arrived in Canada by plane in Toronto and then continued by plane to Halifax (the same day). Our car was shipped to Halifax and we had to stay in a hostel for three days until we got the paperwork from the shipping company and the car from the harbour.

The first days

This is an article of the travel report 'North-America'

The first week in Canada has already passed and so many thinks happened! We arrived in Toronto after 8.5 hrs (actually half an hour less than expected) - what a giant city (it looks sooo big from the plane)! After a bit of sleep and another two hours (which we slept through) we arrived at Halifax, got our rental car and drove to the city where we were able to check in at our stay.

Starting the journey

This is an article of the travel report 'North-America'

Tomorrow is the day. Tomorrow, we will take our plane to Toronto and later to Halifax. The Journey, no… the Dream! finally begins! We are, of course, nervous as hell. Will everything go right? Will we arrive save in Canada? How will the flight be? That’s actually the first time we fly that long. 4 hours to Iceland were … quite okay I suppose. But 9 hours to Toronto and after that another 2 hours to Halifax?

From zero to shipping the car

This is an article of the travel report 'North-America'

When we initially started thinking about traveling north-america, we knew that this would be a huge undertaking. We had to think about so many things, starting with shipping the car, what to pack into the car and what to put into handluggage, our vaccinations, insurance for the mobilehome but also for ourselves, exchanging euros for (canadian) dollars, booking a flight to Halifax, renting a car for the first few days until we can get our mobilehome from customs, booking a hotel, preparing the mobilehome (approval for example, but also maintenance repairs), and so much more.

How to improve your open source code (9) - Types

This post was written during my trip through Iceland and published much later than it was written. This is a really important topic in programming and I really hope to get this article right. Not only for technical correctness, but also for ease to understand, as explaining types is not that simple if one has never heard of them. Let’s give it a try… What are types Well, that’s a question which is, in my opinion, not easy to answer.

My switch to NixOS stable

On April 4th, NixOS 18.03 was released. It is by far the best NixOS release so far, featuring Nix 2.0, major updates for the KDE desktop environment as well as the Gnome Desktop Environment, Linux kernel updated from 4.9 to 4.14 and glibc, gcc and system updated. With this release, I switched from the unstable channel, which is basically the “rolling release” part of NixOS, to stable (18.03). I did that because I wanted to make sure I get even better stability.

How to improve your open source code (8) - Code verbosity

This post was written during my trip through Iceland and published much latern than it was written. While we heavily focused on the code-surrounding things in the last parts, we will return to focus on code-related things from here on. This article discusses code verbosity and how it can improve your open source code and also your contributors experience a lot. What is code verbosity Code verbosity is mainly explicitness of code.

Building imag with nix remote builds

This is mostly a reminder for myself how to do it, because the documentation non the nix side is pretty sparse. What I want to do is to build imag on a remote server using nix 2.0 features - nix remote builds. Here are the steps I did for achieving that goal: build the Cargo.lock file with cargo generate-lock for the imag workspace generate a build.nix file using carnix –standalone –src .

Iceland 2017

Images of my 4-week-trip to iceland in summer 2017. The Geysir In the West-Fjords In the West-Fjords Puffin in the West-Fjords Black sand at the east-coast of Iceland