Wordle 314 3/6*
🟨⬛⬛⬛⬛
🟨🟨⬛🟨🟨
🟩🟩🟩🟩🟩
Posting らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)
This account is not set to public on notestock.
This account is not set to public on notestock.
Nagi_home@misskey.io
This account is not set to public on notestock.
MatrixとSynapseとElementの関係はHTTPとnginxとChromeの関係
Matrix = Discord ❌
Matrix = Line ...⭕️
Matrix = IRC with logger◎
This account is not set to public on notestock.
最近MatrixにDiscordのサーバーっぽい機能入ったし分散型Discordということにしてもいいのでは？まあ通話機能がJitsiに依存するけど
DLsite かなり継続的に値下げしてるよ
This account is not set to public on notestock.
NHKお前もか…
> また現時点でも推奨環境ではないWebブラウザ「Firefox」は、同アップデートによって動画が完全に再生できなくなる。そのため「推奨環境をご確認のうえ、Microsoft Edge・Google Chrome・Safariをご利用ください」と呼びかけている。
「NHKプラス」アプリ版、5月24日以降に推奨OS変更 https://av.watch.impress.co.jp/docs/news/1406502.html
This account is not set to public on notestock.
GCC 12 Branched, Possible GCC 12.1 Stable Release Next Week - Phoronix
https://www.phoronix.com/scan.php?page=news_item&px=GCC-12-Branched
This account is not set to public on notestock.
This account is not set to public on notestock.
λ計算とか型理論の深めの学習、どんな意味があるんでしょうね……論理と型を繋げて堅牢なプログラムを書けるようになるとか？
本当にそこまで勉強しないとそういうコード書けないんですかという絶望もあるが、一方で正直そこまでやった人でないと堅牢なコード書けてなくない？ というアレも確かにある
爪切りが傍らに置いてあってもナイフで爪を削ってしまう、知識で武装していない人間ってそういうものなんだよなきっと
Primitive Obsession
https://refactoring.guru/smells/primitive-obsession
こんなレベルの話から始めないといけないので……
Rust-Written Redox OS 0.7 Released With New Bootloader, RedoxFS Goes CoW - Phoronix
https://www.phoronix.com/scan.php?page=news_item&px=Redox-OS-0.7.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.
37コミットを push した (まあ半分くらい merge commit だけど)
腹具合の認識がポーリングなので、満腹だと思ってたらいつの間にかめっちゃ腹減ってた
不動点コンビネータ、普通に作ろうとすると F = ff として Fg → ffg みたいな形で考えてしまうと思うんだけど (私も凡人なのでそうだった)、 Y コンビネータは Fg → fg(fg) の形式で作られているのが気が利いていてすごい
Fg → ffg にすると ffg → g(ffg) なので f = λxy.y(xxy) で F = ff = (λx.xx)(λxy.y(xxy)) → (λy.y((λxy.y(xxy))(λxy.y(xxy))y)) とかになるけど、
Fg → fg(fg) にすると fg(fg) → g(fg(fg)) なので f = λxy.y(xx) で F = ff = (λx.xx)(λxy.y(xx)) → λy.y((λxy.y(xx))(λxy.y(xx))) になる
これは本当に許せない、これからもずっと罵っていく所存
polyglot markup を許したくないがゆえにわざわざ非互換を入れたのではなかろうな、という邪推まである #HTML5がCDATAセクションをコメント扱いするのを許さない市民の会
仕方ないから XML データを HTML に変換する際に CDATA section 外しとエスケープを入れる必要がある
あと HTML 5 の empty tag を認めたり認めなかったりも正直勘弁してほしさはあって、あれのせいで XML to HTML の変換が自明にできず <foo><!-- --></foo> みたいなのを吐くことになったりする
そういえば大昔から <script src="foo"></script> は empty tag 使うと機能しなかったよな。マジで誰のせいだよこれ
HTML クッソ汚くて無理なので本当に XHTML には期待してたんだよ……
Steamのゲームを起動するときに、同期に時間が掛かるらしく、このまま起動したらデータ飛ぶかもよと言われてしまう。SteamのWindowsアプリのライブラリから同期させると、時間は掛かるものの完了するんだけど、その状態でゲームを起動すると、また同期しようとしてやっぱり時間掛かりすぎで警告になってしまう。
Steam Status · Is Steam Down?
https://steamstat.us/
うーん、とりあえずひととおり必要そうなものは実装したかな？
基本的に、右下が人気。
下中央ってもう少し支持あるのかと思ったけど、そこまでではなかった。でも人気はある方だ。
フローティングボタンも、そこそこありなんだな。
これ、選択肢複数ありのアンケートなので、右上の人気なさが目立つ結果に。
QT: https://fedibird.com/@noellabo/108209967739145892 [参照]
健全性で何のことか一瞬わからなかった、 soundness のことか
型システムの健全性というのは、式を評価 (evaluate) していくことを考えるとき、評価前の式に型をつけられるならば評価後の式にも同じ型を付けられること
健全でない型システムでは、たとえば「型がついているはずなのに評価が行き詰まる」などが発生しうる。
典型的に C や C++ が型安全でないと言われているのは、
printf("%s", 3.14);
みたいな「型検査を通ったのに未定義の挙動に突入する」という現象がカジュアルに起きるからですね (他にもポインタの型変換や type punning、 strict aliasing に alignment、などなど……)
で、実は Java や C# でも同様の「型検査を通ったのに破綻した挙動へ突入する」という現象が用意されているんですが、これは一応例外が飛ぶのでギリギリ「未定義の動作」ではない。
「破綻」を実行時に捉えられればまあセーフってことにしていいでしょ、みたいな甘えですね
int a = "foo" * "bar";
みたいなクソコードを見たら型検査通るなよと思うじゃないですか、普通は。
でもこれを「例外が飛ぶから “未定義動作” ではないしオッケーということにします！」としている言語が沢山あって、大半の動的型付き言語 (特にスクリプト言語) はそうだし、 Java と C# もそう
This account is not set to public on notestock.
配列が共変、何が面白いって C# が欠陥仕様まで礼儀正しく輸入してるところなんだよな
「だからプリミティブな配列を使うな」というのは「言語仕様に欠陥があるからそこを避けろ」という話であって言語仕様の欠陥を否定するものではなくて、よーするにまあ unsound な型システムで頑張ってください……
This account is not set to public on notestock.
Covariant containers - Counterexamples in Type Systems
https://counterexamples.org/general-covariance.html
