Posts Tagged Code

Type hinting in PHP – at long last!

Posted by on Tuesday, 1 August, 2017

PHP has always been a “messy” language. It’s API looks somewhat thrown together by several different people who do not seem to be aware of each other’s existence, but surely have the best intentions. Given these ‘tools’, it comes as little surprise that writing good PHP code used to be more of an art than science. If the language does not force consistency, then it requires a great deal from the developer.

Luckily, with PHP 7.0 and 7.1 came the awesome feature of type hinting:
Read the rest of this entry »

Belastingaangifte 2014 en (K)Ubuntu

Posted by on Sunday, 2 March, 2014

Vorig jaar schreef ik over hoe je het (32-bit) belastingaangifte programma voor 2012 op (K)Ubuntu aan de praat kreeg. Natuurlijk is het in 2013 weer nèt iets anders.

  1. Download de tar.gz van belastingdienst.nl
  2. tar -xzf ib2013_linux.tar.gz
  3. cd ib2013/bin
  4. ./ib2013ux

En dan:

bash: ./ib2013ux: No such file or directory
Read the rest of this entry »

Belastingdienst aangifte: libXext.so.6 not found

Posted by on Saturday, 9 March, 2013

Al jaren ben ik blij dat de Nederlandse belastingdienst linux gebruikers serieus neemt met onder andere het programma voor aangifte inkomstenbelasting en de voorlopige aanslag.

Echter, op Kubuntu 12.10 kreeg ik deze foutmelding:

error while loading shared libraries: libXext.so.6: cannot open shared object file: No such file or directory
Read the rest of this entry »

Trailing comma in IEEEXplore BibTeX

Posted by on Friday, 28 September, 2012

As a frequent user of the IEEEXplore database to search for literature concerning wireless networking, I often export a citation to BibTeX for use in my papers.

One of the things which has puzzled me for a long time, is why the BibTeX exporter adds a trailing comma after the last field.

Read the rest of this entry »

LaTeX and PRISM: syntax highlighting in the listing environment

Posted by on Wednesday, 19 September, 2012

You may be using the PRISM Model Checker for your research. You may also want to put some code in your text, for instance in your PhD thesis. Using and the Listings environment is probably your best bet. Read the rest of this entry »