わしも若い頃はなんでも CLI でやるのがハッカーの嗜みみたいに思っていて Emacs は no window じゃったしメールの読み書きや何ならウェブブラウジングもターミナルからやっていたものじゃ･･･
(Codex をアプリからマウスでポチポチしながら)
もっと見る
herdr は codex と claude を併用する、みたいなユースケースでこそ便利そうだな。二つのエージェントの操作を統合できる
BABYMONSTER の Stuck In The Middle めちゃくちゃ良い曲、いまさらヘビーリピート
ABC464、本番出なかったけど解きました。
E は可換な冪等半群に対する二次元いもす法的な計算として解けて、面白かった
一台4万円もする高級品をわざわざ買ったんだから、その後もこのブランドを選んで良かったと思えるような品格を創り上げていって欲しい、それが顧客が望んでることだよ
もっと見る
SNS で公式が個客に近い距離感を出して親近感を醸成するみたいなの、もうみんな食傷気味っていう時代の空気をわかってない
HHKB の公式 X はもう何年も前から顧客との距離感を間違えててあんな感じで、正直ブランド価値落とすのに貢献してるとしか思えない
まあ、Haskell その他にある程度浸かると、型というものが思っていたよりもずっと色々なものを表現し、そこに意味と規則とプログラミング構造を与えているのだということに気がつく
それを知ってしまうと、型はただのコンパイラ向けのなにがしというかつての印象はどこかに消えてしまう
もっと見る
プログラムを意味の記述と考えてるのか操作の記述と捉えてるのかの宗教対立という気もする
どっちと考えてるかを自覚してない人も多いと思うけど
もっと見る
自分の価値観では「型はプログラムを構成する欠くことができない一部で、型によってプログラムが意味付けされる」ものだが、そうではない人にとっては「型はコンパイラーの機嫌を損ねないためのもの」で「AIにプログラムを生成させる上で邪魔になるなら型のない言語を使う」選択肢があるということか
もっと見る
