04:28:38

cheesesteak

04:41:56

再帰だと関数のcontractをしっかり定義してると思われがちだが破滅してる再帰を書く奴はいるし、imperativeなループだからといって本体のcontractが破滅してるケースはそこまで多くはない

04:43:02

破滅してるロジックを書く奴はどう書いてもアなので人を信じたり信じなかったりしろ

04:50:38

寝れない夜はFactorio

06:12:57

物と物が線で結ばれてる図が全部Factorioに見える

13:34:32

あずにゃん

13:38:21

めっちゃうまい

13:46:00

リゾット1合炊いて半分食べて残りは明日にする予定だったけど、あまりにうまいので明日の分も食べてしまった

13:46:37

ワイワイ

13:47:04

ついけしを見た

13:58:38

米、半合だと物足りないが1合食べるとそこそこ苦しいので生きるのは難しい

14:00:26

¾合食べると中途半端に余るだろ

14:01:51

1日に玄米4合

16:49:21

普通の集合で成り立つ性質を積集合に拡張すると当たり前に成り立ちそうなのに途端に面倒な証明が始まる問題

16:53:11

積集合になると途端にやばくなるのは何故なのかいまいち感覚が掴めてない

16:54:04

まあやばいってほどやばくはないですが……(言語能力の欠如)

16:57:51

勤務時間がなくなる方が1000000000000倍大事なんだよな