雑記

TL;DR 多分 Twitter/X にはほとんど居ないよ 自前の Mastodon インタンスを立てたので、多分そっちにいるよ OSS は良いぞ 👓 明けましておめでとうございます。2023年は技術寄

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

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

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

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

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