This account is not set to public on notestock.
もみあげの長い美少女の話ばかりしています
Avatar icon: [𝕏] CamemBellcheese
Header: [𝕏] generalcanon
各種フレコ:
beatmaniaIIDX(八段): 1751-5340
オンゲキ(15.8): 3067667719792
Arcaea(◆9): 433827474
This account is not set to public on notestock.
This account is not set to public on notestock.
あと fish はなんかエスシケで太字になってるところが特定の条件で背景色設定されるっぽくて、ターミナル側の背景色とか半透明設定と相性が悪いのをなんとかしたいけどなんとかならんもんかなあ
@orumin 最初それかなと思って fish_variables 消したりしてみたけど特に改善しなくて泣いていた(最近の VSCode 中途半端に統合ターミナルの状態保存してるっぽいのでそれのせいな気もしている)
今 dotfiles で困っていること第 1 位はね、普通のターミナルと VSCode の統合ターミナルでプロンプトの見た目が違うとかいう謎状態です
“This repository is currently unmaintained. For the time being (as of August, 2023)”
wbthomason/packer.nvim: A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config
https://github.com/wbthomason/packer.nvim
This account is not set to public on notestock.
NTP は 32bit 符号無しかと思いきや起点が 1900 年だから 70 年早くなってて結局同じ時期にオーバーフローするという……
2030 年代、旧暦が 2033 年、GPS が 2036 年、32bit unixtime が 2038 年に問題が起きるので厄 decade 感あるな
This account is not set to public on notestock.
イラレの円は本当は円じゃない(もしくは時空の裂け目について) - 遠近法ノート
https://n-yuji.hatenablog.jp/entry/20131017/p1
どちらかというとベジエ曲線に基く円は真円じゃないということが周知されたほうがいいと思ってる(ほぼ無視できる誤差ではあるけど)
「NAT」「NAT越え」「NATタイプ」ってなーに?
https://squid-ink-cafe.com/lag/lag-ready-05/
思いの外しっかりした解説でワロてる
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.
ステートマシンはステートとメカニズムを分離できたのがえらいポイントだけど、マシンとして機能する段階では結局ステートフルというか、本質的にはマシンはステートを持ってそう
Public SDK API、 Expressions Menu/Parameter の型定義とかもできれば入ってほしかったけど stable にはならないということなのかなあ
bright 版権枠といえばアマカミサマとエッビーナースデイなんですけど、Vtuber 関連楽曲は消えるやつと消えないやつがあって Hello, Morning (キズナアイ)とか透明声彩(YuNi)は消えた一方人類みなセンパイ!(アズリム)はずっと残ってる
アプデ周期だいたい 1 年そこらなんだけど
2018/07 初代
2019/08 SUMMER
2020/09 R.E.D.
2021/10 bright
2022/03 bright MEMORY
ときて 1 年半 bright MEMORY だから……
goo.gl とか youtu.be みたいなつもりなのか twitter.com もそのうちリダイレクトにするつもりなのかどっちなんだろう
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.