昨日のマストドンの活動は

トゥート : 25705(+47)
フォロー : 75(+1)
フォロワー : 111(0)

でした。
https://donhaialert.herokuapp.com

#donhaialert

寝た

例文付きankiテンプレート作った

例文のフォントをserifにして文字も少し小さめにする

ornamentがomamentに見えた

こんな感じ

今日へ行かん速い

うかうかしてた

計画性のなさ

いきますいきます

かききゅうぎょう

termuxがそのままではjulia 使えない問題はraspiに入れることでとりあえずの対応

モニター修理しないとraspiのos 64bitにできない

できるか

https://github.com/tavmem/buddy/blob/master/a/i.c

VS Code、Sihft + Spaceのショートカットの挙動が上書きされてる
多分この前のアップデートのせいだ

うわあ

PostScriptサポートしてるんだ

.v はcoqだろ！