昨日のマストドンの活動は
トゥート : 23540(+11)
フォロー : 70(0)
フォロワー : 99(0)
#Worldle #142 3/6 (100%) 🙈
🟩🟩🟩🟩⬜↖️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
#市区町村 #ShiKuChoSon No.71 X/6 (99%)
🟩🟩🟨⬜⬜⬅️
🟩🟩🟩⬜⬜↗️
🟩🟩🟩⬜⬜⬇️
🟩🟩🟩⬜⬜⬆️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟨↘️
https://shikuchoson.jp
回路図をせっせとdraw.ioで書いてたけど、テキストのpdfからコピーすればいいじゃん
circuitikzがうんたらの記述に惑わされた
This account is not set to public on notestock.
どうせグラフはpdfで埋め込んでるから拡大してみてくれと思う気持ちと、紙面での閲覧も考えておくかと思う気持ちと
This account is not set to public on notestock.
いつの間にかFileHistoryのconfigが書き換わってたけど何が変わったのかさっぱりわからない
win + sc(41)といわれてもわからない
fancy zonesのwin + @とかぶってた
usだとwin + `になるのか
windows terminalでwin + 半角/全角を押すと@が入力されるのなんでだろう
win + 1でアクセスしてるからquakeを使う機会はなさそう
少し重そうだし
今のフォント、日本語が混ざるとカーソルの位置がずれすぎて特にnvimだとまともに使えないから変えようかな
This account is not set to public on notestock.
どうでもいい知識: 地熱の半分は地球形成時のエネルギー(鉄とかのポテンシャルエネルギー)
残り半分は核分裂
subsubsectionの番号をsubsectionと同じにしてたので
2
2.1
2.1.1
2.1.1
2.2
2.2.2
2.2.2
2.2.2
みたいなことになってた
firefox画面分割できないのなんでだろう
nightlyもfocusもできるのに
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.
This account is not set to public on notestock.
This account is not set to public on notestock.
texの数式はインデントとかしない
数式の可読性はないけど改行しすぎて文書全体の可読性が損なわれるのは嫌(インラインでいきなり改行とか)
[useless tips]
トークンの都合で\frac12は\frac{1}{2}と等価
KaTeXでも再現されてる
SATySFiでは再現されない
シャープペンシルのグリップの加水分解が進んだのか今日は中から液体が漏れ出てきてもうだめだと思って新しいの買った
売ってたのが2色しかなかく、両方とも持ってる色だったから色は前と同じ
消しゴムも買った。モノの50円のやつだけどタフらしい消しゴムを買ってみた。いつも一度はちぎれるのでもしちぎれないなら精神衛生に良い
This account is not set to public on notestock.
デジタル回路の電源低下で起こった問題遭遇したことある
60列くらいのブレッドボード4つくらいに直列で電源供給したら起きた
PowerPoint だけど古すぎて開けなかった
今はpdf版が配布されてる
Wasabeep_music@misskey.io
This account is not set to public on notestock.
This account is not set to public on notestock.
グラフがきれいにできるとテンションがあがる
#Worldle #146 2/6 (100%) 🙈
🟩🟩🟩🟩⬜↙️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
#市区町村 #ShiKuChoSon No.75 3/6 (100%)
🟩🟩🟨⬜⬜↙️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟩💮
https://shikuchoson.jp
NiMH電池、たしかに電圧低いな (満充電で1.395Vだった)
スタイラスペンの接続がよく切れるのはなんでだろう
??? -> CAN -> AMS -> STR
ZWS --> QPP --> ZMB --> ZGH --> XEV
CANは待ちが長かったうえに審査も長くてさらに蒸し暑くて大変だった記憶
あとは工作員(staff)
論理的に並べられた命題群を理解するためにその順番通りに理解することは十分ではないとか今更そんな気がしている
This account is not set to public on notestock.
forでplot!()重ね書きしても何も表示されないけどそのあとにplot!()すると全部表示される
この時点でSpecialFunctions使ってるならそのままプロットすればいいことに気づいた
Azure 🐣
AWS@fedibird.com
This account is not set to public on notestock.
>BT 開発者向けオプション→最小幅(dp)で表示サイズ最小より下げたうえでFirefox Beta/Nightlyでlayout.css.devPixelsPerPxを弄ってさらに表示小さくするまでやるでしょ
やらない？そう…
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.
This account is not set to public on notestock.
DVI (DeVice-Independent file format)はドライバ依存
This account is not set to public on notestock.
This account is not set to public on notestock.
Coq以外あるんだ(OCamlでかかれたHOL)
https://www.cl.cam.ac.uk/~jrh13/hol-light/index.html
https://github.com/gilith/hol-light
Kepler conjectureの形式的証明に使われたらしい
https://www.cambridge.org/core/journals/forum-of-mathematics-pi/article/formal-proof-of-the-kepler-conjecture/78FBD5E1A3D1BCCB8E0D5B0C463C9FBC
https://docs.ankiweb.net/platform/windows/installing.html#qt5-vs-qt6
Qt 5 -> Qt 6になったらしい(Qt 5バージョンもある)
wingetでアップグレードしたからわからなかった
This account is not set to public on notestock.
https://docs.ankiweb.net/math.html#packages
Anki latexのpreambleも編集できるからTikZお絵かきできるらしい
https://rs.luminousspice.com/anki-latex-guide/#i-4
This account is not set to public on notestock.
私の記録は26桁でした。（TIME:14秒） #円周率チャレンジ http://altarf.xyz/pi2/
#Worldle #148 X/6 (95%) 🙈
🟩🟩🟩🟨⬜⬇️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨↘️
https://worldle.teuteuf.fr
#市区町村 #ShiKuChoSon No.77 X/6 (94%)
🟩🟩⬜⬜⬜⬆️
🟩🟩🟩⬜⬜⬆️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨⬇️
https://shikuchoson.jp
2020/6か7ぐらいにインストールして2021/10まで全然使ってなかった
