Programming

15 posts

Analysing Debian packages with Neo4j

I just finished the presentation at the Neo4j Online Meetup on getting the Debian UDD into a Neo4j graph database. Besides the usual technical quibbles it did work out quite well. The code for pulling the data from the UDD, as well as converting and importing it into Neo4j is available on Github Debian-Graph. The slides are also available on […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Fixing vim in Debian

I was wondering for quite some time why on my server vim behaves so stupid with respect to the mouse: Jumping around, copy and paste wasn’t possible the usual way. All this despite having set mouse= set mouse= in my /etc/vim/vimrc.local. Finally I found out why, thanks to bug #864074 and fixed it. The whole mess comes from the fact […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

ScalaFX: ListView with CellFactory

I had a bit hard time to get ScalaFX to display a list of items in a scrollable space, and each item can be clicked. I use this in TLCockpit to display the list of documentation files in a TeX Live package, and open it directly from the application. Unfortunately there is not a huge amount of examples using ScalaFX […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Scala: parse JSON into nested case classes

I was playing around with parsing JSON in Scala, and got spray-json as recommendation from my Senpai. My aim was parsing some nested structure like: { "key1" : "value1", "key2" : { "subkey1" : "subval1", "subkey2" : "subval2" } }{ "key1" : "value1", "key2" : { "subkey1" : "subval1", "subkey2" : "subval2" } } into a nested Scala case class: […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Software Development as mathematician in academia – everyone bites the dust

Is it possible to do software development, mathematical or not, as mathematician in academics? This is a question I was asking myself recently a lot, seeing my own development from logician at a state university getting rid of foreigners to software developer. And then, a friend pointed me to this very depressing document: The origins of SageMath by William Stein, […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Signal handling in R

Recently I have been programming quite a lot in R, and today stumbled over the problem to implement a kind of monitoring loop in R. Typically that would be a infinite loop with sleep calls, but I wanted to allow for waking up from the sleep via sending UNIX style signals, in particular SIGINT. After some searching I found Beyond […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Fixing packages for broken Gtk3

As mentioned on sunweaver’s blog Debian’s GTK-3+ v3.21 breaks Debian MATE 1.14, Gtk3 is breaking apps all around. But not only Mate, probably many other apps are broken, too, in particular Nemo (the file manager of Cinnamon desktop) has redraw issues (bug 836908), and regular crashes (bug 835043). I have prepared packages for mate-terminal and nemo built from the most […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

就職活動

昨日僕の大学の契約が切れてしまった。これまで6年半北陸先端科学技術大学院大学で准教授として務めていたが、新年度から延長されないことになった。従って、新しい勤め先を探しているー僕の年齢を見るとあまりよろしくない。5年の件を潜脱した先端大学へ感謝! 大学の関係の興味は研究と教育である。研究の分野は数学論理学、基礎情報学、形式論理など。最近カリー・ハワード同型対応をゲーデル論理とハイパーシーケント計算へ拡張の研究している。研究と教育について、詳細は「論理」から閲覧できる。 次の興味点はソフトウェア開発である。長年、オープンソース・プロジェクトの開発に積極的に携わってきた。多くのユーザーを抱える複数のソフトウェア開発に関与しており、その幅は学術的なものから産業に利用されている実用的なものに至るまで様々である。詳細は「software projects」から閲覧できる。 そのうえ、最近父親になったから、大学ならば、北陸地方で、ソフトウェア開発者として、リモートで働ける勤め先は一番いい。 誰かがいい提案があれば、是非教えてください。とりあえずハローワークと赤ちゃんとの生活を楽しんでいる。

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

How to rename a local OfflineIMAP managed folder

Since quite some time I am using OfflineIMAP to keep my mailbox status from various servers locally available on my machine. I did more or less follow the excellent guide A unix style mail setup, but didn’t use folder name translation right from the beginning. So I got stuck with four folders named INBOX: acc1/INBOX, acc2/INBOX, etc. This wouldn’t be […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

git bisect – bug hunting made easy

While developing the script to integrate , we found a strange discrepancy between different versions of GhostScript. With the Yu fonts as distributed with OSX, newer versions of GhostScript crash, while my relatively old version on Debian worked without a problem. The obvious solution: git bisect! Fortunately GhostScript is developed in a git repository, so I dived into a git […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Writing a nautilus-sendto extension for calling user defined scripts

Using nautilus-sendto extensions, the nautilus-sendto program allows sending selected objects to various targets, like mail programs, removable devices, bluetooth tools etc. Unfortunately it is not possible to easily add targets to this menu. There are other extensions of Nautilus, namely nautilus-scripts and nautilus-actions that extended Nautilus to user-defined scripts. Now, my favorite photo manager Shotwell, uses the nautilus-sendto program, and […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author