Archives
- Sun 05 November 2017
- Encrypted Duplicity Backup to European Amazon S3 Bucket
- Fri 18 August 2017
- Sharir and Pnueli's TWO APPROACHES TO INTERPROCEDURAL DATA FLOW ANALYSIS
- Thu 10 August 2017
- Spellcheck in Latex Files
- Thu 22 June 2017
- Manually starting ssh-agent to use it in a (remote) terminal session
- Tue 06 June 2017
- Python networkx (graph library) example
- Sat 27 May 2017
- Music for working / learning (updated)
- Thu 25 May 2017
- IntelliJ Idea application menu entry for xubuntu
- Tue 18 April 2017
- Extend a VirtualBox guest harddisk
- Sat 21 January 2017
- DD-WRT (kong) on Netgear R7000 and Fiber7 IPv6 configuration
- Mon 02 January 2017
- Cups printers do not show up in Firefox (Arch)
- Sun 18 December 2016
- USB Keyboard not working at boot (between GRUB and disk decryption)
- Wed 02 November 2016
- Gitlab CE setup
- Tue 11 October 2016
- Ugly fonts in IntelliJ IDEA on Arch Linux
- Thu 11 August 2016
- Atom editor notes
- Thu 07 April 2016
- Encrypted Ubuntu 14.04 LTS Installation (RAID, LLVM, LUKS)
- Thu 22 October 2015
- Guided Static Analysis slides
- Tue 28 July 2015
- Downloading a website for reading offline
- Wed 08 July 2015
- Prevent Firefox from reloading pinned tabs at startup
- Sun 21 June 2015
- Arch Linux on Toshiba CB30-102 (Chromebook)
- Sat 21 March 2015
- OS X: Reinstall OS stuck at "2 minutes left"
- Sat 21 March 2015
- Using git for SVN repos
- Sat 21 March 2015
- x86 assembly on OSX
- Sat 21 February 2015
- Run IntelliJ IDEA 14 on OSX with Java 8
- Sat 15 November 2014
- Move/Copy mails between different IMAP accounts
- Sun 19 October 2014
- Manually installing Boost 1.55 on OSX
- Sat 18 October 2014
- Enable homebrew for non admin users
- Sat 18 October 2014
- OSX 10.10 (yosemite): configure: error: C compiler cannot create executables
- Thu 17 July 2014
- Hello