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.

Plugins

apm install …

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 Repos.


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 …


Continue reading

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 …


Continue reading

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 …


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 …


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 …


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 …


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 …


Continue reading