Bun の Rust 書き直しが 6 日で Linux x64 のテスト 99.8% を通過、Google が de-Google 化した Android で reCAPTCHA を壊した件が 1561pt を集めた日

Four Light Years のブログ記事で、しばらく離れていた AWS に戻り、離れた理由を痛感したと綴っている。クラウドはかつて革命だったが、Elasticsearch や Redis や MongoDB が望まないにもかかわらず OpenSearch や Valkey や DocumentDB として複製し収益を奪ったと批判している。854pt / 650 コメントを集めた。

コメントでは、AWS の IAM はひどく GCP の IAM は優れており、AWS CLI は基本操作すら混乱しているという比較が上位にある。個人の実験用ゲームサーバーを立てるだけなのに、明日無限にスケールする準備をしているかのような複雑さで毎回悪夢だという声も続いた。

1 日数百万リクエストのアプリを 10 年近く DigitalOcean と Hetzner で動かしており、クラウドは不必要に複雑ですぐ高くなるという投稿や、本当に必要な計算量を問い直す投稿もあった。

Bun の作者 Jarred Sumner による X への投稿で、Zig から Rust への実験的な移行の進捗として、Rust 版が既存の Linux x64 glibc テストスイートの 99.8% を通過したと報告している。数日前の移植ガイドの公開に続く話題で、718pt / 698 コメントを集めた。

コメントでは、6 日間の作業でここまで来たことは、今後はトークンと成し遂げられる仕事が直結し、より多くの計算資源を持つ相手と競うのが難しくなることを示すという見方が上位にある。業界はプログラミング言語としての英語と、仕様とコンテキストと TDD の枠組みへ移行しつつあるという分析も続いた。

副業には十分だが COBOL の銀行システムの移行には足りないという意見、そもそもテストスイートの網羅性と品質はどうなのかという疑問、ライセンスは GPL ではないだろうという推測もあった。

Reclaim The Net の記事で、Google の新しい reCAPTCHA が、Google サービスを取り除いた Android 端末で通らなくなったと報じている。数日前の Google Cloud Fraud Defence の発表と、それを WEI の焼き直しだと批判した記事に続く話題で、1561pt / 591 コメントと当日の首位になった。

コメントでは「豚小屋の門が閉まりつつある」という投稿が最上位にある。ISP が IP を頻繁に変えるため何年も前から CAPTCHA の無限ループで普通の操作すら弾かれているという報告や、新しい reCAPTCHA は本質的にリモート認証で、ブラインド署名を使わないため Google のサーバーと結託すれば端末と本人を紐づけられるという技術的な解説も続いた。

いずれデスクトップ OS も続き、TPM がなければインターネットの半分を閲覧できなくなるという懸念や、訴訟の時だという声もあった。

フィールズ賞受賞者 Tim Gowers のブログ記事で、ChatGPT 5.5 Pro を研究数学に使った経験を、技術的な部分と哲学的な部分を交えて長文で綴っている。博士課程の学生に手頃な問題を与えて研究を始めさせる指導法が難しくなった、数学で不朽の名声を得ることは誰にとっても間もなく不可能になるかもしれないと述べている。728pt / 535 コメントを集めた。

コメントでは、10 年ほど前に Gowers が 100 年後には人間は研究数学をしていないと予測した講演を聞いたが、時期の見積もりを修正したのだろうかという投稿が最上位にある。長い証明では同僚に送る前に別のセッションで 5.5 Pro に批判的に欠陥を探させるべきだという助言も続いた。

不朽の業績についての一節に悲しくなったという大学院生の声や、東欧の理論計算機科学の助教として、著名な数学者が高価な長考モデルに簡単にアクセスできるのが少し羨ましいという投稿もあった。

Anthropic の Thariq Shihipar による X の投稿で、Claude Code に対話的な HTML を生成させることの有効性を説いている。例をまとめた GitHub Pages のサイトと、Simon Willison の関連記事も共有された。528pt / 274 コメントを集めた。

コメントでは、Claude Code が使えるようになって以来多くの人が日常的に HTML を生成させており、目新しさとして提示されるのが意外だという投稿が最上位にある。Web 技術は多くのことを正しくやっており、URL がバックエンドと対応しないバイブコーディング製の SPA に苦しんだ経験と対比する声も続いた。

学習コーパスは HTML に偏っているはずなのにエージェントへの指示に Markdown が共通語として使われるのは不思議だという指摘や、PartyKit のカーソルや投票を備えたワークショップ用の HTML を作ったという報告もあった。