日刊ダイジェスト · Hacker News
· 113 ハッカーニュース
私は 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といった企業へのバックドア設置要求を可能にし、暗号化の安全性を損ないます。政府は「システム全体の脆弱性」を避けることを謳っていますが、暗号化された通信への監視自体が本質的に脆弱性をもたらすため、プライバシーとセキュリティが脅かされます。
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 に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
「Voice → Notation」は、ブラウザ上で歌声をリアルタイムに解析し、音符として表示するツールです。ピッチ許容範囲やノイズゲート、再アタック感度などのパラメータを調整することで、同じ音の連続を一つの音符として扱うか、別々の音符に分割するかを制御できます。ヘッドフォンの使用が推奨されており、クリック音やスライド、スコップなどのアーティファクトを軽減します。
フォン・ノイマン探査機の議論では、推進やAIが焦点になりがちだが、実際の障壁は「鉱石を採掘して自己複製する」という一見単純なプロセスにあると、金属学者のPeter Marinkoは主張する。彼は、無重力・無水・無大気での選鉱、還元冶金のための耐火材の自己製造、半導体や絶縁体などのクロージャー率の問題、そして数万年に及ぶ航行中の材料劣化という4つの具体的な課題を挙げる。自己複製探査機は、不可逆的な…
FSFのシステム管理者が、LLMトレーニング用のスクレイパーやDDoS攻撃からサイトを守るために、fail2banの代替となるオープンソースツール「reaction」をどのように活用しているかを解説。reactionとipsetを組み合わせ、最大500万ルールのIPセットを扱えるようにした。Vo1d/Popaボットネットの実態や、設定を公開した経緯も紹介。
Claude Codeが「load-bearing」や「honest take」といった言葉を連発するのにうんざりしている人へ。この記事では、Claude Codeのフック機能を使って、AIの出力を自動的に置き換える方法を紹介します。Pythonスクリプトと設定ファイルを用意するだけで、Claudeの語彙を自由にカスタマイズできます。
AIが日常の些細な決断から複雑な思考までを代行する時代。本稿では、Ken Liuの短編『The Perfect Match』や、会話を全て録音しAIに思考を委ねる起業家の実例を引きながら、思考の外部化がもたらす影響を探る。検索エンジンとは異なり、AIは中間の思考プロセスまで肩代わりする。ポルトガルでの姉との対話や、母のオンライン授業での学生のAI利用など、具体的なエピソードを通して、思考の自動化…
EUデジタルIDウォレットの技術仕様に、Google Play Integrity APIとApple App Attestationの統合が含まれていることに対し、GitHubのディスカッションで強い反対意見が相次いでいます。批判の中心は、年齢確認を米国の巨大テック企業に依存することでEUのデジタル主権が損なわれるという点です。オランダの身分証明アプリYiviがGoogle Play Inte…
ドイツの連立政権（CDU/CSUとSPD）は、2006年から施行されている情報公開法（IFG）を大幅に改正する計画だ。政府は世界的なサイバー戦争やハッカー攻撃を理由に、機密情報の保護を強化する必要があると主張する。しかし、この改正案は、情報請求権を自然人に限定し、組織や団体の請求を排除する可能性があるほか、手数料の引き上げや公務員の氏名の非公開化も含まれる。さらに、EU市民以外の外国人の権利制限…
Linux ゲーミング PC の入力遅延を、自作の光センサー付きデバイスで実測。X11 と Wayland の差は 0.14〜0.22 ms と僅かで、Wayland が「遅い」という評判は誇張であると結論。VRR は最大 0.45 ms、DXVK の低遅延フォークは最大 0.29 ms の改善をもたらし、特にフレームレート無制限時に効果を発揮する。計測は Diabotical を 500 Hz…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
Mindgardは、Cursor IDEに深刻な脆弱性を発見しました。リポジトリを開くだけで、悪意のあるgit.exeが自動実行され、任意のコード実行が可能になります。2025年12月に報告して以来、7ヶ月以上経過してもCursorは修正せず、コミュニケーションも途絶えたままです。この記事では、脆弱性の詳細、Cursorの対応の欠如、そしてフルディスクロージャーに踏み切った理由を解説します。
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
Joshua Khane氏は、ハッキングされたMicrosoftアカウントが復旧不能として削除され、25年分のデータ、数千ユーロ相当のゲーム、そして息子のベビー写真を失ったと報告。Microsoftはアカウントの所有権を認めつつも復旧を拒否した。この件は、デジタル資産の所有権と企業の説明責任に関する議論を巻き起こし、ブラジルで同様の訴訟がユーザー勝訴となった事例も注目されている。
JetBrainsが開発するYouTrackDBは、グラフ関係をネイティブに扱うストレージ形式を持つ汎用オブジェクト指向グラフデータベースです。リンク走査はO(1)で、実行時JOINは不要。オブジェクト指向API、スナップショット分離、TinkerPop/Gremlin、SQLベースのYQLなどを備え、スキーマレスからスキーマフルまで柔軟な開発をサポート。JetBrains社内で本番利用されてお…
日本の研究チームが、使用済みEV電池からリチウムを最大90%回収できる新しいリサイクル技術を開発した。従来の方法では回収率が50%未満だったが、リサイクル工程で水酸化ナトリウムの代わりに回収した水酸化リチウムを使用することで、高純度のリチウムを効率的に取り出すことに成功。さらに、従来技術と比べて二酸化炭素排出量を約40%削減できるという。日本はバッテリー用鉱物のほとんどを輸入に頼っており、この技…
2026年フィールズ賞受賞者リストが誤って流出し、北京大学出身のHong Wang氏とYu Deng氏が受賞者に含まれていることが明らかになった。これは中国人数学者が同一回で2人受賞する初の快挙となる。流出は、ICM 2026公式スケジュールのフロントエンドコードに「HIDDEN」とマークされた4つの講演欄が発見されたことで発生。Codexが生成したcurlコマンドにより、Yu Deng、Joh…
2b2t.placeチームは、Minecraftサーバー「2b2t」の広大な領域を保存する大規模プロジェクトを完了しました。公開されたデータは合計15 TB（13.7 TiB）で、圧縮形式のzvcrで提供され、オーバーワールドの102万ブロック四方、ネザー、エンドの領域を含みます。28のボットアカウントを使用して約1年かけて収集され、サーバーの歴史的な状態をアーカイブすることを目的としています。…
CBCの調査報道を受けて、StubHubとCEOのEric Baker氏は、大規模な転売業者との関係をめぐり、米国で5百万ドルの集団訴訟を提起された。原告のLouis Sanquini氏は、StubHubが「ファン同士のマーケットプレイス」と宣伝しながら、CEO自身が運営するヘッジファンドAndro Capitalが同プラットフォームで数百万ドル相当のチケットを転売していたことは欺瞞的だと主張。…
プリンストン大学のArvind Narayanan教授がICML 2026で行った基調講演の内容を、注釈付きスライドとともに公開。AIの影響を考える枠組み「AI as Normal Technology」を提唱し、AIが仕事を奪うという不安に正面から向き合います。教授は、AIは産業革命級の変革をもたらすが、その影響は「発明→革新→普及→適応」という段階を経て数十年かけて現れると主張。適応段階はま…
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
AIスタートアップ業界で注目を集める「Forward Deployed Engineer（FDE）」という役割。a16zは「テック業界で最もホットな仕事」と評し、OpenAIやRampなどが採用を強化しています。本稿では、FDEの定義、Palantirでの起源、OpenAIやRampでの実際の役割、Solution ArchitectやAgent Engineerとの違い、キャリアパスまでを解説…
Rejourneyは、Web・モバイルアプリの収益漏れを予測するオープンソースの可観測性ツールです。セッションリプレイを中心に、アクティベーション、チェックアウト、購入検証、エンタイトルメント、更新など、保護したいビジネス遷移を定義すると、現在のコホートを健全なベースラインと比較し、問題の証拠をグループ化してランク付けされたイシューとして提示します。Next.js、React Native、Sw…
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
スタンフォード大学のDavid Tse氏とPramod Viswanath氏による教科書『Fundamentals of Wireless Communication』が、全章と付録のPDFをウェブサイトで無料公開している。MIMO、時空間符号化、 opportunistic communication、OFDM、CDMAなど、物理層の無線通信理論を統一的に解説。確率とデジタル通信の基礎知識があ…
OpenAIのCodex CLIに最近導入された変更（PR #26210）により、MultiAgentV2のメッセージペイロードが暗号化され、エージェントが委任したタスクやメッセージの内容が平文で保存されなくなりました。このため、ユーザーはローカルのロールアウト履歴やトレースから「どのタスクがサブエージェントに渡されたのか」を確認できなくなり、デバッグや監査が困難になっています。GitHub i…
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…
AIを使う方法は2つある。1つは、ClaudeやChatGPT、エージェントを駆使して大量のものを作りまくること。しかし、そのほとんどは長期的には誰にも使われず、AIスロップやAI精神病と呼ばれるものに陥る。もう1つは、一歩引いて、AIによって最初の一歩を速く踏み出し、本来の問題に立ち返ることだ。多くのスタートアップ創業者が、実際のユーザーと話もせずに何ヶ月も作り続けて自己欺瞞に陥っている。AI…
GoとHTMXを組み合わせてWebアプリケーションを構築する際の実践的なパターンを紹介。HTMLテンプレートの構造化、部分的なHTMLレスポンスの返却、リダイレクトやエラーの管理、HTMXの標準設定など、筆者が実際に使っている方法を、ユーザーフィルター機能を持つ小さなアプリの開発を通して解説します。
ブルックリン発の社会主義文芸誌『N+1』は、かつてElif BatumanやAndrea Long Chuら才能を輩出したが、今は「昔のようじゃない」と語られる。筆者は最新4号を読み、その実力を検証する。Hannah Zeavinによる左翼カルト体験記やLily Scherlisの集団療法ルポなど傑作もある一方、自己満足に陥るエッセイも目立つ。誌面の作り、他誌『The Drift』との比較、編集…
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
プロダクトマーケットフィット（PMF）が重視される一方で、ファウンダー自身の適性を考慮した「ファウンダーマーケットフィット（Founder Market Fit）」の重要性を説く。内向性や文化的背景、技術力、居住地、趣味など、ファウンダーの特性と市場との相性が、長期的なスタートアップの成功を左右する。PMFが単一の軸で測れるのに対し、ファウンダーマーケットフィットは多次元で、トレードオフの理解が…
インド工科大学マドラス校のSudha Gopalakrishnan Brain Centre（SGBC）が、ヒト脳幹の細胞レベルでの3Dアトラス「Anchor」を発表した。MRI画像から個々のニューロンまでシームレスに拡大できるこのデジタルマップは、胎児から成人までの500以上の組織切片を組み合わせ、200以上の細胞クラスターと神経経路を特定。アルツハイマー病やパーキンソン病などの研究や脳外科手…
GitHubは、Dependabotのバージョン更新にデフォルトのクールダウン期間を導入した。新リリースがレジストリに公開されてから3日間待ってから、更新プルリクエストを開く。これは、サプライチェーン攻撃の入口となる不正なリリースが、メンテナーやコミュニティが気付く前に取り込まれるのを防ぐため。セキュリティ更新は即座に行われ、`.github/dependabot.yml`の`cooldown`…
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
AIエージェント向けの指示書「AGENTS.md」の一例が話題です。リポジトリを操作するAIエージェントに対し、人間の指示が間違っている可能性を前提とし、コードやテストを検証した上で、より良い解決策を提案するよう求めています。既存のコードを盲目的に尊重せず、壊れたアーキテクチャを維持しないこと、そして成功を偽らないことが強調されています。
NvidiaのGPUはAIとHPCの標準ですが、そのCUDA言語はNvidiaハードウェアに縛られています。Spectral Computeは、CUDAコードをAMD GPUや他のAIアクセラレータで実行できるようにするコンパイラ「SCALE」を開発しました。SCALEはNVCCのドロップイン代替品で、CLangとLLVM技術を基にしています。同社は、HIPIFYやSYCLomaticなどの既存…
ai-trains-aiは、AIエージェントがRL（強化学習）を用いて他のAIモデルを訓練するパイプラインを構築したプロジェクトです。このエージェントは、訓練タスク（例：「モデルにXを教える」）を受け取り、完全なprime-rlトレーニングジョブ（環境、報酬、データセット、ハイパーパラメータを含む）を作成し、Runpod GPU上で実際に訓練を実行します。さらに、Tinkerを使用してエージェン…
Verba Primaは、文学史上に残る名作の冒頭の一節を美しく展示するウェブサイトです。Fahrenheit 451の「It was a pleasure to burn.」など、作品の世界観を凝縮した一行を、シンプルで洗練されたデザインで紹介します。文学に親しみたい人、インスピレーションを求めている人に最適で、名作の魅力を再発見するきっかけを提供します。
DeepMindのCEOであるDemis Hassabis氏は、AGI（汎用人工知能）が数年以内に実現するとの見解を示し、その安全な開発と利用のための枠組みを提唱しました。同氏は、AGIが人類史上最大の転換点となると同時に、最大のリスクももたらすと指摘。フロンティアAIの規制と国際協調の重要性を強調し、具体的なガバナンスの枠組みを提示しています。
ThoughtworksのChris Ford氏とRichard Gall氏が、生成AIの台頭で加速したオープンソースソフトウェアの構造的危機を分析する。無料で利用できるという「ゼロコストの誤謬」が、メンテナーの燃え尽き、低品質なAI生成PR（スロップPR）の氾濫、信頼の崩壊を招き、エコシステムの崩壊を招いている。さらに、寛容なライセンス（MIT、Apache）が大企業による搾取を許し、逆に制限…
OpenAIは、Trusted Access Cyberメンバーに対し、ChatGPTアカウントへのログインにハードウェアバックアップのパスキーを必須化すると発表しました。この動きは、パスワードに依存しない認証への移行を加速し、フィッシング攻撃への耐性を高めることを目的としています。Yubicoのブログで詳しく解説されています。
米国で深刻化する読書離れとは対照的に、スペインでは読書人口が2017年から毎年増加し、2025年には66%に達した。特に14〜24歳の若年層では75.3%が余暇に読書をしており、「若者は読まない」という神話を覆す結果となった。本稿は、スペインの読書文化の現状を報告し、SNSや生成AIの影響を受けつつも読書が衰退していない理由を考察する。
BISのスタッフによる分析で、AI関連投資がGDPの1%に達し、経済成長の重要な原動力となっている。しかし、巨額の投資需要を賄うため、IT大手は従来の内部キャッシュフローに代わり、債務、特にプライベートクレジットに依存し始めている。株式市場の評価が債務市場の価格を大きく上回る中、AI企業の収益期待が持続可能性の鍵を握る。
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
AIが数秒で長文を生成できる時代、書き手の努力や思いやりをどう証明するのか。Jacob Filipp氏は自身のブログ記事を手書きで執筆し、その画像をSVGに埋め込むという手法を紹介。コピー＆ペースト時にはJavaScriptでスペーシングを調整するなど、細部にこだわった制作過程を公開している。テキストの背後にある人間の営みを可視化する試みは、AI時代における「ケア」の証明として注目に値する。
クリストファー・プリーストとニナ・アランによる新評伝『The Illuminated Man』は、J・G・バラードの生涯と作品を、彼の想像力の源泉をたどりながら鮮やかに描き出す。上海での幼少期、戦時中の収容所体験、SFニューウェーブの旗手としての活動、そして『クラッシュ』や『ハイ・ライズ』などの代表作が生まれる過程を、彼の私生活と結びつけつつ、作品の奇妙さを説明しようとはせずに喚起することに成功…
第一次世界大戦中、弾薬工場で働いた女性たち「ミュニショネット」は、黄色く染まった肌と緑色に変色した髪から「カナリア」と呼ばれた。彼女たちは劣悪な環境と病気、負傷、死の危険に晒され、数百人が命を落としたが、その記憶はほとんど残されていない。本記事は、彼女たちの過酷な現実と、歴史における彼女たちの存在がなぜ軽視されてきたのかを問いかける。
x86 Ecosystem Advisory Groupが公開したACE（AI Compute Extensions）仕様は、Intel AMXの後継となる新しい行列演算アクセラレータを定義する。ACEはAMXのタイルレジスタを踏襲しつつ、設定を簡素化し、FP8をサポート、内積ではなく外積ベースの命令を採用する。また、2〜7ビットの任意の量子化データ型を変換できる柔軟なデコンバージョン機構や、マ…
Emarketerの分析によると、OpenAIの広告事業は同社が掲げる5年後の収益予測を90%下回る見込みだ。OpenAIは今年25億ドル、2030年までに1000億ドルの広告収入を目指すが、Emarketerは米国のチャットボット広告市場全体が2030年でも54.1億ドルにとどまると予測する。ChatGPT、Microsoft Copilot、Google AI Mode、Amazon Ale…
スコットランドの列車内で、酔った男が10代の少女たちをこっそり撮影しているのを乗客が取り押さえ、撮影・拡散した動画が話題に。犯人はエディンバラ市議会の上級法務官で、この事件は、若者のスマホ利用を制限する英国の政策が現実の力関係を無視していることを浮き彫りにした。著者は、特権階級の価値観が法律に反映され、若者の主体性や安全が損なわれていると批判する。
海藻の一種である「Braarudosphaera bigelowii」が、窒素固定を行う細胞小器官「ニトロプラスト」を獲得したことが確認された。これは、真核生物が窒素固定能を持つことを示す初めての例であり、生物学の教科書を書き換える発見だ。この発見は、農業における化学肥料への依存を減らす可能性を秘めている。
本稿は、与えられた関数に対して最小のプログラムを自動的に見つける「スーパーオプティマイザー」の概念を解説する。1980年代に発表されたこの古典的な論文は、ブルートフォース探索によって、人間が設計したプログラムよりも小さなプログラムを発見できることを示した。具体例として、符号反転や最大値計算などの関数に対する最小プログラムの発見過程を紹介し、スーパーオプティマイザーがプログラムのサイズと実行速度の…
satellitemap.space は、Starlink や GPS など 30,000 基以上の衛星のリアルタイム位置を、WebGL による高速な3Dビジュアライゼーションで表示するサイト。2019年から運用され、軌道要素や地上局情報、再突入リスク、接近警報などの詳細データも提供する。iOSアプリもリリースされており、宇宙に興味がある人なら誰でも手軽に衛星の動きを追跡できる。
ニューヨーク州は7月14日、AIブームを支える大規模データセンターの新規建設を1年間停止する、全米初のモラトリアムを発令した。対象は消費電力50メガワット以上の施設で、州環境保護局は新たな許可を発行しない。背景には、電力料金の上昇や水資源の枯渇、地域社会への負担への懸念がある。ホークル知事は、大規模データセンター向けの売上税免除の撤廃も目指す。全米ではデータセンター建設への反発が広がっており、各…
S&P Globalは2026年7月9日付でOracleの信用格付けをBBBからBBB-に引き下げた。投資適格級の最下位であり、さらなる格下げは投機的等級への転落を意味する。背景にはAIデータセンターへの巨額投資（2027会計年度に900〜950億ドル）と、それに伴うフリーキャッシュフローの赤字（約420億ドル）がある。また、売上の約半分を占める主要顧客OpenAIへの依存を「中心的な信用リスク…
トルストイは『芸術とは何か』で、芸術を「作者が経験した感情を他者に伝染させる活動」と定義しました。一方、ゼロ知識証明（ZKP）は、秘密を明かさずに主張の正しさを証明する暗号技術です。本稿では、この一見無関係な二つの概念が驚くほど似た構造を持つことを論じます。芸術作品は、作者が本当にその感情を経験したこと、そして作品がその感情を正しく表現していることを、状況の詳細を一切明かさずに「証明」していると…
MorphoHDLは、セル定義の再帰的な分割と再配線に基づく、ミニマルでありながら表現力豊かなハードウェア記述言語(HDL)です。グラフ書き換えシステムとして機能し、ノードは機能セル、エッジは可変ビット幅のバスを表します。セルはサイズに依存せず、バスの分割・結合とフォールバック機構により任意のビット幅を扱えます。リップルキャリー加算器やBrent–Kung加算器などの古典的なデジタル回路を、Py…
Agnost AIは、AIエージェントの会話を分析して、従来の評価では見逃される失敗を検出し、修正まで提案するツールです。Google CloudやExaなどが導入しており、Corgi Insureでは会話パターンの分析により商談予約率が向上、Lopus AIではエージェントの会話からバグを検出して自動でPRを作成しました。無料プランから利用可能。
国際研究チームが、従来の合金製造法とは異なる低温・長時間の加熱プロセスにより、原子が規則正しく配列した欠陥のない構造を持つ新しい「超合金」の開発に成功した。この合金は、鋼鉄の2倍、アルミニウムの3倍の強度を持ち、従来法で作られた同じ合金の2倍の強度を達成。研究はScience誌に掲載され、航空宇宙からエネルギーシステムまで幅広い応用が期待される。
RandoFontは、Google Fontsを探索するための新しいブラウザです。ランダムにフォントを表示して、視覚的に比較・選択できます。デザイナーや開発者にとって、プロジェクトに最適なフォントを見つけるための直感的なツールです。シンプルなインターフェースで、すぐに使い始められます。
グラフィックスプログラマのKevin Gibson氏が、Sebastian Aaltonen氏の「No Graphics API」に触発され、Vulkan 1.3とMetal 4上に「Loon GPU」というbindless GPU抽象化レイヤーを実装した。バッファオブジェクトを廃しGPUポインタを直接扱う設計や、テクスチャ・サンプラーのbindless化、頂点バッファの代わりに頂点プルを採用す…
Incogniの調査（米国の成人1,000人対象）によると、多くの人がソーシャルメディアから静かに撤退している。55%が5年前より投稿が減り、53%が投稿の公開範囲を厳しくし、47%がストレスや不安でアプリを削除した経験がある。特に若い世代で顕著で、ミレニアル世代の61%、Gen Zの56%がアプリ削除を経験。また、44%が政治的な内容や分極化で撤退したいと回答。オンラインでの存在維持が「仕事の…
CFDや気候、航空宇宙、原子力などで数十年検証されてきたFortranコードは、勾配を公開していないため現代のMLパイプラインに組み込めない。通常はJAXやPyTorchで書き直すが、この記事ではLFortran、LLVM、Enzymeを組み合わせ、既存コードを変更せずにLLVM IRレベルで自動微分を実現する方法を紹介する。220行のFortran熱ソルバーを例に、6ステップのコンパイルパイプ…
Jugglerは、AIコーディングエージェントにビジュアルなワークベンチをもたらすオープンソースツールです。チャットの履歴ではなく、ツリー構造でセッションを管理し、ツール呼び出しや分岐スレッド、コンテキストを直感的に検査・編集できます。MillerカラムUIで全ての重要な情報が可視化され、プラグインシステムにより拡張も自由。デスクトップアプリとヘッドレスサーバーが連携し、ローカルでもリモートでも…
テンソルは、数値のフラットな配列と、それを多次元オブジェクトとして解釈するためのメタデータ（shape や strides）に過ぎません。この記事では、C 言語でテンソルライブラリをゼロから構築し、メモリ管理、要素ごとの演算、そして GPU（Metal）による高速化までを解説します。行列積などのニューラルネットワークに必須の演算もカバーし、Bellard の libnc に触発された設計を紹介し…
子供の演劇学校の遠征で、旅行代理店が「Travelbound」アプリのインストールを要求。だが中身はテキスト、画像、PDFリンクだけで、トラッキングと広告が付いているだけ。著者はHTTP ToolkitとrootAVDでアプリの通信を解析し、APIがJSONで全データを返すことを発見。RubyスクリプトでHTMLページを生成し、同じ情報を43MBのアプリの代わりに0.05MBのWebページで提供…
Scanwayyは、リンクやテキストをブランドデザインの一部となる美しいQRコードに変換するAI QRコードジェネレーターです。ロゴを追加し、スタイルを記述するだけで、AIがスキャン可能なデザインを生成します。スキャナー検証済みで、印刷対応の高解像度PNG、SVG、PDFをエクスポート可能。サブスクリプション不要のワンタイム購入で、新規アカウントには無料クレジットが付与されます。ブランドに合った…
PrismMLは、Qwen3.6 27Bをベースにしたマルチモーダルモデル「Bonsai 27B」を発表した。1ビット版はわずか3.9GBで、iPhone 17 Proのメモリに収まる世界初の27Bクラスモデル。15ベンチマークで全精度の90%以上の性能を維持し、エージェントワークロードに必要なツール呼び出しや推論能力を備える。Apache 2.0ライセンスで公開され、開発者向けプレビューAPI…
Gwern.netの記事では、個別化されたLLM「Guardian Angels（GA）」を提案。ユーザーの価値観や好みを模倣し、本人を増幅することを目指す。チャットボットの限界を指摘し、オンライン学習、能動学習、内省検索などの技術を組み合わせてGAを構築する方法を論じる。また、サイバーセキュリティや認知セキュリティへの応用、スタートアップとしての実装可能性にも言及。
オーストラリアのNSW、南オーストラリア、南東クイーンズランドで2026年7月1日から、電力小売事業者は家庭向けに毎日最低3時間の無料電力を提供しなければならなくなります。太陽光パネルの設置や持ち家である必要はなく、スマートメーターがあれば誰でも対象です。この制度「Solar Sharer Offer」は、昼間の太陽光発電による卸電力価格の低下を家庭に直接還元するもので、公共協議を経て1日24k…
スイス政府の公式ログインシステム「AGOV」は、登録時にメール認証コードの入力を求めますが、フランス語圏で標準的なAZERTYキーボードを使用していると、数字がShiftキーと同時押しになるため、コードを入力できません。著者は自身の体験からこのバグを発見し、原因を特定しました。AGOVは2024年から運用され、失業保険や納税、チューリッヒ州の市民権申請などに必須となっています。サポート窓口も同じ…
ローカルLLMの性能測定を巡る落とし穴を可視化する、依存関係ゼロのPythonファイル「picchio」が登場。llama.cppやollamaで、プレフィル・デコード・ウォールクロックの3つの速度を分離計測し、GPUが実際に使われているかをOSのGPUメーターと照合して判定する。同じQ4_K_MラベルのQwen3.5-9Bでも量子化器によって実効ビット/ウェイトが5.02〜5.27とばらつき、…
git で並行して多くの変更を扱うのは苦痛だ。ブランチやコミットを切り替え、`rebase -i` のような怖いコマンドを実行すると、ツリーが壊れた状態になることもある。代替ツール `jj` が話題だが、その解決策は筆者には合わなかった。そこで注目したいのが、git 2.54 と 2.55 で導入された実験的な `git history` コマンドだ。`fixup`、`reword`、`spli…
モンタナ州リビーのアーミッシュ共同体で育った著者は、コミュニティが伝統的な生活様式を捨て、英語へと移行していく過程を、母語であるペンシルベニア・ダッチ語のインタビュー記録を通して綴る。言語学者マーク・ラウデンの研究を参照しつつ、アーミッシュ自身が自らの言語を「方言」と軽視する背景にある歴史的スティグマを考察する。
キッチンのオーブンしか時刻を表示してくれないことに不満を感じた著者が、Waveshareの7インチ円形LCDとRaspberry Piを使って壁掛け時計を自作しました。この記事では、必要なハードウェア、OSのセットアップ、組み立て、VNCによるリモート操作、タッチジェスチャ、明るさ制御、そしてスイスの鉄道時計やミニマルなデザインなど、著者が作成した4種類の文字盤を紹介します。明るさの自動調節には…
Jekyllプラグイン「Jektex」のバージョン0.2.0がリリースされ、サーバーサイドでのキャッシュ付きLaTeX描画が約10倍高速化しました。クライアントサイドJavaScriptを一切使わず、KaTeX.orgも推奨するこのプラグインは、マクロ定義や効率的なキャッシュシステム、生のHTMLブロック内の数式描画など、多彩な機能を備えています。設定も柔軟で、Jekyllのワークフローを妨げま…
Thinking Machines Labは、AIが人間の意志と判断を拡張することを使命とし、そのための技術的取り組みを紹介する。強力なモデルの訓練、モデルをカスタマイズするツール、人間と機械のコミュニケーションを広げるインターフェース開発、研究の公開に取り組む。知識は局所的で暗黙的であり、分散しているため、AIも分散されるべきだと主張。人間の参加を技術的な課題と捉え、対話モデルや評価方法の革新…
dmars は、1984 年のプログラミングゲーム「Core War」のツールチェーンを Rust で再実装したものです。自己変形するプログラム（Redcode で書かれた「warrior」）が円環状のメモリ（core）上で戦います。アセンブラは ICWS'94 仕様のプリプロセッサを完全サポートし、pMARS とバイト互換のロードファイルを生成。シミュレータは並列実行に対応し、多数のバトルを高…
シカゴ大学の哲学者アグネス・キャラードは、現代の世界の奇妙さを説明する「ユニコンテクスト」という理論を提唱している。この理論は、かつては文脈に応じて異なる行動規範があったが、テクノロジーの普及により、すべての状況で同じ規範が適用されるようになったと主張する。キャラードは、この理論がニュースのネガティブ偏向、アイデンティティへの執着、芸術の均質化などを説明できると論じる。デレク・トンプソンとの対談…
分散システムにおける合意形成アルゴリズム「Paxos」は、難解とされてきたが、著者のLeslie Lamportは本稿で「平易な英語で書けば非常にシンプル」と述べ、アルゴリズムの本質を明確に解説する。プロセスが値を提案し、過半数のアクセプタが受理することで値が選択される仕組みを、安全性と進行性の要件から自然に導き出す。さらに、分散システム構築の一般的な手法であるステートマシンアプローチへの応用も…
AVAは、Asterisk/FreePBXとシームレスに統合するオープンソースのAI音声エージェントです。AudioSocket/RTP技術を活用し、OpenAI Realtime、Google Live、Grok、Deepgram、ElevenLabsなどの主要プロバイダーをサポート。ローカルAI推論（GPU対応）も可能で、エージェントごとの音声設定、ライブステータスダッシュボード、直感的な管…
IEEE-754のNaNは奇妙な値であり、言語設計に暗黙の仮定をもたらすことがある。Pythonではリストの等価比較が同一性チェックを最適化するため、[nan] == [nan]がTrueになる一方、nan == nanはFalseになる。Luaの数値forループでは、NaNがステップやリミットに使われると、ループが1回だけ実行されたり、実行されなかったりする。これらの挙動は実装の比較演算子の選…
Sprinklzは、アルゴリズムの偏りから解放されたRSSリーダーです。ユーザーはアルゴリズムを自由に設定・編集でき、主要ニュース、ブログ、YouTubeチャンネルなど、さまざまなソースを購読できます。デモでは、Hacker Newsのアルゴリズムを編集したり、ブラウザ上でソースコードを直接変更したり、マルチモーダルデータを統合したりできます。テーマもカスタマイズ可能で、自分好みの情報収集環境を…
バンター（軽妙なからかい）の本質を、2つの条件から解き明かすエッセイ。本当の失点を指摘しつつ、それが大した問題ではないと伝えることで、相手に安心感を与えるという仕組みを解説。無視される不安と、からかわれることで得られる安全圏の比較から、多少の衝突を経た友情の方が強固であると論じる。社会的な立場や不安感との関係にも触れ、バンターが機能しない人々への理解も促す。
SFFA対ハーバード大学の訴訟で公開されたデータを分析し、エリート大学入試における「メリット」の実態を解き明かす。志願者はSATやGPAなどの要素で仕分けられ、スポーツ推薦やレガシーなどの「フック」を持つ者は合格率が最大17倍高くなる。また、同じ成績でも人種によって合格率が25%から95%まで変動するという衝撃的な試算も紹介。さらに、授業料の値引きが家計の所得に応じて最大98,000ドルの差をつ…
水彩、ガッシュ、ポスターカラーはどれも水溶性で似ていますが、粒子の大きさやバインダー、添加物によって性質が異なります。水彩は透明で繊細な表現が可能、ガッシュは不透明でフラットな仕上がり。本記事では、顔料の粒子サイズ、透明度、ブレンドのしやすさ、リフティング（色の持ち上げ）、対応する紙など、各絵の具の違いを詳しく解説します。
sx 2.0は、チームでAIスキルを共有するためのデスクトップアプリです。DropboxやGoogle Driveなどの共有フォルダにスキルをドラッグ＆ドロップするだけで、チームメンバーはワンクリックでAIクライアントにインストールできます。gitやターミナルの知識は不要で、マーケティングや営業など非技術者でも簡単に使えます。vault format v2により、スキルはプレーンなMarkdow…
ContextVaultは、AIシステムとチームのための共有メモリレイヤーです。ユーザー、エージェント、テナントごとにスコープされ、セッションを超えて永続化される単一の真実のソースを提供します。散在するMarkdownファイルや時代遅れのローカルプロジェクトを管理する手間を省き、組織全体でメモリを共有し、AIリクエストのコンテキスト負荷を軽減します。OpenAI Codex、Claude Cod…
ソフトウェアエンジニアリングタスクを解くコーディングエージェントは、数十ステップにわたりコードを編集しテストを実行しますが、その内部で言語モデルがプログラムについて何を表現しているかはほとんどわかっていません。本研究では、残差ストリームが進化するプログラムの特性を線形にエンコードしていることを示します。ロジスティック回帰プローブが、コードがパース可能か、テストスイートを通過するか、失敗テスト数を…
インドでは、サンスクリット語が「古い」から「クール」へと変わりつつある。Instagramでラップを披露するSamashti Gubbiや、IIT Roorkeeのオンライン講座に1万4000人が登録するなど、若者の間で話し言葉としてのサンスクリット語が広がっている。政府の支援もあり、文学、哲学、さらには機械学習のデータセットとしても新たな命を吹き込まれている。
エージェントループは単一のループとして説明されることが多いが、実際には「推論ループ」「ツールループ」「ヒューマンループ」の3つが組み合わさって構成されている。この記事では、各ループの役割と実装上の注意点を擬似コードで解説。LLMのステートレスなAPI設計や、ツール呼び出しの幻覚への対処、人間の承認を待つ際の耐久性の課題など、実践的な知見が詰まっている。
AI支援プログラミングは個人の生産性を飛躍的に高めるが、大規模ソフトウェア開発の真の制約は、チーム内の共通理解の維持にある。エージェントが摩擦を排除することで、開発者は互いに会話せずとも変更を加えられるようになり、コードベースの理解が断片化する。バベルの塔の物語では言語の喪失が建設を止めたが、AI時代には建設は続き、崩壊は見えない。著者は、この静かなる崩壊がもたらす危険性を考察する。
Justin D. Fuller氏が提唱する「付加的編集」は、既存のコードに新しい機能や変更を加える際、既存の動作を壊さないようにするためのアプローチです。この記事では、コードベースを段階的に改善し、リファクタリングのリスクを最小限に抑える方法を解説します。具体的には、変更を小さく保ち、テストを活用し、段階的に適用することで、システムの安定性を維持しながら進化させる手法に焦点を当てています。
DoorDashは、多様なレストランやメニューを扱うため、正確なメタデータ生成が課題となっている。同社は、LLM Juryシステム、文脈最適化エージェント、分散コンピューティング、AI主導のアノテーションを組み合わせたAI主導のメタデータプラットフォームを構築。これにより、アノテーション精度が約20%向上し、プロンプト開発速度が10倍に、バックフィル時間が1ヶ月以上から数日に短縮された。また、微…
OpenPLC、Arduino OPTA、CONTROLLINO、Industrial Shields M-DuinoなどのオープンハードウェアPLCは、IEC 61131-3を低コストのマイコンに導入し、産業用制御システムのセキュリティ研究に利用されています。しかし、既存の検証ツールは理想化された抽象モデルに依存しており、実際のハードウェアの制約（16ビット幅、ADCの分解能など）を無視してい…
IEEE-754のNaNは奇妙な値であり、そのためプログラミング言語の設計にしばしば見落とされがちです。この記事では、NaNが言語仕様の暗黙の前提を破壊する2つの事例を紹介します。Pythonでは、リストの等価比較が同一性チェックを最適化として行うため、`[nan] == [nan]`が`True`になる一方で`nan == nan`は`False`になります。Luaの数値forループでは、Na…
2016年に公開された「Notable Knot Index」は、ロープワークの達人による厳選された結び目のインデックスサイトです。ループ、ヒッチ、ベンドなど、実用的で信頼性の高い結び目を網羅し、それぞれの特徴や用途を解説しています。また、結び目の解き方やロープの保管方法など、実践的なアドバイスも提供。ロープを扱うすべての人にとって貴重なリソースとなっています。
プログラミングにおけるレンズやプリズムなどのオプティクスは、圏論の「actegory（アクテゴリー）」という構造に深く根ざしています。本記事では、モノイダル圏の定義から始め、モノイダル圏の作用を受ける圏であるactegoryを、Haskellの型クラスや関数従属を用いて具体的にモデル化します。さらに、actegory間の射であるモノイダル関手と、それらがなす双圏構造についても解説。圏論の抽象的な…
既存のC++バックテストフレームワークに、DolphinDBの高性能な注文マッチングシミュレータプラグインを統合する方法を解説します。このプラグインは、上海・深圳証券取引所のLevel-2ティック・スナップショットデータをサポートし、「価格優先・時間優先」の原則に基づく高精度な注文マッチングを実現します。SwordfishライブラリまたはC++ APIを用いて、既存のインフラを再利用しつつ、低遅…
Elasticity Instituteの研究者らが、AIの再帰的自己改善（RSI）の経済学をモデル化し、その実現可能性と影響を評価した。フィードバックループの強さを弾力性の積として表現するグラフ理論的枠組みを導入し、「狭い」能力と「広い」能力の区別が重要であると指摘。既存データに基づくキャリブレーションでは、モデル能力が1単位向上したときのR&D生産性の向上率は約9%で、自己持続的加速に必要な…
MemStitchは、マルチエージェントGPU推論のためのゼロコピーコンテキストブリッジングゲートウェイです。PagedAttentionを利用してKVキャッシュをメモリレベルで動的にステッチし、高価なプリフィルフェーズをバイパスします。これにより、TTFTレイテンシを最大25倍削減し、VRAMを40%以上節約できます。法的監査や財務コンプライアンスなど、同じ長文ドキュメントを複数のエージェント…
Goのランタイムが提供する5つのプロファイラ（CPU、ヒープ、ブロック、ミューテックス、ゴルーチン）は、一見異なるように見えて、実は同じ骨格を共有しています。本記事では、pprofファイル形式の構造から、各プロファイルがどのようにデータを収集するのかを、3つの収集モデル（非同期、その場、スナップショット）に分類して解説します。CPUプロファイラのシグナルハンドラとロックフリーリングバッファの仕組…
C++26のリフレクション機能を活用した新しい型消去ライブラリ「rjk::duck」を紹介。従来の型消去は複雑でエラーが発生しやすく、Boost.TypeErasureやFolly.Polyなどのライブラリはボイラープレートが多いという問題があった。rjk::duckは、インターフェースを一度宣言するだけで、所有・非所有セマンティクス、演算子、インターフェース合成、既存インターフェースへのアダプ…
セリーナ・ウィリアムズがこれまで着用したテニスウェアを網羅するファンサイト「Serena Williams Fit-dex」が公開された。1998年の全豪オープンから2020年まで、シングルス・ダブルス・混合ダブルスを含む1280着のうち477着が画像付きで収録されており、トーナメントやラウンドごとに閲覧可能。ポケモン図鑑（Pokédex）に着想を得たこのプロジェクトは、彼女のファッション史をた…
Terence Eden氏は、7週間の欧州旅行にUSB-C対応の充電器を1つだけ持参し、スマホ、ノートPC、eReader、スマートウォッチ、電動歯ブラシ、トラッカー、バッテリー、ヘッドホン、虫刺され治療器まで、すべてのガジェットをUSB-Cで充電した。専用充電器を必要とするデバイスを避け、USB-Cケーブル1本で全てをまかなう「USB-Cマキシマリスト」の実践を紹介。USB-Cの利便性と、プロ…