あすたーいずむ - Nostr Hypermedia

第一印象でしっかりした人だと思われる（思われに行ってしまう）のが私の常なんだけど、自己防衛機構が強く現れているだけなのでちょっと申し訳なくなる

教室が寒い

原文読まないとなんもわかんない感じだなあ

Agda 開発者の Anton Setzer も禅の瞑想してるらしい、どうなってるんだこの界隈は

内省（自己反省）の話に今やっていることとつながりを感じて嬉しくなった

やはり禅か……

Barendregt 禅やってるの

構成主義っぽいことを言っていたらしいイタリア学派の数学者 Federigo Enriques - Wikipedia

授業です

服なあ

こんな生活でいいのか……

5 時間半睡眠で起きて、これじゃ足りないと思って二度寝したら、11 時間睡眠してしまった

もう眠るべき

最近の自分は自意識が肥大化して閉鎖的になってしまっている気がする

一瞬 Damus を入れて消した

Bitwarden アカウント登録だけしてなにもしてないの思い出した

んごご

疲れた体にけいおん！！が沁みる

ひさびさにアニメでもみます

まあのんびりやろう