Kimi Linearは、メモリ使用量を75%削減し、6倍高速なデコーディングを実現しつつ、フルアテンションを凌駕する
Kimi Linearのハイブリッド・リニア・アテンション・アーキテクチャは、KV-cacheのメモリ使用量を最大75%削減し、1Mトークンのコンテキストに対して最大6倍高速なデコーディングを実現しながら、さまざまなタスクにおいてフルアテンションを凌駕します。
1つのアンダースコアの欠落が、無実の男を18ヶ月間の服役へと追いやった
Kikのユーザー名におけるたった一つのタイポが、カナダの無実の男性を起訴・有罪へと導き、彼は有罪判決が覆るまで18ヶ月間服役することとなった。
ACMのデジタルライブラリへのLLMトレーニング許可提案 – 利点、リスク、コミュニティの反応
ACMは、LLMにデジタルライブラリへのアクセスを許可すればAIの精度が向上し、研究のインパクトが広がると主張していますが、帰属、ライセンス、集中リスクも認識しています。
RLでファインチューニングした Qwen3.5-9B がカタログレビューでフロンティアモデルを $0.5 per 1k Listings で上回る
GRPO でファインチューニングされた Qwen3.5-9B モデルは、カタログレビューで最大到達可能スコアの 87.3% を獲得し、1,000 件あたり約 $0.50 のコストで、スコア 76.9%・コスト $19–$172 のフロンティアモデルを上回った。
Yap: オープンソースオンデバイスボイスディクテーション macOS向け
Yapは、AppleのSpeechフレームワークを使用して高速なオンデバイス音声ディクテーションを提供する、無料のオープンソースmacOSアプリケーションで、外部モデルやAPIキーは必要ありません。
ソフトウェア開発におけるオープンモデルへのシフト
開発者は、Kimi K3のようなオープンウェイトモデルをプライベート推論エンドポイントと組み合わせることで、データ所有権とイテレーション速度のレベルが、ターゲットとなるコーディングタスクにおいてクローズド・フロンティアモデルに匹敵することを実感しています。
Vimgolf.ai: ゲーミフィケーションされた Vim 学習プラットフォーム
Vimgolf.ai は、ゲーム化されたチャレンジと「vimbot」への対戦を通じて Vim と Neovim のコマンドを教える、インタラクティブなレベル制学習プラットフォームです。
SlopCodeBenchにおけるOpus 5のベンチマーク
Opus 5はSlopCodeBenchにおいて24%の厳格合格率を達成しました。これは以前のモデルを上回るものの、現在の最先端LLMは、長期にわたる反復的な開発タスクにおいてコードベースの品質を維持することに依然として苦戦していることを示しています。
ソフトウェア消費の倫理：DHHとHeyを巡る論争の分析
デビッド・ハイネマイヤー・ハンソン（DHH）による移民とロマの人々に関する発言をきっかけに、ユーザーは制作者の政治的・社会的見解に基づいてソフトウェアのサブスクリプションを解約すべきかどうか、技術コミュニティでの議論が行われています。
ClickFix Captcha マルウェア攻撃の理解
'ClickFix' 攻撃の新たな波は、偽の CAPTCHA ページを使用して、Windows の Run ダイアログを介して悪意のある PowerShell スクリプトを実行させるようユーザーを騙し、しばしば侵害されたウェブサイトを通じて配信されます。
AI市場バブルにおけるAppleの戦略的ポジション
AppleがオンデバイスAIとエッジシリコンを優先し、潜在的なAI市場バブル崩壊に対するヘッジとする戦略を分析し、AIベンダーの大規模なインフラストラクチャ投資と対比させる。
動揺病対策のためのApple Vehicle Motion Cues
AppleのVehicle Motion Cues機能は、画面上の視覚的インジケーターを使用して、移動中の車両でデバイスを読んだり使用しているユーザーの動揺病を軽減します。
Forthの理解: スタックベースプログラミングとxkcdの視点
Forthは、逆ポーランド記法とミニマリストな設計を特徴とするスタック指向プログラミング言語であり、その可読性についての誤解がしばしばある。
XY – 高速、コンポーザブル、GPU加速のPythonチャートライブラリ (alpha)
XYは、Rustコアと密度サーフェスを使用して、小さなプロットから数十億のポイントまでのインタラクティブなウェブおよびノートブックチャートをレンダリングする、アルファ段階のGPU加速Pythonチャートライブラリです。
ソーラーパネルを洗うべきでしょうか？
著者のテストでは、ソーラーパネルの清掃により出力が2‑5%向上し、これは時間とともに減少する可能性のある modest な年間節約に相当する。
AI トレーニングと希少書籍の破壊的スキャン
報告によると、AI企業は高速スキャン後の希少書籍を大量に購入し、シュレッダーにかけてトレーニングデータを作成している。この慣行は allegedly 、フェアユースの下で合法とみなされ、1つのコピーのみを確保することを目的としている。
Google v. SerpApi: 裁判官が検索結果スクレイピングに対するDMCA請求を却下
米国の判事は、GoogleがSerpApiに対して提起した訴訟を棄却し、DMCAの反回避条項は著作物でない検索結果のスクレイピングには適用されないと裁定しました。
水中脱酸素化と惑星境界フレームワーク
カリフォルニア大学サンディエゴ校スクリップス海洋研究所の研究者は、急速な水中脱酸素化が地球を「安全でない領域」へと押し込み、全球的な安定性に対して取り返しのつかない影響をもたらす可能性があると警告しています。
WebGPUとRustを使用したブラウザでのManim
Manimアニメーションエンジンの新しいブラウザベースの実装は、Rust、WebAssembly、WebGPUを使用して、数学的アニメーションのリアルタイムレンダリングとライブプレビューを可能にします。
Lean 4 での形式的に検証された 3D CSG メッシュ交差
Lean 4 で実装された形式的に検証された 3D 構成固体幾何学 (CSG) メッシュ交差。93 行の仕様と AI 生成の証明により、人間のレビュー担当者は 1000 行の実装を検査せずに正しさを信頼できる。
python-build-standalone: 高い移植性を持つPythonディストリビューションの作成
python-build-standalone は、ランタイム依存を最小限に抑えた自己完結型の Python ディストリビューションを提供し、多様なシステムでの信頼性の高い埋め込みとインストールを可能にします。
Moonshot AI Kimi-K3 リリース
Moonshot AIは、長時間コーディング、推論、エージェントタスクのために設計された世界初のオープン3TクラスモデルであるKimi-K3をリリースしています。
tale.fyi: 同期されたフィクションとオーディオブックのためのウェブベースのリーダー
tale.fyiは、パブリックドメインのライブラリとニューラルアラインメントを使用して同期されたテキストとオーディオ体験を提供することにより、フィクションを称えるように設計された新しいウェブプラットフォームです。
倫理的な葛藤とGoogle DeepMindからの退職
元従業員は、企業の政府契約に関する倫理的懸念および企業の説明責任の欠如と認識されていることにより、Google DeepMindを退職する決断を述べている。
Anthropeum: 人間の人工物向けGeoguessrスタイルゲーム
Anthropeumは、メトロポリタン美術館のオープンアクセスコレクションからの人工物の出所と年代をプレイヤーが推測する、日々の教育的ゲームです。
宇宙飛行士、6か月間のISSミッション後に持続的な観察者感覚を報告
6か月間の国際宇宙ステーションミッションから帰還した宇宙飛行士は、わずかな距離から自分の人生を見ているような持続的な観察者感覚を述べ、フライトサージャンはそれがほとんどの乗組員で数週間から数か月で薄れることを指摘している。
FeyNoBg と NoBg: SOTA 背景除去モデルとトレーニングライブラリ
Feyn は、八つのカテゴリで主要なベンチマークを上回るか匹敵する最先端の背景除去モデル FeyNoBg と、そのようなモデルのトレーニングと実行のためのオープンソース Python ライブラリ NoBg を紹介します。
Misago、パフォーマンス向上と保守性向上のため React.js から HTMX へ移行
Misago フォーラムプロジェクトは、UI ロジックの重複を排除し、JavaScript バンドルサイズを削減し、サーバーサイドレンダリングに戻ることで開発ワークフローを簡素化するために、React.js から HTMX への置き換えを行っています。
Bun Rust Rewrite: AI-Driven Development and the Reality of Software Porting
AnthropicのAIを使用したBunのRustへの書き換えに関する分析。 「完了した」書き換えというマーケティング上の主張と、安定したリリースに必要な継続的なエンジニアリング作業との間のギャップを浮き彫りにしている。
CXMTのIPOが470%近く急騰、中国本土で最も価値のある上場企業に
中国のチップメーカーCXMTの株価は、上海証券取引所のStar Marketでのデビュー時に470%近く上昇し、時価総額は約3.3兆元に達し、中国本土で最も価値のある上場企業となりました。
TITLE: Paged Out #9: ハッカー文化のためのモダンなテクニカルジン
SUMMARY: Paged Out #9 は、2600 や Phrack のようなクラシックなハッカー出版物を彷彿とさせるスタイルで、サブピクセル レンダリングから計算可能なタイリングまでの多様なコンピューティング トピックを融合させた、深く技術的なキュレーションされたジンです.
DecathlonドイツがWero決済システムを統合
DecathlonドイツはウェブサイトにWeroを追加し、非ヨーロッパの支払いプロバイダーへの依存を減らすために設計されたEU主導のデジタル決済インフラストラクチャの採用における重要な一歩を示しています。
米国の検察官が、アトランタ空港でのGrapheneOS電話のワイプ後にサム・チュニックを起訴
米国の検察官は、2025年1月の空港検索中にGrapheneOS対応の電話が自動的にワイプされた後、アトランタ在住のサム・チュニックを連邦の反破壊法に基づいて起訴し、耐圧PINと国境検査権限に関する法的疑問を提起しました。
ウェブアクセシビリティの侵食：摩擦、ボット検出、およびアプリ中心のインターネット
Hacker Newsでの議論では、ボット検出の増加、必須のアプリインストール、および積極的なMFA要件が、オープンなウェブを閉鎖的で高摩擦な環境に変えていることが探求されています。
AI企業がワシントンでのロビー活動支出を記録的水準に引き上げ
OpenAIやAnthropicを含む主要なAI企業は、ワシントンにおけるAI規制と政策に影響を与えるため、連邦ロビー活動支出を大幅に増やしています。
Claude AI Team プラン サービス停止とサポートの課題
ユーザーは、Claude AI Team プランの重大なサービス不可と、Fin のような自動ボットへの依存による人間サポートへの到達の困難さを報告しています。
LeanとLLMによる証明の自動化
Leanなどの依存型言語と大規模言語モデル（LLMs）の統合により、形式検証のコストが劇的に削減され、以前は実装コストが高すぎて実現できなかった複雑なソフトウェア不変性を証明することが実用的になりました。
Volvo/Eicher フリート プラットフォームのセキュリティ脆弱性
セキュリティ研究者は、Volvo/Eicher フリート プラットフォームにおける重大な脆弱性を発見しました。この脆弱性は、すべてのユーザーと車両に対する不正な制御を許す可能性があり、クラウド管理された自動車ソフトウェアにおけるシステム全体のリスクを浮き彫りにしています。
Audio-Cassette-Simulation: FFmpegを使ったカセットテープオーディオのシミュレーション
Audio-Cassette-Simulation リポジトリは、カセットテープオーディオのプロファイルをエミュレートするFFmpeg‑based技術を提供します。これは、そのタイトルとHacker Newsで共有されたリンクによって示されています。
Scriptc: VercelのTypeScriptからネイティブへのコンパイラ
Scriptcは、通常のTypeScriptを、JavaScriptエンジンを含まない、小さくて高速なネイティブ実行ファイルにコンパイルします。ほとんどのコードには静的コンパイルを使用し、動的な機能にはオプションでQuickJS-NGエンジンを使用します。
予測は2026-2027年に観測史上最強のエルニーニョを予測する
マルチモデル予報によると、2026-2027年のエルニーニョは観測史上最も強くなる可能性が高く、中央値のピークは3.6°Cで、過去最高の2.75°Cを大幅に上回ると予測されています。
Rescript: オープンソース、ブラウザベースのDescriptの代替
Rescriptは、テキストトランスクリプトを編集してビデオを編集できるオープンソースのビデオエディターで、最大限のプライバシーを確保するために、トランスクリプトとレンダリングをすべてブラウザ内でローカルに実行します。
VLC for Unity が Linux サポートを追加
VLC for Unity は現在、x86_64 アーキテクチャの Linux をサポートしており、libVLC を利用して Unity ゲームエンジン内でハードウェアアクセラレートされたビデオ再生を提供しています。
フランスの消防士が初めて火災雲（pyrocumulonimbus）に遭遇 – 2026年7月
2026年7月26日、フランスの消防士はランデス地方で発生した山火事による火災雲（pyrocumulonimbus）に直面しました。これはフランスで記録された初の火災由来の嵐であり、独自の風、雷、そして予測不能な延焼がもたらす前例のない困難を浮き彫りにしました。
Decker: インタラクティブなドキュメントのためのモダンなHyperCard風プラットフォーム
Deckerは、モダンなスクリプト（Lil）、自己完結型HTMLへのクロスプラットフォーム・エクスポート、そしてノスタルジックな1-bitの美学を備え、HyperCardのカードベースのワークフローを復活させた、無料のオープンソース・マルチメディアプラットフォームです。広告やテレメトリなしで、誰でもインタラクティブなドキュメント、ゲーム、ツールを作成できます。
ctrlb-decompose: LLMのためのログ圧縮とパターン抽出
ctrlb-decomposeは、数百万行のノイズの多いログを、統計情報と異常検知を備えた少数の構造的パターンに圧縮し、ログをLLMで利用可能な状態にするRustベースのツールです。
BMW 車内 スパイダーマン アニメーションと自動車広告に関する議論
BMWは、車両ディスプレイにオプトインのスパイダーマンテーマのアニメーションを導入し、私的な車両所有への広告の侵食に関するユーザー間の議論を引き起こした。
Data-Oriented Design の導入
Data-Oriented Design (DOD) は、CPU キャッシュ効率を最大化し、大規模な並列処理を可能にするために、オブジェクト階層よりもメモリレイアウトとデータアクセスパターンを優先します。
MAI-Cyber-1-Flash inside MDASH – Microsoft AI発表
Microsoftは、MDASHに統合されたコンパクトなセキュリティモデルであるMAI-Cyber-1-Flashを発表しました。このモデルは、主要なモデルの半分のコストで世界クラスの脆弱性検出を提供します。
HMTP: 既存のWeb標準を用いたモダンなメール後継者の設計
HMTP (Hypertext Mail Transfer Protocol) は、スパム、なりすまし、および暗号化に関する長年の問題を解決するために、SMTPを HTTP、WebFinger、ActivityPub を含む既存のWeb標準のスタックに置き換えることを提案する、次世代のメールプロトコルです。