Programming

10 posts

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