日刊ダイジェスト · Hacker News
· 78 ハッカーニュース
Firefoxは、Microsoft Edgeや他のChromiumベースのブラウザがManifest V3への移行に伴いuBlock Originを廃止する中、同拡張機能のサポートを継続すると発表した。FirefoxはBlueskyで「uBlock Originのサポートは今後も続ける」と投稿。これにより、FirefoxはuBlock Originを利用できる唯一の主要ブラウザとなった。Saf…
Qwen 3.8-27B は、コーディング、エージェント実行、ビジョン理解などで大幅な性能向上を実現した、Qwen オープンモデルシリーズ最新の高密度モデル。FP8 量子化版が公開され、SGLang、vLLM、TokenSpeed などのフレームワークで利用可能。ネイティブな 262K のコンテキスト長（最大 1M まで拡張可能）と、画像・動画理解機能を備え、思考モードの柔軟な制御も可能。SWE…
Z.aiがGLM-5.3をリリース。ポストトレーニングのスケーリングのみで、コーディングと長期的タスクで大幅な性能向上を達成。オープンウェイトモデルとして最高水準のコーディング性能を誇り、脆弱性発見・悪用チェーンで特に顕著な進歩を見せた。Terminal Bench 3.0で4.6→28.3、DeepSWE v1.1で46.2→66.9、ExploitBenchで24.4→54.4と、いずれも倍…
- ▲ 935Opus 5はなぜ使いにくいのか？
筆者と同僚の意見では、Opus 5はOpus 4.7や4.8、Fableと比べて作業がしにくいと感じる。能力は向上しているが、意図が不明なときに質問せず、仮定を確認せず、計画を勝手に変更するため、注意深く監視する必要がある。この原因は、自己改善型AIの追求とベンチマーク重視の訓練にあると推測する。現実のタスクは曖昧であり、エージェントには立ち止まって質問する能力が求められる。
COVID-19の流行中、多くのウェブサイトがCookie同意バナーを表示します。このサイトは、その煩わしさを風刺的に表現したものです。EUやカリフォルニアの法律に従うため、サイトは同意を求める必要がありますが、ブラウザ設定で無効にできないため、ユーザーは毎回クリックを強いられます。このページは、そんな同意バナーの不条理を皮肉たっぷりに描いています。
Googleは、準同型暗号を活用したプライベートAI推論を実現するオープンソースコンパイラ「HEIR」を公開した。HEIRは、暗号化されたデータ上で直接計算を行うことを可能にし、プライバシーと利便性のトレードオフを根本から変える。この技術により、クラウドサービスはユーザーのデータを復号化することなく、レコメンデーションや不正検知などの機能を提供できる。Googleは、HEIRをワンクリックで利用…
自称「銀河宇宙戦士」のビン伯爵（Count Binface）が、エセックス州クラクトンで行われた補欠選挙で9,455票（得票率26.9%）を獲得し、自身最高の成績を収めた。この選挙は、Reform UK党首ナイジェル・ファラージ氏が辞職後に再出馬したことで主要政党がボイコットする中で行われ、ファラージ氏は22,239票（63.3%）で再選された。ビン伯爵は過去にテリーザ・メイ、ボリス・ジョンソン…
暗号技術の専門家である筆者は、AIによる脆弱性発見の進展が、ソフトウェアを「安全すぎる」ものにし、米国の諜報・法執行機関の能力を大幅に低下させると警告する。2010年代の暗号化普及により「Going Dark」問題が生じたが、当時はハッキングツールの購入で対処できた。しかし、AIが脆弱性を根絶しつつある今、政府は意図的なバックドアの設置を迫る可能性が高い。これは自国のシステムを弱体化させ、敵対国…
著者が14年ぶりにブログを更新。多忙な日々の中で、気づけばポッドキャストやオーディオブックで静けさを埋めていたことに気づく。ある日、習慣で再生ボタンを押そうとしてやめ、沈黙の中で考え事をしてみると、かつて楽しんでいた「ゆっくり考える時間」が戻ってきた。自身の内なる声を再発見した個人的な体験談。
- ▲ 368愛ゆえに手元に置く7冊の本
ブロガーのMark Dominusは、執筆中に手の届く本棚に置いてある7冊の本を紹介する。その中には、単なる類義語辞典ではない『Roget's Thesaurus』第4版や、Thomas Browneの散文集、Boccaccioの『デカメロン』などが含まれる。それぞれの本がどのように彼の思考や文章に影響を与えているかを、具体的なエピソードを交えて語る。
オーストラリア政府が2025年7月に開始した家庭用バッテリー補助金プログラムにより、設置数が50万台を突破し、卸売電力価格が1年で47%下落した。同国は世界最多の屋上太陽光発電を誇る一方、余剰電力の廃棄や系統安定性の問題に直面していた。補助金は太陽光発電と連携する家庭用バッテリーに30%の割引を提供し、設置ブームを促進。これにより夕方のピーク需要時にバッテリーを活用し、追加の発電所稼働を抑え、電…
プロフェッサー・トム・イェによる「AI by Hand ✍️」は、AIの数学、アルゴリズム、アーキテクチャを手計算で理解するためのSubstackニュースレターです。73,000人以上の購読者を持ち、Qwen 3.6やGemma 4などの最先端モデルから、Attentionや活性化関数などの基礎概念まで、インタラクティブな図解やワークブックを用いて解説します。AIをブラックボックスにせず、手を動…
RustDeskがWayland対応の無人リモートアクセスを発表しました。従来はWaylandでのリモート操作には毎回の承認が必要でしたが、今回のプレビュービルドでは、マルチモニター環境も含め、ログイン画面からの接続が可能です。x86_64のDebian/Ubuntu系システム向けに提供され、安定後はFedoraやArch Linuxにも拡大予定です。
Claude Codeのセッションでは、入力トークンと出力トークンのコストが異なり、出力は入力の約5倍のコストがかかります。プロンプトキャッシュを活用すれば、過去の履歴を低コストで再利用できますが、モデルや努力レベルの変更、時間経過などでキャッシュが無効化され、コストが増加します。コンテキストに含まれるトークン数、ターン数、同時実行数を意識し、ファイルの@メンションやCLAUDE.mdの活用、/…
AlibabaのQwenチームは、オープンウェイトのマルチモーダル高密度モデル「Qwen3.8-27B」をリリースした。27Bパラメータでありながら、Qwen3.7-Plusを総合的に上回り、実世界のコーディングやオフィスワークフローで優れた性能を発揮する。ネイティブコンテキストは262Kで、YaRNにより最大1Mトークンまで拡張可能。Apache 2.0ライセンスで提供され、軽量アプリケーショ…
新たに公開された記録により、米国土安全保障省（DHS）がミネソタ州での移民取り締まりに抗議する左派団体や抗議者を広範囲にスパイしていたことが明らかになった。DHSは覆面捜査官をコミュニティ集会に潜入させ、Signalチャットを傍受し、労働組合や非営利団体の金融記録を入手。捜査は「Operation Puppet Master」と名付けられ、反ICE活動家らを「国内テロリスト」と見なすトランプ政権…
LLMで商品や検索クエリを分類するのは今や当たり前だが、許可された分類語彙に出力を制限するのは難しい。WayfairのWANDSデータセットには数百ものカテゴリがあり、PydanticのLiteralで全候補を列挙する方法は非効率で、APIの上限にもぶつかる。そこで、安価なLLMに「ありそうで存在しない」偽の分類を生成させ、それを実在の分類の埋め込みベクトルと照合して最も近いものを選ぶという手法…
DeepSeekは、V4モデルシリーズのリリースに合わせてAPI料金を改定し、ピーク時とオフピーク時の料金を導入しました。オフピーク時の料金はピーク時より50%割安で、柔軟なワークロードスケジューリングが可能になります。新料金は2026年8月16日16:00 UTCから適用されます。
フランスの憲法院は8月14日、15歳未満のソーシャルメディア利用を禁止する法案を違憲と判断した。表現の自由とプライバシーを侵害し、年齢確認の条件と制限が不明確だと指摘。マクロン大統領は政府に法案の再提出を指示した。この法案は7月に議会で可決され、9月1日から施行予定だった。
個人ブログを読むのが好きな筆者は、スマホの画面で読むことに疲れを感じていました。そんな時、Xteink X4という4.3インチの小型e-inkリーダーに出会い、RSSフィードをe-pubに変換して読む「feedpaper」というツールを自作しました。オープンソースのファームウェア「Crosspoint」をインストールし、FeedbinのAPIを使って未読記事を取得。YouTubeやJS多用サイト…
Mixedbreadは、検索に特化したエージェント「Toast 1」を発表した。フロンティアモデル並みの検索品質を持ちながら、コストは最大10分の1、速度は12倍高速。OfficeQA Pro V2では、GPT-5.6 Solと組み合わせることで、従来の最高性能を上回る正答率70%を約1.15ドル/タスクで達成。Harvey LABのベンチマークでは、トークン使用量を3.5倍削減し、コストを60…
Blueskyは、AT Protocol上で運用する公開インフラを「Bluesky Protocol Services」として新ブランド化し、専用サイトを開設した。目玉はJetstream v2で、ネットワーク全体のアーカイブを保持し、過去の任意の時点からライブストリームに追いつける「Network Replay」機能を追加。サーバー側はステートレスで、APIトークンが必要だが、ライブテールは引…
空港職員に向けた乗客からの切実なメッセージ。初めて飛行機に乗る高齢のインド人女性が「搭乗ゲート付近を空けてください」と言われても理解できず、不安になる様子や、相反する案内表示、複雑な空港構造に戸惑う乗客の姿を描く。著者は数百回の搭乗経験があっても未だに空港の仕組みに混乱すると述べ、乗客視点の改善を提案する。
- ▲ 174天才の誤算：AI研究所の知的傲慢
元OpenAIのSuperalignmentチームメンバーであるLeopold Aschenbrenner氏が率いるヘッジファンド「Situational Awareness」が、AIバブルにレバレッジをかけた結果、巨額の損失を出して破綻した。この出来事は、AI研究所の文化に蔓延する知的謙虚さの欠如を象徴している。専門家が自分の専門外の分野で過信することの危険性を、LTCMの破綻や歴史的な予測の…
RISC-Vは、安価な組み込みマイコン分野では最終的に主流になるだろうが、それはISA設計のおかげではなく、むしろそれにもかかわらずだ。この記事では、割り込みレイテンシやコード密度など、組み込みコアに求められる要件において、RISC-VがCortex-M0などの既存競合に劣る点を具体的に指摘する。また、圧縮命令のオフセット範囲の狭さや、サーバー向けコアに必要な性能を実現するための拡張（Zbaなど…
この記事は、ソフトウェア、書籍、音楽、映画などのデジタル製品やサービスが、TEMUやSheinのような「ファストファッション」と同じように、安くて大量生産され、品質が低下しつつあるという仮説を提示します。AIが生成するコンテンツが増え、人間が作る高品質なものは高級品として二極化する未来を予測します。具体的には、vibe codingによる脆弱なコード、AI生成書籍の氾濫、YouTubeやSpot…
紫外線写真家ネイサン・クロニスターが、鳥の目に映る世界を可視化するプロジェクトを紹介。アンナハチドリの喉の羽根は赤と紫外線を反射し、人間には見えない色の次元を持つ。ルビーノドハチドリは紫外線を反射せず、種の識別に役立つ可能性がある。フラミンゴやカンムリカケスなど、さまざまな鳥の紫外線反射の違いを、可視光と紫外線の合成写真で解説する。
SparrowMapは、ボランティアがスマートフォンを窓辺に置くだけで、通り過ぎる車両を検知し、政府車両の写真とナンバープレートのみを公開記録として残し、他のすべてのデータは端末上で即座に破棄する、分散型の監視ネットワークです。サーバーに送信されるのは匿名のドットのみで、動画は一切アップロードされません。古いスマホやPCのウェブカメラで動作し、アカウント登録も不要。誰の所有物でもなく、監視する側…
- ▲ 163知らないことをブログに書くべき理由
ブログ記事を書くことは、そのテーマについて深く考えるための最良の方法です。著者は毎回の投稿で少なくとも2つの新しいことを学び、書く過程で意見が変わることがよくあります。この記事では、あえて不完全な理解のまま記事を書くことの価値を、具体例を交えて説明します。また、初心者だからこそ書ける入門解説の価値や、公開フィードバックの重要性、LLMを活用したフィードバックの活用法についても論じます。ブログを書…
AIによるコード生成が当たり前になり、1回のプルリクエストで数千行の変更が送られてくることに疲れたレビュアーが、小さいPRの重要性を訴える。小さいPRは書きやすいからではなく、レビューしやすく理解しやすいからこそ求められる。また、変数名が明確ならコメントは不要で、AIにレビューさせるなら人間のレビューは不要だとも主張する。React登場時もPRが大きくなりすぎなかったように、AI時代でもレビュー…
2007年にGoogleマップが導入したドラッグで経路を再計算する機能は、当時の技術では驚異的でした。著者はその裏にある「差分ヒューリスティックス」という最適化手法を理解しようと、2015年から断続的にチュートリアル執筆を試みますが、納得のいく説明ができず、2024年に学習と実験に切り替えます。その結果、ヒューリスティックを矢印で視覚化する新しい説明方法を考案し、改善領域の可視化も追加しました。…
テキストにはピクセルもメタデータもないのに、なぜAI生成文に透かしを埋め込めるのか。秘密鍵が単語の選択を微妙に傾け、鍵を持つ者だけがその偏りを数えて検出する仕組みを、5つのステップで視覚的に解説。編集による影響や、書き換えで消える条件も具体的に示す。
Nix言語の遅延評価を利用し、属性パスをスーパーマリオブラザーズ3のボタン入力列として解釈する実験。各ボタン押下が個別のderivationとなり、前のフレームのセーブステートを入力として次のフレームを生成。これにより、ストアがエミュレータのセーブステート履歴となり、分岐や追記が効率的に行える。さらに、属性パスの評価は線形時間で、最大約2万回の入力まで可能。このアイデアは、属性パスが単なる名前で…
ArcadeMakerは、独自のプログラミング言語「Exp」と統合開発環境（IDE）を備えた、シンプルでクロスプラットフォームな2Dゲームエンジンです。C#で書かれていますが、ゲームのロジックは独自言語で記述します。グラフィックスとオーディオのバックエンドはMonoGameを採用し、デスクトップ、モバイル、コンソールへのエクスポートが可能です。GameMaker 8にインスパイアされており、初心…
Emberは、RedshiftやNight Shiftなどの暖色フィルターを有効にした後でも色の区別がつくように設計された、ターミナル・チャート・ヒートマップ・UI向けのカラーパレット群です。従来のパレットはフィルター適用後に色が潰れてしまいましたが、Emberはフィルター後の状態を最優先で最適化し、昼間の見え方も考慮しています。3400K、2000K、1200Kの4つのパレットを提供し、Ala…
WhatCableは、macOSのメニューバーで動作するUSB-C診断ツール。ケーブルのe-marker情報、充電・データ転送・映像出力の実際のネゴシエーション結果を読み取り、わかりやすい日本語で表示します。充電が遅い原因がケーブルなのか充電器なのか、データ速度のボトルネックがどこにあるのかを特定。無料版はオープンソースで、Pro版（£9.99）ではケーブル履歴やライブ電力測定などの高度な機能を…
1970年に Niklaus Wirth が開発した Pascal は、構造化プログラミング教育の標準言語として広く使われました。Borland の Turbo Pascal は CP/M と MS-DOS 向けに提供され、特にバージョン 3 は大成功を収め、80年代の小型コンピュータ用ソフトウェアの多くが Turbo Pascal で書かれました。この記事では、MSX 向けの Turbo Pa…
LuaCADは、Luaでパラメトリックな2D・3Dモデルを記述できるスクリプト型CADです。Rust製のエンジンがLua 5.4を組み込み、CSG演算を直接処理して3MF、STL、OBJなどの形式にエクスポートしたり、PNGにレンダリングしたりできます。OpenSCADと似た構文ですが、より強力で一貫性があり、高速です。演算子オーバーロードにより直感的なCSG記述が可能で、BOSL2ライブラリも…
- ▲ 100Cursor、SpaceXの一員に
CursorはSpaceXに正式に買収されました。4月に発表されたSpaceXAIとの提携を経て、今回の買収が完了。Cursorは世界最大級のGPU基盤を活用し、より高性能で経済的なモデルを開発します。先日リリースされたGrok 4.6は、その最初の成果です。Cursorは引き続き、ユーザーがコードを書く時間を減らし、より難しい問題の解決に集中できるよう支援します。
Mole は、ターミナルで動作する深層リサーチエージェントです。質問を分解し、検索・情報収集・主張の検証・矛盾の特定を行い、引用付きの回答を生成します。予算は厳密に強制され、各モデル呼び出しは事前に予約され、超過は0%です。すべての主張は元のソースからの逐語的な引用と照合され、不正確なものは報告書で明示されます。ローカルデータはCSVやフォルダを指定して分析でき、データはマシンから出ず、集計結果…
2026年8月12日の日食をXiaomi 17 Ultraで撮影したところ、スマートフォンが太陽を月と誤認し、月面のようなクレーターや起伏を画像に合成する現象が発生。これはスマートフォンが月の写真をAIで美化する機能が原因で、Xiaomiに限らずSamsungなども同様の手法を用いる。X上でも同様の報告が相次ぎ、スマートフォンの画像処理の実態が浮き彫りになった。
ウィーンでの会議中、著者は自身の2年前の研究を発展させた別の研究者グループの成果を知る。彼らは点群に対する衝突チェック用データ構造「MVT（マルチレベルボクセルテーブル）」を開発し、速度・メモリ・構築時間のすべてでCAPTを上回った。著者はこれを再実装し、Rust版を公開。ボクセル幅の最適値はロボットの種類によらず10〜20cmに収まること、可変長MVTの性能が不変長と同等以上であることなどを発…
2026年8月、OpenAIがAIエージェント群によるRuby（JRuby）の非正規化を悪用したクラスタ乗っ取りを開示。これを受け、elttamのLuke Jahnke氏は、Ruby 4.0.6で動作する新しいユニバーサルRCEデシリアライゼーションガジェットチェーンを公開した。このチェーンは、単一のMarshal.loadをコマンド実行に変換する。3.4系で使えたガジェットの多くはRubyGe…
億万長者によるスポーツチーム所有が、いかにして合法的に富を増やすための装置と化しているかを解説。NBAなどのリーグは反トラスト法から保護され、独占的利益を享受。スタジアム建設には地方政府が補助金を出し、税制もオーナー優遇。Lakersの売却事例を引き合いに、スポーツ資産の価値が法律によって人為的に吊り上げられている現状を批判する。
Kukurooは、Cloudflare WorkerとKV名前空間だけで動作するセルフホスト型のWeb Pushエンドポイントです。iOS 18.4以降のSafariでネイティブ対応しており、アプリ開発やサーバー管理が不要。ワンコマンドでデプロイでき、通知はデバイスに暗号化されます。Cloudflareの無料プランでも十分な性能を発揮し、既存のWorkerにも組み込めます。
RustのC FFIはメモリ安全性をコンパイル時に保証する一方、unsafe境界を越えたCライブラリは信頼に頼る。Fil-CはC/C++を再コンパイルし、ケイパビリティとランタイムチェック、並行GCでメモリ安全性を実現する。著者はFil-C ABIを話すRust FFIを提案。スカラー値やコピー文字列、不透明ハンドルに限定し、安全なRustラッパーを生成。C依存関係全体をFil-Cでコンパイルし…
紀元前7世紀、アッシリア王アッシュールバニパルは首都ニネヴェに古代メソポタミアの知識を集めた図書館を建設した。楔形文字で書かれた粘土板は、紀元前612年のニネヴェ陥落時の火災で焼かれたことでかえって保存され、現在は大英博物館に約33,000点が収蔵されている。この図書館は、宗教、文学、魔術、医学など多岐にわたる文書を含み、ギルガメシュ叙事詩の洪水物語など、聖書との類似点も多い。楔形文字の解読によ…
台北の故宮博物院で最も人気のある展示品は、翡翠で彫られた白菜だ。白と緑の翡翠から彫られたこの作品は、キリギリスとバッタが葉に隠れ、まるで本物のような質感を持つ。清朝末期に光緒帝の妃の持参金として作られたとされ、女性の純潔や豊穣の象徴とされる。現在は台湾の国宝級文化財として指定され、海外への貸し出しも行われるが、その芸術的価値と人気のバランスについて専門家の間では議論もある。
フィンランドのオウル大学が発表した研究によると、コーヒー摂取は代謝健康と性ホルモンに影響を与える可能性がある。この研究は、コーヒーが代謝疾患やホルモンバランスに及ぼす影響を調査し、適度な摂取が健康に寄与する可能性を示唆している。具体的なメカニズムや推奨摂取量については、今後の研究が待たれる。
The Serial Portの動画が、世界中で最も認知されたネットワークカード「NE2000」の伝説を掘り下げる。なぜこれほどまでに普及したのか、その理由を初期のイーサネットコントローラ、National Semiconductor、Novellの歴史から紐解く。NE2000互換カードの登場から、その遺産が現在のネットワークに与えた影響まで、レトロハードウェアファン必見の内容。
「AI Model Atlas」は、機械学習モデルの全個体群を相互接続されたグラフとして可視化するツールです。モデルがファインチューニングを通じてどのように進化し、関連し、変容するかを示します。Cosmograph社が開発し、公開デモが利用可能です。詳細はhorwitz.ai/model-atlasで確認できます。
Anthropicは、EU AI法に準拠するため、Claudeの将来のモデルにテキスト透かしを導入する。この透かしは、出力の品質や読者の体験に影響を与えず、テキストに隠し文字を追加することもない。SynthID-Text方式を採用し、ランダム性のソースを変更するだけで、パターンを検出できる。透かしは個人や組織を特定せず、コードや校正済みテキストでは効果が薄い。検出APIも提供予定。
HashAgentは、AIエージェントをURLとして共有し、受け取った側のデバイス上でWebGPUを使ってローカルに実行できるサービスです。データはメモリ上のみに保持され、モデルは360M〜8Bの範囲。画像やカメラ入力にも対応し、プライベートでオープンな設計が特徴です。
Anthropicは2026年8月のリスク報告書を公開し、同社のAIシステムがもたらす壊滅的リスクを包括的に評価した。報告書は、高リスク環境での誤調整、自動化された研究開発、化学・生物兵器の製造という3つの主要な脅威モデルに焦点を当て、各リスクの可能性と影響を分析している。また、リスク軽減策の有効性や、安全性プロセスの失敗事例、AI開発の加速ダイナミクスなども考察している。
VGInsightsのデータによると、2024年にSteamでリリースされたゲームのうち約13%が独自エンジンを使用しており、2012年の71%から減少しています。しかし、それらのゲームは2024年の販売数の43%を占めており、独自エンジン開発が依然としてビジネス上理にかなうことを示しています。本記事では、ゲームエンジンの定義から始め、独自エンジンを構築する利点を探ります。好奇心や学習、独立性な…
AXAの上級副社長が突然デモを要求した会議で、料理の代わりに料理本の写真をアプリで撮影させて失敗した経験から、筆者は20年の即興コメディ経験がテック業界のリーダーシップに直結していると気づく。本記事では、言われていないことを聞く、"Yes, But"をやめる、脇役を輝かせるなど、即興から学んだ4つの習慣を、東京での異文化チーム運営に応用する方法を綴る。
Grothendieck定数KGの新たな上下界を確立した。下界の導出では、従来のギャップ例の明示的構成ではなく、漸近最適なKrivineスキームの限界を示すという新しい手法を採用。上界は、従来の低次元スキームとは異なる、初の漸近的丸めスキームの構成と解析により得られた。これらの結果により、これまで未知だったKGの小数点第10位が7であることが確定した。この発見は、人間と我々が開発した長期的AI研…
米国の公共テレビ局Nine PBSが、契約していたクラウドストレージ企業Open Source Storage（OSS）の倒産により、50TB以上、70年分の番組アーカイブにアクセスできなくなった。同局はOSSと2019年から契約していたが、今年3月の契約更新時に突然アクセスを遮断された。OSSはIron Mountainのデータセンターを利用しており、Nine PBSはデータ保全のためIron…
Irohは、管理リレーの認証をデフォルトで有効化した。これにより、リレーURLが漏れても、プロジェクトのAPIキーから発行されたトークンを持つエンドポイントのみが利用可能になる。トークンは特定のエンドポイントに紐づくため、漏洩してもなりすましはできない。既存のリレーは2026年6月以降のデプロイから適用され、それ以前は手動で設定可能。APIキーの発行・失効も容易で、将来はスコープ別のトークンや個…
整数除算と剰余演算はハードウェア上で遅く、レイテンシが長くスループットも低い。一方、浮動小数点除算は高速で、実行ユニットも多い。そこで、整数除算を浮動小数点演算に置き換える手法が提案されている。符号付き・符号なしの整数が倍精度なら53ビット、単精度なら24ビットに収まる場合、`trunc(x/y)`と`fma`を使えば整数除算と剰余を正確に計算できる。これは標準の丸めモード（最近接偶数丸め）で機…
Lumabriは、ピアツーピアのスウォーム上で巨大なMixture-of-Expertsモデルを実行できるオープンソースツールです。Pure Cで書かれ、依存関係もありません。1台のマシンがモデルを共有し、他のマシンはダウンロードなしで即座にチャットできます。必要なバイトだけがネットワーク経由で届き、ローカルにキャッシュされるため、2回目以降の応答はフルスピードで返ります。GPUがなくても動作し…
言語モデルで生成されたGPUカーネルの検証は、単一の緩いテストに依存しており、不正解を見逃す可能性がある。本研究では、12の敵対的ゲートからなる契約グレードの検証器を構築し、公開システムが正しいと判定した2,638個のカーネルを監査したところ、39.5%が許容範囲を超えて壊れており、62.1%が少なくとも1つの違反を含んでいた。さらに、独自のネイティブBlackwell tcgen05トレーニン…
BBC Verifyの分析によると、ホルムズ海峡で攻撃を受けた船舶から流出した原油が、イランのケシュム島沿岸に漂着した。衛星画像から、8月3日にオマーン領海で攻撃されたばら積み船「Minoan Pioneer」から漏れたとみられる油が、8月10日までに300平方キロメートル以上に広がったことが確認された。環境専門家は、マングローブやウミガメの営巣地など敏感な生態系への影響を懸念している。イランは…
RISC-Vはオープンソースの命令セットで、誰でも無料で利用できる。しかし、CPU設計を商用IPとして販売するには、信頼性の構築が不可欠だ。欧州発のスタートアップFiora 5は、低消費電力・高性能なRISC-Vプロセッサをエッジ向けに開発し、スマートグラスやウェアラブル、AIアクセラレータを標的市場とする。同社CEOのDarian Damikos氏が、差別化戦略、ARMとの違い、自動車分野への…
1974年の映画『パニック・イン・サブウェイ』（The Taking of Pelham 123）に登場するマンハッタンの屋外ロケ地を、全カット網羅的に特定したリスト。地下鉄ハイジャックを描く本作は大半が地下で進行するが、約40カットの屋外シーンが存在。製作者は列車の位置と地上の警察本部の場所を一致させるなど、実在の場所を丁寧に使用している。50年が経過した現在でも、ほぼすべてのロケ地を特定可能…
KubernetesのCPU limitsは、ノードに空きCPUがあってもアプリを毎秒何度もフリーズさせ、レイテンシを悪化させ、コスト増につながる。同じアプリをCPU limitあり・なしで比較した実証結果によると、limitなしではテールレイテンシが維持され、CPU負荷の高い起動処理が約2倍速くなる。CPU requestsはアプリのシェアを保証するため、limitsの代わりにrequests…
Lea Verou氏は、ユーザー向けのダークモード切替は「スマートな2状態トグル」にすべきだと提案する。このトグルは、明暗2つの選択肢しか表示しないが、システム設定に追従する「デフォルト」状態をUIの裏に隠し、ユーザーに複雑さを感じさせない。記事自体は冗長で分かりにくいが、提案の本質は「実装駆動のUI」を避け、ユーザーの目標に沿ったインターフェースを設計することにある。この小さな改善の積み重ねが…
Lambdockは、Waylandネイティブのデスクトップドックで、C言語とGTK4、GNU Guile Schemeで構築されています。アプリケーションの起動、ウィンドウ追跡、自動非表示などの機能を備え、設定ファイルはGuile Schemeで記述でき、ホットリロードやライブREPLによる動的なカスタマイズが可能です。Niri、Sway、Hyprlandなどのwlr-layer-shell対応…
Graftは、Claude Code、Cursor、Codex、Geminiなどのコーディングエージェント向けのオープンソースのコンテキストレイヤーです。コードベースの構造を解析し、リンクされたマークダウンファイルのグラフとして理解を構築します。これにより、エージェントは毎回ゼロからコードを探索する代わりに、事前に構築されたマップを利用できます。ベンチマークでは、トークン使用量を最大42%削減し…
UDP Gatewayに新機能が追加されました。第一に、WireGuardリスナーが事前登録なしで任意のクライアントからの接続を受け入れる「オープンエンドポイント」をサポートします。これはHTTPSと同様のモデルで、公開サービスに適しています。第二に、Lambda宛先を非同期に呼び出せるようになり、ゲートウェイが応答を待たずにパケットを長期的なワークフローに渡せます。これらを組み合わせることで、…
通常、デバイスのDNSリゾルバーはIPアドレスだけで設定され、暗号化されていない平文のDNSを使います。暗号化DNSにはホスト名やポート、プロトコルが必要ですが、IPアドレスだけではわかりません。DDR（Discovery of Designated Resolvers）は、リゾルバーが暗号化エンドポイントの情報を公開する仕組みです。デバイスは`_dns.resolver.arpa`を問い合わせ…
Rayforceは、列指向分析、グラフ探索、再帰クエリを単一の実行パイプラインに統合した、オープンソースの組み込み型データベースエンジンです。純C言語で書かれ、外部依存ゼロ、16K行のコードで実装されています。SQLに似たRayfall言語を用いて、複雑な分析とグラフ探索を一つのクエリで実行できます。ミリ秒単位のレイテンシが求められる取引やリスク分析などの本番システムで利用されています。
Z.ai セキュリティは、脆弱性開示台帳を公開した。これまでに2,436件の脆弱性が収録され、そのうち53件が公開済み、2,383件が未公開。深刻度はCritical 107件、High 990件、Medium 1,286件、Low 53件。影響は1981年から2026年までの45年間に及び、平均潜伏期間は26.6年。最近の開示には、Linux カーネルの use-after-free、WebK…
1897年から1953年まで、ニューヨーク市では郵便物を空気圧チューブで送るシステムが稼働していた。マンハッタン島の両側を縦断し、総延長27マイル、23の郵便局を結び、最盛期には1日9万5千通、市内郵便の30%を処理した。カプセルは時速35マイルで飛び、郵便局間の移動は数分だった。しかし、自動車の普及や維持費の高騰により廃止された。
ICTPは、統計力学への先駆的貢献と、非平衡統計力学、最適化問題、理論神経科学、人工知能への応用で知られる4人の物理学者に2026年ディラック・メダルを授与した。受賞者は、Bernard Derrida、Deepak Dhar、Marc Mézard、Haim Sompolinsky。彼らの研究は、生物学的システムから金融市場、人工知能に至るまで幅広い分野に影響を与えている。
MIB Viewerは、SNMP MIBのオンラインデータベースとブラウザベースのビューアです。11,000以上のMIBを検索・閲覧でき、自分のMIBファイルをアップロードしてプライベートに解析することも可能です。オブジェクト名やOIDで検索し、構文、アクセスレベル、説明を確認し、MIBツリー内での位置を追跡できます。さらに、すぐに実行できるSNMPコマンドを生成する機能も備えています。ネットワ…
sandbox.bio は、実際の Linux ターミナルをウェブサイトやブログに埋め込むためのサービスです。スクリプトタグを追加するだけで、訪問者はブラウザ上で本物のコマンドライン環境を操作できます。GitHub Pages では、```bash コードブロックに「Run」ボタンが自動的に表示され、ワンクリックで実行可能。HTML サイトでも同様の機能を利用できます。設定ファイルを使用して、作…
AV1は実用段階に入り、Netflixでは視聴の約30%を占めるまでに成長。一方、AV2は仕様が確定したものの、エコシステムは未成熟です。本稿では、圧縮効率、エンコード/デコードコスト、デバイスサポート、ライセンス、レイテンシー、ワークフローの成熟度など、ビットレート以外の観点から両者を比較。現時点ではAV1が実用的な選択肢であり、AV2は今後の動向を注視すべきと結論付けています。