雑記

どうせブログ記事を書くなら読みやすい文章を書きたい、自然言語を書くときにもlintが欲しい、ということでtextlintを使ってみることにし

明けましておめでとうございます。2021年になったので、2020年に使い始めたツールを晒してみます。 Brave BraveはAd Block機能がデフォ

これまで割と長い間このブログはBloggerで運営していましたが、この度Hugoを使って GitHub Papes に移行しました。移行の理由ですが、特に Blogger 側の状況

2019年になったので、2018年に使い始めたツールを晒してみます。 (この記事は以下のtweetから始まるスレッドの内容をまとめ直したもので

最近 (と言っても結構前からほそぼそと使っていましたが) ノートや簡単なレポートやこのブログを書く環境にevernoteを組み込んでみたので書い