Sharir and Pnueli's TWO APPROACHES TO INTERPROCEDURAL DATA FLOW ANALYSIS

Posted on Fri 18 August 2017 in tech • Tagged with static analysis

This paper is really hard to come by and all scans are either incomplete or include the empty backpages. Here's a cleaned up version: Download


Continue reading

Spellcheck in Latex Files

Posted on Thu 10 August 2017 in tech • Tagged with LaTeX, hunspell

I use the following snippet to spellcheck latex files:

1
2
#!/bin/bash
hunspell -d en_GB -t $1

Put it into a spellcheck.sh file. Then ./spellcheck.sh myfile.tex.


Continue reading

IntelliJ Idea application menu entry for xubuntu

Posted on Thu 25 May 2017 in tech • Tagged with xubuntu, linux

Assuming intellij has been installed to /opt/ here's how to create an application menu entry (on xubuntu). Create a file ~/.local/share/applications/intellij.desktop with the following content:

[Desktop Entry]
Version=1.0
Type=Application
Name=IntelliJ
Icon=/opt/jetbrains/idea/bin/idea.png
Exec=/opt/jetbrains/idea/bin …

Continue reading

Extend a VirtualBox guest harddisk

Posted on Tue 18 April 2017 in tech • Tagged with windows, linux

I use VirtualBox for the rare cases when I need a Windows OS. The latest Win10 updates failed to install because there's not enough disk space. Apparently 30GB is not enough for a whole OS and office... ;-(

Luckily that's easy to fix:

  • Shutdown the guest
  • Make sure there are no …

Continue reading

DD-WRT (kong) on Netgear R7000 and Fiber7 IPv6 configuration

Posted on Sat 21 January 2017 in tech • Tagged with dd-wrt, fiber7

I'm a fan of Netgear's R7000 hardware. Not so much of the software. Since I bought this router I was not able to get IPv6 working with my Fiber7 internet connection. The Netgear firmware does not support DHCPv6-PD which is what my provider requires. Anyway, not having IPv6 was not …


Continue reading

Cups printers do not show up in Firefox (Arch)

Posted on Mon 02 January 2017 in tech • Tagged with arch, linux

If your CUPS printers do not show up in the Firefox printing dialog (but they do for example in Google Chrome) you may be missing the following package: gtk3-print-backends. Installing this solved that very annoying problem for me.


Continue reading

USB Keyboard not working at boot (between GRUB and disk decryption)

Posted on Sun 18 December 2016 in tech • Tagged with arch, linux

On my thinkpad I have an encrypted Arch installation setup similarly to my chromebook setup. Since I bought my a new wireless usb keyboard this thing never worked for decrypting the system. It perfectly works once Arch has started up, but for entering the password at boot I had to …


Continue reading

Gitlab CE setup

Posted on Wed 02 November 2016 in tech • Tagged with nginx, gitlab, docker

The latest addition to my server at home is a Gitlab Community Edition instance. I use the docker image provided by Gitlab behind a nginx reverse proxy. Below are some notes for setting up, configuring and troubleshooting the installation.

Docker command

 1
 2
 3
 4
 5
 6
 7
 8
 9 …

Continue reading

Ugly fonts in IntelliJ IDEA on Arch Linux

Posted on Tue 11 October 2016 in tech • Tagged with intellij, arch

UPDATE

intellij-jdk is now marked orphaned in AUR. I therefore stopped using this package and switched to a manual install of IntelliJ IDEA. This way the bundled jdk by Jetbrains is used automatically.

Old Post

Java fonts on Linux have been ugly for a while. Especially in an IDE it's …


Continue reading

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 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 …

Continue reading