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 に関しては詳しいわけでもないですし，日本語でも様々な記事がありますの…