Think Proof, Count Two

and look for a red shoe

Recent posts

Feb 14, 2020
Thunderbird + Enigmail を使ってメールを暗号化する GitHub/GitLab で commit に Verified マークを出したかったので GnuPG を導入しました. ついでなので Thunderbird で電子署名付き・暗号化したメールを独自ドメインのアドレスから送信できるよう…
Jan 31, 2020
straight.el でインストールしたパッケージの README を開く (ただし不完全) タイトルの通り,straight.el を用いてインストールした Emacs パッケージの README を (view-mode で) 開く関数を書いてみました. 元ネタはこちらのるびきちさん…
Dec 12, 2019
GitLab を利用して LaTeX 文書を作成する話 本記事は TeX & LaTeX advent calendar 2019 の 12 日目の記事です. 11 日目の記事は doraTeX さんの “TikZ でベン図をたくさん描いてみよう” でした. 13 日目の記事は mattskala さんの予…
Nov 9, 2019
My First Post with Hugo 静的サイトジェネレータである Hugo を利用して個人サイトを作成してみました. Hugo に関しては詳しいわけでもないですし,日本語でも様々な記事がありますの…