"Pythonは動作を停止しました"
・・・・・><
???「Python はプログラマがどんな無茶な命令を出しても可能な限り実行する努力をしてくれるし、未定義動作も書けない素晴らしい言語である。Rust のように実行してみることさえせず文句を言ったり未定義動作を書けてしまうような危険な言語は Python を見習うべきだ。」
蛍石の加熱による発光 - 結晶美術館
https://sites.google.com/site/fluordoublet/strangescience/fluorite
レンチンじゃなかった、加熱すると光る (かつ破裂する) んだった
いくらRISCとはいえ 80 命令って少なくねえかと思ったらRV32Iは47命令とかいう情報が出てきておったまげた
This account is not set to public on notestock.
This account is not set to public on notestock.
本の虫: x86のMMUはチューリング完全である
https://cpplover.blogspot.com/2013/09/x86mmu.html
> x86のMMU、つまりは割り込みとメモリ変換テーブルは、チューリング完全であることの証明。割り込みとメモリ変換テーブルを活用して、プログラムカウンターを一切進めず、ひたすら割り込みを続けるだけで、任意の演算が可能になる。もちろん条件分岐だってオーケーだ。
This account is not set to public on notestock.
任意の状態を持ち越すのが異様に難しそうというのもある (書記方向あたりはスタックできるし希望あるか?)
大抵のアルゴリズムは書記素クラスタ単位で情報消えてしまいそうなので、結合あたりの何かか書記方向あたりの何かのような機構をフル活用する必要がありそう
さっさと移行したいが、いかんせん alacritty の背景透過が wayland 対応してないのがオタクの QoL 的に致命傷
https://twitter.com/-/status/1193340304935411714
https://twitter.com/-/status/1193506828010680321
日本語でも同じようなことをしている事例が頻繁に観測されるので、世界は広いし人類は愚か
これは JSON-LD 1.1 規格の最もクソだと思う点なんですが、データから参照する規格のバージョンが
{ "@version": 1.1 }
みたいな感じで指定されます。
なんでやねん。そこで浮動小数点数使うとかアホか????
JSON-LD 1.1 Processing Algorithms and API
https://www.w3.org/TR/2019/WD-json-ld11-api-20191018/#context-processing-algorithm
> 5.5.1) If the associated value is not 1.1, an invalid @version value has been detected, and processing is aborted.
じゃあないんだよ……
This account is not set to public on notestock.
1.1 (double) は 1.1 (10) ではないので全ての JSON-LD は処理されないのでは
Avoid floating number for `@version` · Issue #296 · w3c/json-ld-syntax
https://github.com/w3c/json-ld-syntax/issues/296
:+1: してくれてもええんやで
This account is not set to public on notestock.
This account is not set to public on notestock.
そうですね。
整数を使わないなら文字列であるべきです (まあこの用途だと整数よりも文字列の方が適しているか)
JSON-LD、 JSON で RDF もどきをやろうとか考えるような人間が設計している時点でなぁ……
一応「RDF は産業界 (←とは言ってないけど) を無視しすぎているし使えたものじゃない、 JSON-LD は実用アプリケーションの現状に適合するように作っていくよ」的な話があってですね
(これは記憶で喋っているので内容の正確性は信用しないでほしい)
あと CSV における文字列エスケープ周辺の仕様も記憶がない (どこかで聞いたことはあるはずなんだけど)
CSV は character-separated values なので区切り文字がカンマとは限りませんよ
カンマ区切りだからCSVなのに、お仕事で「タブ区切りのCSVでオナシャス」とか言われておでこに💢ができたことがある
TSV (tab-separated values) は CSV のサブセットであるといえます
もちろん comma-separated values のつもりで CSV と呼ぶ用法もあるのでこれが混乱のもとなわけですが、 CSV とだけ書かれているとき必ずしも区切り文字が comma であるとは限らないことは留意すべきです
This account is not set to public on notestock.
RFC 4180 - Common Format and MIME Type for Comma-Separated Values (CSV) Files
https://tools.ietf.org/html/rfc4180
ほんげーーーー
Character Separated Value (CSV) files and reports
https://www.ibm.com/support/knowledgecenter/en/SSY4B9_4.1.0/com.ibm.mu.doc_4.1/fsyug162.html
もう滅茶苦茶や
.NET Frameworkは普通にこの方式かも><
メジャー、マイナー、ビルド、リビジョン がそれぞれ32bit int><
Version Constructor (System) | Microsoft Docs https://docs.microsoft.com/en-us/dotnet/api/system.version.-ctor?view=netframework-4.8#System_Version__ctor_System_Int32_System_Int32_System_Int32_System_Int32_
https://mstdn.nere9.help/@orange_in_space/103125120637707271
それは tuple であって floating-point number じゃないでしょ!
This account is not set to public on notestock.
This account is not set to public on notestock.
System (体系) はそれぞれの構成要素がうまいこと連携して意義を持つようになっているという意味を持っている気がするけど、パッケージという言葉からはそういうものを感じないので、その辺りの違いがあるのかなと思わないでもない。
全然関係ないものを複数バンドルしても「パッケージ」といえるだろうし
体系(たいけい)とは - 体系の読み方 Weblio辞書
https://www.weblio.jp/content/%E4%BD%93%E7%B3%BB
> ① 個々のものを秩序づけて統一した組織の全体。矛盾のないようにまとめられたものごとの全体。
パッケージとは何? Weblio辞書
https://www.weblio.jp/content/%E3%83%91%E3%83%83%E3%82%B1%E3%83%BC%E3%82%B8
> ②
商品としてひとまとまりにセットしたもの。
https://mn.kitetu.com/@hiro/103125116512104029
https://mn.kitetu.com/@hiro/103125150580803732
なので、連携することで目標達成に貢献するような構成要素がない場合には「体系」よりも「パッケージ」の方が適した言葉選びなのかなという感想
まあ突き詰めればあらゆるものごとは繋がっているので互いに関係のない政策もまたないのだろうけど、それはパッケージや政策の設計意図とはまた別の話なので無視するものとして
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.
This account is not set to public on notestock.
1. 電源ボタンを長押しして強制修了する
2. ディスクを Ubuntu の LiveDVD に入れ替える
3. gentoo Linux をインストールする
4. ディスクをリッピングする
大学教授など典型的な「潰しのきかない」職と思っていたが,すでに複数勤め先があるようだし行動経済学のような分野だと意外と余裕なのか(偏見)
近畿大学を退職しました - 書いたもの置くとこ https://evidence8money.hatenablog.com/entry/2019/11/12/165910
This account is not set to public on notestock.
サブドメイン切ると、「これ別の物理鯖に移動しよ」とか思ったとき DNS のエントリ変えてスッと移動できるので便利
This account is not set to public on notestock.
This account is not set to public on notestock.
まあそれはさておき、クソザコポヨグヤミンしてるとオップンGL叩いてて X server を巻き込んでクラッシュしたりみたいなこともあるので、どちらかというと「コアのコンポーネントに対しても淘汰圧があるので品質の良いものが残りやすい」が近いのではないかなと
init と systemd で迷ったりとか、 syslog と journald で迷ったりとか
動画で何かが震えてるとその震え方でAviUtlかどうかわかるようになったんだけどこういう人他にもおる?
CSS in librsvg is now in Rust, courtesy of Mozilla Servo - Federico's Blog
https://people.gnome.org/~federico/blog/css-in-librsvg-is-now-in-rust.html