Notices by 斎藤ただし (tadd@best-friends.chat), page 12

@zundan いつも通りマジレスをしてしまう悪い人間でごめんなさい……プレーンSVGにしたらマシになるでしょうか？（やっても変わらず、GHがいまいちなだけの可能性もかなりありそう、とは思います）

大丈夫？叫ぶの手伝います？？

@zundan 次はどの学位にしますか？？

@zundan 自分はOctober Gnome（1.1xだっけかな？）あたりから少しずつ使い始めてたので、確かに見慣れてるんだと思います。某Aチームの野……みなさまに感謝かんしゃ🙏

@zundan 見た目からすると、まだ全体としてはUnityのころのな気がします…… 9年前、Mir、すごい。 https://japan.cnet.com/article/35047498/

@zundan ファイナルが楽しみ（しぬ）

@zundan なるほどー、まぁそんな感じですよね。
がんばれGargron、キューの機嫌とマージタイミングと地球の未来は君の再エンキュータイミング（運）に掛かっている。

@zundan 自分もよく分かってないんですよねー。たぶんタイムアウトだろう、というのは同じ見方で、直近はこれっぽいのですけど、
https://github.com/mastodon/mastodon/queue/main
https://github.com/mastodon/mastodon/pull/27592

15秒のはずが二時間は経ってるし、引っかかってるcheck-i18nが通った場合でも単体で6分とか遅すぎるし、いやちょっと待て通ってるのになんでマージされないの、とか謎だらけでした。

@zundan 例の奴だ！よかったー。しかしマージキューさんとの攻防が続いてますね。実際使われてるGHリポジトリ、自分は初めて見ました。

@zundan なんか知らないキーワードなので調べます！

フルキーボードのHHKBありませんか、邪道ですね、はい。

@rosylilly まじそれです。アブストに書いて欲しかった。ファジングしやすいのかな……？

@rosylilly でアブスト読み直した限り、

* 今の法律から書き起こしやすいプログラミング言語を作ってみた
* コンパイラは形式検証済みなんだぜ
* 実際アメリカとフランスの法律にバグ見つけたよ

て感じの話ぽいんですが、最初のは「実行可能な実装する」とも書いてあって、自分はそれがまったくぴんと来てないです。だからちゃんと読んだら面白いかも。

と、ICFPはプログラミング言語だと有名ですね、コンテストも含め。実は先月、ふらっと現地に行ったばかりなんですが、ちゃんとコンテストの表彰式もやってました。

@rosylilly っ https://dl.acm.org/doi/10.1145/3473582
オープンアクセス、こういう時は最高ですね。（投稿者は死ぬ）
あと理解も記憶がだいぶあやふやで、おかしいこと書いてた気がしてすんまそん。（A programming language for the law、は合ってた）

@rosylilly あとで送る！（17時までで閉店するジムが…）

@zundan いや、アカウント登録すれば入れなくても行けそうです。あとは類似サービスもあったかも？ある後輩から教えてもらったんですが、詳しくなくてごめんなさい

@zundan こういう系のはいかがでしょうか？ https://www.wappalyzer.com/
https://addons.mozilla.org/ja/firefox/addon/wappalyzer/

バックエンドのブリッジをつくりましたPRがはとせんせいにn個来る予感

@zundan 雑に調べたら、思ったより微妙な感じでしたｗ

* たしかに標準で、バインディングのcurl.soはビルドされる（configureはデフォルトでyes） https://www.php.net/manual/en/curl.installation.php
* Debianでも本体ビルド時は libcurl*-dev が必須 https://salsa.debian.org/php-team/php/-/blob/debian/main/8.2/debian/control
* けど`apt install php`からの直系の依存はないので、絶対入るものではない https://packages.debian.org/bookworm/php8.2-common
https://packages.debian.org/bookworm/php8.2-curl

@zundan 標準の.so（とか）が依存してたかも？