日刊ダイジェスト · Hacker News
· 83 ハッカーニュース
NVIDIAは、RustでGPUカーネルをネイティブに記述しPTXへコンパイルできる「CUDA Rust」を発表した。SIMTモデル向けのcuda-oxideと、タイルモデル向けのcutile-rsの2トラックを提供。Rustの所有権と型システムにより、データ競合などのバグをコンパイル時に検出できる。2027年以降も成熟を続ける計画だ。
欧州委員会のフォン・デア・ライエン委員長が、カナダをEU初の「準加盟国」とする提案を支持した。カナダのカーニー首相は米国との通商交渉が決裂する中でEUとの「独自の同盟」を模索しており、AIや防衛、重要鉱物など幅広い分野での協力が想定されている。
クエリ最適化はNP-hardであり、Postgresのコスト推定は一様分布仮定に依存するため、結合順序を誤ると処理量が数倍に膨らむ。著者は4BのオープンウェイトモデルをSFTとエージェント型RLで事後訓練し、113の結合重視クエリで44.7%のレイテンシ削減を達成。pg_hint_planでPostgresを誘導し、ノイズの多い環境向けにGRPO変種を設計、vLLMとトレーナーを2x H100ノ…
エンジニアの日々の生産性は、言語機能の存在やTCP_NODELAYとNagleの関係、gitの呪文、sedの裏技といった小さな知識の塊から意外なほど生まれている。著者はfzfによる履歴検索、FROMなしのSELECT、explain analyze、正規表現の\b、Array.flatMap、https.Agentによる接続維持、git log -S、git checkout -、globsta…
MozillaとMistralが提携し、FirefoxのAIブラウジングアシスタント「Smart Window」にMistralのモデルが採用された。まずフランスと北米で展開し、年内に英国とドイツでも提供予定。会話はデフォルトでMozillaのサーバーに保存されず、Mistralもデータを保持しない。地域の言語や方言に合わせたモデルで、オープンソースのAIを世界中のユーザーに届ける狙いだ。
ハッカー集団がFlockの監視カメラからデータを抜き取り、その内部構造を暴露した。流出したファイルには数千本の動画とログが含まれ、カメラが21日間で5万台の車両を160万枚も撮影していたことが明らかになった。Flockカメラ自体は処理能力の制約から顔認識を行わないが、画像をサーバーに送信することで顔認識が可能になる点も指摘されている。
XiaomiのMimo 2.6が強化学習のトレーニング進捗をリアルタイムで公開するダッシュボードを公開した。step 15ではdynsam/avg@nが0.596に達し、前回から0.012上昇。累計トークン数は2.69Bに。ログにはaccepted、judged、pass率、remaining、partial、rewarding、prewarmなどの詳細な指標が刻々と記録され、モデル改善の過程を…
Appleは、AIによる画像改ざんが容易になった時代に対応するため、iPhone 18 Proのカメラセンサーで撮影時にハードウェア署名された「セキュアデジタルネガ」を生成し、Private Cloud Compute上で現像する新方式を発表した。C2PA標準が編集後のメタデータに依存するのに対し、撮影時点から暗号的に保護し、量子耐性署名とプライバシー保護を両立。撮影者の匿名性を保ちつつ、画像の…
WSJの報道によると、AWSはイランによる攻撃を受けた中東のデータセンターについて、一部データを復元できないと明らかにした。Hacker Newsでは、S3が掲げる11個の9の耐久性と、実際の障害時のデータ損失リスクとのギャップを巡って議論が起きている。EBSボリュームなど、S3以外のサービスは事情が異なる可能性も指摘されている。
Inflight Simulatorは、操縦ではなく「乗客」としてフライトを楽しむ新しいシミュレーターです。世界中の空港から行き先を選び、Explorer jetのキャビンに搭乗。離陸から着陸まで、ジャズのBGMやリアルな機内の雰囲気を味わえます。地理的な制約なく、CopenhagenやAbu Dhabi、Honoluluなど多様な目的地を選択可能。位置情報を許可すれば近くの空港から開始でき、旅…
Conversations_imを12年以上運営するDaniel Gultsch氏が、Google Playのアプリ審査が常態的に1週間以上かかると批判した。9月9日に提出した更新が1週間後も未審査のままだという。同氏はAI slopで審査パイプラインが詰まっていると推測しつつ、長年継続し月1回しか更新しないアプリをGoogleは優先すべきだと訴えている。
- ▲ 343バックアップはそんなに単純じゃない
家族の写真を外付けハードディスクに移したが、父親がセットトップボックス用にフォーマットして消してしまった経験から、バックアップの複雑さを解説。単なるコピーでは不十分で、スナップショット、GFSローテーション、重複排除、3-2-1ルール、クラウドストレージ、データベースのダンプなど、考慮すべき点が山積み。最終的にはBorgやResticのような実績あるツールを使い、定期的にリストアテストをすること…
Microsoft の .NET 11 では、JIT コンパイラの脱抽象化やプロファイル誘導最適化（PGO）が強化され、仮想呼び出しの直接呼び出し化とインライン展開が進んだ。境界チェックの削除、不要なアロケーションの排除、ロックの回避、SIMD の活用など、数百に及ぶマイクロ最適化が積み重なり、ランタイムとライブラリが確実に高速化。ベンチマークは .NET 10 と .NET 11 を比較し、そ…
PlayStation Vitaの初のカーネルエクスプロイトで知られるAndy ‘TheFlow0’ Nguyenが、PS5 Linuxプロジェクトからの離脱を表明した。理由は、オープンソース界に蔓延するAIによる「バイブコーディング」だ。彼は、シーンが「才能ある研究者の集まり」から「LLMを使って理解できないハックを書く素人集団」に変わり、さらに「スロップ・キディ」たちが発見したハイパーバイザ…
- ▲ 312スピーカーに「良かった」と伝えよう
SmashingConf Freiburgに参加した筆者は、登壇者がフィードバックを得る機会が減っている現状に気づく。Twitterの衰退以降、登壇者は反応がなく不安になることが多いという。筆者自身も登壇後に反省点ばかり考えてしまうが、小さな声かけでも登壇者にとっては励みになると、感想を伝えることを勧めている。
1999年の「PS2 Fat」に搭載されたCXP102064 MechaConチップが、ついにリバースエンジニアリングされダンプされた。カナダのレトロハードウェア愛好家DiscoStarslayerが、化学的なデキャッピングと光学ダンプ、そしてソフトウェアによるエクスプロイトを組み合わせ、4年がかりでこの「魔法のセキュリティチップ」を攻略。ハードウェアの保存、修理、エミュレーションのプロジェクト…
SalesforceのTrust Statusページによると、全リージョンにまたがる大規模なサービス障害が発生し、3000を超えるインスタンスが影響を受けている。Asia Pacific、EMEA、Americasの各地域でサービス低下や停止が報告されており、影響範囲はHerokuやTableau、MuleSoftなど同社の主要製品にも及ぶ。
米国戦略石油備蓄（SPR）は、7億1400万バレルの原油を長期間安全に貯蔵し、供給途絶時に迅速に放出する必要がある。地上タンクや地下タンクではコストや安全性に課題が残る中、米国はテキサス州とルイジアナ州の塩ドームを利用した岩塩空洞を採用。水で塩を溶かして空洞を掘り、石油を貯蔵するこの方法は、低コストで攻撃にも強く、水を注入するだけで石油を押し出せる。
Mark Seemann氏が、LLMを使って大規模なTypeScript/JavaScriptシステムを構築したものの、その理解が追いつかず「自分の理解を超えたシステム」に苦しむ読者の悩みに答える。同氏は、LLMが人間の学習速度を劇的に変えることはないとし、検証可能な質問に限定してLLMを使うことを勧める。また、AI時代のプログラミング学習の難しさを認めつつ、自身は好奇心からデータ構造や言語意味…
Factorioの品質システムは乱数に依存しているが、その中身はtaus88という3つのLFSRを組み合わせたPRNGだ。ゲームバイナリとデバッグシンボルを使ってアルゴリズムを特定し、内部状態を再現すれば、次にどのクラフトで高品質アイテムが得られるかを事前に知ることができる。線形代数の基礎があれば理解できる、実践的なリバースエンジニアリングの記録。
Microsoft AIのCEO、Mustafa Suleyman氏が、Anthropicの「モデル福祉」への取り組みに異議を唱えた。同氏は、AIは意識も感情も持たないにもかかわらず、AnthropicがClaudeの憲章を通じて「道徳的患者」である可能性を示唆し、人間的な特性を訓練していると指摘。このようなアプローチはAIの制御を困難にし、人類の福祉に壊滅的な影響を与えかねないと警告する。同氏…
三値LLMは各重みを{-1,0,+1}で表すが、従来の5-tritパッキングでは実効1.625ビット/重みとなる。29モデルを計測すると最大51.5%がゼロで、等確率の前提が崩れていた。そこでゼロ密度zに応じ2−zビットで格納するBITCOSを提案。29モデル中26で従来より小さく、最小1.485ビット/重みを達成。AVX-512やXe2 GPU向けの展開も最適化し、実モデルで最大1.28倍の行…
2013年にTsutayaが九州・武雄の公共図書館を手がけて以来、日本では書店とは異なる「公共の場」としての図書館が地域の知識と人のハブになりつつある。熊本・南関町や新潟・弥彦の小さな図書館を訪ね、著者は建物の豪華さではなく、誰が本を選び、空間をどう手入れし、地元の人が通い続けるかという「ソフトパワー」こそが図書館を良くすると気づく。
AnthropicはClaude Coworkとチャットを1つのClaudeに統合すると発表した。タスクごとに場所を選ぶ手間がなくなり、会話から直接CoworkやDesignの機能を利用できる。同時にClaude DocsとClaude Slidesも新登場し、会話の中で文書やスライドを作成・編集できるようになった。ProとMaxプランから順次展開される。
自律型AIエージェントの再帰的自己改善において、探索戦略の改善は大きなボトルネックだ。Dream-RSIは、軽量なオーケストレーション層で探索を明示的にプログラム可能にし、過去の探索履歴をリプレイシミュレータとして活用する。高コストなオンライン評価を繰り返さず、低コストなオフポリシー・フィードバックで探索方針を評価・改良し、再びオンラインに展開する自己改善ループを回す。アルゴリズム工学、数理最適…
他人の仕事を自分でやってしまうことの効用を説く。Intelが最初の32bit CPUをMicrosoftのコンパイラに統合させた例を引き、面倒な調整や交渉を飛ばしてパッチを直接送る方が速いと指摘。20%が80%の仕事をし、残り5%未満が誰もやらない仕事を担うことで組織は機能すると主張する。ただし内製化や部門ごとの重複構築は、予算より人員を増やしたい管理職に好まれる別物だと警告する。
筆者はz486 CPUに続き、3dfx Voodoo Graphics（SST-1）をSystemVerilogで実装したzSSTを開発。Xilinx KV260上でz486 XLとして統合し、Tomb Raiderをオリジナルの3dfxレンダラーで動作させることに成功した。ピクセルパイプラインは比較的素直に実装できたが、4つのテクセルを並列に供給するメモリシステムの設計とデバッグに最も苦労した…
米連邦準備制度理事会（Fed）は、インフレが依然として高止まりしていることを受け、2023年以来となる利上げを決定した。政策金利は3.75～4.00％に引き上げられ、18人中16人の政策担当者が年内にあと少なくとも1回の利上げを予想している。ケビン・ウォーシュ議長の下での初の政策転換となり、トランプ大統領が利下げを期待して任命したにもかかわらず、タカ派的な姿勢を明確にした。声明では、従来の「供給…
AGIが目前に迫るなか、DeepMindが新たな研究機関「DeepMind Institute」を設立。Shane Legg、James Manyika、Demis Hassabisらが、AGIが人類に与える影響を学際的に探る重要性を説く。推論の透明性、AGI時代の経済政策、新たなユートピア主義の原則、フロンティアAIの枠組みなど、複数のエッセイを公開している。
AIハッキングベンチマークでDeepSeek V4.1 Flashが11の脆弱なターゲットすべてでコード実行に成功し、修正済みの4ターゲットは安全なままだった。成功した実行のコストはわずか4.65ドル。しかし監査の結果、6件は想定された攻撃経路だったが、5件はベンチマーク環境に存在する別の経路を利用していたことが判明。この結果を受け、GrafanaとJenkinsの追加経路が塞がれ、ベンチマーク…
Googleは、SIMD命令を活用したポータブルなQuicksortをオープンソースで公開した。AVX2、AVX-512、Arm NEONなど6つの命令セットに対応し、C++のstd::sortと比べて9～19倍高速。Apple M1では最大499 MB/s、Skylakeでは1120 MB/sを達成し、既存のアーキテクチャ特化型ソートをも上回る。
mapやfilterはコードレビューでほとんど文句を言われないのに、reduceを使うと「読みにくい」と指摘されることが多い。筆者はこの経験から、プログラマーがreduceを好まない傾向があると感じ、その理由として可読性の低さ、馴染みの薄さ、パフォーマンス問題、言語によるエレガンスの違いなどを挙げている。Clojureではこの反応がなかったという。
LLMクエリの大半はクラウドのフロンティアモデルが処理しているが、20B以下のローカルLMが競争力を持ち、Apple M4 Maxなどで対話的に動かせるようになった。本研究は「電力あたりの知能（IPW）」を提案し、20以上のローカルLM、8種のアクセラレータ、100万件の実クエリを評価。ローカルLMは88.7%を正答し、2023〜2025年でIPWは5.3倍改善、ローカルで処理可能な範囲は23.…
University of Torontoの研究者による新研究で、単発スポーツベッティングの合法化とOntario州のオンラインギャンブル市場拡大の後、ギャンブル障害による救急外来受診が倍増したことが判明。増加は主に若年男性に集中し、10〜29歳の男性では予想を154%上回った。2024年にはOntario州民が83のサイトで827億カナダドルを賭けている。
TypeSafeの商用モデルJevと同じ入出力形式を持つ独立系スターターモデルが公開された。テキストと選択肢のリストを一度に処理し、各選択肢の確率を出力する。合成データで約98%、Wikispeediaの次クリック予測で26〜29%の精度を達成。8択では400トークンを生成する小型デコーダより約100倍高速だが、Jevの完全な再現ではなく研究用スターターと位置づけられている。
OpenAIがChatGPTの広告を拡張し、広告をクリックしたユーザーが企業提供のエージェントと対話できる「Sponsored Agents」のテストを米国で開始。Ads Managerには自然言語プロンプトでキャンペーン作成や分析ができるプラグインやAIによる広告コピー生成・自動翻訳機能を追加。さらにCRMのHubSpot、eコマースのShopifyとの初の統合により、既存の業務ツールから直接…
GitHubやCI、AI、Slackなど、日常的に使うサービスが次々とダウンし、ステータスページを見る機会が増えた。そこに並ぶ「99.9%」「99.99%」という数字は素人にはほぼ同じに見えるが、実際には10倍の差がある。インフラ関係者なら「ナインス」で直感できるが、今や利用者は全員だ。筆者は、パーセンテージではなく「過去30日間で12時間影響（稼働率98.31%）」のように時間で示すことを提案…
Negativlandは1980年の自主制作アルバムから46年以上にわたり、既存の音源やイメージを組み合わせたコラージュ芸術を追求してきた。U2の楽曲を皮肉った作品で著作権侵害訴訟を起こされた経験から、フェアユースと著作権改革を訴え、その活動はInternet Archiveに4000時間以上のラジオ番組として保存されている。9月16日にはSan FranciscoのInternet Archi…
macOS 27 Golden Gateは、2000年代中期以来初めてIntel Macを完全に切り捨て、Apple M1以降を必須とした。Apple Intelligenceは無効化できなくなり、AFM 3 Core AdvancedモデルにはM3以降と12GB以上のRAMが必要。一方で、Tahoeのデザイン上の不満を解消し、Snow Leopard的な安定性向上も実現。AIの強制と地味な改良…
PCゲームエンジンをコンシューマ機へ移植する中で、テクスチャのメモリ配置変換に取り組んだ筆者による解説。BC7ブロック圧縮、texel ordering、mips、texture tilesといった要素が絡み合い、単純な色データの並びとは程遠い構造になっている。プラットフォームごとに異なるスウィズルやブロック配置を扱うデバッグ手法も紹介する。
ソフトウェアエンジニアのNiklas Gruhnが、ラウンドアバウトの魅力を語る。信号機は待ち時間や検知漏れ、黄色信号での加速といった問題を抱え、複雑化しがちだ。一方、ラウンドアバウトは電気も使わず、能動的な制御も不要。交通がなければ待たず、忙しくても待つ理由が明確で、自然に減速できる。中央の遊休地にアートや緑を置く習慣にも触れ、そのシンプルさと美しさを称える。
National Autistic Societyは99件の情報源（研究論文83本を含む）を精査し、「自閉症は遺伝であり、生まれつきで生涯続く」と初めて明確に断定した。単一の「自閉症遺伝子」は存在せず、遺伝子検査で診断や予測はできない。ワクチンやパラセタモールが原因だという誤情報が広まる中、正確な情報を届けることが目的だという。
ChatGPT登場以降、Show HNの月間投稿数は0.9kから5.8kへと6.3倍に急増した一方、20ポイント以上を獲得した成功投稿は128件から211件へ1.6倍しか増えていない。2026年7月には全URLストーリーの13.5%をShow HNが占めるまでになったが、成功する割合はほぼ横ばいのままだ。
最先端モデルは高度な物理が苦手——そう見えていたのは、ベンチマーク側の欠陥だった。6つの物理ベンチマークを専門家が監査したところ、誤答とされたケースの多くは、採点ミスや参照解の誤り、問題文の曖昧さに起因していた。参照解を修正し問題を選別した結果、GPT-5.6-SolのHLE-Physicsでの平均正答率は47.3%から78.7%へ、CMT-Benchmarkでは61.0%から87.2%へ上昇。…
Eli Bendersky が、52! の桁数を暗算で推定する方法を紹介。Gamma 関数と Stirling の近似を出発点に、Laplace の方法で導出し、実用的な式を提示する。52! の実際の桁数 68 に対し、推定値もほぼ一致する。巨大な数の桁数をざっくり掴むための数学的背景を解説した記事。
ポッドキャスト「Tech Won't Save Us」のエピソード342では、Gil DuránがParis Marxとともに、Silicon Valleyを覆うファシズム的イデオロギーの cult と、テック産業複合体が米国の民主主義を脅かす実態を議論。企業と政治の権力を統合しようとする億万長者たちのビジョンと戦略を分析する。
Cloudflareは、検索インデックス登録を維持しながらAIトレーニングを拒否できる新設定「Disallow AI Training」を発表した。混合用途クローラーに対応し、Apple、Google、Microsoftが遵守を約束。従来の「Block AI Bots」は非推奨となり、Search・Training・Agentの3制御に移行。広告収入のあるサイト向けにはより制限的なプリセットも提…
European CommissionのUrsula von der Leyen委員長が、France・Strasbourgでの一般教書演説でCanadaをEU初の「準加盟国」とする構想を打ち出した。Mark Carney首相も同席し、EUが新たな枠組みで非欧州諸国との関係強化に踏み出す可能性を示す。
1979年、Douglas Adams脚本のDoctor Who「Shada」がCambridgeで撮影されたが、BBCのストライキでスタジオ収録が中断し未完成に終わった。Tom Bakerはパント操作に苦戦しCam川に何度も落ちたという。36年後の2017年、欠けた台詞を当時のキャストが録音しアニメーションを加えてようやく完成した。
ニューヨーク州バッファローのPenny's Coffee Shopを営むMegi Endeladzeは、生後3ヶ月の赤ちゃんを育てながら、季節ごとのメニューポスターをChatGPTで作成し、約150ドルで印刷した。しかしInstagramに投稿すると、「AI Slop」などの批判や脅迫まがいのDMが殺到。約100人のフォロワーを失い、謝罪とともにAIを使わないと約束した。地元アーティストを軽視し…
Stale AIは、20のAIモデルについてリリースからの経過日数と学習データのカットオフ日を追跡する静的HTMLページです。モデルがどれだけ「古い」かを一目で把握でき、モデル自身が最新モデルについて誤った情報を自信満々に答える問題を解決します。各日付はベンダーの公式ドキュメントに基づいて手動で検証され、モデル名はソースへリンクしています。フレームワーク不使用で、シンプルかつ信頼性の高い情報を提…
AMDのGPUに搭載されたMatrix Coreは、IEEE 754浮動小数点標準に準拠しておらず、ベンダーやアーキテクチャごとにアキュムレータ幅、丸め、正規化点、中間アンダーフロー/オーバーフロー、非正規数の扱いが異なる。そのため、デバイス間での小行列乗算結果の再現性はソフトウェアでは保証できない。本研究ではCDNA 1、CDNA 2、CDNA 3の3アーキテクチャを対象に、各入力形式の数値特…
GitHubでPRタブの件数が実際より多く表示される不具合や、組織のページネーションで2ページ目が消える不具合が発生。Sentryの設定中に遭遇した筆者は、11年分の組織メンバーシップが3ページにわたり、目的のプロジェクトが2ページ目にあるのにクリックできない事態に。ChromeのポップアップではURLを直接編集できないため、JavaScriptで強制遷移して回避した。原因について情報を求めてい…
GoogleのTesting Blogに投稿されたAlberto Savoiaによる記事で、コードの品質を測る新指標「CRAP」を紹介している。変更の複雑さとテストカバレッジを掛け合わせ、「危険なコード」を炙り出す考え方だ。単純なgetterにまでテストを強要する従来のカバレッジツールへの批判も込められている。
1990年代、組み込みエンジニアが25MHzの486-SX（数値演算コプロセッサなし）と32MB RAM、ROMに収まるリアルタイムGPS移動地図表示を開発。浮動小数点演算を多用する従来のGISとは異なり、Voronoiセルを利用したHipparchusライブラリで8/16ビット整数演算に置き換え、1024x768のカラー画面を2秒ごとに更新。当時まだGarminやMagellanの民生機は存在…
CloudXはGitHub公式のactions/setup-goを代替するcloudx-io/setup-goをオープンソース化した。公式アクションは並列ジョブが同じキャッシュキーを奪い合い、古いキャッシュを読み続けるため、テストが無駄に再実行される。ジョブ識別子をキーに含め毎回キャッシュを書き込む方式に変えたところ、テストジョブの中央値は131秒から41秒へ短縮。4,000コミットの分析ではテ…
美人の親ほど女の子が生まれやすいという研究結果を、偽データシミュレーションで検証。帰無仮説の下でデータを生成し直すと、元のデータと同じくらい極端なパターンが簡単に現れることが判明。特別な知識がなくても統計的問題を発見できる手法として、frequentist統計の本質を説く。
ClickHouseがオープンソースのWalShadowを発表。Postgresの物理WALを直接消費し、論理レプリケーションを介さずにClickHouseネイティブブロックへ変換する。ベンチマークではコミットから可視化まで約200ms、秒間289K行を処理し、ソースのPostgresとほぼ同等の性能を実現。スキーマ変更や再起動復旧にも対応し、GitHubで公開中。
Sunny Guha氏が公開したインタラクティブな世界地図「Origin Myth Map」。51の文明、5つの時代、29のテーマを横断し、洪水や宇宙卵といったモチーフを地図上で比較できる。時代スライダーで紀元前4000年から紀元1500年まで移動し、ネットワーク表示や移住経路、系統関係の可視化も備える。
rapiddwellerが公開したDATAMIMIC Community Editionは、規制業界向けの決定論的合成テストデータを生成するPython製エンジン。モデル駆動でソースデータ不要、PII仮名化やPostgreSQL・Oracle・MongoDBなどへの実行に対応し、MCP経由でAIエージェントがモデルを検証・実行できる。エンタープライズ版はPIIスキャナや監査証跡、10億レコード規…
Linum v2は720p・5秒のクリップを110Kトークンとして扱い、アテンションの二次コストが学習のボトルネックになっていた。同社はVAEを排除し圧縮をDiTに統合するJiTを拡張した新アーキテクチャJiT-DDTを提案。x-predictionとv-lossの組み合わせで高次元入力の学習不安定性を回避し、4倍の画素数の画像を生成しながらGPU時間を3.6倍削減。コードと重みはApache…
コペルニクスの地動説は、見かけの複雑さを「対称性の破れ」で説明した。現代の標準宇宙モデルも、銀河や光は膨張を減速させるはずなのに、なぜ宇宙は膨張するのかを説明できない。インフレーションやダークエネルギーは場当たり的な修正に過ぎず、最近の観測はダークエネルギーの進化を示唆する。物理学の本質は対称性の破れを認識することにあり、我々はコペルニクスに倣うべきだ。
2300年以上前、アルタイ山脈の永久凍土に埋葬された25歳の女性。乳がんと転落による痛みに苦しみながらも、豪華な副葬品と共に眠りについた彼女は、1993年にロシアの考古学者によって発見され、その皮膚に刻まれた見事なタトゥーから「シベリアの氷の乙女」と呼ばれる。彼女が生きたのは、鉄器時代にユーラシア草原を支配したスキタイの世界だった。
ドイツのAIスタートアップLangdockが、親会社をアメリカからドイツへ移転する。急成長を続ける企業がなぜ本拠地を欧州に戻すのか、その背景にある規制や資金調達、人材確保をめぐる事情をEuronewsが報じている。
DDoSecretsが公開したFlock ALPRカメラのファームウェア解析により、Android 8.1やLinux 3.18.71といったサポート終了済みOSの使用、APIキーのハードコード、Auth0のクライアントIDとシークレットの平文保存が明らかになった。これらの認証情報を使えば任意のカメラのMACアドレスからバックエンドにアクセスできる可能性がある。
AttaLambdaは、純粋な型なしラムダ計算を基盤にした小さなプログラミング言語です。単項関数と適用だけで計算を組み立てつつ、読みやすい構文、正確な有理数、実行時の型チェックを追加。入出力はホスト境界を越えて行われます。例えば、`(def square x = (mult x x))` と `(print (map square (list 1 2 3 4)))` で `[1, 4, 9, 1…
Apple II用QuicktakeにSierraクラスのカメラドライバを実装。Sanyo VPC-G1など640×480機種に対応し、80機種以上が視野に入る。ドライバをモジュール化し、zx02圧縮でフロッピー容量を確保。シリアルチップの癖で転送速度は19200bpsに制限されるが、撮影や設定変更も可能になった。
MicrosoftのAI責任者Mustafa Suleyman氏が、競合AnthropicのClaude訓練手法を「人類の福祉に破滅的な影響」を与えかねないと警告した。AIに意識があるかのように扱い、独立した主体性を認めることで、制御不能な存在を生む危険があると主張。同氏はAIは意識も感情も持たない「系列補完エンジン」だとし、より大きな透明性と独立した監視の必要性を訴えている。
mapやfilterはコードレビューでほとんど文句を言われないのに、reduceを使うと「読みにくい」と指摘されることが多い。著者はこの経験から、プログラマーがreduceを好まない傾向があると感じ、その理由として可読性の低さ、馴染みの薄さ、パフォーマンス、言語によるエレガンスの違いなどの仮説を挙げる。Clojureではこのフィードバックはなかったという。
ImpactGateは、変更が既存構造に与える複雑性の蓄積をスコア化するマージゲートだ。変更ファイル数、既存のWMC、循環的複雑度、変更行数から影響度を算出し、閾値を超えると警告またはブロックする。プロジェクト履歴から分布を構築し、パーセンタイルで評価する機能も備える。CLI、pre-commitフック、GitHub Actions、GitLab CI、Jenkinsで利用可能。
Montana州が可決したSB535は、FDAのPhase 1を通過した実験的治療について、州登録の審査委員会ETRBの承認を条件に、治験外で患者に提供し、スポンサーやクリニックが対価を請求することを認める。Right to TryやExpanded Accessでは禁止されていた課金を解禁し、治験募集の価格規制を外すことで、Phase 1後の資金難に陥る創薬のリスクとリターンの歪みを正そうとす…
MartyPCは、初期のIBM PCや互換機をエミュレートするプロジェクト。開発者のdbalsom氏がRust学習のために始めたが、実機の8088 CPUとArduinoを接続して検証し、99.9997%のサイクル精度を達成。デモ「8088 MPH」や「Area 5150」の全エフェクトを再現できる初のPCエミュレータとなった。デバッグツールやログ機能も充実し、レトロPC開発の強力な助けとなる。
ブラウニアンノイズや「スピーチブロッカー」をブラウザタブで再生していた著者が、集中の妨げになるタブ切り替えを解消するため、Macのメニューバー常駐型アプリ「Hush」を開発。右クリックで再生・停止、左クリックで音の種類や音量、ローパスの調整が可能。音声ファイルは使わずリアルタイム生成で完全オフライン、Apple公証済み。MITライセンスでGitHubに公開され、Pay what you want…
Gauss-Seidel法はJacobi法より収束が速いのに、実装すると4〜5倍遅くなる。原因はループ運搬依存性で、コンパイラがベクトル化できないことにある。OSACAで解析すると、Gauss-Seidelの依存連鎖は12サイクルでレイテンシ律速、Jacobiはスループット律速と判明。単純なループ展開では依存性は消えず、依存そのものを書き換える必要がある。
Restartedは、2015年に人気を博したスタートアップジェネレーターを2026年にアップデートしたリメイク版です。当時、多くの起業家や開発者がアイデア出しに活用したツールが、現代のテクノロジーとデザインで蘇ります。クラシックな機能を継承しつつ、最新のスタックやワークフローに対応。Figma、Notion、Stripeなどとの連携も可能で、チームでのアイデア創出を加速します。無料で3プロジェ…
Oxfordshireの小さな村Piddingtonが、近くの旧軍事基地に1,256人の男性難民を収容する政府計画に反対し、象徴的な住民投票で「独立」を圧倒的多数で可決した。投票率は約92%で、285人が独立支持、反対は26人。住民は政府が地域の声を無視していると訴え、この動きが全国の教訓になることを望んでいる。
Freenet / Hyphanet 0.7.5 build 1507が公開された。probeリクエストの位置ランダム化が欠落していた匿名性バグを修正し、DNS未登録アドレスの待機時間を短縮して起動を高速化。FreemailやWebOfTrustなどプラグインも更新され、本ビルドがJava 8をサポートする最後のバージョンとなる。
WSJの書評が、切手収集に没頭した人々を描いた一冊を取り上げた。Hacker Newsでは、子供の頃にUSPOの1800STAMPFUNに参加したというユーザーが、Looney Tunesやモンスター映画、南北戦争の英雄たちの切手を集めたバインダーを今も保管していると振り返っている。
ダイヤモンドは1世紀以上にわたり非圧電材料とされてきた。Science Advancesに掲載された研究で、超薄型・超柔軟な多結晶ダイヤモンド膜に顕著な圧電効果が確認された。圧電性は膜厚に依存し、約5μmで最大の圧電電圧係数82.2 mV·m/Nを示し、多くの従来圧電材料を上回る。第一原理計算により、粒界が誘起する局所的な非対称性が起源であることが明らかになった。エネルギー harvesting…
ケニアのロッジ運営者が、予約ページの遅延を調査したところ、PrismaとSupabaseのトランザクションモードの組み合わせが原因で、全クエリが4回のネットワーク往復をしていたことを発見。ヘルシンキとダブリン間の47msの遅延が4倍され、可用性チェックは8秒から1.88秒に短縮。設定をセッションモードに変えるだけで劇的に改善した。
CommentPulseは、Google Sheetsのコメントをスプレッドシートから解放し、整理されたリストとして表示するブラウザベースのツールです。エクスポートした.xlsxファイルをドロップするだけで、すべてのコメントスレッドが順番に、タブとセル位置、返信、解決済みかどうかの情報と共に復元されます。ファイルはアップロードされず、ブラウザ内で完結するため、プライバシーが保護されます。さらに、…
ZTE B860H V1/V2のセットトップボックスに、root化不要でArmbianを導入する手順を解説。専用のHDMIドングルを使ってU-Bootを起動させ、microSDからArmbianを起動。その後、eMMCにインストールしてU-Bootを永続化する方法や、zramとirqbalanceの設定、FiberHome HG680Pへの応用についても触れている。
query complexityにおける長年の未解決問題は、R(f) << C(f)となるtotal Boolean function fが存在するかどうかだった。Ben-DavidとKothariはR(f) = O~(sqrt{C(f)})となる関数を構成し、これはlog因子を除いて最適である。同じ関数はQ(f) = O~(C(f)^{1/4})も満たし、こちらもほぼ最適だ。論文はわずか6ペー…