03:02:49

アメリカ室長

03:05:48

株くっそ落ちとる

04:15:05

@brsywe せやな

04:59:44

株落ちてるしテスラ行けるかと思ったけどまだ宇宙的恐怖でダメだった(PER600ってなんやねん)

08:27:32

なんか疲れてて仕事できん

08:30:46

倍数型、演算したあとの倍数判定が厳しそうだけど、チャーチ数で数値型を表現すれば四則演算くらいには耐えそうな気がするな

08:33:21

四則演算だけでいいなら有理数型 (number, number) を適当に管理する感じの型システムがあればできるか(TSではできんけど)

08:36:12

rational<1,2>とrational<2,4>は等値!!!(闇)

08:47:10

あずにゃんのうた

08:49:05

倍数型、ポインタの自力実装とかに便利そう(適当)

08:59:08

地震とかどこの

09:01:18

人がみな揺れている

11:20:47

最近Uber Eatsがめっちゃプッシュ通知送ってくるんだけど経営やばいのかな

11:23:09

今日の業はおわり!三連休!

15:04:28

あずにゃん

15:09:13

うーん、今本当に食べたいものではなかった気がするな

15:28:23

あずキャン

15:31:21

ゆるキャンあずキャンワズキャン

15:54:57

ワズキャンやりたい(いいえ)