09:42:57

さむすぎ

11:46:14

いくらPythonとはいえメタプログラミングできる言語で順序集合の比較演算を自動定義できないわけないだろと思って調べたところ、functools.total_orderingというのがあるらしい? docs.python.org/ja/3.13/librar

functools --- 高階関数と呼び出し可能オブジェクトの操作
11:58:08

演算子オーバーロードと順序の概念を切り離すムーブメント自体が関数型以外ではRust以前にほとんどない気がする

12:06:07 12:06:44

total_orderingのパフォーマンス問題、単にleqをeqとltの2つの呼び出しに分解するからベタ書きより遅いみたいなだけの話だと思うんだけど他になんかあるのかな

12:14:13

旅行用スーツケース買いな

12:18:36

格安スーツケースにダウンサス付けな

14:56:43

@teobot 日本の信号機の矢印は必ずしもProtected Turnではなく、対向車線が止まってないことも理論上あり得るってほんと?

14:57:39

@teobot アメリカの場合はどう?

14:58:30

@teobot アメリカのProtected Turnは法律で定められている?

14:59:12

@teobot たとえばテキサスではどう?

20:14:10

データ分析してたら思ったより時間かけてしまい、死

20:16:35

人生思った通りに進まなすぎる

21:38:37

台湾

21:44:27

今すぐヨドバシでスーツケースポチりな

21:47:32

なんかガンダムのネタバレを見た気がするけどガンダム知識0なのでノーダメ

21:49:33

見るつもりもないのでなんにせよノーダメです

21:50:29

エンドゲームからMCU見始めた勢としてもな

21:52:35

感度3000倍に耐える訓練!!??

21:55:12

陰茎要素どこ

21:56:23

マスってそういう意味あるの?

21:57:18
そぎぎ

じゃあ従業員自慰禁止じゃん

21:58:40

アウディ乗ってる人はお金持ちってマジ?

21:59:55

その語源しらないことあるんだ(今日のあるんだ)