Atom editor notes

Posted on Thu 11 August 2016 in tech • Tagged with editor, atom, python

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


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


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 …

Continue reading

Encrypted Ubuntu 14.04 LTS Installation (RAID, LLVM, LUKS)

Posted on Thu 07 April 2016 in tech • Tagged with linux, ubuntu

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

Continue reading

Guided Static Analysis slides

Posted on Thu 22 October 2015 in tech • Tagged with static analysis, ethz, seminar, talk

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

Continue reading

Downloading a website for reading offline

Posted on Tue 28 July 2015 in tech • Tagged with linux, wget, university

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

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

Prevent Firefox from reloading pinned tabs at startup

Posted on Wed 08 July 2015 in tech • Tagged with firefox

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

Arch Linux on Toshiba CB30-102 (Chromebook)

Posted on Sun 21 June 2015 in tech • Tagged with arch, chromebook, linux

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 …

Continue reading

OS X: Reinstall OS stuck at "2 minutes left"

Posted on Sat 21 March 2015 in tech • Tagged with osx

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 …

Continue reading

Using git for SVN repos

Posted on Sat 21 March 2015 in tech • Tagged with git, svn

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 …

Continue reading

x86 assembly on OSX

Posted on Sat 21 March 2015 in tech • Tagged with osx, code, assembly

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 …

Continue reading

Run IntelliJ IDEA 14 on OSX with Java 8

Posted on Sat 21 February 2015 in tech • Tagged with osx, intellij, java

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 …

Continue reading