同じくらいだ
何故か知らないけどpowershellの初回起動が毎度遅い
あとしばらく時間たった後も遅い(補完とか)
bash (on WSL, on Raspberry Pi)はどっちも速いのに
そういうものなのか?
This account is not set to public on notestock.
This account is not set to public on notestock.
VS Codeで統合ターミナルを開くショートカットCtrl + @/Ctrl + Shift + @だけど英字配列だと@じゃなくて`のほうなんだろうなと思ったらそうだった
This account is not set to public on notestock.
先日友人と話した話
どこでもドアや通りぬけフープのある世界で物理的時空間の距離に基いた社会は存在しないだろうから少なくとも地球は1つの国家に統一されているに違いない
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.
現実だと距離が0ではない以上何らかの手段で境界を作れるけど、どこでもドア系の道具の場合、装置を含めたシステム全体で境界線を引く(例えば国家間の移動を禁止する機能)がないと話が変わってくる
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.
https://math.berkeley.edu/~vojta/tex/samp-l/boldgreek
bold greeks letters in LaTeX
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.
discord(PC)でs/ / を使ったら自分の前の投稿で置換できることは知ってたけど、前の投稿が自分の物でなかった場合、s/ / を送信すると何もポストできないことを知った
> どうやら世間はホワイトデーのようです。
>
> で、円周率といえば、やっぱり(バージョン番号的に)TeX ですね。
>
>というわけで、チョット SATySFi で円周率を 3 万桁ほど組版してみました。