Think Proof, Count Two

and look for a red shoe

Recent posts

Mar 23, 2020
楽曲ファイルの管理・再生について — TL; DR 購入した CD を flac 形式でリッピングして，それを適当に管理する方法について以下のように方針を定めた： リッパーは X Lossless Decoder 形式は flac メタデータは(必要…
Mar 23, 2020
Ton Koopman, The Amsterdum Baroque Orchestra & Choir による Bach のカンタータ全集を買った — タイトルの通り，J.S. Bach のカンタータ全集(Ton Koopman 指揮，The Amsterdum Baroque Orchestra & Choir) を買った． 学部生の時分に買おうと思っていたのだけれど，いつの間にか…
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 に関しては詳しいわけでもないですし，日本語でも様々な記事がありますの…