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

トゥート : 22243(+87)
フォロー : 67(+1)
フォロワー : 92(+1)

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

#donhaialert

#Worldle #109 5/6 (100%) 🙈
🟩🟩🟩🟨⬜⬇️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩⬜↘️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr

#市区町村 #ShiKuChoSon No.38 X/6 (99%)
🟩🟩🟩⬜⬜⬅️
🟩🟩🟩⬜⬜↗️
🟩🟩🟩⬜⬜↗️
🟩🟩🟩⬜⬜↙️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨↖️
https://shikuchoson.jp

久しぶりにtwitter for Android入れたら下に見慣れないボタンが

https://mobile.twitter.com/bibi_bib_/status/1523689359958241280
なんだこれ

まともな有線イヤホンを持ってないのでおすすめ募集

今日図書館の前の碑を見たら大震災で70万冊消失したとか書いてあって、(語彙力が足りない)

This account is not set to public on notestock.

イヤホン、飛行機のしか持ってない
usb接続とBluetooth接続のなら持ってる(usbはスマホ付属の)

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

値段を指定しなかったのもある(相場を知らない)けど、価格帯が千差万別なの面白い
こんなに幅があるのか

さすがに多く見積もって2万円未満ぐらい

予算2000円未満かな
ヘッドセットたちもそれくらいだし

そもそも音源って持ってるものなのか？
ローカルには15曲ぐらいしかない

あ😇

プリントヘッドクリーン繰り返したらだんだん出てくるようになってきた

This account is not set to public on notestock.

”人類の壮年期"

引用です

なんか簡単に答え出てしまって多分間違ってるけどこれ以上時間かけたくないので答えは見ない

寝坊仕掛けた
危ない

今日絶対睡眠足りてない

本当にmathematica
これ知ってからraspiの価値が上がった

This account is not set to public on notestock.

ちゃんと短歌検出できてる

最低限やらないといけないこと(⊂勉強)やれなくなってきたかもしれない

実数の拡張の話、terence taoの本が元ネタだった

簡単で拍子抜けしてるけど多分合ってるからさっさと清書して提出しよう

https://nekketsuuu.github.io/satysfi-my-soul/index.html

https://nekketsuuu.github.io/satysfi-my-soul/programming-module.html

exdesignにemphがなくて詰んでる

https://scrapbox.io/satysfi-memo/text-in-math
https://scrapbox.io/satysfi-memo/read-inline

何かが根本的に違うけどそれが何かわからない
とにかく型エラーが出てる

プリアンブルの最後にin入れたら解決しました()

https://www.satysfi-playground.tech/
言語として学びたいときこれ便利かもしれない

補集合のCがうまく書けなかった(大きすぎる)けど、沼るので止めた

latexは処理中にエラーの判定が出るけど、satysfiはまず型推論やるからエラーの時はすぐにエラーがでるのか
でもそもそもLanguage Serverが優秀すぎて処理しなくてもそのタイプのエラーは表示される

久しぶりにtikz使って数十分溶かした
時間ないんじゃなかったの?

latexのビルド、10秒はかかるからtikzで図を書くの本当に効率が悪い

% descriptionを使った課題見出し
\newcommand{\kadai}[2]{\begin{description}\item[#1]\quad #2\end{description}}

mastodonとmisskeyでハッシュタグの判定違うのか

そんなことよりれぽ