日刊ダイジェスト · Hacker News
· 97 ハッカーニュース
私は Bambu Lab のプリンターを所有しているが、クラウド強制や所有権の侵害に反発し、OrcaSlicer などの代替ソフトウェアを使用している。しかし、同社は AGPL ライセンス下で開発されたフォーク版に対して法的措置を威嚇し、コミュニティを弾圧している。これはオープンソースの精神を無視した行為であり、消費者の権利を軽視する姿勢が露呈している。
Google は 2026 年秋に Gemini AI を深く統合した新ノート PC「Googlebook」を発表します。Magic Pointer 機能で画面の要素を瞬時に操作し、Create My Widget で自然言語からカスタムウィジェットを生成できます。Android 17 搭載端末とのシームレスな連携により、アプリのキャストやファイル共有も可能で、Acer や Dell などのメー…
I believe senior developers fail to communicate because they focus on managing complexity while the rest of the business fears uncertainty. When we prioritize stability over speed, our arguments abou…
私たちは、Obsidian のプラグインとテーマの発見、配布、安全性を向上させるため、Obsidian Community サイトと開発者ダッシュボードを新たに公開しました。これにより、すべてのバージョンがセキュリティとコード品質の観点から自動的にレビューされるようになり、コミュニティのエコシステムがより安全で持続可能になります。既存のプロジェクトも自動的に移行され、開発者は新しいダッシュボード…
カナダ政府が提出したBill C-22は、昨年のBill C-2の失敗を繰り返す監視強化法案です。この法案は通信メタデータの保存義務化や、AppleやMetaといった企業へのバックドア設置要求を可能にし、暗号化の安全性を損ないます。政府は「システム全体の脆弱性」を避けることを謳っていますが、暗号化された通信への監視自体が本質的に脆弱性をもたらすため、プライバシーとセキュリティが脅かされます。
Appleは、元従業員のChang Liu氏とTang Yew Tan氏がAppleの営業秘密をOpenAIに持ち込み、同社のハードウェア事業に不正利用したとして、OpenAIと関連企業を相手取り訴訟を起こした。訴状によると、Liu氏は退職後もAppleのノートPCを返却せず、認証バグを悪用して機密ファイルをダウンロード。Tan氏はAppleのサプライヤー情報を自身にメール送信し、面接でAppl…
I am releasing six serious CVEs for long-standing bugs in dnsmasq that affect most non-ancient versions. Due to a surge in AI-generated bug reports, I decided to prioritize immediate fixes over long…
Eurostile Bold Extended などのフォントだけでは不十分です。斜体、角ばった形状、V 字の装飾、文字の結合、不要な線の削除、そしてテクスチャや背景の追加という6つのルールを適用するだけで、テキストを瞬時に未来の雰囲気に変えることができます。Blade Runner や Star Wars などの名作も、これらの手法を駆使して時代設定を視覚的に表現しています。
私たちは、DuckDB インスタンス同士が Quack プロトコルで通信できるようになりました。これにより、複数の書き込みを同時に処理するクライアント・サーバー構成が可能になります。Quack は HTTP に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。
OpenAIは、GPT-5.6 Sol Ultraが、グラフ理論における未解決問題だった「サイクル二重被覆予想」の証明を生成したと発表した。この予想は、すべてのブリッジのない無向グラフが、各辺をちょうど2回通るサイクルの集合を持つというもので、Tutteらによって提唱されていた。証明は3ページのPDFで公開され、GPT-5.6 Sol UltraとCodex（GPT-5.6 Sol）による執筆と…
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
AI 2040は、AI企業が人間を超える知能を開発する競争が、絶滅か権力の一極集中をもたらすと警告する。著者らは、超知能の開発を2040年まで延期し、AI研究の完全な透明化と、複数企業・複数国による協調的なスケーリングを提唱する「Plan A」を提示。国際的な合意による「相互確証破壊」体制を提案し、シナリオ分析に基づく具体的なタイムラインを示す。
Appleは2026年7月10日、OpenAIを相手取り、開発中の製品に関する営業秘密を盗んだとして米カリフォルニア北部地区連邦地裁に訴訟を提起した。提訴状によると、OpenAIはAppleの求職者に秘密プロジェクトの詳細を開示させ、面接にデバイスの部品や試作品を持ち込ませたとされる。また、OpenAIの従業員がApple所有のノートパソコンから内部文書をダウンロードしたとも主張。さらに、Ope…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
イギリスの研究者たちは、海に生息するカサガイの歯が、これまで自然界最強とされてきたクモの糸を平均で約5倍上回る強度を持つことを発見した。この歯は、鉄を含む針鉄鉱のナノファイバーがタンパク質のマトリックスに包まれた構造で、ダイヤモンドを炭素に変えるほどの圧力に耐えられるという。研究結果は『Journal of the Royal Society Interface』に掲載された。
2025〜2026年にナイジェリア北東部で実施した元ボコ・ハラム構成員27人への半構造化インタビューから、2024年を中心としたAI支援テロ活動の詳細が明らかになった。両派閥がChatGPT、Claude、Gemini、Grok、Meta AI、DeepSeekなどのフロンティアAIを戦闘や日常業務に活用し、専門部隊と内部訓練を通じて組織化されている。攻撃計画、武器のトラブルシューティング、爆発…
ツールの欠点を「パズル」や「楽しさ」として称賛する風潮に異を唱えるエッセイ。著者はSublime Textを15年使う視点から、vimやemacsの「ハッカー気分」を重視する姿勢を批判し、ツールは「見えない」存在であるべきだと主張する。生産性の真の指標は「壁時計時間」とミス数であり、学習曲線はコストであって美徳ではない。設定の自由度より優れたデフォルトが重要で、ツール選択がアイデンティティになる…
数学を学んでもすぐに忘れてしまう著者が、間隔反復学習（spaced repetition）とAnkiを使い、深い理解を保つ方法を綴る。フラッシュカードは単なる暗記ツールではなく、理解した後の知識を維持するための強力な手段だと語る。独自のカード作成術や、間違えた問題を復習するデッキの活用法、カードは負担になるので削除を恐れないことなど、実践的なアドバイスも紹介。
Jeff Geerlingが、Raspberry Pi 5とFPGAボードをベースにした携帯型フェーズドアレイ無線機「QuadRF」をテスト。壁越しのWiFi信号を可視化し、飛行中のドローンを追跡できることを実証。MIPI経由で5Gbps以上のI/Qデータをストリーミングする独自設計や、オープンソースコミュニティの可能性についても考察。政府の監視能力を考えるきっかけとなる内容。
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
We propose Direct Corpus Interaction (DCI) for agentic search, bypassing traditional embedding models and vector indexes. Instead of relying on fixed similarity interfaces, agents use general-purpose…
Elloは、4〜9歳の子ども向けに算数と読書を教えるリアルタイムAIチューターを開発した。子どもの注意は2秒で散漫になり、応答の遅延は学習を止めてしまう。標準的なエージェントループでは遅すぎるため、モデルが複数のアクションをストリーミングし、解釈・実行を並行して行うカスタムハーネスを構築。さらに、プランナーとコンバーサーの2つのエージェントを非同期で動作させ、子どもの回答を予測して事前生成する。…
27年間コードを書いてきた著者が、AIエージェントにコミットメッセージ、PR説明、コードコメント、命名規則、Git運用、タスク管理などを任せるようになり、開発の生産性が劇的に向上したと語る。AIは退屈なタスクを一貫して処理し、リポジトリの構造をLLMが理解しやすくすることで、エージェントとの協働もスムーズになる。手作業の儀式に固執するエンジニアは、時間と金を浪費していると主張する。
SpaceXはFCCに、第3世代（Gen3）Starlink衛星を10万基打ち上げる許可を申請した。これは現在の約1万1千基から約10倍規模への拡張で、総帯域幅は100倍に達するとされる。Gen3衛星は1基あたり2トン超で、打ち上げにはStarshipの実用化が前提となる。低軌道での超低遅延（20ms未満）とマルチギガビットの対称通信を実現し、消費者向けだけでなく政府やAIデバイス向けにもサービ…
親がスマートフォンに気を取られる「テクノファレンス」や「ファビング」が、思春期の子どもとの愛着関係にどう影響するかを調査した研究。米国の12〜17歳の青少年600人を対象に、新しい尺度「Device Attachment Interference Scale (DAIS)」を検証し、親のデバイス使用による注意の欠如が、不安型・回避型の両方の不安定な愛着と関連することを発見した。
1939年3月6日発行のLIFE誌に掲載されたRCA Victorの広告「Sound Service for Schools」を題材に、同社が学校市場を開拓しようとした背景を探る。1929年のVictor Talking Machine社買収は株式交換によるバブル期の絶頂期の取引で、その後RCAは製造を内製化して利益率を改善。大恐慌で消費者向けラジオ需要が落ち込む中、教育市場は新たな収益源だった…
10年前の最後のうるう秒から、そろそろ最初の負のうるう秒が来るかもしれない。システムはそれに対応できるのだろうか？
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
LLMがコードを書いてくれる時代、DRY原則を無視してもAIが直してくれるからと、つい重複コードを量産していませんか？ しかし、AIはあなたのコードベースからパターンを学習します。コピペされた条件分岐を何度もマージすると、それが「あなたのスタイル」としてAIに刷り込まれ、リファクタリングの依頼でも同じパターンが繰り返されます。この記事では、AIとの共同開発でコードの質が低下するメカニズムを実体験…
ジョージ・ホッツ（George Hotz）が、配信をやめた理由を綴る。彼は、配信が「参加なき消費」と「シグナリング価値」を持ち、ハッカー文化を殺したと主張する。配信は自己の真実の反映ではなく、視聴者が求めるものを予測したパフォーマンスになり、アイデンティティを消失させる。AIはこの状況を悪化させ、プロンプトによる操作感は幻想に過ぎないと述べる。彼は、現代の「檻の中の虎」が追うべきアンテロープの代…
1991年の『ターミネーター2』で、ILMは液体金属のT-1000を実現するため、当時存在しなかったCGツールを開発しました。本記事は、VFXスーパーバイザーのDennis Muren率いるチームのメンバー十数名へのインタビューを通じて、『アビス』での成功からT2に至るまでの道のり、初期のアニメーションソフトAliasの活用、そして「Make Sticky」や「Body Sock」といった独自ツ…
ブラウン大学の化学者らが、重元素における三重結合の教科書的な説明を覆す直接的な証拠を『Science』誌で発表した。光電子分光法を用いて、炭素と重元素ビスマスからなる分子を分析した結果、三重結合の構造が従来の「シグマ結合1つとパイ結合2つ」というモデルに当てはまらず、相対論的効果によってシグマ結合とパイ結合の境界が曖昧になっていることが示された。この発見は、重元素の化学の理解を深め、太陽電池や量…
2026年、アントニ・ガウディの没後100年を迎えるバルセロナのサグラダ・ファミリア。その壮麗な外観の背後には、数学的な比例システムが隠されている。数学者クラウディ・アルシナが発見した7.5メートルの基本モジュールと、12の約数（1:4, 1:3, 1:2, 3:4, 2:3, 1）の比率が、聖堂の寸法や構造を統一的に説明する。身廊の幅45メートル、高さ75メートルの後陣ヴォールト、172.5メ…
Google AI Developers Forumで、Gemini 2.5 Flashの提供終了に反対する開発者の声が相次いでいる。ユーザーによると、後継モデルであるGemini 3 Flashや3.1 Flash Liteは、パフォーマンスやレイテンシの面で2.5 Flashに及ばず、特に音声エージェント用途では、オーストラリア展開の有無により応答時間に大きな差が出るという。開発者たちは、同…
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
Anthropicの長期利益トラスト（LTBT）に、元FRB議長でノーベル経済学賞受賞者のベン・バーナンキ氏が新たに加わった。バーナンキ氏は2008年の金融危機を乗り越えた経験と、経済学の研究で培った知見を活かし、AIが経済や労働市場に与える影響の分析に貢献する。LTBTはAnthropicの経営から独立した機関で、AI開発の社会的影響を監視する役割を担う。
スーパーの冷凍ケースに並ぶ「アイスクリーム」の多くが、実は法的にはアイスクリームではない「フローズンデザート」だ。化学者である筆者が、FDAの基準、オーバーラン（空気含有率）、ガム類などの安定剤の役割を解説し、BreyersやTalentiなどユニリーバ傘下ブランドの品質低下を具体的な原材料比較で示す。さらに、Häagen-DazsやGraeter'sのような高品質ブランドとの対比を通して、消費…
2010年からVagrantを使ってきた著者が、その複雑さに嫌気がさし、KVMとlibvirt、virshへ移行した経験を詳しく解説。Vagrantの抽象化層を排除し、Linuxカーネル標準の仮想化機能を直接使うことで、よりシンプルで透明性の高いワークフローを実現。preseedファイルによる自動インストール、シリアルコンソールの設定、ネットワーク設定、SSHエージェント転送など、実践的なテクニ…
Java 27が機能凍結（Rampdown Phase One）に入り、9つのJEPを収録。目玉は、G1ガベージコレクタが全環境でデフォルト化（JEP 523）、TLS 1.3向け耐量子ハイブリッド鍵交換（JEP 527）、オブジェクトヘッダの64ビット化がデフォルトに（JEP 534）、JFRの機密データ自動マスキング（JEP 536）。プレビューからの昇格はゼロで、Valhallaプロジェク…
Fading Maizeは、2001年にリポン大学で結成されたバンドの楽曲を、AI支援で2026年に復活させるプロジェクトです。オリジナルの録音、歌詞、写真などのアーカイブを保存しつつ、AIによる制作、デザイン、ビデオ、アートワーク、リリース戦略を駆使して、当時の楽曲を現代的なクオリティで再現します。このリバイバルは、同意、著作者、来歴、消去なし、置き換えなしという5つの原則に基づき、オリジナル…
ギリシャのテッサロニキからドイツのメミンゲンへ向かっていたRyanairのボーイング737-800が、離陸直後のエンジン故障で窓が破損し、乗客1名が負傷した。乗客は頭と肩が窓から吸い出されたと報じられている。機体はテッサロニキに引き返し、緊急脱出用の酸素マスクが展開された。負傷者は病院に搬送され、他の乗客は代替機で約4時間遅れで目的地に到着した。
LWN.netが、AIトレーニングデータ収集を目的とした大規模スクレイピング問題の現状を報告。住宅用プロキシを悪用した攻撃は数百万のIPアドレスから送られ、サイト運営者は防御に追われている。Googleによるボットネット摘発の効果は一時的で、攻撃は続いている。LWN自身も最大級の攻撃を受けたが、防御策により読者への影響を抑えたという。オープンウェブを守るための今後の課題を考察する。
1日24時間・60分・60秒という時間の区切りは歴史的に定着したものの、計算には不向きです。この記事では、10進数（1日10時間・各100分・各100秒）、2進数、16進数、さらには360度にちなんだ36時間制など、さまざまな代替時計デザインと時間システムを紹介します。それぞれの長所や短所、実際の読みやすさを、動くデモ付きで解説します。
ニューヨーク市のMamdani市長は、隠れたジャンクフィー（不正な追加料金）を禁止し、サブスクリプションの解約を「クリック・トゥ・キャンセル」で簡単にする包括的な消費者保護規則を発表しました。提案された「ジャンクフィー」規則では、全料金を事前に表示することが義務付けられ、最終的な「クリック・トゥ・キャンセル」規則は2026年10月1日に施行され、市は全米初の自治体として、解約を申し込みと同じくら…
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
Facebookの初期エンジニアである著者が、スタートアップ時代の過酷な労働環境と、それにもかかわらず感じていた強烈な集中力について振り返る。リソースと時間が限られていたからこそ、自分たちの仕事が最も重要だという確信があった。しかし、会社が成長するにつれ、個々には合理的に見える「小さな逸脱」が積み重なり、コアコンピタンスを侵食し、製品や文化に悪影響を及ぼすようになった。著者は、慈善活動への支援を…
Cpp2Rustは、clangのASTに基づいてC++コードを完全に安全なRustへ自動変換する構文駆動型トランスパイラです。PLDI 2026で発表された論文でアルゴリズムが説明されています。デフォルトの参照カウントモデルでは、生のポインタをランタイムライブラリlibcc2rsのPtr<T>型に変換し、Rustの借用チェッカーを満たしながらCのポインタセマンティクスを再現します。--model…
COMBUSTION LABは、クランク角分解能でエンジン動力学を計算するインタラクティブなWebシミュレータです。シングルゾーンの熱力学モデル（Wiebe燃焼、Woschni熱伝達、Chen-Flynn摩擦、Livengood-Wuノック）を0.5°刻みで積分し、出力、トルク、BSFC、ノック余裕などをリアルタイムに表示。ボア、ストローク、過給圧、点火時期などを変更でき、P-V線図や断面アニメ…
約2000ドルの2台のマシンを比較：NVIDIA RTX 5090搭載タワー（32GB VRAM、1792 GB/s）と、AMD Ryzen AI Max+ 395搭載のミニPC（128GB統合メモリ、約256 GB/s）。70Bパラメータのモデルを実行する際、RTX 5090はメモリ不足で不可能だが、ミニPCは低速ながら実行可能。この違いはユニファイドメモリの概念に起因し、容量とメモリ帯域幅の…
War Atlasは、紀元前3000年から現代に至るまで、名前の付いたすべての戦争を地図上にプロットしたインタラクティブな地図です。5000年にわたる歴史を、時代をスライドさせながら眺めることができ、戦争の地理的・時間的分布を直感的に把握できます。歴史愛好家やデータ可視化に興味がある人に最適なツールです。
EmacsはOSではないが、OSカーネルレベルより上のアプリケーションやユーティリティを統合する能力を持つ。この記事では、Emacsをクライアントとして捉え、UI、クライアントエッジ、ローカルデータベースの3つの関心事を、組み込みライブラリやElispを使って実装する方法を解説する。例として、wttr.inの天気予報サービスを利用したEmacsクライアントのコードを示し、シェルコマンドをサービス…
AIがコードを書く時代、Vimのヘビーユーザーが「コードを直接見る機会が減った今、Vimを使い続ける意味があるのか」と疑問を投げかけ、Hacker Newsで議論を呼んでいます。この投稿は、AIツールの台頭によってエディタの役割がどう変わるか、Vimの強みがどこに残るのかを考えるきっかけを提供します。
Frontiers in Neuroscienceに掲載された症例報告によると、重度のアルツハイマー病を患う80歳の女性が、5gのサイロシビン含有キノコを摂取した後、19時間の深い睡眠状態に入り、目覚めた後、完全な文章で話す能力、家族の認識、自立した着替え、5年間失われていた尿失禁の回復など、複数の領域で一時的な改善を示しました。その後3gを摂取したところ、一部の改善が延長された可能性があります…
原爆の象徴として知られるキノコ雲。しかし、広島の雲を捉えた写真の多くは、実は爆発直後のキノコ雲ではなく、数時間後に発生した火災による煙雲（pyrocumulus）であることをご存じだろうか。本稿では、エノラ・ゲイの尾部銃手ロバート・キャロンが撮影した2枚の写真の違いを重ね合わせで検証し、地上から撮影された松重三男の連作や、広島平和記念資料館が確認した21枚のうちの数枚を紹介。さらに、キノコ雲の高…
著者は2018年に公開したElixir製のバーナーメール遮断ライブラリ「Burnex」の作者。最近、Proton MailのエイリアスでECMWFに登録しようとして「スパムの可能性」と拒否された体験から、バーナーメールと個人エイリアスの違いを再考する。バーナーメールは誰でもアクセスできる短命な公開受信トレイだが、エイリアスは本人が管理する永続的な転送アドレスで、プライバシー保護に有効。ブロックリ…
ニューヨーク市は、ジムやストリーミングサービスなどの定期購読で消費者を騙して支払いを続けさせる「欺瞞的サブスクリプション」を禁止する規則を採択した。10月1日から施行され、簡単に解約できない企業には1契約あたり525ドルの罰金が科される。また、「ジャンクフィー」と呼ばれる隠れた追加料金の事前表示も義務付ける予定で、賃貸住宅市場にも影響を与える。市の消費者・労働者保護局長サミュエル・レヴィン氏は「…
Push Squareが実施した6,500人以上の読者を対象としたアンケートで、PlayStation愛好家の45%が「PCへの乗り換えを真剣に検討している」と回答。一方、PlayStationに留まるとしたのはわずか23%で、既に移行済みが15%、両方でプレイしているが10%だった。離脱理由として最も多かったのは、Sonyがディスク版ゲームの製造終了を発表したことで、回答者の41%がこれを挙げ…
最近、6ヶ月前のオープンウェイトモデルがほとんどの「仕事」に十分だという主張をよく見かけます。先月、GLM、DeepSeek、Kimi、Qwenが失敗し、Opus、Fable、GPTが成功した具体的なタスクを経験した方はいますか？逆のケースでも構いません。コンテキストを提供するためのテンプレートを用意しました。
欧州委員会はMetaの「依存性のあるデザイン」がユーザーの心身の健康に与えるリスクを十分に評価していないと指摘。一方、Mark Zuckerberg氏はAI推薦の改善によりFacebookとInstagramの利用時間がそれぞれ8%と6%増加したと述べ、CFOのSusan Li氏もこれが収益増につながっていると認めている。著者は、この増加時間が世界規模で1日1億時間を超えると試算し、広告モデルが…
AMDの新フラッグシップAPU「Ryzen AI Halo」を実機で検証。統合GPUの性能はもちろん、ローカルでのLLM推論が毎秒45トークンという驚異的な速度を記録。クラウドに頼らず、手元のPCで高度なAI処理が可能になるのか、その実力を詳しくレポートする。
前回のビルドオフへのフィードバックを受けて、12のモデル（GPT-5.6のSol/Terra/Luna、Grok 4.5、Claude Opus 4.8、Claude Fable 5、Muse Spark 1.1、Qwen 3.7 Plus、DeepSeek V4 Pro、Kimi K2.6、GLM-5.2）が4つのアプリ（レイキャスター迷路、3Dルービックキューブ、電卓、Conwayのライフゲ…
天文学者が、恒星が惑星を飲み込む瞬間を初めて捉えた。この現象は「惑星捕食」と呼ばれ、恒星の明るさの急上昇と、その後の特徴的な減光パターンで確認された。観測によれば、この恒星はまだ活動を続けており、さらなる物質を飲み込む可能性がある。研究チームは、このイベントが惑星系の進化や恒星の挙動を理解する上で重要な手がかりとなると述べている。
Proton AG は2026年7月10日、Proton Mail、Calendar、Drive、Pass、VPN、SimpleLogin、Proton Wallet、Lumo など全サービスに影響するログイン障害が発生していると発表した。エンジニアリングチームが原因の調査と復旧作業を進めており、状況が分かり次第アップデートを提供するとしている。
EPFLの研究者たちは、ニューラルガイド進化合成（NEvo）という新しい手法を開発しました。これは、AI生成動画を用いて、サルの脳の特定領域を最大限に刺激するものです。NEvoは、進化的アルゴリズムとニューラルネットワークを組み合わせ、脳活動のフィードバックに基づいて動画を反復的に生成・改良します。このアプローチにより、従来の方法よりも強力で選択的な神経応答を引き出すことに成功しました。この研究…
エジプトの西部砂漠にあるダフラ・オアシスで、ビザンチン時代の大規模な集落が発掘された。4世紀の日常生活を伝えるアーチ型屋根の家屋、パン焼き窯、台所、石臼に加え、約200点の碑文入り陶器片や硬貨も見つかった。計画的に設計された街路、監視塔、要塞化された建物、中央にはバシリカ式教会がそびえる。専門家は、ビザンチン帝国時代のエジプトの辺境オアシスでの生活を知る上で、これまでで最も明確な証拠の一つだとし…
QGIS開発者メーリングリストに、GitHubから送られた不審な請求予告メールについての投稿が寄せられた。投稿者のGreg Troxel氏は、有料プランに加入しておらず請求情報も提供していないにもかかわらず、GitHub Code Qualityの一般提供に伴う請求開始の通知を受け取ったという。メールはSendgrid経由でDKIM署名付きで送られており、なりすましではない可能性が高い。氏はQG…
紀元前1220年から1170年にかけて、東地中海と中東の青銅器時代の国家システムが次々と崩壊した「青銅器時代後期の崩壊（LBAC）」。考古学的証拠に基づき、その進行、原因、影響を概説する。ミケーネ宮殿の崩壊からヒッタイト帝国の消滅、エジプト新王国の動揺まで、破壊の波は地域によって不均一であり、完全な崩壊ではなかったことが明らかになる。青銅器時代の国際システムの脆弱性と、その後の鉄器時代への移行に…
CI/CD サービス garnix が Shopify に参加することになり、ホスト型サービスを 2026 年 7 月 15 日に終了すると発表しました。それに伴い、garnix のコードベースは GitHub で公開され、ユーザーは自分自身のインスタンスや共有インスタンスを運用して移行できるようになります。ユーザーデータとビルド成果物は同日に削除されるため、必要なデータは事前にダウンロードする…
CloudflareのProject Glasswingの続報として、エンタープライズ規模の脆弱性スキャンを実現するモデル非依存のハーネス構築法を解説。単一モデルへの依存を避け、モデルを交換可能な部品として扱うアーキテクチャを採用。Recon、Hunt、ValidateなどのステージをSQLiteデータベースで永続化し、コンテキスト枯渇や誤検知を排除。128のリポジトリを対象に、クロスリポジトリ…
「Damaged Earth Catalog」は、コミュニティ主導の実践を通じて、環境的・社会的な損失に対抗するための技術と知識を集めたオンラインリソースです。Appropriate Technology、Benign Computing、Degrowth、Permacomputingなど、持続可能で共生的なコンピューティングを目指す多様な概念を紹介。個人やコミュニティが自らの教育や環境を形成す…
1992年から2009年までApogee Software（後の3D Realms）で働いたJoe Siegler氏が、同社の歴史を自身の視点から振り返る。BBS運営者としての関わりから入社に至る経緯、オンラインサポートの先駆け、file_id.dizによる初期DRMの考案、全製品のアーカイブ化など、知られざるエピソードを多数収録。当時のシェアウェア配信の実情や、ダイヤルアップ時代の苦労も赤裸々…
SwiftBurstは、ニューヨーク市の5つの区にある690以上のスーパーマーケットの週替わり特売情報を集約した無料アプリです。ユーザーは自分の近くの店舗やお気に入りのブランドのセールを簡単に比較でき、食料品の節約を支援します。アプリは直感的なインターフェースで、各店舗のチラシやクーポンにアクセスでき、買い物リストの作成機能も備えています。ニューヨーカーが日々の食費を抑えるための強力なツールです。
Haskell Foundationの理事を務めるAvi Press氏は、自社プロダクトのバックエンドを7年間Haskellで運用してきたが、AI時代の開発効率を重視し、Pythonへの移行を決断した。コンパイル時間の長さやエコシステムの摩擦が、並列エージェント開発のボトルネックになっていると指摘。LLMによるコード生成が主流となる中、Haskellの型安全性の価値は低下し、より迅速なフィードバ…
欧州の主要労働組合が、記録的な猛暑を受けて、労働者を高温から保護する法律の制定を欧州委員会に求めた。3つの労働組合は40カ国で1260万人を代表し、科学的指標に基づく最高労働温度の設定を提案。農業や建設などの重労働では30度、軽作業では32.5度を超えた場合、雇用主に労働停止を義務付ける内容だ。欧州では年間1億3000万人の労働者が熱ストレスにさらされ、27万7000人の負傷者と230人の死亡者…
2026年の新しいベンチマークでは、Bunが毎秒52,000リクエストを処理し、Node.jsの14,000を大きく上回るとされていますが、実際のアプリケーションでは3つのランタイムの性能差はわずか3%未満です。データベースやビジネスロジックを含む本番環境では、すべて約12,000 RPSでほぼ同等です。このギャップは、ランタイム選択がエコシステムの適合性と開発者体験に基づくべきであり、誤解を招…
Wyrmは、正確で条件付きで健全な記号代数エンジンを備えた、ジェスチャーベースの代数アプリです。ユーザーは項をドラッグして等号をまたいだり、タップで冪乗を展開したり、共通因子を引き出したりして、直感的に方程式を解くことができます。エンジンは書き換え規則のみで方程式を変換するため、すべての操作は数学的に健全です。除算や平方などの条件付き操作は、仮定として明示され、方程式とともに管理されます。Typ…
マルチスレッド構造体のパフォーマンスは、キャッシュラインの共有が鍵を握る。2つのコアが異なるフィールドを書き込んでも、同じキャッシュラインを共有すると偽共有が発生し、ロックフリーのコードでも性能が低下する。この記事では、SPSCリングバッファを例に、書き込みオーナーとアクセス頻度でフィールドをグループ化する「フィールドゾーニング」と、`#[repr(C)]`と`CacheAligned`によるア…
Appleのシリコン担当シニアプロダクトマネージャー、Doug Brooks氏がThe Deep Viewのインタビューで、Mac miniとMac StudioがAIエージェント実行の定番マシンになったと明かした。エージェント型ワークロードでは、ユーザーが制御下に置き、メイン機から隔離し、24時間365日稼働できるシステムを求める傾向があり、Mac miniはそのニーズに最適だと述べている。ま…
Tim Roughgarden教授が、コンピュータの能力と限界を探る講義を公開。1936年のAlan Turingの理論から始まり、停止問題やNP完全性、P vs NP問題まで、計算の本質を解説する。アルゴリズムの力と限界を、地図アプリのDijkstra法や巡回セールスマン問題などの具体例で示し、暗号、AI、量子計算への影響も考察。前提知識不要で、講義はYouTubeでも視聴可能。
Sturdy Statisticsのエンジニアリングチームは、API認証においてデータベースを唯一の真実の源として扱うことの危険性を指摘します。SQLインジェクションの脆弱性が1つあるだけで、攻撃者は自分の正当なAPIキーのハッシュを被害者のものに上書きでき、テナント境界を完全に突破できます。同社はこの問題に対し、HMAC-SHA512とサーバー側ペッパーを用いた暗号学的バインディングを導入し、…
Xiaomi の MiMo-V2.5 シリーズは、Hybrid SWA（スライディングウィンドウアテンションとフルアテンションの併用）により、KVCache を約 7 分の 1 に削減し、長文脈とマルチモーダル推論の効率を飛躍的に高めます。本記事では、その理論上の利点を実運用で引き出すためのエンドツーエンドの最適化を解説。KVCache の二重プール設計、SWA 対応プレフィックスキャッシュツリ…
自律型Webエージェントは日常のブラウジングを自動化する一方、Web最古の攻撃面を引き継いでいます。クロスサイトスクリプティングが、信頼できるコンテンツと信頼できないコンテンツの混在が危険であることを示したように、エージェントは自然言語を命令として解釈するため、第三者が生成したコンテンツによるプロンプトインジェクションで乗っ取られる可能性があります。Prismataは、エージェントが見るものと実…
Paul Bourke が2020年12月に公開した「Triple Dragon Fractal」は、複素平面上の各点を初期値として特定の漸化式を反復したときの収束の速さを色で表したフラクタル画像群です。収束が速い領域と遅い領域が複雑に入り組み、ドラゴンのような有機的な模様を形成します。Bourke は複数のズームレベルで画像を生成し、その視覚的な美しさと数学的な深遠さを示しています。
Oracle 10gR2で採用され、従来比約5倍の性能向上を実現したインメモリソートアルゴリズムの特許が失効しました。著者（発明者）がその設計思想と実装の裏話を公開します。共通プレフィックスのスキップ、クイックソートとMSD基数ソートの適応的切り替え、キー部分文字列のキャッシュにより、DBMSのソート性能を劇的に改善しました。開発の動機からOracle退社に至るまでの経緯も綴られています。
Crutchfieldがハーマンの音響研究責任者であるSean Olive博士を訪ね、同社の体験センターと研究施設を案内してもらいました。博士は、空間オーディオ研究の中心となる高さ20フィートの「Hyperion Sphere」や、40,000ドル相当の測定用マネキン頭部など、最先端の研究設備を紹介。また、ヘッドホン音質の業界標準となった「Harman Target」カーブの開発秘話や、その後の…
Tiny Tapeout Explorerは、WASM上でFETレベルの回路シミュレーションと可視化を実現するツールです。Tiny Tapeoutの各プロジェクト（SKY 25a、IHP 26aなど）をブラウザ内で直接シミュレートでき、設計の検証や学習に役立ちます。過去のシャトルラン（Tiny Tapeout 2から9まで）のプロジェクトデータも収録しています。
オープンなソーシャルメディアの標準規格として、ActivityPubとAT Protocol（ATProto）が対立しているように見えるが、実は補完関係にある。ATProtoはBlueskyそのものではなく、個人データサーバー（PDS）を構築するための汎用ツールボックスであり、ユーザーエージェンシーと信頼できる退出を保証する。一方、ActivityPubはURLベースでWeb上のあらゆるものを社…
Nebusec の研究者が、Linux カーネルに15年間存在した脆弱性 GhostLock（CVE-2026-43499）を発見しました。この脆弱性は、すべての主要な Linux ディストリビューションに影響し、特別なカーネル設定や権限なしでトリガーできます。研究者は、この脆弱性を97%の安定性で権限昇格とコンテナエスケープに悪用し、Google から $92,337 の報奨金を獲得しました。…
メキシコの洞窟魚は、目を失っても遺伝子を100万年以上保持し続けます。成功した企業も同様に、かつての成功要因を見失い「能力盲目」に陥ることがあります。急成長の中で採用基準が緩み、社内のやり方しか知らない人材が増えると、慎重なエンジニアリングは「痕跡器官」と化します。外部からは健全に見えても、内部では脆いパイプラインや陳腐化したWikiが放置され、改善提案は「過剰設計」と退けられます。センター・オ…
Recall.aiのPostgresデータベースが、突如CPU使用率100%に達し、システム全体が停止しました。原因は、GINインデックスの拡張を待つ15,000以上のプロセスによるロックコンボイでした。AWS RDSの管理サービス上で発生したため、詳細な調査が難航。再起動も60分以上かかり、セキュリティグループの変更で接続を制限して復旧しました。この記事では、障害の発生メカニズム、Postgr…
健康や長寿に関する研究でよく見かける「ハザード比」。しかし、この数値が実際に寿命にどれほど影響するのかを正しく理解している人は少ない。本稿では、ハザード比を寿命の変化に変換する際の落とし穴を、ロシアンルーレットの例を用いて分かりやすく解説。さらに、年齢による死亡率の分布が変換結果に与える影響や、ハザード比が年齢によって変化する場合の複雑さを説明し、最終的には「一定のハザード比を寿命の変化に変換す…
Atomscaleの投資テーゼを紹介。1959年のファインマンの講演以来、原子レベルの材料操作は進歩してきたが、現在のボトルネックは新材料の発見ではなく、既知の材料を生産規模で製造できないことにある。IntelのHigh-k誘電体の例を挙げ、材料のスケールアップには10年以上の歳月とプロセス統合が必要だったことを示す。物理的・情報的な課題を分析し、センサー豊富なツールとAIの進歩により、今こそこ…
スパルタは古代ギリシャの都市国家の中で、貨幣を発行しなかったことで知られています。しかし、実際にはスパルタ王アレウス1世が紀元前3世紀に初めて自分の名前でコインを発行し、その後もクレオメネス3世やナビスなどが貨幣を鋳造しました。この記事では、鉄貨の伝説からアカイア同盟時代、ローマ帝国支配下のスパルタ貨幣まで、その歴史と希少性を解説します。
JEPA（Joint Embedding Predictive Architecture）は、Yann LeCunが提唱する自己教師あり学習の枠組みで、ラベルなしで世界を理解するモデルを訓練することを目指します。この記事では、Transformerの解説で有名な「The Annotated Transformer」のスタイルを踏襲し、JEPAの核心をステップバイステップで解説します。具体的には、…
Runloomは、Python 3.13t以降のフリースレッド版CPythonで、Go言語のようなスタックフルコルーチンを実現するライブラリです。async/awaitを使わずに、ブロッキングコードをそのまま書くだけで、100万ものコルーチンを全コアで並列実行できます。手書きのアセンブリによるコンテキストスイッチとC言語のワークスティーリングスケジューラ、netpollを備え、GILを無効化した…