Show newer
boosted

JSONスキーマを使って検証可能な資格情報を扱えるようにする規格が作業草案に!

w3.org/TR/2023/WD-vc-json-sche

boosted

めちゃくちゃ笑ってる

>>
Web Applications 1.0 (HTML5) は SGML とは関係しない独自の言語である HTML の構文解析器を歴史上初めて自然言語により記述することに成功し、 王様は裸であると実証しました。

wiki.suikawiki.org/n/JISX4151#
<<

こういうことは行政とかにも言えて、基本的にはがんばってるし実際にその成果も出てるんよな。ただ、人間はどうしても細かい不利益・失陥に目が行ってしまうので、批判されがち。
ただ、行政はもちろん、この時代においては検索エンジンもある種の巨大権能なので、誉めそやされるよりもむしろ罵られてるくらいがよほど健全。

boosted

どんな風に性能が良くなってるか見てみると、本当にとんでもなくすごいことをやってユーザーニーズに応えようとしてることがわかるんだけど、それでも全てのクエリを満足する結果にできない理由があるんじゃよ……

(とはいえ数百億クエリにたいして99%は問題ない結果を返してるはず)

Show thread
boosted

Google検索はシステムとしてはどんどん賢く多くの人に使えるものになっているけど、どうしても昔のままがいいという要望もあるのは仕方ないよね。
できれば、そういう声に応えてほしいけど、全体の数百億ある検索クエリの0.
数%以下の検索に対してそれを提供する難しさもあると思う。

めちゃくちゃ笑ってる

>>
Web Applications 1.0 (HTML5) は SGML とは関係しない独自の言語である HTML の構文解析器を歴史上初めて自然言語により記述することに成功し、 王様は裸であると実証しました。

wiki.suikawiki.org/n/JISX4151#
<<

boosted

日本の著作権法はAIの教師情報としての利用に甘いので,「機械学習の楽園」と呼ばれている,みたいな論をよく目にするんだけど,この言葉は邦学者である上野 達弘氏の言葉であって,世界基準な評価ではないんよな。日本における機械学習まわりの法整備(あるいはそれを包括する取り組み)について,海外からの評価を知りたいんだけど,あんまり良い記事が見つけられんのよな……。

boosted

うおー!
やっとこさWinGetがPowerShellを介してまともに扱えるようになっとる。

devblogs.microsoft.com/command

boosted

モナドについてしっくりくる説明を思いついた

(1) モナドは、表象にどのくらい膨らみを持たせるか、を与えている
(2) その代数は、膨らんだ表象を簡約する操作、計算方法である
(3) 従ってEM圏は簡約のなす圏であり、クライスリ圏(=ベースの圏とほぼ同義)は全部元に戻すという操作で自然に埋め込まれている

この意味でmonadicは簡約の圏と圏同値という意味で価値があることになる。どういった計算が成されるのかを具体的に追うことができる

boosted

国家を企業体とみなす新反動主義の立場に立つと、「選挙で選んだ候補者に文句を付ける/権利的上位者として振る舞う」ことは「素人が専門家に口を出す/“お客様は神様です”の精神」に見えるので良く思わないのかもしれない。示威運動(demonstration)の否定とかもそこから説明できそう?
でも企業にたいする不買運動みたいなことはそんなに否定されてないよな…?謎。

うおー!
やっとこさWinGetがPowerShellを介してまともに扱えるようになっとる。

devblogs.microsoft.com/command

国家を企業体とみなす新反動主義の立場に立つと、「選挙で選んだ候補者に文句を付ける/権利的上位者として振る舞う」ことは「素人が専門家に口を出す/“お客様は神様です”の精神」に見えるので良く思わないのかもしれない。示威運動(demonstration)の否定とかもそこから説明できそう?
でも企業にたいする不買運動みたいなことはそんなに否定されてないよな…?謎。

boosted
boosted
boosted

京都のこの路線図も毛唐に怒られるやつでは……。

boosted
boosted

SBC用に32GBくらいのがたくさんほしい。

boosted

microSDってーと、SBCを起動するためのストレージ感が強い。

Show older

's choices:

Mathtodon

Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.