2024年8月12日 - @kPherox@pl.kpherox.devの投稿

23:22:42 kphrx @kPherox@pl.kpherox.dev

パターンマッチングが強力な言語を使う弊害

23:22:25 kphrx @kPherox@pl.kpherox.dev

2024-08-12 23:17:53 SyoBoNの投稿 syobon@fi.syobon.net

Rustのパターンマッチング気持ち良すぎてパターンマッチングのない言語書きたくなくなる

21:26:55 kphrx @kPherox@pl.kpherox.dev

商標の取り扱いに注意が必要な自由ソフトウェアライセンスだと純正以外で名乗ってるとまずい可能性はあるよなぁ、apache-2.0とかそんな制約あったっけと思って調べてたら言及することなく流してた

19:37:49 kphrx @kPherox@pl.kpherox.dev

2024-08-12 19:32:05 狐桜の投稿 kozakura@xn--vusz0j.art

このアカウントは、notestockで公開設定になっていません。

12:42:32 kphrx @kPherox@pl.kpherox.dev

also known as で循環させないように formerly known as でも循環させることはない

03:33:39 kphrx @kPherox@pl.kpherox.dev

光が1msで届く範囲に地球が設定されてないの、人間に都合が悪すぎるので「宇宙は人間のために作られている」なんて説は嘘

00:19:44 kphrx @kPherox@pl.kpherox.dev

イザナギプレートとかいう聞き馴染みないプレートの名前が出てきて何かと思ったら太古の昔に消滅してるやつだった。プレートって消滅するんだ

00:17:28 kphrx @kPherox@pl.kpherox.dev

%E4%B8%AD%E5%A4%AE%E6%A7%8B%E9%80%A0%E7%B7%9A

00:16:15 kphrx @kPherox@pl.kpherox.dev

この繋がり？

中央構造線断層帯（金剛山地東縁−伊予灘） | 地震本部
https://www.jishin.go.jp/regional_seismicity/rs_katsudanso/f081_083_085_086_089_chuo/

中央構造線断層帯（金剛山地東縁−伊予灘）

00:15:55 kphrx @kPherox@pl.kpherox.dev

2024-08-10 00:39:46 Đa Minh 加藤孝幸

の投稿 Tonbi_ko@mtdn.zenmai.org

地学に詳しい方に伺いたいのですが、この、和歌山と徳島に見られる谷状の地形は、海を隔てて繋がりのあるものなんでしょうか？それとも互いに関係はないものなんでしょうか？

2024年8月12日 - @kPherox@pl.kpherox.devの投稿 -