Timeline for it list by senooken, page 18

音楽たまに聞いているけど、Pulse 使うのが当たり前になりすぎて外す発想からしてなかったやつ。

全く知らなかった。

ハイレゾ音源が聞けるか!?Ubuntu(Lubuntu)でPulseAudioの音質が良くなるかも知れない設定をしてみた。他のLinuxディストリでも - あれこれ備忘録@はてなブログ
https://arekorebibouroku.hateblo.jp/entry/2017/08/23/191754

ALSA から流した方が音質がいいのかな。これ気にしたことがなかったやつだ。

おはようございます。

3時間57分しか眠れてなくて草。
二度寝した方がいいパターンじゃん。

目覚めた。

今やんないといけないやつちゃんとやって、残りは ACL2 の教科書読むのやる。

これ Twitter じゃまず言わないやつだからなんか随伴性が違うんだよなあ。

別にめでたい感じしないし私一人であればまず「おめでとうございます」とは言わないよな。他の人が言って始めてめでたいらしいことに気づくやつ。

新卒した人に対して「おめでとうございます」じゃなくて「お悔やみ申しあげます」と言いかけるの、いつか実際に言いそうで怖いところがある。

そういやなんでマストドンの比較対象ってだいたい Twitter なんだろう。

まあ、なんか Twitter はよくわからんけどイーロンマスクに買収されてなんかよく分からん感じになりそうだし縁を切るのは良い機会だろうな。

最初のきっかけはなんも関係なかったわけだが、最初に始めるきっかけと行動が持続する原因が同じとは限らないっていうのは結構重要なやつだ。

正直人様のインスタンスで行動の原因がああだこうだとかとても言えないんで自分でインスタンスを建てて維持してる感じはある。

自由ソフトウェアとか行動主義を広める活動はまあ Twitter でやった方がそりゃあいいだろうけど、ぶっちゃけ頑張ったところで消耗するだけな気がするし、少なくとも私はいま消耗すべきではない。

2ヶ月後に Twitter のアカウントを消すタスクを入れとくか。そのときになんか惜しいような気持ちになったら消すのやめよ。

だいたい、マストドンを使ってて、自分が Twitter で自発する投稿ってロクなものないから Twitter アカウントを段階的に廃止していくことにした。
今なんかおかしくなってるだけかもしれないので、Twitter のアカウント消す〜みたいな極端なことはせずに、とりあえず鍵アカにしてしばらくして問題なければ消そうかと思ってる。

いま、簿記システムをACL2で作れたら面白いかもしれないとか思ってる。

まー、これって結局のところ親が個人事業主だったから分かるっていうだけなんかもしれんなあ。結局は縁起だよ。どうしようもない。

消費税が負担をかけている先が主に事業者側だっていう話は、個人的な感覚として行動科学の話とか自由ソフトウェアの話とかよりもずっと簡単なことな気がしていて、それが無理だってことになると後者の二つは相当に絶望的なんじゃないかって思ってしまう。

これは意味のない一般化をしているだけでそんなに悲観する話じゃないのかもしれないけど。