-
Python の静的型検査器の mypy を使うと，型ヒントを記述したプログラムを簡単に静的に型検査を行うことが出来ます．しかし，予想外のところで型エラーが出たときなど，なぜそのようなエラーが出たのか…
-
OCaml の未使用変数の警告について
OCaml において，以下のような場合は未使用変数の警告が出ますが， $ ocaml OCaml version 4.04.0 # let x = 1 in 1;; Warning 26: unuse…
-
株式会社Unimapを退職しました
4/28 をもって株式会社Unimapを退職しました．Unimap は京大マップというサービスの開発・運営を主たる目的として設立された会社 (いわゆるスタートアップ) で，2014年2月に @mori…
-
MacBook Pro のキーボードとトラックパッドが使えなくなったので修理に出した話
MacBook Pro (Retina, 13-inch, Early 2015) のキーボードとトラックパッドが反応しなくなり，Apple に修理に出したら直った際の話をまとめます．
-
TeX ドキュメントの作成過程を GIF アニメに変換する
Git でバージョン管理された $latex \TeX$ ドキュメントの作成過程を GIF アニメーションに変換するシェルスクリプト tex-to-gif を作成しました. この記事では tex-to…
-
Docker Compose でカーネルパラメータを設定する
2016年7月にリリースされた Docker 1.12.0 から docker run –sysctl net.core.somaxconn=65535 などとすることによって, コンテナ内のカーネ…
-
CircleCI で LaTeX 原稿の CI を実現する
$latex \LaTeX$ を使って論文等の原稿を書いている際に, 複数人で同時に編集したり, ファイルをコミットし忘れたりした結果, 原稿がきちんとコンパイルできなくなることがあります. この記事…
-
Debian 9 stretch では aufs をデフォルトで利用できない
aufs は union mount を実現するファイルシステムの一つで, Docker が利用しているファイルシステムの一つです. 2017年にリリースされれる可能性が高い Debian 9 st…
-
WSGI ミドルウェアとして使えるラインプロファイラを作った話
この記事は CAMPHOR- Advent Calendar 2016 の1日目の記事です. Python の WSGI ミドルウェアとして使えるラインプロファイラ wsgi_lineprof を作成…
-
dein.vim を用いて Merlin を遅延読み込みする
Merlin は OCaml のための Vim や Emacs から利用可能な補完機能を提供しています. デフォルトの Vim プラグインのインストール方法では, Vim の起動速度に悪影響を与えるた…