Yoshiya@kt3kDec 8, 2024

ひっそりと bluesky プロフィールの興味のあるものリストから Rust を消した。

やっぱり自分の作りたいものに対して必要な言語ではない感じがする。


Yoshiya@kt3kDec 6, 2024

functor って一見すると奇妙な概念のように見えるけど、実はあらゆる射(morphism)の一般化になっているので、実はとても自然な概念らしい




Yoshiya@kt3kNov 29, 2024

Introduction to higher order categorical logic を再度読み始めたけど、2ページ目の deductive system の定義で躓いてしまった。graph に indentity morphism と morphism の composition (合成)が定義されただけのものを deductive system と呼ぶとしているのだけど、これのどのあたりが deductive system っぽいのかが分からない。点々と矢印に合成定義したやつ、みたいな名前をつければ良いのにわざわざ比喩的に deductive system って名前を持ってくる意味が分からない。しかも、この定義だと morphism の合成の結合法則が成り立つ事が仮定されて居なくて(結合法則が入ると category の定義になる)射の合成が結合的でないような deductive system で考えて意味があるようなものがあるのかどうかも良くわからないし、そういう例が特に提示されないまま話が進んでいるように見える。


Yoshiya@kt3kNov 20, 2024

Interestingly I sometimes need to swim in mud. Probably that is because this world is made of mud, and I basically need to live in mud in my entire life.


Yoshiya@kt3kNov 11, 2024

Next.js App Router 以前にその元ネタになった Remix もそもそも流行っていなくて、Shopify はそれを認識して Remix という看板はもうその名前に値しないという判断をして終了を宣言したけど、Next.js は意地になってるのか、間違いを認めずに App Router のままで突っ込もうとしている。

既存の momentum があるので1、2年は大丈夫だろうけど、このままブレーキをかけ続けると3年後くらいに危ない気がする。


Yoshiya@kt3kNov 11, 2024

Next.js、もう大方のユーザーは離れて行っているように見えるけど、そもそものサーバーヘビーにするっていう方向性が間違っているという判断を Vercel の中の誰もできていない状態になっているのが結構ヤバイ気がする。


Yoshiya@kt3kNov 9, 2024

There are 2 monoids of order 2.

One is the cyclic group ℤ/2ℤ. The other one is monoid with ({true, false}, &), which I think probably should be named "boolean monoid"


Yoshiya@kt3kNov 9, 2024

What you did is unimportant to you. What you plan to do is unimportant to you. What you see today is very important to you today and tomorrow. Control and organize what you see today.


Yoshiya@kt3kNov 3, 2024

It's sometimes fun to swim in some mud in the world, but ultimately you cannot be in the mud forever. You can't follow or pursue the mud eternally as they ultimately have no value in themselves. Your desire to any kinds of mud eventually becomes weaker and weaker as you get tired of them, and that time will definitely come as mud is mud. It is not diamonds or gold.


Yoshiya@kt3kNov 3, 2024

Money is ultimately a mud in the world, which is important for living comfortably in this world, but has no value in mathematical reality.


Yoshiya@kt3kNov 3, 2024

Mud

Everything which isn't derived from mathematical axioms is mud in the real world, which isn't supposed to be perfect, and which only exists between some rules and some unknown randomness.

Mathematics is the only human activity which is above the real world, and which is truly perfect in itself.



Yoshiya@kt3kOct 24, 2024

テストをどうやって書くか分かっているような領域 (例えば Web Backend) なんかはもうある意味ソフトウェア開発のフロンティアではないかもししれない。テストをどうやって書くのかが分からないような領域は多分ソフトウェア開発のフロンティアなんじゃないかと思う。




Yoshiya@kt3kOct 22, 2024

海外移住に限らず、もっと一般的に「環境を変えること」がゴールになってる行動は大体間違っていると考える傾向が自分にはあって、だから、環境を変えるために時間をかける事をなるべくやらないようにしている。

環境を変えるよりも、環境に自分が慣れる方が効率が良いと思っていて、だから開発環境カスタマイズをできる限りやらないようにしていたり、自分の意思決定がなるべく環境に依存しないように心がけている。


Yoshiya@kt3kOct 22, 2024

海外で何かするがゴールになっている行動が好きじゃないんだよなぁ。海外に行くだけでは何も解決しないし、めちゃくちゃしょうもないパターンの海外渡航がいくらでもある。

国内で成功して海外に招待されるのは凄いけど、そこに至るまでには海外渡航はそこまで大事なステップではないし、むしろ国内でしっかり頑張ったほうがそこへ向かって着実に進んでいる。


Yoshiya@kt3kOct 1, 2024

「このドメインモデル要らないじゃん。代わりにこういう定義を使ったらもっと上手くいく」みたいな事を思いついてすぐに実行できる環境がプログラミングしていて一番面白い。

仕事のプログラミングだと、そういう判断をする事が難しい。何故ならドメインモデルの変更には関係者の同意や説得が必要になるため、そのコストがとても大きくなる。

ドメインモデルの組み換えによるソフトウェアの進化がある意味で一番本質的なソフトウェアの進化で、その体験は趣味プロでしか体験する事は難しい。