USAMI Kenta zonuexe

Emacs 31.1の新機能

出典: https://www.masteringemacs.org/article/whats-new-in-emacs-311
著者: Mickey Petersen
Emacs 31向けに更新

Tip

Emacs 29版、発売中です！

The Invisible Architecture: Why Japanese Speakers Forget Articles and the "-s" Suffix

If you converse with a native Japanese speaker in English, you will likely notice a persistent grammatical quirk, even among those who are highly fluent. They might say, "I bought new car," "She like cats," or "I have two apple." The articles (a, an, the) disappear, and the -s suffix—whether for plural nouns or third-person singular verbs—frequently vanishes.

To a native English speaker, these omissions can sound like basic carelessness. However, they are actually a fascinating window into how differently the two languages conceptualize reality. The Japanese speaker is not being sloppy; they are grappling with an "invisible architecture" of English that simply does not exist in their native tongue.

The Obsession with Boundaries: Articles

English is a language obsessed with boundaries and specificity. When an English speaker thinks of a noun, their brain must automatically process it through a mandatory checklist

Q. あなたの意見では、mizchi/dspecはどんなアプリケーションの記述に向いていると思う？

端的に言うと、マルチテナントのクラウド SaaS で、規制対応の説明責任があり、インフラが異種混成のもの — 具体的には fintech / healthcare / gov 系、あるいは SOC 2・ISO 27001・GDPR を負う B2B SaaS です。規模は 10〜50 サービス、TypeScript/Cloudflare/K8s 系のスタック。

ただ、この結論よりなぜそうなるかの方が面白いので、そちらを書きます。

dspec は自分の README に誤って紹介されている

これが私の一番強い意見です。dspec は自らを "a human-level executable specification language" と名乗り、Lean / TLA+ / Alloy への射影を前面に出しています。しかしそこが一番弱い部分でした — Clause AST は 91 行の命題論理断片、atom は文字列上の無解釈述語、semantic な検証パスは Lean の eq/neq/not/implies 断片のみ、自己モデルの bounded/proved はゼロ。

$v === (bool)$v

ちょっと興味深いので比較してみました

条件の差を縮めるため、以下の式をラップしたユーザー定義関数の呼び出しを使います。

label	expression
is_bool (\native)	`\is_bool($v)`
is_bool (ns)	`is_bool($v)`

先に私(tadsan)の理解

テスト技法としての忍者式テストは生きたテストを継続的に成長させるものだと整理できる
品質保証目的というより、チームがプロジェクトに当事者意識を持ち続けられるように、絶えずプロダクトに接する営みである

前提: エクストリーム・プログラミング (XP)

2000年前後に整理されたソフトウェア開発のプラクティス体系。

エクストリーム・プログラミング - Wikipedia

PHPerKaigiのコードゴルフ問題として作問した過程でできたLispです。

リスト処理言語

標準入力で以下のような形式のJSONが入力される。以下の規則に従って処理せよ。出力はecho json_encode(JSON_PRETTY_PRINT)形式で出力する。

入力はJSONのarrayであり、先頭が命令、以降の要素を引数とする
- ["+", 1, 2, 3] は、一般的な計算式の 1 + 2 + 3 を意味する
- ["-", 1, 2, 3] は、一般的な計算式の 1 - 2 - 3 を意味する
["*", 1, 2, 3] は、一般的な計算式の 1 * 2 * 3 を意味する

bug#72808: 30.0.90; editorconfig doesn't set tab_width to a default value

https://mail.gnu.org/archive/html/bug-gnu-emacs/2024-09/msg00316.html

From: Eli Zaretskii
Subject: bug#72808: 30.0.90; editorconfig doesn't set tab_width to a default value
Date: Sat, 07 Sep 2024 10:27:44 +0300

> Cc: 72808@debbugs.gnu.org, jaygkamat@gmail.com, 8.slashes@gmail.com

3. バークレー版UNIXの20年

Twenty Years of Berkeley Unix:
From AT&T-Owned to Freely Redistributable

バークレー版UNIXの20年
(UNIXが、AT&Tの所有物からオープンソースソフトウェアになるまで)

Marshall Kirk McKusick (マーシャル・カーク・マクージック)

Translation by Akira Kurahone

Emacs Lisp repository names survey

Target: https://github.com/melpa/melpa/tree/6587a445e951c1d99b21953dcb3da9c1119862f4

% ls recipes/ | wc -l
    5293
% cd recipes
% rg ':repo +"[^"]+/[^/"]+el"' > el-suffix.txt
% rg -i ':repo +"[^"]+/emacs-[^/"]+"' | sort &gt; emacs-prefix.txt

	;;; haiku.el --- Access to All Haiku database -- lexical-binding: t; --

	;; Copyright (C) 2024 USAMI Kenta

	;; Author: USAMI Kenta <tadsan@zonu.me>
	;; Keywords: multimedia
	;; License: GPL-3.0-or-later

	;; This program is free software; you can redistribute it and/or modify
	;; it under the terms of the GNU General Public License as published by