Some notes on my atom editor setup. Will be expanded throughout time.

Plugins

apm install atom-runner
apm install linter
apm install linter-flake8
apm install linter-gcc

flake8

linter-flake8 needs a flake8 binary. We'll install this into a virtualenv used for atom.

mkvirtualenv atom
# make sure you're in the new virtualenv …

Google drive notes I took when setting up my encrypted Ubuntu 14.04 LTS home server (RAID, LLVM and LUKS).

Checkout the slides of my presentation about the Guided Static Analysis paper by Denis Gopan and Thomas Reps.

I needed a way to download all papers and exercises of one of my lectures. Here's a good wget snippet to mirror the website:

wget --mirror --convert-links --adjust-extension --page-requisites -np -nH -N --cut-dirs=1 http://www.ita.inf.ethz.ch/alscpr15/

Source: Tweet by @doublec (tweets are protected now)

Firefox has a setting "Don't load tabs until selected". But enabling this will not prevent Firefox from reloading every pinned tab at startup. Fortunately there seems to be a specific preference for this one too:

• open about:config
• set browser.sessionstore.restore_pinned_tabs_on_demand to true

The Beginners guide in the wiki is straightforward. Here are just some additional notes on setting up Arch Linux on my chromebook.

Planned setup

My device has a 16GB ssd. I'm planning to wipe ChromeOS and partition the disk into two partitions: 2GB /boot (ext4) and a 14GB encrypted partition …

You probably have used homebrew. Haven't you? In the last step of the reinstallation the installer moves / checks files in /usr/local. If you have a lot of files over there (for example because you used homebrew), this takes forever.

Do not abort the installation. Press cmd+L to see …

We're forced to use SVN for some projects at the university. It's OK but when working on the go (Train) and offline it's a pain. Here are the steps for using git.

# initialize repo
git svn clone https://svn-server-address/repo/path

Now you can work and commit to your local …

During last terms compiler design course I learned x86 assembly "the hard way"... Here's some stuff that I "found out" while developing x86 assembly on OSX 10.10.

Read this first

I'm writing this post a couple of months after the course. I did not lookup the instructions and I'm …

Starting with Yosemite Apple finally stopped shipping Java 6 with OSX. It's recommended to install the latest Java version directly from Oracle. Unfortunately IntelliJ IDEA needs Java 6 (!) to start. Here is the recommended way to run IntelliJ IDEA with Java 8.

# first, install IntelliJ to /Applications
mkdir ~/Library/Preferences …