Show newer

ソフトウェアの支配はデータの支配でもあるのだ、みたいなの、考えてみれば当然ではあるけどなかなか意識されていないところがある

不自由なソフトウェアがユーザーを支配してる話の記事、日本語での情報が少なくて希少価値あるのでリファクタリングしたい。
tojo.tokyo/freedom-for-yoursel

git のログを参照することで記事の変更履歴を参照するのいいアイデアだと思ったんだけどなー。

Show thread

org-mode から CommonMark に変わってファイル名が変わった影響で記事の変更履歴が git のログから確認できなくなってることに気づいた。こまったな。。。

環境が変わって朝早く起きて早めに出勤するようになったのでやっぱ、「意志の力」とか関係ないなーと思う。

外れ値になっちゃうと困るし、単一被験体法を流行らせていきたい。

似たような環境な晒されれば同じような行動をとるのはそりゃそうか。人が多様性を獲得したというよりかは環境が多様性を獲得したんかな。

世代で括られても困るというのはよく思う。集団に意識があるとでも思ってんのかって感じ。実際あるかもしれんけど。

多様性多様性だから、もはや世代で分別してなにが通りやすいかを考えること自体無意味かもしれん

ACL2 で定理を書くのは宣言的に証明探索器を書くようなものなのでただ定理を書けばいいわけではないというのは、とても大切。

15分くらい暇なんだけどそれくらいの時間だと ACL2 をやる気にならない。

プリパテ→private
なぜパにしてしまったのか

Show thread

最近プリパテが忙しくなってマストドンの浮上率激減してたな。引越し関連の対応が落ち着いてきたのでこれからは余裕ができるはず。

美容院よりも美容師の方が長生きする、

私が通ってる「美容師」、また美容院を引っ越したみたい。

プラスチック製容器包装について理解するのが鬼門だ。プラスチック製容器包装はプラゴミとは異なる概念として認識したほうが良い。

タクシーの料金に全く疑問を抱かない

就活のとき履歴書に運転免許書いてたけど絶対運転したくないので書かなくてもよかった説ある。

Show older
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!