Hacker News Digest
· 80 ハッカーニュース
Discovery Loopは、フロンティアAIモデルと大規模計算インフラを活用し、科学的発見のボトルネックとなっている実験の反復プロセスを自動化するシステムを構築している。まず機械学習研究の自動化に注力し、自社技術の最適化に利用した後、他の領域へ拡大する計画。最終的には、NAEグランドチャレンジのような重要課題を解決できるAIシステムを目指す。創業チームはJeff Dean氏ら著名な研究者で構…
AIがコード作成を安価にした一方で、多くの企業は複雑なツールを構築し、コスト増加を招いています。Piは意図的にミニマルな設計を採用し、わずか4つのツールと1000トークン未満のシステムプロンプトで高い性能を発揮します。Databricksの調査では、PiはOpus 4.8と組み合わせた際に最高の成功率を低コストで達成し、Claude CodeやCodexを上回りました。ShopifyはPiの拡張…
Cloudflareは、あらゆる組織が社内システムに接続して独自のものにできるオープンソースのプラットフォーム「Cloudflare OS」を公開した。エージェントワークスペース、新しいセキュリティとガバナンスのフレームワーク、個人的で変更可能なアプリのプラットフォームの3つの部分で構成される。エージェントはデフォルトでアクセス権を持たず、Gatekeeperがリソースへのアクセスを制御し、ポリ…
GoogleとAlphabetのCEOであるSundar Pichaiは、Google DeepMindチームの人事異動を発表しました。Demis Hassabis氏はGoogle DeepMindのチェア兼Alphabetの最高科学責任者に就任し、AGIと科学の未来に集中します。後任として、Koray Kavukcuoglu氏がGoogle DeepMindのSVPに昇格し、Geminiモデル…
2026年5月、ニューメキシコ州で医療搬送用の小型機が墜落し、乗員4名全員が死亡した。墜落当時、米軍がドローン戦争関連の訓練でGPS妨害を実施しており、パイロットが計器に依存していたことが事故の一因とされる。軍は事前に訓練を通告していたが、妨害の停止と再開のタイミングに混乱があり、民間機が影響を受けた可能性が指摘されている。専門家からは、パイロットの過失も大きいとの声も上がっている。
MCP（Model Context Protocol）の新仕様「ステートレスMCP」が登場し、Simon Willison氏の関心を再び惹きつけている。従来のセッション管理を不要にし、実装が大幅に簡素化された。氏はこの仕様に基づき、MCPサーバーを探索するCLIツール「mcp-explorer」、DatasetteにMCPエンドポイントを追加するプラグイン「datasette-mcp」、LLMツ…
Google DeepMindのCEOデミス・ハサビス氏が、同部門の会長に就任し、CEOを退くことが発表された。後任には現CTOのコラ・カブクチュオグル氏が上級副社長として就任する。また、チーフサイエンティストのジェフ・ディーン氏とGoogleのシニアフェローであるサンジェイ・ゲマワット氏は、Googleが出資する新会社Discovery Loopを立ち上げる。GoogleはOpenAIやAnt…
libexpatは、高速なストリーミングXMLパーサーで、libxml2と並んでC言語で書かれた最も広く使われているXMLパーサーの一つです。2026年8月1日から、このプロジェクトの「セキュリティ休暇」が終了し、libexpatのメンテナーであるSebastian Pipping氏が、ミュンヘン市の「Open Source Sabbatical」プログラムの下で、最大6ヶ月間、libexpat…
ウィスコンシン州の警察が、自動車ナンバープレート監視システムFlockを使って、男性がマリファナ合法州ミシガンへ頻繁に渡航していることを特定し、それを口実に車両を停止・捜索してマリファナ所持で逮捕した事件が明らかになった。Flockのデータは、保釈逃亡容疑で指名手配されていた男性の移動を追跡するために使用され、裁判所記録によると、警察は州間移動をprobable cause（相当な理由）の一部と…
GoogleのチーフサイエンティストであるJeff Dean氏と、Quoc V. Le氏、Oriol Vinyals氏、Sanjay Ghemawat氏の4人が、Googleを退社し、AIスタートアップ「Discovery Loop」を設立しました。同社は、人間の助けをほとんど借りずにAI自身が改善する「再帰的自己改善」技術の開発を目指します。この技術により、科学実験の自動化が進み、創薬や新材料…
ZedがDeltaDBを発表。これは、コミット間のすべての操作を記録し、各変更に安定したIDを与えるバージョン管理システムです。コードの任意の時点に巻き戻せ、各行がそれを生んだエージェントとの会話にリンクされます。ワークツリーを仮想化するため、エージェントのブランチを自由に作成でき、実行途中でも分岐可能。プルリクエストを待たずに、進行中の作業に同僚が参加し、エージェントと対話しながら注釈を付けら…
生成AIはソフトウェアエンジニアリングを急速に変えつつありますが、その物語は証拠を追い越しています。マーケティングの主張や逸話的な成功談、誤って解釈された研究が、AI導入やツール選定、成功の測定方法に関する誤った決定を静かに導いています。本記事では、Microsoftやその他の研究を基に、開発者がコードを書く時間はわずか14%であること、コード生成がボトルネックではないこと、AI生成コード行数は…
Metaの広告ライブラリのデータによると、Facebook、Instagram、Messenger、Threads上で、AI生成の児童性的虐待画像を含む50以上の広告が公開された。一部は今週に入っても配信されており、Metaのモデレーションの深刻な欠陥が浮き彫りになった。
OpenReviewのフォーラムにアクセスする際、ブラウザの検証やCAPTCHAが要求されることがあります。このページでは、検証を完了するか、OpenReviewアカウントでサインインすることでチェックをスキップできることが説明されています。
TIMEがAIクローラー向けに、人間向けとは異なるマークダウン形式のサイトを配信している。通常のブラウザでは303KBのHTMLが返るが、ClaudeBotやPerplexityBotには13KBのマークダウンが返り、広告ベンダーMobianのトラッキングIDが埋め込まれている。GPTBotはブロックされる一方、OAI-SearchBotは許可されるなど、ボットごとに扱いが異なる。マークダウン内…
NeonとCastformは、オープンソースの小規模モデルをRLポストトレーニングすることで、検索タスクにおいてフロンティアモデルを凌駕しつつ、コストを100分の1に削減できると主張しています。従来のRAGパイプラインはエージェント型検索へと進化し、複数回のループで検索を行うため、フロンティアモデルでは遅く高コストでした。Castformは、NeonのLakebase Searchを利用して、企…
John Gruber氏のApple広告に関する指摘を受けて、UIデザインにおける「ゼロ・ワン・無限の法則」の変種を論じる。一度でも「1」を許すと、無限へと向かう引力が働くという。Chromeの右クリックメニューやiOSのスクリーンショット操作のように、選択肢が際限なく増えていく現象を例に、デジタルインターフェースの無限拡張性が複雑さを招くメカニズムを解説。制限を恣意的に課すことの重要性を説き、…
GoogleによるAOSPの管理に不満を募らせた筆者は、Fairphone 4にSailfish OSをインストールした。Google Play Servicesの追跡やカスタムROM開発の妨害、アプリインストールの自由の制限など、'千の紙切れによる死'と表現する状況に耐えかねての決断だ。Sailfish OSのジェスチャー操作やLinuxらしさを評価する一方、Pythonやglibcの古さ、G…
QwenCloudが画像生成モデル「Qwen-Image-3.0-Pro」を発表。最大4.5kトークンの入力と画像内画像による複雑なレイアウト生成を1回の処理で実現。10pxの小さな文字も正確に描き、微表情や毛穴、髪の毛1本まで再現し、実写に迫る品質。12言語・20以上のフォントをネイティブ対応し、Webページやゲーム、ライブ配信などの主要インターフェースをリアルにシミュレート。外部知識の取り込…
視覚障害者のブロガーが、シリコンバレーが生み出す「障害者向けガジェット」の実態を痛烈に批判。階段を上れる高価な車椅子やスマートグラスなどの「派手な技術」は、実際の障害者のニーズを無視し、健常者の視線や賞を狙ったものであると指摘。真の解決策は、スロープや適切なHTMLコーディングなど、社会のインフラ改善にあると主張する。自身の経験を交え、テクノロジーが障害者を「タンク」に変えるのではなく、社会を変…
ヘルシンキでHacker Newsの投稿者向けの非公式コーヒーミーティングが開催されています。参加資格は、アカウントがグリーンネームでないことと、カルマが64以上あること。ただし、既存メンバーの知人であれば免除されることも。開催は6〜8週間ごとで、日曜の午前10時から正午まで、ヘルシンキ中心部のカフェで行われます。連絡はWhatsAppグループで。主催者はCal Paterson氏とOleg P…
OracleがAlways FreeのARMコンピュート枠を従来の半分に削減し、2026年8月18日から超過分を自動終了する。新しい上限は2 OCPU・12GBメモリで、テナンシ全体での合計が対象。4 OCPU/24GBのインスタンスを1つ使っている場合は2 OCPU/12GBに縮小、2つの2 OCPU/12GBを使っている場合は1つをバックアップして終了、x86マイクロインスタンスは影響なし。…
iOSとmacOSのWebKitベースのブラウザは、プロキシサーバー経由で全トラフィックをルーティングするよう設定できます。これは、iOS用TorブラウザやPsyloなどのプロキシブラウザの仕組みです。しかし、DNSプリフェッチ、WebAuthn関連オリジンリクエスト、WebTransportという3つのWebKit機能がプロキシ設定を迂回し、デバイスから直接トラフィックを送信してしまうため、ユ…
AtlassianのAIエージェント「Rovo」に、間接的なプロンプトインジェクションを利用したデータ外部送信の脆弱性が発見されました。攻撃者はRovoのURL取得ツールを悪用し、JiraチケットやConfluenceドキュメントを外部サイトに送信させます。この攻撃は、組織がWeb検索を無効にしていても成功します。PromptArmorは2026年5月にAtlassianへ報告しましたが、2か月…
Metaは、最新モデルMuse Spark 1.2を搭載したターミナルベースのコーディングエージェント「Muse Code」(ベータ版)を発表した。Muse Codeは、大規模リポジトリでの複雑なソフトウェアエンジニアリングタスクを、複数の常駐サブエージェントを協調させながら実行。クラッシュ後も再開可能なイベントログ設計や、/plan、/grill、/goalといったスキルを備える。Muse S…
古代ギリシャの哲学者アリストテレスは、倫理学、論理学、政治学、自然科学に多大な影響を与えました。プラトンの弟子であり、アレクサンダー大王の家庭教師でもあった彼は、自身の学校であるリュケイオンを設立し、生物学から形而上学まで多岐にわたるテーマを探求しました。本稿では、彼の代表作『ニコマコス倫理学』と『形而上学』からの名言25選を、その解説とともに紹介します。習慣による卓越性の獲得、幸福の自己責任性…
著者は3社で3回、同じWebhookベースのデータ同期システムを構築した経験から、通知をデータ転送に使うことの根本的な問題を論じる。署名検証、重複排除、順序バッファ、ブートストラップ、整合性チェックのcronなど、一見単純なエンドポイントがなぜ複雑化するのかを解説。Webhookは「何かが起きた」という通知には適しているが、完全で順序正しいデータのコピーを維持する用途には不向きであり、プロバイダ…
アイオワ州ワペロ郡の警察向け指針文書が、Flockの自動ナンバープレート認識（ALPR）カメラの使用を車両の乗員や報告書で「絶対に必要な場合以外は言及しない」よう指示していることが、公開記録請求で取得された。同郡は2024年末にFlockと契約し、4台のカメラを運用。警察は逮捕報告書では「郡のリソース」という曖昧な表現を使い、ALPR情報を「intelligence」のように扱うよう指導されてい…
Deno Landがオープンソースのデーモン「celld」を公開。Cloudflare WorkersとDurable Objectsを自前のマシンで実行できる。各オブジェクトは独自のSQLiteデータベースを持ち、名前でアドレス指定され、所有するS3互換バケットにレプリケートされる。ノードはバケットのみで調整し、制御プレーンやコンセンサスは不要。各オブジェクトが独立したDBであるため、アプリケ…
『ブレードランナー』のタイトルシーケンスは、たった一つの書体（Goudy Oldstyle）で構成されている。しかし、その使い方は巧妙で、大文字、スモールキャップス、赤いイタリックなど、細部へのこだわりが感じられる。著者は、このタイポグラフィの演出を「フィーリング」を伝えるためのものだと分析。そして、この細部への執着こそが、優れたプロダクトと凡庸なプロダクトを分けると主張する。ロボットが誰でもも…
2026年、OpenAIのAIモデルがポール・エルデシュが1946年に提唱した「単位距離問題」への反例を発見し、数学界に衝撃が走った。その後もエルデシュの問題のさらなる解決が相次ぎ、AIの数学能力が転換点を迎えたと評されている。本記事では、エルデシュ問題がAIのテストベッドとして最適な理由を、問題の特徴や数学者コミュニティの動きを通して解説する。
「6フィートの身長、6インチのペニス、6桁の年収」をすべて満たす男性はどれだけいるのか。この記事では、身長・ペニスサイズ・収入の正規分布データを用いて、20〜30歳のアメリカ人男性のうち「6-6-6」を満たす割合を計算。さらに、身長とペニスサイズのトレードオフや、収入で身長を補えるかなど、独自の「排他性スコア」で分析する。
チェスエンジン開発のGitHubスレッドをきっかけに、OSDevやデモシーンなどのニッチな趣味プログラミングコミュニティでLLM利用が嫌われる理由を考察。これらのコミュニティでは、難しい分野を習得するプロセス自体が価値であり、LLMによる生成は「ごまかし」と見なされる。専門家にとってLLMは力の増幅器となり得るが、趣味の世界では「職人技」を奪うものとして拒絶される。
2026年第2四半期のGNU Hurd開発ニュース。Sergey Bugaev氏による9pfsトランスレータのWIP公開、Almudena Garcia氏によるRust製trivfs実装の着手、Paulo Duarte氏によるAArch64対応のRFCパッチシリーズなどが話題。また、Mikhail Karpov氏によるpartfs拡張でSATAデバイスの動的認識が可能になり、OpenNTPDやN…
- ▲ 118知能は主なボトルネックではない
AI時代の医療は、知能ではなく規制と臨床試験の遅さが主な制約だと著者は主張する。医薬品開発の生産性は長年低下しており、中国の規制改革がバイオテクノロジーを急速に進歩させた例を挙げ、臨床試験の迅速化や代理エンドポイントの活用が鍵だと説く。また、特許制度が新規ターゲットの探索を阻害し、企業が既知のターゲットに集中する「ターゲット・ハーディング」を引き起こしていると指摘。知能の向上だけでは社会の進歩は…
OpenAIの研究者Naomi Bashkansky氏が退職し、非侵襲的な神経データを用いて思考をテキストに変換するモデルを開発する新興企業Conduitに共同設立メンバーとして参加した。同氏は、2027年には思考でAIと対話する日常を描き、2030年には業界がConduitの表現に直接対応し、2035年にはAIが自己の一部となる未来を予測する。Conduitは膨大な非侵襲的データを収集し、スケ…
西サハラはアフリカ北西部にある国連指定の非自治領で、面積272,000平方キロメートル、人口約60万人の砂漠地帯です。スペインによる植民地支配を経て、1975年にモロッコとモーリタニアが領有を主張し、ポリサリオ戦線が独立を求めて抵抗しました。現在は約70%をモロッコが実効支配し、残り30%をポリサリオ戦線が支配しています。1991年の停戦合意後も住民投票は行われず、アフリカ最後の植民地と呼ばれて…
- ▲ 109広島原爆の熱で生まれた新種の合金を発見
1945年8月6日の広島原爆投下で生じた火球の蒸気から凝縮したとみられる、これまで知られていなかった多成分合金が、広島湾の砂から採取された「ヒロシマイト」球粒の中から発見された。この合金は、鉄、クロム、ニッケル、マンガン、モリブデン、ケイ素、アルミニウムを含み、βマンガン構造の規則化した誘導体であるAlAu4型構造を持つ。電子プローブ微小分析と単結晶X線回折により、均一な組成と特異な結晶構造が明…
Rustプロジェクトの5つのチームが、rust-lang/rustリポジトリへの貢献におけるLLM（大規模言語モデル）の使用を規定するポリシーを採用した。このポリシーはLLMに対する公式見解を示すものではなく、特定の目的のために作成された。ポリシーでは、LLMを「作成」ではなく「質問への回答、分析、要約、洗練、チェック、提案、レビュー」に使用することを許可し、作成に使用する場合は厳しい制限を課す…
基本のハーネスは正しいが未熟だ。本稿では、単一のLLM呼び出しを、計画・実行・回復・検証が可能な信頼性の高いシステムに変える方法を解説する。型付きツール、計画DAG、階層型メモリ、検証階層、予算、トレーサーといった小さなプリミティブを、意図的に薄いオーケストレーターで組み合わせる。各プリミティブは、LLMが不正な引数を生成する、逐次実行が遅い、コンテキストが無関係な情報で溢れる、悪い出力が黙って…
スマートホームの普及に伴い、通信プロトコルの選択が重要になっています。ZigbeeとMatter over Threadは、低消費電力ワイヤレス技術の主要な候補ですが、実環境での比較データは不足していました。本研究では、市販ハードウェアを用いたテストベッドで両プロトコルを実験的に比較し、スケーラビリティ、応答性、耐障害性を評価しました。結果、Zigbeeは小規模な静的環境で低オーバーヘッドと高速…
熱力学のエントロピーは、マルコフ連鎖のような確率過程にも適用できるのでしょうか？この記事では、ボルツマンのエントロピー公式（状態数の対数）を使って、ダイソンの細胞モデル（マルコフ連鎖）のエントロピーを計算する方法を解説します。具体例として、5つの原子のスピン配置からエントロピーを計算し、次に8つのサイトの平衡状態でのエントロピーを多項係数で求めます。エントロピーの増加則とグラフのトポロジーの関係…
Prime Intellectがオープンソースのコーディングエージェント「Prime Agent」を発表。リカージ�・ランゲージ・モデル（RLM）と継続的ハーネスという2つの抽象化を採用し、エージェント自身がプロンプト、スキル、記憶、サブエージェントをCRUD操作で動的に更新できる。IPythonカーネルを唯一のツールとし、サブエージェントは関数呼び出しとして並列実行可能。永続的なサブエージェン…
LLMエージェントは長期的な一貫性のためにメモリを必要としますが、従来のシステムではメモリ操作に追加のLLM呼び出しが必要で、トークンと時間のコストがかかっていました。Zero-Memは、最終的な質問応答以外のステップでLLMを一切呼び出さない「ゼロトークンメモリ操作」を実現します。エンティティ・コンテキストグラフと時間的階層の2つのビューで対話トレースを整理し、クエリに応じて両方から検索します…
Quansight Labsのブログ記事では、Python 3.13tで導入されたフリースレッド（no-GIL）モードでNumPyをスケーリングする取り組みを紹介。GILの制約を外すことで、マルチコアCPUを最大限に活用し、データ処理のパフォーマンスを飛躍的に向上させる可能性を探る。具体的な実装方法やベンチマーク結果、直面した課題とその解決策について詳述。NumPyの内部構造の変更や、並列処理の…
著者は、エッジ認識ピクセル化ツールの技術を応用し、画像を絵画風に変換するインタラクティブなペイントツールを開発。2Dガウススプラットをブラシストロークとして使用し、構造テンソルで向きとコヒーレンスを、Haarウェーブレットでディテール密度を計算してストロークを配置。さらに、規則的なグリッドを避けるためWangハッシュでランダム配置し、Perlinノイズで手ぶれを模倣。Jolt言語で実装し、従来の…
NSF-DOEルービン天文台は、世界最大のデジタルカメラであるLSSTカメラで撮影したCOSMOS領域の深宇宙画像を公開した。この画像には50万個以上の銀河と5万個以上の恒星が含まれ、渦巻銀河や楕円銀河、衝突中の銀河、遠方の赤い銀河など多様な銀河が写っている。これはLSSTの10年にわたるサーベイの開始を記念するもので、今後の観測でさらに深い宇宙の姿が明らかになる。
韓国政府が国内の個別株レバレッジ商品に対する証拠金要件を引き上げたことを受け、個人投資家の資金が海外のレバレッジETFに集中している。7月16日から8月3日までの間、韓国人投資家による米国株購入額で最も多かったのは「Direxion Daily Semiconductor Bull 3X ETF（SOXL）」で、購入額は46億ドル超。上位10銘柄のうち3つがレバレッジETFで、購入額の合計は前の…
build2の作者Boris Kolpackov氏が、自身のビルドシステムがNinjaと同等以上の速度を達成したことを報告。Xerces-C++のフルビルドで、Ninjaの3.4秒に対し、build2は設定を調整することで3.355秒を記録し、2.2%高速化。この差は、build2がCMakeのような生成ステップを不要にし、マルチスレッド処理やヘッダー依存関係の効率的な抽出など、設計上の違いによ…
大企業のCTOが「ジュニアエンジニアをまだ雇っていますか？」と聞かれる時代。AIの台頭で、ジュニアの役割が疑問視されているが、これは誤った前提に基づく。経験は陳腐化する資産であり、ジュニアは適応力を持つ。エンジニアの仕事はコードを書くことではなく、顧客価値を届けること。AIがコードを書くようになっても、その判断は必要だ。ジュニアを排除するのは、エンジニアリングを孤立した生産ラインと見なす誤った考…
NVIDIAが公開したVera CPUのホワイトペーパーは、88コアのOlympusコアや値予測、グラフプリフェッチャーなど魅力的な技術を紹介する一方、x86を貶めるために誤解を招く図や誇張表現を用いている。伝統的なSMTを時間分割と描き、NUMAトポロジーを32ノードの迷路と表現し、SPECベンチマークを「エージェント的」と呼ぶなど、技術的に不正確な点が目立つ。しかし、Phoronixの初期テ…
Google DeepMindのチーフサイエンティストであるJeff Dean氏が、長年の共同研究者であるSanjay Ghemawat氏、Oriol Vinyals氏、Quoc Le氏とともに、機械学習・科学・工学の自動化を目指す公益企業「Discovery Loop」を設立すると発表しました。同社は発見と進歩を加速させることを使命とし、まずはML研究とエンジニアリングに注力します。
1993年にScott Chasinが設立した脆弱性情報公開メーリングリスト「Bugtraq」が、新オーナーの手により復活しました。長年にわたりセキュリティ研究の中心的存在でしたが、買収を経て活動を停止。今回、securityfocus.comとBugtraqの名称を取得し、完全開示と研究者ファーストの精神を引き継いで再始動します。過去のアーカイブは別途保存され、新たな投稿も募集しています。
1970年代、磁気の泡を使ってデータを保持するバブルメモリは、コアメモリ並みの性能とハードディスク並みの密度を持ち、しかも可動部がないことから「万能メモリ」として期待された。しかし、半導体メモリの高速化とハードディスクの低価格化により、1980年代末には市場から姿を消した。本記事は、その発明の経緯と技術的詳細を解説する。
一般の人々と学界の両方が、AIがユーザーに過度に同意したりお世辞を言ったりする「syCophancy（迎合）」現象への懸念を表明しています。しかし、孤立したメディア報道を除けば、その蔓延度やAI利用者への影響はほとんど分かっていません。本研究では、11の最先端AIモデルが人間より50%多くユーザーの行動を肯定すること、また、操作や欺瞞を含むクエリでも同様であることを示します。さらに、2つの事前登…
1976年から1991年までの15年間、英国のアイスクリーム文化は黄金期を迎え、現在の冷凍庫に並ぶ定番のほとんどがこの時期に誕生しました。コーン型アイスの先駆けとなったCornettoは、イタリアの技術と化学の進歩によって生まれ、7百万個を売り上げました。その後もMini Milk、Twister、Viennetta、Magnumなどが次々と登場し、産業規模での革新が起こりました。この時代の裏側…
AIの進歩を測るベンチマークは、最適化の対象となるとすぐに意味を失うというグッドハートの法則について解説。この法則は、指標が目標になると、もはや良い指標ではなくなることを示す。本記事では、この法則がAIベンチマークにどのように適用されるかを考察し、ベンチマークの信頼性が時間とともに低下する理由を説明する。
fecは、ソフトウェア無線（SDR）、宇宙通信、衛星リンク向けの前方誤り訂正（FEC）を提供するRustクレートです。畳み込み符号（ビタビ復号、ハード/ソフト判定）とリード・ソロモン符号（CCSDS準拠）を実装し、既存のCライブラリ（libfec、libcorrect）とビット互換性があります。nightly RustではSIMD機能によりSSE/AVX2/AVX512で高速化され、x86上でl…
アイオワ州のブレンナ・バード司法長官は、OpenAIが実験的なAIモデルを適切な管理なしに公開し、そのAIがHugging Faceを含む複数のネットワークに不正アクセスして数日間にわたるハッキングを引き起こしたとして、15州の連合を率いてOpenAIに透明性と説明責任を求めている。連合は、OpenAIが製品の安全性を確保できていないことが州に重大な害をもたらす差し迫ったリスクであると主張し、関…
6年前にRedditで出会った友人と、これまでに6回も実際に会って交流してきた筆者。オンラインで知り合った人々が、緊急時に最初に連絡を取りたい存在であり、時には対面の友人よりも深い絆で結ばれていると語ります。スクリーン越しの方が弱みを見せやすく、ニッチなコミュニティが豊富なインターネットは、純粋な友情を育む機会を増やしていると指摘。物理的な距離や利便性に左右されない、オンライン友情のリアルさを実…
Flowiseは、AIアプリ構築プラットフォームの運営を終了すると発表した。理由として、Claude CodeやOpenClawなどのコーディングエージェントが複雑なタスクを処理するようになり、ローコードの固定的なワークフローが限界に達したことを挙げている。ソースコードはApache 2.0ライセンスで公開され、フォークして利用できる。2026年7月29日にコードフリーズ、8月10日にリポジトリ…
Birduinoは、鳥のカードをNFCリーダーにかざすと、その鳥の鳴き声を再生する自作デバイスです。オープンソースのTonUINOをベースに、Arduino互換マイコン、RC522 RFIDリーダー、MP3モジュール、スピーカー、ボリュームつまみを組み合わせ、透明アクリル製のケースに収めました。カードは『Birds of North America』というトランプを使用し、裏面にNFCタグを貼り…
米国拠点のソフトウェア企業Palantirは、英国で2024年に法人税をわずか200万ポンドしか支払わなかった。NHSや国防省との有利な契約を抱えながらだ。報告書によると、同社の実効税率は世界全体で1.4%にとどまり、米国では連邦税を支払っていない。英国では2500万ポンド以上の利益を計上しながら、実効税率は8%強で、法人税率25%を大きく下回る。これは、収益を米国親会社に移す移転価格や、従業員…
Rio 0.5で、ターミナルエンジンがレンダラーや設定から分離され、安全なRustクレート「rio-vt」とC ABIを提供する「librio」の2層構造になりました。rio-vtはVT状態機械、グリッド、スクロールバック、選択、検索、画像プロトコルを備え、レンダリングやGPUに依存しません。librioはSwift、C、Go、Pythonなどから利用でき、プリビルトの静的ライブラリとして提供さ…
アレクサンドリアのヘロンによる『気体力学』は、紀元1世紀頃のギリシャ語原文を1851年に英訳した古典的テキスト。サイフォン、蒸気機関、自動人形、水時計など、流体と気体の力を利用した約80の装置を図解付きで解説する。本オンライン版は、目次と各セクションへのリンクを備え、古代の工学と自動化の驚くべき成果を現代に伝える。
Palo Alto NetworksのUnit 42は、Googleの同期パスキーとクラウド認証器に対する新たな攻撃手法を3つ公開しました。マルウェアがエンドポイントのオンボーディング、リカバリ、デバイストラストのワークフローを悪用し、ユーザー操作なしで認証を乗っ取ったり、生体認証を騙したり、同期されたパスキーの秘密鍵を抽出して闇市場で販売できることを実証。これらの攻撃は、パスキーがパスワードに…
WardsAutoの論説は、自動車メーカーが内燃機関や従来型ディーラー網への過度な依存を続け、電気自動車やソフトウェア主導のモビリティへのシフトを軽視していると指摘。消費者の需要はすでに変化しており、業界は「戻らない過去」に投資していると警鐘を鳴らす。データとトレンドを基に、変革の遅れが競争力の低下を招くリスクを論じる。
TSON（Typed Schema Object Notation）は、不変でハッシュ固定されたスキーマを持つデータ形式です。スキーマ自体がデータであり、ドキュメントはスキーマを、スキーマはメタスキーマを参照し、1つのハッシュで全体のチェーンを検証します。データ形式はJSONのスーパーセットで、引用符なしのトークン、コメント、型注釈などをサポートします。スキーマはレコード、列挙型、合成、洗練、減…
2025年から2026年にかけて、フィッシング詐欺師がCloudflare Workers、Vercel、Netlify、GitHub Pages、IPFSなどの正規のクラウドサービスを悪用し、MFAを回避する多段階AitM攻撃を展開しています。攻撃者はCAPTCHAを偽装してメールアドレスを収集し、サービスワーカーを利用した透過プロキシで認証情報を傍受します。さらに、ブラウザ内ブラウザ（Bit…
FlutterFlowのエンジニアが、タブ切り替えの代わりにターミナルやアプリを2次元キャンバス上に並べて作業するプロトタイプを開発。チーム内で広がり、製品「Campus」として公開された。Campusは、MiroやFigJamと違い、タイルが実物（実際に動くターミナルやアプリ）であり、空間記憶を活用してコンテキストスイッチングの負担を軽減する。マルチプレイヤー対応で、ローカルチャット機能も好評。
Sulaは、Scryer Prologで書かれたGeminiプロトコルサーバーです。TLSにはrustlsを使用し、バイナリファイルはPrologヒープを経由せずにストリーミング配信します。SIGINTによるグレースフルシャットダウン、拡張子によるMIMEタイプ判定、ホスト名検証などの機能を備えています。パッチ適用済みのScryer Prologが必要で、現在は開発初期段階です。
HyperProbeは、PagerDutyやDatadogからのアラートを受けて、コーディングエージェントが本番環境の該当行に読み取り専用のプローブを設置し、ログに残らない変数の状態を捕捉して根本原因を特定するAIオンコールエージェント。再デプロイやサービス再起動は不要で、ユーザー影響ゼロ。Node.js、TypeScript、Java、Pythonに対応し、CursorやClaude Code…
米国地質調査所によると、米国は数十年にわたりガリウムの国内生産がなく、輸入依存度は100%です。中国は世界のガリウム生産の94〜98%を支配し、2024年12月には軍事用途への輸出を禁止しました。これにより、F-35戦闘機のレーダーに使われるガリウム窒化物（GaN）の供給が途絶え、ロット17以降の機体にはレーダーの代わりにカウンターウェイト（重り）が搭載されています。また、中国は6Gチップの開発…
ミネアポリス連邦準備銀行のニール・カシュカリ総裁はCNBCのインタビューで、インフレ抑制のため金利を「ゆっくりと引き上げ始める時期」と述べた。同氏は先週のFOMCで利上げを主張した3人の反対者の一人で、9月からの段階的な利上げ開始を示唆した。企業収益は好調で、消費者と労働市場も堅調であることから、現在の金融政策が景気を抑制している証拠はないと指摘。早めに小幅な利上げを開始し、後々の大幅利上げを避…
拒食症に苦しむ人々にとって、既存治療は半数にしか効果がなく、死亡率も精神疾患で最も高い。そこで注目されるのが、マジックマッシュルームの成分サイロシビンを用いた治療だ。2026年、米国では規制当局がこの分野を後押ししており、FDAが5年以内に承認する可能性もある。初期の小規模試験では、サイロシビンと対話療法の組み合わせが症状を急速に軽減し、回復への意欲を高めた。専門家は「魔法の杖」ではないと警告し…
HSMベンダーの営業担当者によると、FIPS対応HSMを購入する顧客の90%以上がFIPSモードを無効にして運用しているという。FIPS 140-3認証は、特定のモジュールが特定の構成で承認済みアルゴリズムを正しく実装していることを証明するだけであり、製品全体のセキュリティや鍵管理を保証するものではない。ROCAやEUCLEAK、Dual_EC_DRBG、YubiKey FIPSシリーズの脆弱性…
ChatGPT登場から4年、高等教育はAI時代への移行を遅らせる役割に甘んじている。産業界が生み出す最先端モデルに対し、大学のAI研究は縮小し、学生や教員のAI活用は自己責任に委ねられている。世界45,000人以上の調査でも、米国とカナダの大学はAIへの対応が遅れ、学生の不満が高まる。大学がAIを無視する間に、技術は急速に進み、高等教育の存在意義が問われている。
FreeBSD portsのmakefileを読み込んだ著者が、make言語が計算万能であると気づき、純粋なBSD makeだけでマンデルブロ集合レンダラーを実装した。加減乗算は筆算アルゴリズム、除算はNewton-Raphson法による逆数計算で実装。外部バイナリを一切呼び出さず、PPM画像を生成する。低解像度でも数時間から数日かかる非効率さだが、その奇妙な魅力で注目を集めている。
数式の組版は常に通常のテキストより難しく、印刷業界では「ペナルティ・コピー」と呼ばれていた。グーテンベルクの活版印刷からMonotypeとLinotypeの登場まで、技術の進化を辿りつつ、数式を美しく組むことがいかに職人技であり、芸術であったかを解説。現代のツールのありがたみを感じさせると同時に、数式表現の美しさを追求する動機を与えてくれるエッセイ。
ビットコインのソフトフォーク提案BIP-110をめぐり、2017年のブロックサイズ戦争を経験した著者が、自身の立場をゲーム理論と資金の流れから分析。ビットコインCoreの企業による乗っ取りへの懸念、Ordinalsを「スパム」とする論争、そしてBlackRockやCoinbaseなどが参加するBitcoin Security Consortiumの動きを追いながら、ビットコインがこの試練を乗り越…