
Bear が10周年を迎え、今も初日のような気分
ノートアプリ Bear が10歳に。すべての設計判断の背景にある原則、インターフェースのあちこちに隠された小さな工夫、そして Bear を形づくってきたプライバシー重視の選択を、開発チームが振り返る。
もっと見る 執筆
ホーム
ノートアプリ Bear が10歳に。すべての設計判断の背景にある原則、インターフェースのあちこちに隠された小さな工夫、そして Bear を形づくってきたプライバシー重視の選択を、開発チームが振り返る。
毎朝8時14分、3件の花の注文が消える。開発者とその agent が3週間かけて原因を追う、誰のものでもない1分間についての短編小説。

プログラマーが groff で 2 つの中編小説を書き、1 つは 50 ページ、1 つは 120 ページ。使った小さなマクロパッケージ、ページトラップ、ハイフネーション、Vim の設定について語る。
Martin Fowler は、LLM が書いた文章を読むと人の側に固有の反応が起きると言う。文章の恐怖の谷とでもいうべき感覚で、検出ツールでは打ち消せない。著者への助言は明快だ。下書きをモデルに書かせてはいけない。あの文体は編集では追い出せない。

「MWichary」宛のメールが「550 mwichary... User unknown: Not a typewriter」で返ってくる。1990 年代の Unix ではよくある光景だった。Marcin Wichary が、この一行に重なった四つの事情と、タイプライターという言葉が今も ENOTTY というエラーコードの中に残っている理由を解きほぐす。
LLM は今やあらゆる文書をオンデマンドで生成でき、テック企業が依拠するコンプライアンス・努力・学習の証拠を静かに損なっている。

論文を読むことから言語を設計することまで、個人の知的活動は共同体が蓄積した共有の成果と同業者からの承認に支えられている。AI はその共同体を解体しつつあり、私的な知的活動も維持できなくなっていく。
出版も絵画も音楽もAIに反発しているのに、プログラマーは疲れながらも使い続けている。Glyph Lefkowitzは、プログラミングもまた芸術であり、ありふれた受託仕事こそが腕を磨く場だとして、それをAIに丸ごと任せる損失は節約分をはるかに超えると論じる。
モデルが抽象概念につける名前が自分の習慣と合うとは限らない(モデルはMutationIntentと呼ぶが、頭の中ではEditRequest)。見るたびに頭の中で変換が必要で、数十の新語が積み重なると認知負荷になる。著者の解決策:レビュー前に、モデルに造語と代替候補をリストアップさせ、確認後に一括置換する。

あるエンジニアがJeff Atwoodに宛てた手紙は、サンボアンガ包囲戦の最中、Stack Overflowの見知らぬ人々の助けで乗り切った経験を語る。この手紙から、Stack Overflowの衰退と、なぜ私たちが立ち止まって互いに助け合うべきなのかを論じる。
コーダーであってエンジニアではないと自称する下層プログラマーが、LLMによって業界が細部を気にしなくなる仕組みと、それによる職業上の困難を語る。

社会学者 Keith Kahn-Harris はバーミンガムでの Ozzy Osbourne の告別ライブで涙を流し、メタルが衰弱や恥辱、死とどう向き合わせてくれるのかを振り返る。

Emily M. Bender と Nanna Inie は AI の擬人化表現をやめるべきだと主張する。どの言い回しが擬人化かを気づき、代わりの表現を探し、習慣にするという三段階。

19 世紀のめくり絵本 Metamorphosis では、アダムがイブに、イブが人魚に、獅子がグリフォンに、 そして鷲に変わる。子どもたちに死の避けがたさも教えた。
作ることと届けることは別の技能で、短期的には互いに打ち消し合う。センスが高いほど納品を嫌がる。著者は自分のブログを例に、なぜ届ける側に寄せるべきかを説明する。当時どれがよく書けていたかは自分でも分からず、どれが受けるかも予測できなかった。

ヴェロネーゼの絵に繰り返し登場する犬は、美術史家からルネサンスで最も犬を愛した人と呼ばれたが、宗教裁判所はその犬愛のゆえに彼のもとにやって来た。

AI にブログ記事、リサーチレポート、メモのような実質的な内容のテキストを書かせるのは、十分な要点と文脈を与え、後から自分で編集したとしても、ほぼ決してすべきではないと著者は主張する。書くこと自体が思考であり、AI の文章は気づきにくいところで曖昧に誤り、明示しなければ失礼かつ人を誤導するからだ。

LLMが記事をベルビータチーズに変えないための2つのルール:提案された言い回しは使わず、初稿への褒め言葉も信じない。

Grant Sandersonは、AIによる証明の衝撃に応えるため、数学界は新しい証明だけでなく動機づけられた説明を正式に評価すべきだと提案した。