食べるのは一瞬
はかない

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

トゥート : 21021(+95)
フォロー : 64(0)
フォロワー : 88(+1)

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

#donhaialert

#市区町村 #ShiKuChoSon No.16 X/6 (99%)
🟩🟩⬜⬜⬜↙️
🟩🟩🟨⬜⬜➡️
🟩🟩🟩⬜⬜⬇️
🟩🟩🟩🟩🟨↘️
🟩🟩🟩🟩🟨↖️
🟩🟩🟩🟩🟨↘️
https://shikuchoson.jp

#Worldle #87 3/6 (100%) 🙈
🟩🟩🟩🟩⬜⬆️
🟩🟩🟩🟩🟨↖️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
理想的

🙈にしてから1発がなくなったので分布が微妙

最近時々Twitterでフォローしてる同じ学科の民があれな人達とレスバしてるの見て笑ってる

DMが見世物としてSlackに上げられてる

3km 5km自分もやった
そこでお手上げ

夢のうち悪夢の割合が増えるのか
絶対的に悪夢が増えるのか

睡眠薬、夢を見る頻度も変わりそうだけど(何の根拠もない)

夢自体月に2回ぐらいしか見てない
8,9時間寝て且つ二度寝とかの時に見るかも

raspberry piは最悪PCの第1バックアップになるのでデスクトップ環境ありで使おうと思う

その場やって実験ちょっと見て3時に寝るか

このアカウントは、notestockで公開設定になっていません。

私大、4分の1が慢性赤字　先端教育投資に足かせ : 日本経済新聞 https://www.nikkei.com/article/DGKKZO60080550Y2A410C2MM8000/

円安再考（下）迫る「債権取り崩し国」 : 日本経済新聞 https://www.nikkei.com/article/DGKKZO60080630Y2A410C2MM8000/

貿易赤字になる流れ、英とか米とかと確かに一緒か

このアカウントは、notestockで公開設定になっていません。

潰れればいいとは思う一方その分研究も衰退するのかな…とか思ってしまう(そういう大学の実情をあまり知らないけど)

高等教育に関しては供給過多なんだろうな

windowsでのlatexの環境構築もpythonの環境構築も特に詰まることなかったきが

そういえばFileHistoryは復旧できた
OneDriveはバックアップから外した

FFSでのバックアップもできるようになってまあまあ安定したはず

python使ってもなんか詰まらんのでJuliaを使ってみようと思う

SATySFiのこと結構忘れてしまったけど、jlreqはバージョンが合わないとかで使えなくてスタイルシートにはexdesignを使おうとしてたけど、exdesignもパッケージマネージャーを経由しないで使ってたはずなので、ローカルでexdesign含めテンプレ整備をしないといけない

日本語下手

嘘、日本語に限らない

いや、嘘ではない

ところでSATySFi 0.0.7は子の環境でも使えるのかな？

https://qiita.com/na4zagin3/items/a6e025c17ef991a4c923#アップデートアンインストール
のアップデートだとアップデートできなかった
0.0.5で止まってる

https://github.com/na4zagin3/satyrographos/blob/master/README-ja.md#satyrographos--satysfi%E7%89%88%E5%8F%B7%E5%AF%BE%E5%BF%9C%E8%A1%A8
satyrographosのアップデートとかOCamlとかをアップデートしないといけないのか

https://github.com/amutake/docker-satysfi
次のバージョンはdocker使おう
docker使ったことないけど

改めて聞くといい

csvのためにexcel開いてたけど拡張機能を入れればいいということに気づいた

おなすい

https://en.wikipedia.org/wiki/POVM

これわからん

安全のために履修外しておいた

自明だけどすべてのコマを埋める必要はない

昨日はwslのバックアップ関連のフォルダを整理して800GB以上空きが増えた

480GBだった
ファイル履歴に指定したら240GBくらいのサイズになってた
標準の.tar.gzなら17GB

驚異の電池持ち
そしてバッテリーが膨張してないおかげでタッチパッドの操作性も上がった

やっぱり前はFTで求めてたけどもっと原始的な方法でも求まるのか

結局スマホを初めて買ってもらったのもパソコンを初めて買ってもらったのも高3の末だった

スマホに関しては拒否してたのは自分だけど

関数電卓は本当にいい買い物だった
物理定数が入ってるのが最高

健康診断忘れてた

あ、年賀状

4月です

金銭感覚壊れるのが怖くて、ある意味金銭感覚壊れてる

ドケチです

へなへなリュックがある

このアカウントは、notestockで公開設定になっていません。

これ好き
> 私のことを指さして「お前は私ではない！」と言ってくるやつがおりますが、"私は断じて私である。"ということだけはここにはっきりと言っておきたい。

my workだけど

https://qiita.com/Yarimizu14/items/6a4bab703d67ea766ddc
forwardingなんてできるんだ

#SATySFiInstallBattle 始める

まずはDockerをインストールする
遅い

おなすい

生きてーーー 📣

なんかおかしと思ったけどこれwindows用だ
ubuntuのCUI専用でいい

ok

おそい

とりあえずできた？

おわった

dockerの使い方を知らなさすぎる
毎度
docker run --rm -v $(pwd):/satysfi amutake/satysfi satysfi demo.saty
って入力しないといけないのか

第2ラウンド：opam + satyrographosで0.0.7インストールしてる

まずはopamでOCaml 4.11.0をいれる

4.11.0でsatysfiのインストール中...

深刻なメモリ不足(6.9GB使ってる)

声帯をふるわせながら口笛して同時に2つの音を鳴らすやつ、自分以外にしてる人始めて見た

211/222

7.5GB使ってる

完!

出来た

いったんWSLをshutdownしてメモリを開放する

文字のサイズが違うからちょっと書き換えたらいけた