p.tatapa.org

p.tatapa.org

ると | @ruto@p.tatapa.org

プログラミング(関数型言語とJava多め)、その他言葉遊びなどを書いてます。アイコンは「腕時計」。ヘッダー画像は2-3フィンガーツリー。

Emacs 30の変更点で気になったところ。

https://github.com/emacs-mirror/emacs/blob/emacs-30.1/etc/NEWS

モードや変数や関数の追加:

・visual-wrap-prefix-mode: 長い行が折り返し表示になったときに、折り返した行が先頭行の開始位置より左に行かないように表示する。

・kill-ring-deindent-mode: カット/コピー時にインデントを削除する。

・replace-regexp-as-diff: 置換結果をdiffでプレビューする。

・cjk-ambiguous-chars-are-wide: UnicodeのEast Asian Widthがambiguousな文字のchar-widthを設定する。

・minibuffer-regexp-mode: ミニバッファで正規表現のハイライトなどをする。

・peg: Parsing expression grammarがパースできるようになった。

・forward-sentence-function: forward-sentenceがカスタマイズできるようになった。

・static-if: バイトコンパイル時に評価されるif。

その他変更:

・lambdaを評価した際、リストではなく専用のオブジェクトが返るようになった。

・汎用比較関数value<が追加され、sortの比較関数が省略できるようになった。また、キーワード引数がいくつか追加された。

・タッチスクリーンのサポート

・Android版のサポート

・関数の型を宣言できるようになった。どちらかというと高速化のためで、間違った型を宣言するとクラッシュする可能性がある。

GNU Emacs 30.1 has been released! Congratulations to the maintainers and developers -- and thank you to them, too! Several FSF staff and board absolutely depend on it. The new version's coming soon to a mirror near you: https://lists.gnu.org/archive/html/emacs-devel/2025-02/msg00997.html

「現在のフランス国王」という概念が好きで、生まれるはずであったが生まれなかった存在しない国王には象の卵でオムレツを作ったり、誰もいない森で倒れた木の音を聞いたりして暮していて欲しい。

「現在のアメリカ国王は禿げている」は真か偽か。

健康を害しかねないほど依存的に大食いする漫画と実際の食品メーカーや外食や小売が組むのはかなり嫌悪感がある。資本主義社会においてあれが企業の望む理想的な消費者の姿であると言われればそれ以上何も言うことはないけど。

「コンニャクは鼻が本場だ」

@tadd @ikeji USBの規格でしてはいけないと規定されていることはけっこうありそう(ネゴシエーション無しに一定以上の電力を引き出してはだめとか、対応したケーブル以外には一定以上の電流を送ってはだめとか)だけど、具体的にどういうところ?

鎌田の単数形Kamaton

音声を使って効率よくテキストを操作するVS Code拡張Cursorless。

https://www.cursorless.org

各単語の上にマークが常に表示され、コマンド名のあとに「マークの色」・「マークの形」・「マークがある文字」の最大3つを言うことで操作対象を指定する(複数のマークを指定するコマンドもある)。他にもプログラミング言語の構文に基づいた対象指定などもできる。

Talonという音声によりコンピュータを操作するシステムをベースにしている。

「マークがある文字」はTalon独自のフォネティックコードのようなもので指定する。

Emacs用のcursorfree.elもあり、ベースとなる部分はライブラリ化されている。

https://github.com/ErikPrantare/cursorfree.el

https://github.com/ErikPrantare/hatty.el

@tadd @ikeji ECMAScript, POSIX, C18 (ドラフト)は拡張について比較的はっきり定めている(Conformanceの節)けど、R7RSはあまりはっきり定めていないっぽい。

@tadd ある規格に準拠しているという場合、規格で禁止されていない限り、規格よりも広い範囲を受け入れるのは一般的なのでは(CとかECMAScriptとかHTML/CSSとかPOSIXシェルとか)。
(いや、もしかしたら規格側で拡張について定めてる場合もあるかも。あるいは拡張してる場合は準拠という言葉は避けてるかもしれない)

「あるとき王に賢者を招くにはどうしたら良いか聞かれて郭隗はこう言った。『あるとき王に名馬を買うように言われた涓人が五百金で死馬の骨を買ってきてこう言った。「あるとき王に名馬を買うように言われた涓人が五百金で死馬の骨を買ってきてこう言った。『あるとき

『まず隗より始めよ』という故事は、故事の中で郭隗が涓人の故事を使って人を説得するという入れ子構造になっていて、「故事を使って人を説得する」という論法自体を再帰的に正当化しようとする形になっている。

ロイターの記事で「『o3』について、ネットワークに接続しないで利用する『スタンドアローン』化を見送り」とあるけど誤訳では。o3は単体製品としてリリースせず、GPT-5の内部コンポーネントとしてのみ使用する、という意味だよね。

https://jp.reuters.com/business/technology/Y2C2F26IZFIFRIJBNVQMGMIAOY-2025-02-13/

英語版は単に“OpenAI will not release "o3" as a standalone artificial intelligence model”とあり、ネットワークうんぬんは無い。

https://www.reuters.com/technology/artificial-intelligence/openai-plans-simplify-ai-products-new-road-map-latest-models-ceo-altman-says-2025-02-12/

80億人が1日に8時間ずつ寝れば1日に640億時間寝ることになる。1年で23兆時間以上となる。

QRコードのドットの形を変化させてそこに電子署名などの情報を埋め込むことで、QRコード差し替えによるフィッシングを防ぐという研究。

https://www.rochester.edu/newscenter/qr-code-phishing-definition-quishing-638842/

企業はURLを事前に登録しておき、電子署名を付ける。

元論文は有料で読めてないんだけど、TLSのEV証明書と同じで、「安全な企業」をどう審査して登録するかの問題が解決できないのではないだろうか。

そしてそれが解決できるのであれば、電子署名などをQRコード側で改めて使わなくても、信頼できるドメイン名とその所有者の情報をどこかに登録しておくかTLSの証明書に埋め込んでおくかすればよいはず(それは正にEV証明書がやろうとして上手くいかなかったことである)。

うまあじ

あじかた

ななあじからからこ

iPhoneのバッテリー交換したら受け取り時に運転免許証かマイナンバーカードが必要だった。そこはなんかファンシーな仕組みじゃないんだ。

»