日刊ダイジェスト · Hacker News
· 82 ハッカーニュース
GrapheneOSは、Android 17 QPR1で追加された標準APIがPixel限定で提供され、他OEMやAOSPプロジェクトは2026年12月のQPR2まで待たされると指摘。Googleがセキュリティパッチを標準Androidプラットフォームから囲い込み、Pixelに競争上の優位を与えていると批判している。同プロジェクトはすでにAndroid 17 QPR1への移植を完了しているが、公…
New York TimesがOpenAIとMicrosoftを相手取った著作権訴訟で、伏せ字が解除された新資料が公開された。MicrosoftのBrent Hecht氏は2024年1月の社内文書でAI学習用のスクレイピングを「人類史上最大の労働窃盗」と表現。OpenAIのNick Turley氏はパブリッシャーが「存在論的脅威」に直面していると認め、MicrosoftのデータはCopilotが…
Passkeysはフィッシング耐性に優れ、企業環境では理想的な認証手段だ。しかし個人にとっては、アカウントの永久ロックアウトやデバイス紛失、プラットフォームによるアカウント停止のリスクの方が現実的で大きい。ハードウェアキーの登録数上限や、Apple・Googleの同期型Passkeysへの依存、パスワードマネージャーとの連携の未成熟さも課題だ。著者は、ランダム生成パスワードと独立したTOTPアプ…
Cloudflareが提供するQuick Tunnelsは、アカウント作成や設定ファイルなしで、cloudflared CLIの1コマンドを実行するだけでローカルサーバーをtrycloudflare.comのURLで即座に公開できるサービス。HTTPSやDDoS保護が自動適用され、ポートを外部に晒す必要もない。Cloudflareのエッジネットワーク経由でグローバルに高速配信され、チームへの共有…
Claude Codeの最新アップデートで、プロジェクトにCLAUDE.mdが存在しない場合にAGENTS.mdを自動的に読み込む機能が追加された。設定は/configの「Project instructions」から変更できるが、Bedrock、Vertex、Foundryではまだ利用できない。この変更により、AGENTS.mdを採用する他ツールとの相互運用性が向上する。
OpenJevは、Jevに似た実験を完全にブラウザ内で実行する。MiniCPM5 2BなどのローカルモデルをWebGPUで読み込み、選択肢の確率をロジットから直接読む方法と、同じ分布をJSONとしてトークンごとに書き出させる方法を、同じGPU上で順番に走らせて実時間を計測できる。バックエンドや順番待ちはなく、入力はページ外に出ない。
イランとの戦時下、中国船が核兵器部品を輸送しているというAI生成の偽情報レポートが米軍内で拡散。特殊作戦司令部の分析官がチャットボットで作成し、武装兵が乗船準備、軍用機が飛び立つ事態に。直前に誤りと判明し作戦は中止されたが、米中間の武力衝突寸前だった。AI導入が進む軍事・諜報分野で、幻覚リスクが現実の危機を招いた事例として波紋を広げている。
2026年7月、Hacktronの研究者らはDiscourseの画像アップロード経路に潜むlibheifのヒープバッファオーバーフローと、OpenAIのSSO設定ミスを組み合わせ、72時間以内にOpenAI従業員のChatGPT/Codexアカウントを掌握。Codex経由で社内モノレポにPRを開設しアクセスを証明した。OpenAIは6,500ドルの報奨金を支払い、Discourseは迅速に修正。…
CloudflareのPingoraベースのサービスで、一貫性ハッシュリングのメモリ使用量が過剰になっていた。数学的に分析し、Rustの構造体を最適化することで、グローバルで100TB以上のRAMを回収。DNSチームの100TB削減に続く成果。
2016年、Boliviaで保護された「奇妙なネコ」が、100年以上ぶりの新種のネコ科動物であることが判明した。National Geographic ExplorerのPaola Nogales-Ascarrunz氏が主導し、遺伝子解析によりLeopardus tilcayoと命名。この発見はネコ科の系統樹を大きく塗り替え、小型野生ネコの保全に新たな urgency をもたらす。
Alibabaが次世代ネイティブ全モーダルモデルQwen3.8-Omni-Flashを公開。テキスト・画像・音声・動画を扱う100万トークンのコンテキスト窓を持ち、動画編集やMV制作、映画解説、リアルタイム会話などのワークフローをエージェントが計画・ツール呼び出し・実行まで完結させる。音声入力のAPI価格は前世代比98%以上減、長時間動画理解ではトークン消費を約45.7%削減しつつ精度を向上。音…
jemalloc 5.4.0がリリースされた。160以上のコミットが含まれ、リファクタリングやバグ修正、テストカバレッジの向上、オプションの整理など技術的負債の解消に焦点を当てている。新機能として、HugeTLBページなどの非回収可能なマッピングを優先的に再利用するためのEXTENT_ALLOC_FLAG_PINNEDが追加され、ピン留めメモリの統計を報告するmallctlインターフェースも導入…
ZhipuのAIコーディングアプリZCodeが、ログイン中にワークスペース全体を暗号化してAliyun OSSへ無断アップロードしていることが判明した。スナップショットの86.6%は.gitディレクトリで、削除済みのAPIキーや未pushのブランチ名まで含まれる。復号鍵はサーバー側にしかなく、UIの設定を切っても停止できない。著者はmacOSのchflagsやLinuxのchattrでディレクト…
韓国の改正個人情報保護法が施行され、意図的または重大な過失による大規模な個人データ漏えいに対し、売上の最大10%の罰金が科されることになった。従来の上限3%から大幅に強化され、Coupangの事例に当てはめれば罰金は数兆ウォンに達する可能性がある。一方で、事前のデータ保護投資や早期発見・届け出を行った企業には最大40%の減額措置も用意されている。
Bend 2はAI時代のプログラミング言語として、人間が「法則」を書き、AIが実装と証明を生成することを売りにしている。しかし、デモでは58行の仕様に対して442行の証明が必要となり、形式検証の標準的な手法（SPARKなど）を使えば12のチェックで同じ性質を証明できる。著者は、バイブコーディングが問題領域の調査を怠り、何十年も遅れた設計を生み出す罠だと指摘する。
Minimal Companyが2026年12月発売予定のMinimal Phone 2を発表。4インチOLED、物理QWERTYキーボード、集中を促すMinimal OSを搭載し、価格は599ドルから。Androidアプリはそのまま使え、ブートローダー解除やGoogleサービスなしの公式ROMも提供。平均的なユーザーが1日186回もスマホを手に取る現状に対し、画面依存を減らす設計を追求した一台…
Berkshire Hathawayは、Warren Buffettが会長を退任し、即時発効で名誉会長になると発表した。8月30日に96歳となったBuffettは取締役会には残り、息子のHoward G. Buffettが会長に就任する。Buffettは株主への書簡で「Father Timeは必ず勝つ」と述べ、「しかし彼は私に寛大だった」と付け加えた。
FEXがx86のTSOメモリモデルをARMの弱いメモリモデル上でエミュレートする際の根本的な問題を解説。ARMv8.0-aでは全ロードをload-acquire、全ストアをstore-releaseに変換する必要があり、特にAmpereOneで性能が激減。ARMv8.3のLRCPC拡張でほぼ解決するが、Apple Siliconはx86-TSOモードをハードウェアで直接サポートし、通常のロード/…
Z.aiのAIコーディングアプリZCodeが、ログイン中にワークスペース全体を暗号化してAlibaba CloudのOSSへ無断送信していたことがリバースエンジニアリングで判明した。送信されるのは.gitディレクトリやLFSキャッシュ、reflogを含む完全な履歴で、暗号化に使う秘密鍵はZ.aiのクラウドにしか存在しない。設定画面のトグルを切っても停止せず、ファイルシステムレベルでチェックポイン…
- ▲ 258AIでConwayの予想を証明した話
数学に詳しくない筆者が、ClaudeとChatGPTを駆使して、50年前にJohn Conwayが提起した超現実数の「omnific integers」に関する未解決予想のLean証明を試みた。1ヶ月と大量のトークンを費やし、独立検証はまだだが、Palomar registryの機械的チェックを通過し、専門家からも声明が正しいとの意見を得ている。AIとの対話から生まれた証明の舞台裏を綴る。
SpaceXのRaptorエンジンは、配管や配線が絡み合ったRaptor 1から、滑らかで洗練されたRaptor 3へと劇的に進化した。推力は約35%増加し、2025年5月には初飛行を果たしている。この変化の裏には、全流段階燃焼サイクルの採用や、共通アンビリカルによる配管の統合など、複雑な技術的改良があった。公式な図面は存在しないが、ファンによる推測図からその進化の一端が明らかになりつつある。
第2巡回区連邦控訴裁は、国境での携帯電話の捜索には令状も相当な理由も合理的疑いも不要との判断を示した。永住権保持者Alisigweの携帯電話をDHSとCBPの職員が無令状で閲覧したことを巡る事件で、裁判所は携帯電話を「所持品」と位置づけ、国境捜索の例外を広く適用。さらに、より侵襲的なデジタル捜索については判断を保留するという限界も示した。
Needle 2は、4500万パラメータながら14MBの単一バイナリに収まり、28MBのRAMで動作するオープンなツール呼び出し・デバイス操作・構造化抽出モデルです。Cactus Quantsによる2bit量子化と独自エンジンで、Raspberry Pi 5上で毎秒500トークンのデコードを実現。Meta Quest 3SやApple Vision Pro、200ドル以下のスマートフォン、さらに…
- ▲ 219北朝鮮の核実験が数年続く地震を引き起こす
北朝鮮の核実験が引き金となり、数年単位で地震が続いている可能性が議論されている。Hacker Newsでは、小さな地震が頻発する方が巨大地震より良いのか、それとも大規模地震を誘発するリスクがあるのか、意見が交わされた。地震のエネルギーは対数スケールで、マグニチュード3の地震3万回分がマグニチュード7に相当するという指摘も。また、地震の規模を区別せずに報道する記事の姿勢にも疑問が呈された。
自律型コーディングエージェントの性能は、モデル能力だけでなく「ハーネス」の設計に大きく依存する。本研究は、実行ループを固定し、planning・action space・context managementの3要素を変化させ、4モデル・176設定をSWE-Bench VerifiedとTerminal-Bench 2.1で評価。コンテキスト管理は予算が厳しいほど有効で、その利益の大半はオーバーフ…
Ledger Donjonの研究者が、Raspberry Pi RP2350のセキュリティを物理攻撃で破った。フォトンエミッション顕微鏡でデバッグ有効化レジスタDEBUGENの位置を特定し、2箇所へのレーザーパルスで永久に無効化されたデバッグ機能を復活させた。さらにリセットを利用してOTPメモリから秘密を抽出。ただし攻撃には物理アクセスと約25万ドル相当の実験設備が必要だ。
BittorrentやThe Pirate Bayの裏には、公式販売前にメディアを入手し無料公開を競う、世界中の地下組織「Warez Scene」が存在する。本書は、その始まりからtopsitesへの移行までを追った初の学術研究だ。参加者自身の規範やルール、社交性、芸術形式を描き出し、知識への平等なアクセスというイデオロギーとは対照的な、競争的ランキングと一騎打ちの文化を明らかにする。
2025年初頭から、LLMに要約やコーディングを任せて動作を確認しない「脳オフ」な使い方が増えた。著者は、人間がwhileループやforループの代わりを務める「meat proxy」的開発が2026年にはある程度機能するようになったと認めつつ、それでも根本的な問題があると指摘する。LLMが平均品質のソフトウェアを作れるようになれば、企業は人間を雇う理由を失い、従業員にとってこの手法が報われる瞬間…
OpenAIが初のAIアクセラレータチップJalapeñoを公開した。4ビット演算で最大13.4ペタフロップス、232GBの最先端メモリを毎秒15.4テラバイトで接続し、NvidiaのGB300比で最大3.6倍の低遅延を実現。設計には自社LLMを活用し、アーキテクチャ構想からシリコン完成まで20ヶ月未満、RTLからテープアウトまでわずか9ヶ月という異例の速さを達成した。設計チームは平均100人未…
Washington Postは金曜日、イランとの戦争で死亡した米兵の数がPentagonの公開データベースに記載された数を少なくとも4人上回る22人に達すると報じた。同紙は匿名の当局者5人の話として伝え、さらに別の当局者によれば、非公開の死者の一部は紛争に直接関連していないが、敵対行為の続く中東に派遣されていた米軍関係者だったという。Hegseth国防長官はXへの投稿でこの報道を「完全な嘘」と…
古代ギリシャ語には、インド・ヨーロッパ祖語に遡れない約1,000の単語が存在する。labyrinthos（迷宮）、elaía（オリーブ）、AchillesやOdysseusといった名前まで含まれるこれらの語は、ギリシャ以前にエーゲ海地域に住んでいた人々の言語、すなわちPre-Greekに由来する可能性が高い。本記事は、言語の地層モデル（基層語・上層語・傍層語）を用いて、借用語を特定する方法を解説…
C++ではwhile(true);のような無限ループが未定義動作とされ、Clangはループを削除してリンカが配置した関数を実行することがあった。C++26のP2809R3は、本体が空で制御式が定数trueの「自明な無限ループ」を明確に定義し、std::this_thread::yield()呼び出しに置き換える。組み込みやカーネルで使われる停止パターンの安全性が向上する。
Treasury DepartmentのTICデータによると、外国の中央銀行と政府が保有する米国債は7月に市場価値で3.77兆ドルへ減少し、2012年とほぼ同じ水準になった。この間、発行残高は約3倍、インフレは48%進んでおり、「外国公的部門」の保有シェアは2007〜2009年のピーク時の38%超から12.8%へと急落、1993年以来の低さとなった。代わりに存在感を増すのは、Cayman Isl…
Zedは、エージェントとのコーディングとレビューを同じ場所で行うマルチプレイヤー環境「Delta」のパブリックベータを公開した。Deltaはコミットやプッシュに依存せず、スレッド単位で共同作業を進める。Zed自身のリポジトリではPull Requestを無効化し、33人が570件の変更をDelta上でmainにマージ済みだ。DeltaDBはGitと互換性があり、既存のワークフローとも併用できる。
AppleがXcode 27.1ベータを公開した。Swift 6.4とiOS 27.1、iPadOS 27.1、tvOS 27、watchOS 27、macOS 27、visionOS 27のSDKを含み、macOS Tahoe 26.6以降が必要。iPhone Duoシミュレータランタイムが追加されたが、StandByや多くのアプリ拡張機能の実行・デバッグは利用できないなどの既知の問題がある。
Second Circuitは、国境警備隊が渡航者の電子機器を容疑なしで捜索できると判断した。Knight First Amendment InstituteとRCFPは、令状を要求すべきだとする意見書を提出していたが退けられた。判決は、携帯電話に含まれる私的な思考や人間関係、報道関係者の機密情報源の名前などが、令状なしで捜索される危険があると指摘している。
- ▲ 125人間の脳は2つの別々の器官、研究で判明
Hacker Newsの議論では、後脳を低レベルのハードウェア機能を担うシステム管理コプロセッサ、前脳をOSからアプリケーションまでを処理するメインプロセッサに例える見方が示された。前脳は後脳を監視・干渉する能力も持つ。また、前駆細胞の観察は「異なるサプライヤーから供給されているBOM」を見るようなものだとし、進化的歴史を推測するのは憶測に過ぎないと指摘。後脳が独立して存在していた古いレガシーシ…
WaymoがSingapore進出を発表。来年から手動運転による地図作成と検証走行を始め、2027年に自動運転システムの認可を申請、2028年に商用サービスを開始する計画だ。全電動のJaguar I-PACEと第5世代Waymo Driverを使用し、Singapore Green Plan 2030や既存の公共交通網と補完し合うことを目指す。
Hacker Newsの議論では、AIが説得に長ける理由として、人間と違い「競争」にならない点が挙げられた。相手が人間だと議論は勝ち負けになりがちだが、AIには感情的な利害がなく、反論を聞き入れやすい。また、大量の（時に不正確な）データで押し切る力や、疲れずにすべての質問に答える特性も指摘されている。
- ▲ 118AIはエリートによる犯罪スプリーだ
AI規制の欠如が問題ではない。FTCや司法省は既にAI企業の調査・執行を行ってきたが、政権交代や司法のエリート consensus により法の支配が強大な企業に適用されなくなった。OpenAIがpaywallを回避してNYTをスクレイピングし、Microsoft幹部が「人類史上最大の労働窃盗」と認めた事例は、既存法で対処可能なのに放置されている。真の問題は、権力者に法が及ばないというエリートの合…
Voronoiノイズを使ったシェーダーを制作中、特定のWindows PC（RTX 4070）でのみアニメーションがカクつく問題が発生。複数のデバイスで再現しない中、LLMの提案でfract(x)をx - floor(x)に置き換えると症状が消えた。しかし、その後の検証でLLMの仮説は誤りと判明。手作業でのデバッグと逆アセンブルを通じて、思わぬ原因にたどり着くまでの一部始終を綴る。
ByteShapeがQwen 3.8 27B向けのフルShapeLearn量子化モデルを公開した。5モデルすべてが品質と速度のフロンティア上に位置し、デフォルト推奨のGPU-5はBF16の総合スコアの99.63%を13.1GBのVRAMで達成する。小型のGPU-4も11.0GBで98.72%に達し、より高速だ。MTPやDFlash2による投機的デコーディングは全モデルでスループットを向上させる。
複数のLLMを組み合わせる際、従来はテキストを介して情報をやり取りしていたため、内部表現の豊かな意味情報が失われ、トークン単位の生成遅延も発生していた。本研究はKV-Cacheを通信媒体として着目し、ニューラルネットワークで送信側モデルのKV-Cacheを投影・融合して受信側モデルへ直接意味転送するCache-to-Cache（C2C）を提案。学習可能なゲーティング機構が恩恵を受ける層を選択する…
2026年7月8日、Telstraのモバイル網が大規模障害に見舞われた。原因はメルボルンの1台のGPS受信機が定期保守から戻った際に「今年は2006年」と誤認し、その誤った時刻がネットワーク全体に伝播したことだった。NTPの階層構造とピアリングの組み合わせが引き起こしたタイミングループにより、単一のGPSカードが豪州最大のモバイル網で最も権威ある時刻源となっていた。独立調査報告書が明らかにした、…
office365_flakeは、Nix Flakesとスクリプトを使ってMicrosoft 365をLinux上で仮想化なしに動作させるプロジェクトです。通常のWineでは動かないOfficeを、umu-launcherとGE-Proton（Valveがゲーム向けに提供するWineビルド）の組み合わせで実行します。BottlesプロジェクトのProtoSoda Wineコアも代替ランナーとして…
2004年にKimとVuが提唱した「サンドイッチ予想」は、ランダム正則グラフをランダム二項グラフで挟み込むことで、解析が難しい正則グラフの性質を容易に導けるというもの。2025年、Montgomery、Behague、Iľkovičの3人がエッジを1本ずつ同時に構築する巧妙な手法で完全証明を達成。これにより、正則グラフの多くの性質が二項グラフの既知の結果から自動的に得られるようになった。
C#のサイクロマティック複雑度（CC）は、メソッドの独立実行パス数を表す指標で、1に分岐構文の数を加えて算出される。Thomas McCabeが1976年に提唱し、10以下が推奨、MicrosoftのCA1502アナライザーは25超を過剰と判定する。本記事では、具体的なC#コード例を用いて計算方法、実践的な閾値、NDependやVisual Studioによる測定・可視化手法を解説。さらに、テス…
LLMの内部計算は言語ではなく活性化空間上の数学として行われ、外部に出力される言語や機構的に抽出された特徴はモデルの思考を正確に反映しない。この「言語的不透明性」が常に起こり得るなら、chain-of-thought監視や憲法的自己批判など言語的自己報告に依存するセキュリティは完全には健全たり得ない。論文は、モデルの出力をtaint trackingで追跡するサンドボックスを提案し、仮想化や第三…
Y Combinatorの主要幹部が設立した「Little Tech PAC」が、2026年選挙サイクルで66の政治活動委員会に11万7千ドル超を拠出。その約半数が共和党支持に回り、Ted Cruz、Josh Hawley、Lindsey Grahamらから進歩派のPramila Jayapalまで、超党派の現職再選を支援している。PACはYC従業員らから20万ドルを調達。AI・テック政策に関わ…
Washington State Universityの遺伝学者Cameron Peaceが、Maineの放棄農園で見つかった謎の木「AMHO-504」のDNAを解析したところ、北米のAppleの系統図に予測されていた空白と完全に一致した。数百品種の祖先にあたる生きた木が発見されたのだ。Appleは米国で最も食べられる果物だが商業品種は15種に集中し、気候変動や病害で脅威にさらされている。失われ…
FuzzyGraphは、方程式を従来の二値モードではなくファジーモードで可視化する。これにより、これまで見えなかった「ブラックホール」や「影の線」、さらには水面下に隠れた「水中島」まで浮かび上がる。誤差の地形を可視化することで、方程式の新たな側面が見えてくる。
IEEE標準のsubnormal数は演算を遅くすると知られ、ゲームや機械学習の現場では避けられることがある。Daniel Lemire氏がC++ベンチマークでIntel、AMD、Armの最新CPUを比較したところ、IntelのGranite RapidsとEmerald Rapidsではsubnormalを含む乗算が通常の45〜50倍遅く、除算も18倍遅かった。依存チェーンでは1ステップあたり1…
ボリビアのYungasの森に生息する斑点のある小型ネコが、DNA研究により新種Leopardus tilcayoとして確認された。これまで他のトラネコ類と混同され、見過ごされてきた。保護施設で飼育される「Tigrino」という名の10歳の個体が発見の手がかりとなり、研究チームは博物館標本と生体のDNAを分析。トラネコ類は3種ではなく5種存在する可能性が示された。この発見により、ネコ科の既知種は4…
Antflyはv0.1でGoによる検索エンジンをリリースしたが、v0.2では同じエンジンをZigでゼロから書き直した。理由は移植性、C相互運用、速度、テスト容易性の4点。ZigはCコンパイラを内蔵し、CUDAやONNX、Wasmtimeとの連携が容易で、アロケータやSIMD、comptime特殊化がデフォルトで使える。さらにstd.Ioによりシミュレーションテストを全パッケージに組み込み、Raf…
「Ask A Monk」は、AIを一切使わず、すべての回答を人間が匿名で行うオンラインの質問箱だ。誰にも言えない悩みを匿名で投稿し、見知らぬ誰かが答える。友人関係の悩みや恋愛の不安など、すぐに答えの出ない問いが並ぶ。運営者は「誰もあなたの人生を直せないが、しばらく一緒に背負うことはできる」と語り、危機介入サービスではないと明記している。
Scryは、AIエージェントがインターネット上の数十億件のドキュメントに対して直接クエリを実行できるMCPサーバーです。Reddit、Hacker News、arXiv、Stack Exchange、Wikipediaなど43のソースから約1,587億行のデータを保持し、エージェントはSQLライクな言語で複雑な検索、フィルタリング、ベクトル検索を一度に実行できます。従来の検索のようにリンクをたど…
英国の航空管制サービス大手NATSが、9月8日に広範な混乱を引き起こした技術障害の予備調査報告書を公開した。運輸大臣Heidi Alexanderの要請によるもので、原因と復旧の経緯を説明している。CEOのMartin Rolfeは、2023年8月の大規模システム障害とは無関係であり、軍事的介入によるものだという憶測も否定した。
Gooseはヒープを持たず、すべての動的値がコンパイラ管理のデータスタック上にインラインで存在するメモリ安全なシステム言語。16ベンチマークでC++の1.16倍、安全なRustの1.12倍の速度を、それぞれ1.3倍、1.2倍少ないメモリで実現。アロケータもGCもライフタイム注釈も不要で、参照は成長後も有効、データはそのままファイル形式になる。
MS-DOSグラフィックス時代を懐かしむ開発者が、OpenAIのNavier-Stokes発表に触発され、1990年頃の386で動く可視化デモを制作。Burgers渦をルックアップテーブルで近似し、パレットサイクリングとパーティクル追跡の2種類を実装。最終的にPALETTE.COMを946バイト、PARTICLE.COMを1KB未満まで最適化。JavaScript版とNASMアセンブリ版を公開し…
幾何学と代数学が互いに行き来してきた4000年の歴史をたどる講演。図形で解いていた問題が記号と式へ、そしてまた図形へと移り変わる往復の中で、数学者が何を得てきたのかを振り返る。Hacker Newsでは、この2分野の関係をめぐって議論が交わされている。
2月28日のトマホークミサイル攻撃でイランのミナブにある小学校が破壊され、少なくとも123人の子どもを含む150人以上が死亡した。米国防総省の内部調査は、古い情報とAIへの過度な依存、そして民間人保護要員の削減が重なったことを明らかにした。米国は未だ公式に責任を認めていない。
リスト項目のアイコンとテキストの垂直配置は、テキストが複数行になると途端に難しくなる。著者は、アイコンがHTML要素の場合と疑似要素の場合の2つの解決策を紹介。`align-items: start`と`lh`単位を組み合わせ、アイコンのサイズやフォントサイズ、コンテナ幅が変わっても正しく中央揃えされる方法を解説する。
Rustクレートgearhashがバージョン0.1.4でNEONバックエンドを獲得し、ARM64上で約2倍高速化した。著者は2019年にFastCDC論文のGEARローリングハッシュをSIMD化したのがきっかけでこのクレートを作成。当時はARM64を最適化対象と考えていなかったが、Apple M1やAWS Gravitonの普及、Hugging FaceのXetクライアント採用により状況が一変。…
元NASAチーフアストロノートのCharlie Precourt氏が、Atlantisでの自身初の着陸を振り返る。マッハ1、高度50,000フィートからエンジンなしの滑空で、わずか3分25秒後の195ノットでのタッチダウン。HACと呼ばれる螺旋状の進入路を辿り、12,000フィート/分の降下率で誤差も許されない。1,700回の練習アプローチとEileen Collinsとの緊密な連携が、不可能を…
Javaの軽量スクリプト言語BeanShellが、長い中断期間を経てバージョン3の開発を再開した。Hacker Newsでは「懐かしい」「帰ってきた」と歓迎の声が相次ぎ、かつてAndroid開発でデバッグ用REPLとしてtelnet経由で使っていたという当時の活用例も共有されている。
systemdのブランドページが、ロゴの由来を明かしている。緑の[OK]表示という起動時の象徴からインスピレーションを得て、2019年にGNOMEプロジェクトのTobias Bernardがデザイン。ブランドカラーはsystemd green #30D475とsystemd black #201A26、書体はHeebo。表記は「systemd」が正しく、「SystemD」や「system D」で…
唯物論の前提に立つと、意識は物理的プロセスから生じる。ならばUnited Statesのような大規模な社会システムも、その複雑な情報処理と組織構造によって、何らかの意識を持つ可能性がある。この哲学的議論は、意識の定義と範囲を根本から問い直す。
AX Checkは、あなたのサイトを自動チェックし、3つのAIエージェントがエンドツーエンドでオンボーディングを試みるサービスです。ドキュメント、マーケティングサイト、CLI、MCP、Skillsのどこを修正すべきか具体的なガイダンスを提供します。Datadog、Sourcegraphなどの実際のチェック結果も公開されており、エージェントフレンドリーな製品開発を支援します。
20世紀初頭、薬剤師で鳩愛好家のDr Julius Neubronnerが、鳩に軽量カメラを装着して空撮を行う「鳩カメラ」を発明した。1908年に特許を取得し、国際的な注目を集めた。鳩は60マイル先から帰巣する性質を利用し、空気圧式タイマーでシャッターを切った。写真は歪んだ角度とランダムな構図で、当時としては斬新だった。ドイツ軍も西部戦線で試験したが、飛行機の偵察技術の進歩により、鳩は伝令の役割…
Miro Bannwart氏の個人プロジェクトGrassLobsterは、Rhino/Grasshopperのパラメトリックモデリングに外部AIエージェントを接続する実験的プラグインだ。アイデアを伝えると、エージェントが対話を通じて寸法やルールを詰め、接続されたGeometry Stationsとしてワークフローを構築。変更可能なパラメータと可読なプロジェクトファイルで、設計意図を保ったまま反復…
Go 1.27では、80バイト以下の小さなオブジェクトの割り当てが最大20〜30%高速化され、割り当ての多いプログラム全体で最大1%の性能向上が期待できる。ランタイムはサイズクラスごとに特化したmallocgc関数を生成し、メモリクリアのインライン化やスパンクラス計算の省略などで高速化を実現。命令キャッシュへの影響を抑えるため、対象を80バイトまでに限定し、Go 1.26から1.27へリリースを…
著者はiRig HD Xのファームウェアを書き換え、内蔵の500 MHz Cortex-M7と128 KiB FlexRAMにNAM A2-Liteエンジンを実装した。5150+OD808のキャプチャを16フレーム（0.333 ms）ブロックでリアルタイム処理し、上流のNAMCoreと比較して相対ヌル−115.63 dB、相関0.9999999999985を達成。PCを介さず、インターフェース単…
CognitionがDevinの新機能「Code Scans」を発表。SEO改善やコンパイル高速化といった広範なエンジニアリング目標を、コードベース全体の調査からPR作成まで自動化する。Agentic MapReduceにより並列エージェントで調査を分散処理し、Dioxusのクリーンビルドを58.6秒から21.0秒へ64%短縮。テスト導入チームではPRマージ率96%、700時間以上の工数削減を報…
CodeYamの創業者Nadia Eldeib氏が、Design SprintとGV Research Sprintをベースにした定性的ユーザーリサーチの実践法を共有。プロダクトマーケットフィット前のスタートアップにとって、学習速度が生死を分ける。同氏は、AIツールで仮説検証を加速しつつも、人間の顧客やユーザーとの対話を置き換えるべきではないと強調。失敗を早期に発見し、学びを得ることで、限られた…
xAIが音声認識モデルGrok Voice Transcribe 2.0を発表した。実環境の評価で精度が1.0の2倍になり、価格は据え置き。公開リーダーボードでは32のストリーミングモデル中1位に立つ。多言語の短いフレーズでは単語誤り率が20.6%から6.8%へ低下し、話者分離や単語タイムスタンプも追加料金なしで使える。
独立研究者Ashok Khosla氏が、インカ帝国の結縄「キープ」を解読するためのオンライン・フィールドガイドを公開した。世界最大となる703点のキープを収録し、精緻な図解とインタラクティブな可視化で構造を分析できる。共同研究者Manuel Medrano氏との論文では、データサイエンスによる解読パターンの発見も報告されている。
Rickubは、リポジトリ管理、コードレビュー、CIを統合したオールインワンのGitホスティングサービスです。GitHubやGitLabより高速で独立し、安価でありながらデータの安全性を損ないません。マージリクエストのインラインレビュー、GitHub Actions互換のCI、Athena AIによるコードレビュー、コンテナレジストリ、CLI/API/MCP連携など、チーム開発に必要な機能を網羅…
AIがジュニアの仕事を奪い、シニアを育てる仕組みが静かに止まりつつある。DRAM価格が400%超も高騰したのと同じ構図で、需要だけが爆発し供給は数年単位でしか増やせない。Martin Fowlerらも「見習いと技能継承の危機」を指摘した。唯一のヘッジは、シニアがエージェントを操る傍らでジュニアを育て、自前の供給網を今から築くことだ。
AIエージェントのプラグイン配布層を突く初のサプライチェーン脆弱性。SHAピン留めを回避し、悪意あるコードをゼロクリックで実行させる。Claude CodeとCodexは修正済みだが、GitHub Copilotは未修正、Gemini CLIは非推奨のため恒久的に脆弱なまま。
Hacktronの研究チームが、HEIF/HEIC/AVIF画像をデコードするネイティブC/C++ライブラリ（libheifやlibde265）に潜む脆弱性群「HEIF Heist」を公表。攻撃者は細工した画像をアップロードするだけで、バージョンを特定し、メモリ破壊や情報漏えい、リモートコード実行（RCE）を引き起こせる。OpenAIの非公開リポジトリのダンプ、SlackのRCE、Meta製品群…
数学パズル「Mrs. Perkins' Quilt」をキルトとして縫うとき、角を縫うL字縫い目を最小いくつにできるかを探求。n=1から17までの最小L字縫い数目a(n)をデータで示し、0,0,0,0,0,0,1,0,1,0,1,1,2,1,1,2,2,…という数列を提示。ギロチンカットで残りを切るには角をどう減らすかという視点も紹介する。
Claude Code、Codex、Cursorなど複数のAIエージェントを使い分けると、目標や決定、編集中のファイルは各セッションに閉じ込められ、切り替えのたびに説明し直す羽目になる。Orbitalは作業単位をセッションからプロジェクトへ移し、状態・決定・教訓・作業キュー・成果物をローカルのプレーンファイルとして保持。どのエージェントでも同じ文脈を引き継げる、オープンソースのプロジェクトエージ…