Recent Posts all posts

[]BeSuspiciousOfSuccess (Review of "Modeling Adversaries with TLA+")

posted in TLA+

Tue 14 May 2019

Include TLA+ in LyX documents and export it pretty-printed to PDF

posted in TLA+

Mon 15 August 2016

Forcefully re-resolve a stale PDE target definition

posted in eclipse

Mon 02 March 2015

Cross-compile kernel module (ext2) for Samsung nx300 on Ubuntu 14.04

posted in hacks

Mon 09 June 2014

Auto backup files from the Samsung NX300 camera in the background

posted in hacks

Sat 07 June 2014

SWTError: No more handles [gtk_init_check() failed] running platform tests (on Linux)

posted in eclipse

Thu 19 December 2013

Apache Felix HTTP whiteboard pattern on Equinox

posted in eclipse

Wed 11 December 2013

Real word scale greenhouse (temperature)

posted in eclipse

Fri 29 November 2013

Quick'n'dirty twitter2xmbc hack to show #tatort related tweets on Sunday night

posted in hacks

Wed 27 November 2013

Save the date - Hamburg Eclipse /ˈhakəθɒn/ - November 22. 2013

posted in eclipse

Mon 04 November 2013