シリコンスタジオなぁ

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

ﾌﾄﾞｰｻﾝ、電話はかけてくるのにメールはしないのね (留守電も入ってなかったので結局何の用事だったのかわからん)

回復した人が再び感染 中国 - Yahoo!ニュース
https://news.yahoo.co.jp/pickup/6351845

corrupted blood incident を感じずにはいられなかった

ぐぬぬん

自分のｳｪｯﾋﾞｻｲﾄ用の static site generator を作ろうという気力があるんだけど、設計以前に目標が定まらないので困っている

* ファイル生成を目標にする
* パスごとではなく Accept-Language とかのクエリ基準でリソースを生成できるようにする
* static site にするのを諦める

HTTP におけるリソース要求が、パスのみでリソース要求が完全になる通常のファイルシステムと異なるというのは周知の事実だけど、私はむしろ前者の方をどうにか静的に記述・生成する方法ないかなというお気持ちがあるのよね

WebBundle https://github.com/WICG/webpackage とかはむしろそういう風にパスだけでなくリソース要求を連想配列にしているし、そういうのの生成を目指してみたい気がしている

cf.
WebBundle によるコンテンツの結合と WebPackaging | blog.jxck.io
https://blog.jxck.io/entries/2019-11-12/webbundle.html

うーん…… WebBundle を Rust から吐けるといいんだけど……そこの実装から始めるか？

webbundle - crates.io: Rust Package Registry
https://crates.io/crates/webbundle

おっ！！！！

うーん……素朴だけど物足りないというか、好みにドンピシャじゃないな……

https://mastodon.cardina1.red/@lo48576/103697790135046199

static site にするのを諦めるのが楽な気がしてきた。
たとえば oEmbed しようとするだけで既に static site にできないし……

一度 static site 化を諦めて作ってみるか。
いい感じに工夫すれば後からクロールしてファイル化みたいなこともできるでしょたぶん (適当)

接点復活剤で社会との接点は

？

「世界」の指す範囲はどこまでなのか問題

異世界の人の「世界」は我々と別の意味かもしれないし (トートロジー風)、あるいは他の宇宙や時空が認識されるに至ったとき「世界」は拡張されるのか旧宇宙の範囲に留まるのか

こういう「実は多義的だが、偶然にも今この瞬間には外延的に一致しているとされているためそれが意識されない」みたいな現象に名前はないのかな

そういう言葉、現実という前提を少し弄って異なる過程にすると簡単に破綻するし、ややもするとトートロジーくさくなってしまうので困る (「異世界は『世界』なのか」とか)

いろいろ考えて、とりあえず pure Rust で (できれば) embedded な KVS が欲しいという感じになった
論理明日にでも探してみよう (TiKV は知ってるけど、他にもありそう)

いやさすがにひどい……

https://twitter.com/yoh2_sdj/status/1231081222211657729

miu200521358/vmd_sizing: vmd(MMDモーションデータ)を、指定されたモデルに適用したサイズで再生成します。
https://github.com/miu200521358/vmd_sizing

> 禁止事項
>
> 生成したモーションに関して、以下の行為はご遠慮願います

これ矛盾してません？
こういう追加の「禁止事項」を GPL3 では入れてはいけないのでは

おまたせ
いつもの
親の顔より見た MMD 界隈ライセンスガバガバ問題

や、だから何なのかというとですね、これを台湾の人が fork してたんだけど GPL3 な時点で README を読むまでもなく「禁止事項」のような項目は有効でありえないし、無視されたとして文句言っても一蹴されそうだなと

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

ブラジルって総理大臣なの？大統領制だったりしない？ (知らんけど)

https://mastodon.cardina1.red/@lo48576/103700860265698824

こういう事例、よく後から引っ張りたくなるので #MMD界隈 タグを使うことにしました
各位よろしくお願いします (?)

https://mastodon.cardina1.red/@lo48576/99523799035584869

#MMD界隈

https://mastodon.cardina1.red/@lo48576/99364197363460534

#MMD界隈

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

これすき

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

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

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

プロプライエタリソフトウェアでよく見る構図じゃん (完璧とは言ってない)

https://twitter.com/epinesis/status/1231042930518847488

> アニメ『けものフレンズ』が人々の絶滅動物への関心を高め、保全活動を推進させているという調査結果を東京大学の研究チームらが2019年に明らかにした。この研究によると、アニメで人気のキャラクターの動物は、より寄付が多くなる傾向がみられたという。

アニメ『けものフレンズ』が絶滅動物の保全に大きく貢献していることが統計調査で明らかになる │ エピネシス
https://epinesis.net/archives/kemono-friends-2837.html

どこかで「目が大きな動物の方が愛されやすいので寄付や認知度に差が出る」みたいな話があったんだけど (ソース出せない)、擬人化によってその差異をなくせる (あるいはコントロールできる) とすればかなり有用度が高そう

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

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

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

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

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

OSS にパッチ書いてて手癖でフォーマッタ適用したとき変更箇所以外で大量の差分が出ると萎える
(私は徳が高いので git add -p で頑張る)

まあインデント文字数レベルで書き変わるともはや「パッチ書くのやめよ」と思いますが (最近あった)

Rust ならフォーマッタは事実上 rustfmt が標準だし、特殊なルールを使うなら .rustfmt.toml を置いといてほしい

【覚えるコツ】元素118の覚え方 part 1【お教えします】 - YouTube
https://www.youtube.com/watch?v=xg0CELBpi9o

英語圏だと Happy Henry Likes Beer, But Could Not Obtain Food という語呂合わせがあるそうなんだけど、日本語の語呂合わせの密度めっちゃ高いなぁ

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

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

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

https://pawoo.net/@kinoking/103700423100009164

「トイレで用を足しても手を洗わない」も追加で

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

いっそのこと自然言語を捨て去って形式的意味論を最初にやるとかどうだろう (半分本気)

自然言語がクソというのはマジなので形式言語の方が簡単ではという疑惑があり、形式言語のなかでも特に簡単なものから始めるとか…… (さしあたっては古典論理から？)

古典論理やって証明木書ければ公理的意味論はわかるだろうし、あとはこれでループつらいよね〜と言いながら操作的意味論へ誘導していけば…… (?)

まあ、うん、無理でしょうね……

半分冗談はさておき、「プログラミングをやるならそこそこ早い段階で意味論の概念に触れろ」は100%本気で思っている

プログラミング言語の核は文法と意味論であって、どちらも (定義されていれば) 形式的に書けることなので、その最後の砦たる形式的表示をスルーして自然言語であれこれ悩むのはアホくさい

公理的意味論から進みやすいのは表示的意味論な気がするんだけど、それだと遠回りが過ぎる……？ (いろいろな意味で “実用” しやすいのは操作的意味論なので)

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

ソースコードが復活の呪文……継続を完全に理解した学生だ (???)

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

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

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

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

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

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

これ、結局概念の「意味」を記号化するために「文法」があって……みたいな層構造が見えてないから理解が進まないのかなみたいな気持ちがなくもない

https://mstdn.nere9.help/@osapon/103702105534717467

ゲーム中での動作 (「右に歩く」とか) を実現するために、それと本質的には関係がないが約束として関連付けされた現実での動作 (「十字キーの右を押す」とか) をする

プログラム中での動作 (「i に1を足す」とか) を実現するために、それと本質的には関係がないが約束として関連付けされた記号列 (「i += 1;」とか) を書く

確かに構図としては近い

ワーキングメモリの少なさには私も苦しんでいる

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

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

やっぱり「状態機械の状態を変更している」という意識がないのがトレースを確認したくならない根本的な原因の気がするし、やはり意味論……

シンプルなアセンブリ言語 (CASL2 とか brainf*ck とか) はその点極めて教育的であるといえる (が、実用的なプログラムを書くために必要な経験値は高い)

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

合理的選択……アルファ人生……初手自殺最適解……

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

https://mstdn.maud.io/@tumayouzi/103702152575159705

~flag ではなく !flag を使うべき、それはまあそう

always evaluates to 'true' というのが何なんだろう……

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

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

そもそもリリースビルドで -Werror みたいなことするのは避けるべきなので、ビルドスクリプトが悪いという面はある

あーそうかwwww

コンパイラのバージョンが変わったら唐突にエラーになるとか、駄目でしょ

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

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

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

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

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

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

ちょっと嘘っぽさがあるので消した (ソースがない)

ピーカイブはもちろんジョークです

pixiv（ピクシブ）の由来 - 元ネタ・由来を解説するサイト 「タネタン」
https://moto-neta.com/webservice/pixiv%EF%BC%88%E3%83%94%E3%82%AF%E3%82%B7%E3%83%96%EF%BC%89/

> pixivの由来は「pixel（ピクセル）」。
> (中略)
> 「pixel」→「pixiv」になったのは言葉の響きが良かったから。

……とあるけど、これもソースが不明なので信憑性はない

軽希土博士
重希土博士

#適当

ずっと Pixiv の由来は Picture + arXiv だと信じて疑わなかったんだけど、わからなくなってきた

ごめんなさい

意味と由来は別物なので

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

実はよく知られた説だったのか……？ (今日初めて聞いた mixi 由来説)

VRoid Studio 利用規約
https://vroid.com/studio/term/

> 本サービスを利用して作成された作品の著作権その他一切の権利は、当該作品を創作したユーザーに帰属します。

すげえ！！！！！

わかってらっしゃる！！！

gnuplot も固有名詞で語頭小文字だ

しゅごい

まあそれが普通よね…… (特に声については生体情報でもあるので)

https://mastodon.cardina1.red/@lo48576/103702769719607575

私が VRoid Studio の利用規約に驚いたのもその辺りで、これベースになってるモデルとかテクスチャみたいなのの権利関係が生成後モデルに引き継がれないのかなり思い切った判断だなと

https://twitter.com/fetburner/status/1230733181784952835 #tw #これすき #potd

昔楽器やってたんだけど、楽譜リアルタイムで読めないけど音感だけはあるので、解読して全部頭に叩き込んでから演奏してた

五線譜もピアノロールも目が滑るという点では私にとって似たようなものですね……

変位記号がないぶんピアノロールの方が楽っちゃ楽だけど、より目が滑る……