This account is not set to public on notestock.

おめでとうございます

うわ日付変わっとるやんけ

デートとチートは字面が似ているので異世界デートで何か読みたい (書くとは言わない)

異世界セマフォの話は……

追放モノ、今の流行ですね (むしろこれから収束するレベルで流行)

https://mstdn.maud.io/@pikepikeid/102236621003864197
これいただき (???)

異世界セマフォ
https://ncode.syosetu.com/n4307ew/

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.

DIV/0 から始める異世界生活

地雷チートだと『ありふれた職業で世界最強』が次の夏アニメですね

ありふれた職業で世界最強
https://ncode.syosetu.com/n8611bv/
2013年11月開始か、結構昔の作品ね……

【ありふれた職業で世界最強】番宣CM30秒　[ARIFURETA CM　7/8 on Air!] - YouTube
https://www.youtube.com/watch?v=pWHdQ3u1NQw

(OP 曲が謎のアイドルみたいなのじゃなくてちゃんとかっこよくて期待できる)

追放系の男の子を苛めるお姉さんの音声作品をな (???)

？？？

㊰だよ

なろうの流行、乗ろうと思って乗るものでもなくて、ランキングを漁ってると自然と傾向が出てくるのでそれを読むと自然と文脈が共有される

スローライフ系も結構ありますね、田舎暮らしハーレム系か何故か娘がいたりする子連れ系が目立ちがち

被追放者たちだけの新興勢力ハンパねぇ～手のひら返しは許さねぇ、ゴメンで済んだら俺たちはいねぇんだよ！～
https://ncode.syosetu.com/n4271ew/

途中までしか読んでないけど

(私にはあまり合わなかった)

短いタイトルは消費されきったので仕方ない

私は本質情報でタイトルを付けがちなんだけど、まあ検索にはかからないし目に付かないし、競争には向かないのではという感じはある (知らんが)

なろうによく出てくるエセ中世ヨーロッパを「ナーロッパ」と言うの、あれすき

https://twitter.com/takasaka393/status/1126141810126909440 #tw

https://twitter.com/koshian/status/1096180354728189953 #tw

これはある

https://twitter.com/nminoru_jp/status/1094520769311236096 #tw

「ダンまち」の元のタイトルが「ファミリア・ミィス」だというのは間違っているだろうか - Togetter
https://togetter.com/li/805963

【悲報】なろう小説『異空のレクスオール』、とんでもない長文タイトルに改題されてしまう | 読み速
http://yomisoku.com/archives/15601746.html

『最弱ランク認定された俺、実は史上最強の神の生まれ変わりでした～お姉ちゃん属性な美少女との異世界勝ち組冒険ライフ～』

https://twitter.com/amanohazama/status/1093834384610738176 #tw

This account is not set to public on notestock.

趣味でまで競争しないといけない厳しい世界……

This account is not set to public on notestock.

そういえば昔「お題:グルメ」でセイタカアワダチソウを主人公に書いた短編はどこにいったかな……

セイタカアワダチソウ - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%BB%E3%82%A4%E3%82%BF%E3%82%AB%E3%82%A2%E3%83%AF%E3%83%80%E3%83%81%E3%82%BD%E3%82%A6

自分でもどんな内容だったか思い出せないぞ

そういえば私は読まないんですが、中世ヨーロッパのみならず戦国時代系 (特に織田信長周辺？) も結構あるみたいなので、その辺りの時代考証がどうなっているのかも気にならないこともない

This account is not set to public on notestock.

あと VR 世界に転生したと思ったら異世界だった的なアレも多いね (理由付けにはそれなりにバリエーションがある)

This account is not set to public on notestock.

ActivityPub においては一応基本的な語彙のフィールド名や構造は固定されているので、「JSON-LD 非対応でも処理できるよ〜」とは書いてあるんだけど、実際は署名関係とか含め ActivityStreams の語彙にない情報を突っ込もうと思ったら JSON-LD は (受け取る側としては) 結局必須

送信あるいはデータ作成だけするなら JSON-LD 処理系は不要で、というのも JSON-LD 自体が「アプリケーションが利用している既存の JSON データ構造に外側から context を付けてやることで機械可読性と交換性を上げよう」という仕組みなので、テキトーに決めた JSON データに固定の context オブジェクトを付けてやるだけで JSON-LD なデータにできる

よーするに拡張を吐くのは簡単だけど読むのは難しいという話なので、 ActivityPub も拡張というか ActivityStreams 外の語彙を一切使わない覚悟を決めれば JSON-LD 処理系は不要 (現実的とは言ってない)

This account is not set to public on notestock.

JSON-LD は JSON データに外付けで RDF のセマンティクスを嵌めるための仕組みとアルゴリズムの規定であると解釈している

まあ RDF とは完全に互換ではないらしいけど

https://www.w3.org/TR/2014/REC-json-ld-20140116/#data-model

ActivityStream の JSON-LD context は https://www.w3.org/ns/activitystreams.jsonld か、

curl -H 'Accept: application/ld+json' https://www\.w3\.org/ns/activitystreams

で取得できるオブジェクトで規定されていて、まあ https://www.w3.org/ns/activitystreams で説明のある通りですが

この context というのは「JSON オブジェクトのどういうフィールドの値がどういう意味を持っていて何を持てるか」みたいなのを記述したもので、雑に言うとスキーマに近いものなんですが、 ActivityPub で規定された構造でデータを吐く限りは自動的にこの context に従ったデータになるので吐く側は何の心配も要らない

で、拡張データとかはこの context を拡張したり複数用意することで指定できて、たとえば https://mastodon.cardina1.red/@lo48576.json を見てもらうとわかるんですが、 Mastodon では拡張データを突っ込んでいるので context が配列になっていて、
"https://www.w3.org/ns/activitystreams"
だけでなく
"https://w3id.org/security/v1"
とか他にもインラインで指定されたものも追加されていますね

で、 ActivityPub のデータを欠損なく読もうとする人は、この context に応じて適宜フィールドの解釈を変えてデータをロードする必要があるというわけ

たとえば先の例だと http://joinmastodon.org/ns#featured で識別されるデータは "featured" というフィールド名で書くことが許されているけど、将来の Mastodon バージョンでは "featuredUser" みたいになるかもしれなくて、そうすると
"featuredUser": {"@id": "toot:featured", "@type": "@id"}
みたいな context が代わりに入ってくる。

で、読み込む側の処理系は、 表層的なフィールド名が何であれ実態として http://joinmastodon.org/ns#featured で識別されるデータを適切に見付けてやらないと featured データは取得できない

まあそういったわけで、 JSON-LD は ActivityPub の本当にコアの部分だけ使うなら不要だけど、現実の処理系でそれをやると結構な情報の欠落が起きるので険しい (特に署名系統は無視してしまうとセキュリティ的にアレかも)

This account is not set to public on notestock.

JSON-LD 1.0 Processing Algorithms and API
https://www.w3.org/TR/2014/REC-json-ld-api-20140116/

めっちゃ面倒ですよ (アルゴリズム中の変数とかいろいろにしっかり型が付いていないので)

効率とか無視してやるなら、 expansion アルゴリズムで略のフィールド名を全て IRI (URI みたいなもの) に展開して構造の正規化もしまえばとりあえずなんとかなるはず。
更には現在 draft の JSON-LD 1.1 で規定されている framing アルゴリズムを使うと「処理系の都合の良い構造に変換する」みたいなこともできるようになるみたいなので、それを使えるならそっちを使った方が処理系としては幸せかもしれない？

JSON-LD 1.1 Framing
https://www.w3.org/TR/json-ld11-framing/#features

This account is not set to public on notestock.

kroeg/jsonld-rs: Rust library for processing JSON-LD
https://github.com/kroeg/jsonld-rs

nightly でしか動かなくてメンテ状況もよくわからないプロジェクトは見付かったけど、まあ使う気にはなれないですね

そんなわけで今自前で書いてるわけですよ…… (白目)

ただ、 JSON-LD 関係のアルゴリズムはリモートの context をフェッチしてくるところまで必要だったりするので、実用的にしたければ future が安定化されるまで待ちたいんですよね

というか expansion algorithm は一度は書けたんですが、 expanded document は普通の json value よりも構造の制限が強いはずなのに生の json value で返すのが嫌になったので、まず expanded document の型を定義するところからやりなおしています (ｱ)

This account is not set to public on notestock.

This account is not set to public on notestock.

Socialwg - W3C Wiki
https://www.w3.org/wiki/Socialwg

ここからリンクされているけど、

SocialCG - W3C Wiki
https://www.w3.org/wiki/SocialCG

SocialCG (Social Web Incubator Community Group) に引き継がれたんじゃないですかね (知らんけど)

#social 2019-05-08
https://chat.indieweb.org/social/2019-05-08

ええ……

不安になってきたぞ

matrix.org も忘れないであげて

Try Matrix Now! | Matrix.org
https://matrix.org/docs/projects/try-matrix-now.html

Matrix はちゃんと SNS でもあります (使ったことないけどたぶん)

This account is not set to public on notestock.

そういう意味なら確かにそうかもしれない (でも一応 IoT デバイスからの情報を云々とかの話もあった気がするし、テキストチャットのみというわけではないはず)

Matrix 、やはり目を引いたのはメッセージの全順序を捨てたあたりの発想かなぁ。あれは興味持たざるをえない

https://matrix.org/blog/index#about

Matrix Specification
https://matrix.org/docs/spec/

> Uses include Instant Messaging (IM), Voice over IP (VoIP) signalling, Internet of Things (IoT) communication, and bridging together existing communication silos - providing the basis of a new open real-time communication ecosystem.

リアルタイムは重要視してるのね

podman が普通に便利だったので docker はアンインストールした

This account is not set to public on notestock.

This account is not set to public on notestock.

Rust の libstd (と libcore と liballoc) 、実に読みやすいためソースコードリーディングが快適

This account is not set to public on notestock.

Gentoo は基本的にインストールさえできてしまえば、「アップデートが成功したのに壊れた」は少ないので実はメンテ自体はそれほど難しくはない

gentoo で多いトラブルは「ビルドが失敗してインストールできない」なんだけど、まあだいたい bugs.gentoo.org 探すとかエラーメッセージ読むとかすれば何とかなるものだし、インストールできなければシステムは壊れないのでそんなに問題ない

まあ kernel config の設定と X の導入あたりは初めてだと手間取るかもしれないですね (でも X の導入は Arch でも必要だろうしその点では Arch と大差ない)

This account is not set to public on notestock.

reclock に署名付きコードが必要になったのにそれが提供されていないせいで nouveau で最近の nvidia の GPU 使うと最低クロックで動くみたいな話、あれもキツい……

ｴﾇﾋﾞﾋﾞｱｪ……

This account is not set to public on notestock.

期待

なるほどw

\松を彷彿とさせる (そうでもない)

そういえば昔 Docker で開発環境を整備することでポータブルな環境をどこでも使えるように云々みたいな話あったな、今なら podman でユーザ権限でコンテナ作れるからもっと素敵になりそう #らりおメモ

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.

まあ開発対象のレイヤーと開発そのもののレイヤーは別のようで繋がっているし、両方やれよということですね

私は型とか言語とかそのものの方に興味があって、開発手法とかツールはあくまで手段に過ぎないので使える程度にというスタンスなんですが、普通の人は明らかに逆なんだろうなぁというのはちょくちょく感じます

開発を進める方に関心があって型や言語みたいな基礎はあくまで手段に過ぎないという見方の方が多数派っぽい？

うまく分業したいものだけど

ｼｭｰﾝの一環というわけではないけど、最初はﾎﾟﾖｸﾞﾔﾐﾝしてたけど今ではマネージメントやってますみたいな人の話を聞くと、自分がそうなる未来は全く想像できないなぁとなる

実装したコードがクラッシュゥゥゥーッ！！ 超！エキサイティン！！

白目剥いてる