Tagged: Programming


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


TeX Live Manager: JSON output

With the development of TLCockpit continuing, I found the need for and easy exchange format between the TeX Live Manager tlmgr and frontend programs like TLCockpit. Thus, I have implemented JSON output for the...


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


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" :...


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


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



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


Searching for a job

Yesterday my contract with my university JAIST ended. I was working there as Associate Professor for 6.5 years, but the university decided not to extend my contract (financial problems, foreigner in Japan). That means,...


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