カテゴリー: ソフトウェア
-
mypy の reveal_type で型情報をデバッグする
Python の静的型検査器の mypy を使うと，型ヒントを記述したプログラムを簡単に静的に型検査を行うことが出来ます．しかし，予想外のところで型エラーが出たときなど，なぜそのようなエラーが出たのか…
-
OCaml の未使用変数の警告について
OCaml において，以下のような場合は未使用変数の警告が出ますが， $ ocaml OCaml version 4.04.0 # let x = 1 in 1;; Warning 26: unuse…
-
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 の起動速度に悪影響を与えるた…
-
fluent-plugin-bigquery v0.3.x で遭遇したエラーについて
fluent-plugin-bigquery を v0.2.x から v0.3.x にアップデートしたところ, insert errors insert_errors=”[#<Google::A…
-
Homebrew のリポジトリを GC してサイズを削減する
Homebrew のリポジトリで GC を実行して, リポジトリのサイズを削減できるサブコマンド brew git-gc を作成しました.