Hacker News Digest

· 33 ハッカーニュース

  1. Japan Meteorological Agencyによると、2026年7月28日、Kumamoto Regionでマグニチュード7.1の地震が発生しました。震源はKumamoto Prefectureの地下10kmで、Uki CityやHikawa Townでは震度7を観測しました。被害はKumamoto Prefecture、Nagasaki Prefecture、Kagoshima Pr…

  2. La Jolla Institute for Immunology と Scripps Research のチームは、HIV の防御を突破するワクチンを開発しました。このアプローチは、免疫系が極めて稀な「broadly neutralizing」抗体を大量に産生するよう誘導します。霊長類を対象とした前臨床試験で、過去最高レベルの抗体応答を確認し、現在は人間を対象とした臨床試験が開始されています。

  3. 欧州委員会に対し、オンラインサービスへのアクセスにおけるデジタルIDと年齢認証システムを任意でプライバシー保護かつ非差別的なものとするよう立法を提案するよう要請します。市民は、法的に正当なコンテンツやサービスにアクセスするために、厳密に必要かつ比例し、法律で定められた場合を除き、自己を特定されることを強制されてはいけません。

  4. Substack は優れた配信ツールですが、デジタルの住処としては不適切です。他社のプラットフォームに依存することは、土地を借りて耕作する「デジタルの借地人」になるようなものです。私は、自分のドメインを所有し、そこで最初に公開してから Substack や SNS へ再公開する POSSE 手法を推奨します。これにより、アルゴリズムの変化やプラットフォームの終了に左右されない永続的な資産を築くこ…

  5. Kimi K3 は、48B から 2.8T へスケールアップした最新オープンウェイトモデルです。LatentMoE や NoPE の採用により推論効率が向上し、Attention Residuals で性能を強化しました。さらにネイティブなマルチモーダル対応も実現し、現在最大のオープンウェイトモデルとして注目されています。

  6. OpenAI が公開した Codex Security は、コード内のセキュリティ問題を発見・検証・レビューするためのオープンソース CLI と TypeScript SDK です。Node.js や Python を必要とし、GitHub リポジトリのバッチスキャンや CI 統合に対応しています。gpt-5.6 などのモデルを活用し、SQL インジェクションなどの脆弱性を検出し、修正提案まで自…

  7. Kimi Linearは、Kimi Delta Attention(KDA)を中核とするハイブリッド線形アテンションアーキテクチャです。このモデルは、短文脈から長文脈、RLスケーリングに至るまで、あらゆるシナリオでフルアテンションを凌駕します。KVキャッシュ使用量を最大75%削減し、1Mコンテキストで6倍のデコードスループットを実現しました。

  8. 私は、Qwen や Kimi で使われる最新の線形アテンションの複雑な式を、単純な仮定から導く方法を紹介します。従来の Softmax アテンションから始まり、DeltaNet や Gated DeltaNet を経て、Kimi Delta Attention までの進化を解説します。これにより、なぜ最新のモデルがそのような構造を持つのかを、誰でも理解できる形で明らかにします。

  9. Deflock Casa Grande は、Flock の監視システムが単なる車両追跡を超え、個人の行動や会話まで記録する可能性を懸念しています。私達は無党派の市民団体として、透明性と説明責任のある公共安全を求め、年間約100万ドルの予算をカメラではなく警官の増員に充てるべきだと主張します。

  10. 私は、24 時間体制の速報ニュースに反する「スロー・ジャーナリズム」を提唱する Delayed Gratification の編集者です。この季刊誌では、過去 3 ヶ月の出来事を振り返り、インフォグラフィックや深い分析を通じて、慌ただしい現代社会に欠けている視点を提供しています。私たちは「速報に一番遅れること」を誇りに思い、読者に質の高い情報と思索の時間をもたらすことを目指しています。

  11. GrapheneOS は、個人や企業からの寄付によって運営されているオープンソースプロジェクトです。寄付金は開発者の給与、ハードウェア購入、サーバー費用、法的費用などに充てられています。GitHub Sponsors、Bitcoin、Monero、Zcash、Ethereum、Cardano、Litecoin などの暗号資産や、Wise、PayPal、Interac e-Transfer などの…

  12. Zig コアチームの一員として、増分コンパイルの実装に取り組んできました。この機能により、変更された関数や宣言のみを検出し、バイナリを直接パッチして再構築する速度が劇的に向上しました。Fizzy のような複雑なアプリケーションでも、初期ビルド後は 50〜70 ミリ秒で再構築が可能です。今回は、この高速化を実現するコンパイラーの内部構造と依存関係の扱いについて解説します。

  13. 38歳の私が障害により安定した収入を得られなくなり、母にお金を借りるに至った体験を語る。プロテスタントの労働倫理に根ざした資本主義社会では、労働生産性が人間の価値と等しく見なされ、働けないことは道徳的な失敗とみなされる。このシステムは障害者を貧困に追い込み、ケアの重要性を無視している。しかし、人間の価値は労働効率だけで決まるものではないと、私は自問し続けている。

  14. Anthropic の Claude Mythos Preview を用いて、ポスト量子暗号候補である HAWK への新たな攻撃法と、AES の脆弱版に対する高速化攻撃を発見しました。これらは実運用システムには影響しませんが、AI モデルが暗号アルゴリズム自体の数学的欠陥を自律的に発見できる可能性を示しています。

  15. Steel Bank Common Lisp 2.6.7 がリリースされ、SB-MANUAL によるマニュアルのインタラクティブ閲覧や、ARM64 および X86-64 での SIMD 命令サポートの強化が可能になりました。コンパイラの最適化や UTF-8 変換の高速化に加え、数多くのバグ修正が行われ、開発体験と実行効率がさらに向上しています。

  16. Apple は macOS Tahoe 26.6 のセキュリティ内容を公開しました。このアップデートでは、サンドボックスの抜け道、ルート権限の取得、バッファオーバーフローなど、多数の深刻な脆弱性が修正されています。各 CVE-ID と発見者の名前がリストされており、ユーザーデータの保護やシステム安定性の向上が図られています。

  17. DMARC は 2012 年から公開されていますが、調査した企業の 68.4% はまだポリシーを強制していません。多くのドメインは記録があっても p=none の監視状態に留まり、実効的な防御を行っていません。その主な原因は、送信元を特定するための報告データの分析が複雑で、管理者にとって膨大な調査作業が必要になる点にあります。

  18. ShopifyのCEOであるTobias Lütkeは、所得税を納めていない人々から投票権を剥奪する制度を支持しました。この提案は、納税額に応じて投票数を増やすという19世紀的な考えに回帰するもので、富裕層の政治的支配を強化するとして批判を浴びています。

  19. 私は、バッテリーやセンサーの故障で整机を交換する時代を変える GPS スマートウォッチ UNA を設計しました。USB-C 充電に対応し、単一のドライバーでバッテリー交換が可能です。Open SDK を搭載し、Strava とシームレスに連携しながら、ユーザーが完全所有できる持続可能なウェアラブルを実現します。

  20. Half-Life が、PowerPC ベースの Macintosh 向けに 28 年ぶりに登場しました。当初 1999 年に計画されながらキャンセルされたこのプロジェクトは、GitHub ユーザーの doctashay によって Xash3D FWGS を活用して実現されました。G3 および G4 プロセッサを搭載した Mac OS 9 環境で動作し、Blue Shift や Opposing…

  21. 1956 年にスペインのバスク地方で設立された Mondragon Corporation は、労働者協同組合の連合体として世界最大規模に成長しました。金融、産業、小売、知識分野にわたり、7 万人以上の雇用を生み出しています。この組織は、民主的な運営と相互扶助の精神に基づき、グローバル市場で競争力を維持しながら地域社会の発展を支え続けています。

  22. Apple は iPhone Upgrade Program の終了を発表し、より柔軟な支払いオプションを提供する新しい Apple Upgrade プログラムに統合しました。既存の会員は残りの支払いを継続でき、アップグレード時には新しいプログラムやキャリアの割引など、自分に合った選択肢から選べます。Apple の製品ラインナップ全体で利用可能なこの新サービスは、顧客体験をさらに向上させることを…

  23. 24時間でプログラミングを習得するという流行には懐疑的です。研究によると、チェスや音楽などあらゆる分野で専門性を身につけるには約10年かかります。成功の秘訣は、単なる反復ではなく、自分の能力の限界に挑戦する意図的な練習と、実際にプログラムを書くことです。

  24. Hubbleは、NotionやApple Notesと同じような書き心地を提供しながら、Markdownファイルでバックアップされる無料のオープンソースメモアプリです。旅行、料理、読書など多様な分野での記録をタグと場所情報で整理し、AIエージェントとの連携も視野に入れています。

  25. 私はKaloyan Kolevと仲間たちで、カラーePaperディスプレイを搭載した実験的なカメラreFrameを開発しました。このカメラは一度に1枚の写真を撮影し、15秒かけて画像が現れるデジタルポラロイドのような体験を提供します。電源を切っても画像は残り、デスクのフォトフレームとしても機能します。ハードウェアとソフトウェアはすべてオープンソースで、Raspberry Pi Zeroなどの市販…

  26. リンクは目的地を指し、ブラウザが新しいタブやブックマークで文脈を変えられるが、ボタンは特定の文脈内でのアクションを意味する。この違いを無視してリンクをボタンに見せかけるのは、アクセシビリティやユーザー体験を損なう誤りだ。HTML の Button Actions プロポーザルは、JavaScript に頼らずにボタンの機能を拡張し、Web をよりシンプルで安全なものにする。

  27. 私は AI が人間を代替するのではなく、人類の発展を加速させる信念から LearnVector を設立しました。Coursera からの 1 億ドルの投資を受け、従来の一斉授業ではなく、一人ひとりに合わせた個別学習体験を提供します。単なる答えを返すチャットボットではなく、学習者のペースに合わせて計画し、スキル習得まで寄り添う信頼できるガイドを構築します。

  28. LLM の埋め込み空間に「真理」を示す方向が存在するという仮説について、Tarski の自己言及のパラドックスを用いて反論します。言語モデルは自身の出力を記述できるほど表現力が高いため、万能な真理探針は数学的に存在し得ません。単なる方向への投影では、論理的な矛盾を回避できず、AI が絶対的な真理の神として機能することは不可能であることを示します。

  29. 私は Linux と Wayland における複数マウスカーソルのサポート状況を 3 週間調査しました。Wayland プロトコル自体はマルチシート機能を深く統合していますが、Weston や sway などのコンポジタ、GTK や SDL などのライブラリでの実装はまだ完全ではありません。ペアプログラミングやゲームでの共同プレイを可能にするこの技術の現状と課題、そして今後の開発アイデアについて…

  30. VPS 上で数台の Spring Boot アプリケーションを運用する場合、大規模な監視スタックは過剰になることがあります。StatLite は、Actuator エンドポイントからデータを取得し、Go 単一バイナリと SQLite で軽量なダッシュボードを提供します。これにより、複雑な設定なしに、アプリケーションの健全性、エラー、メモリ使用量、再起動状況を簡単に把握できます。

  31. 私はBetteridgeの法則が、単なる皮肉ではなく、ニュース記事の構造を説明する有効な理論だと考えている。しかし、現代のインターネットは過信を賞賛する傾向があり、真に開かれた議論を促す疑問符付きタイトルを不当に攻撃する風潮が蔓延している。本来、タイトルは内容に正確に合致すべきであり、疑問符が真の疑問を示す限り、それを禁じるべきではないと私は主張する。

  32. CleopatraやAlexander the Greatに代表されるギリシャ・ローマ中心の古代史観は、近年の発見により大きく変容しつつあります。Trans-Saharan tradeやSilk Road、Indian Oceanを介した広範な交易網の証拠が、古代がAfro-Eurasia全体にわたるグローバルなつながりを持っていたことを示しています。私たちは、地中海盆地だけでなく、東アジアや中…

  33. 1983 年に UC Berkeley がリリースした 4.2BSD は、Sockets インターフェースを通じてネットワーク接続を劇的に変えました。以前の複雑な手順から、UNIX のファイル記述子モデルを再利用したシンプルで統一的なアプローチへ移行し、FTP や Telnet などの基盤技術が急速に普及しました。この技術的転換が、世界中のネットワークサービスアクセスをどのように可能にしたのかを…