日刊ダイジェスト · Hacker News
· 116 ハッカーニュース
Kimi AIが新モデル「K3」をリリース。エージェント型コーディングと知識作業に最適化され、Swarm、Slides、Deep Research、Websites、Docs、Sheetsなど多彩な機能を統合。複雑なタスクを自律的に処理し、生産性を向上させる。
私は Bambu Lab のプリンターを所有しているが、クラウド強制や所有権の侵害に反発し、OrcaSlicer などの代替ソフトウェアを使用している。しかし、同社は AGPL ライセンス下で開発されたフォーク版に対して法的措置を威嚇し、コミュニティを弾圧している。これはオープンソースの精神を無視した行為であり、消費者の権利を軽視する姿勢が露呈している。
Google は 2026 年秋に Gemini AI を深く統合した新ノート PC「Googlebook」を発表します。Magic Pointer 機能で画面の要素を瞬時に操作し、Create My Widget で自然言語からカスタムウィジェットを生成できます。Android 17 搭載端末とのシームレスな連携により、アプリのキャストやファイル共有も可能で、Acer や Dell などのメー…
Rob Sheridanは、Nine Inch Nailsの元クリエイティブディレクターであり、自身も熱心なファイル共有者でした。彼は、音楽業界がCDを18ドルで販売していた時代に海賊行為が音楽発見の手段として機能していたと振り返ります。NINはアルバムを無料で公開し、ファンとの直接的な関係を築くことで、業界に先駆けて変化を受け入れました。また、OinkやWhat.CDなどのプライベートトラッカ…
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…
Microsoftは、1996年にリリースされ、IRCでの会話を漫画のパネルに自動変換する革新的なチャットクライアント「Microsoft Comic Chat」のソースコードをGitHubで公開しました。このソフトウェアは、後に世界的に有名になるフォント「Comic Sans」の初の実用的な採用例でもあります。Microsoft ResearchのDavid Kurlander氏らによって開発…
Mixfontが公開した「Decoy Font」は、TTFフォントとして提供される新種のアンチAIフォントです。近くで見るとダミーの文字列が読めますが、遠くから見ると（または目を細めると）隠されたメッセージが浮かび上がります。これはハイブリッド画像の技術をタイポグラフィに応用したもので、空間周波数の違いを利用して2つの異なる文字を同じ空間に重ねています。ChatGPTやGemini 3.5 wi…
SonyがPlayStation Storeで「購入」した映画やテレビ番組を、配給会社StudioCanalとのライセンス契約失効を理由に再び削除した。削除対象は551作品に上り、ユーザーへの補償は一切ない。2022年にはドイツ・オーストリアで、2023年には米国で同様の削除が発生しており、デジタル購入が実際には一時的なライセンスに過ぎないという問題が繰り返されている。Techdirtは、消費者…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
OnePlusは、グローバル戦略の一環として、欧州と北米での新製品の展開を終了すると正式に発表しました。既存デバイスへのソフトウェア更新やセキュリティパッチ、保証、アフターサービスは継続されます。また、ソフトウェア戦略の見直しにより、対象となる既存デバイスではColorOS 17の公式リリース後に、任意でColorOSへアップデートできるようになります。インドでの事業は通常通り継続します。
Roc言語のコンパイラを30万行のRustからZigへ書き換えるプロジェクトが、機能互換というマイルストーンに到達しました。この書き換えにより、ホットコードローディングやクロスコンパイル、パターンマッチ内での文字列補間など、新しい機能が実現しました。また、コンパイラのメモリ安全性やビルド時間の改善も期待されています。記事では、書き換えの動機、RustとZigの比較、そして今後の展望について詳しく…
Eurostile Bold Extended などのフォントだけでは不十分です。斜体、角ばった形状、V 字の装飾、文字の結合、不要な線の削除、そしてテクスチャや背景の追加という6つのルールを適用するだけで、テキストを瞬時に未来の雰囲気に変えることができます。Blade Runner や Star Wars などの名作も、これらの手法を駆使して時代設定を視覚的に表現しています。
私たちは、Obsidian のプラグインとテーマの発見、配布、安全性を向上させるため、Obsidian Community サイトと開発者ダッシュボードを新たに公開しました。これにより、すべてのバージョンがセキュリティとコード品質の観点から自動的にレビューされるようになり、コミュニティのエコシステムがより安全で持続可能になります。既存のプロジェクトも自動的に移行され、開発者は新しいダッシュボード…
TryAIがエージェント型ハーネスを構築し、Claude Fable 5とGPT-5.6 Solにそれぞれ25ドルと100ドルの予算で「Uptown Funk」のミュージックビデオを自律制作させた。モデルは動画生成モデルのリサーチ、クリップ生成、ffmpegでの編集までを自ら行い、全4回の実行が成功。GPT-5.6 Solは画像生成を経由したキーフレーム方式や複数モデルの併用など創造的な編集を見…
私たちは、DuckDB インスタンス同士が Quack プロトコルで通信できるようになりました。これにより、複数の書き込みを同時に処理するクライアント・サーバー構成が可能になります。Quack は HTTP に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。
カナダ政府が提出した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…
GoogleはNotebookLMをGemini Notebookに改名し、Googleエコシステム全体での連携を強化すると発表しました。このスタンドアロン製品は、研究ツールとしての役割を維持しつつ、ノートブック内でのコード実行による高度なデータ分析を可能にするセキュアなクラウドコンピューターを各ノートに提供します。また、GeminiアプリやGoogle検索のAIモードとの同期も予定されています…
LM Studioが、オープンモデル向けのAIエージェント「LM Studio Bionic」を発表。コーディング、リサーチ、文書・ファイルを扱う複雑なタスクをこなす。ローカルモデルに加え、クラウド上のオープンソースモデルも利用可能で、プライバシーとコストを管理しながら作業できる。全ユーザーに対してデータ保持ゼロとトレーニング不使用を約束。音声入力はローカルで処理され、コード編集や文書作成もサポ…
新しいMacBook Air（M4）の鋭いエッジが手首に当たって痛いという著者が、金属ヤスリとサンドペーパーを使って角を削るDIYを実践。テープで範囲をマークし、ベゼルやキーボードを保護しながら慎重に作業を進め、1200番までのサンドペーパーで仕上げた。作業のコツや注意点、ThinkPadとの比較から「道具は使ってなんぼ」という考え方まで、実体験をもとに語る。
SpaceXの株価が7月16日、上場来初めてIPO価格の135ドルを下回り、過去1か月の上昇分をすべて失った。上場直後には50%以上急騰し、時価総額2.2兆ドルで歴史的な大型IPOとなったが、その後は投資家の懸念から下落が続いていた。同社はAI分野への大型投資（Cursorの600億ドル買収など）を進める一方、負債と支出計画への懸念が重荷となっている。今後、従業員のロックアップ解除でさらに下落す…
著者はLLMに対する批判のほとんどに同意しながらも、日常的にLLMを活用している。Local-First Conf Berlinで感じた認知的不協和を出発点に、著作権問題、環境負荷、スロップ氾濫、ジュニア育成の崩壊、地政学的リスクなど、LLMの正当な懸念を列挙しつつ、それでも使う理由を語る。人間の思考を増幅するツールとしての価値に着目し、AIスロップと良い文章の違いは人間の思考が背後にあるかどう…
Startups.RIPは、YC出身の創業者105人のその後のキャリアを分析し、多くがOpenAIまたはAnthropicに移っていることを明らかにした。元CEOやCTOが「Member of Technical Staff」として働く傾向が顕著で、60%がMTSの役割を担っている。2012年と2020年以降のバッチ出身者が特に多く、スタートアップの経験がAIラボでのキャリアに直結していることが…
Immersive Mathは、線形代数をインタラクティブな図とともに学べる無料のオンライン書籍です。ベクトル、内積、外積、ガウスの消去法、行列、行列式、ランク、線形写像、固有値と固有ベクトルまで、全10章を収録。3Dグラフィックスを操作しながら、抽象的な概念を視覚的に理解できるのが特徴です。数学が苦手な人や、視覚的に学びたい人に最適です。
プライバシー重視の写真・認証アプリを提供するEnteが、自社のビジネス指標を公開した。収益、顧客数、アカウント数などのデータをオープンにし、透明性を重視する姿勢を示している。同社はオープンソースでもあり、GitHubで27kのスターを獲得。この取り組みは、ユーザーとの信頼構築を目指すものだ。
ビクトリア朝時代の博物学シリーズ『The Naturalist's Library』（全40巻以上）に収められた1,300点以上のカラー図版が、デザイナーのNicholas Rougeuxによって修復・デジタル化され、ウェブサイトで無料公開された。RougeuxはAIツールを駆使して資料の探索や欠損部分の補完を行い、復元プロセスをブログで詳述。オンライン版のほか、大型本（$295.11）やポスタ…
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
2026年初頭現在、主流のLLMが生成するテキストには強い統計的パターンがあり、伝統的な機械学習モデルで人間の書いたテキストと効果的に区別できる。著者はLofterでAI生成ファンフィクションに辟易し、scikit-learnのTF-IDFとLinearSVCを使った文レベルの分類器を7モデル（Gemini、Qwen、GLM-5など）で訓練。単文の検出精度は約85%に達し、長文ではさらに信頼性が…
Webアクセシビリティを学び始めると、まず「ARIAを使うな」「ネイティブ要素を使え」というアドバイスを聞きますが、その理由はあまり説明されません。この記事では、カスタム要素で`<button>`を再実装する過程を追いながら、その背後にある複雑さを解説します。アクセシブルな名前、キーボード操作、フォーム連携、`disabled`状態、最新のAPI対応など、ネイティブ要素が無償で提供する機能を一か…
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
AliExpressで約5ドルで購入した7ポートUSB 3.0ハブを分解したところ、実際にはUSB 2.0ハブであることが判明。6つのポートはUSB 2.0接続のみで、USB 3.0対応なのは1ポートだけ。さらに、外部電源を接続するとPCへの逆流の危険性があり、ポートのシェルのはんだ付けも省略されるなど、品質は低い。600件以上のレビューで4.7/5の評価を得ていたが、購入者の多くが騙されている…
Afonso S. Bandeira、Amit Singer、Thomas Strohmerによる書籍『Mathematics of Data Science』がarXivに公開されました。高次元空間の呪いと祝福、SVD、PCA、線形回帰、正則化、グラフ・ネットワーク・クラスタリング、非線形次元削減、ランダム射影、最適化、分類、深層学習の数学的導入、グラフラプラシアンの大標本極限、測度集中、行列…
『The Little Book of Reinforcement Learning』は、強化学習の基礎から応用アルゴリズムまでを簡潔に解説する入門書です。本書のGitHubリポジトリでは、PDF版に加えて、MCからPPOまでの各アルゴリズムのPyTorch実装や、動的計画法の詳細な証明を含む補足資料が公開されています。著者のAlexandre TL氏が2021年に執筆した本書は、CC BY-S…
イギリスの活動家グループ「Everyone Hates Elon」が、MetaとKylie Jennerのコラボによるスマートグラス広告を風刺したレンチキュラー広告をロンドンのバス停に掲出した。視点によって広告は、Jennerの広告写真と「私たちは常に見ている」というタグライン付きのX線風の画像に切り替わる。このグループは、Metaのグラスが公共の場での無断撮影を可能にし、特に女性や若者への性的…
Blueskyは、別企業が「ATPROTOCOL」およびその派生語（「AT Protocol」「atproto」）の商標権を取得し、法的措置をちらつかせていた問題に対処するため、同社から商標権を買い取りました。これにより、atprotoコミュニティは引き続き自由にこの用語を使用でき、悪意のある行為者から保護されます。Blueskyは当面、この商標を防御的に使用し、ライセンス料は商業企業がブランド…
Luminateの2026年Midyear Reportによると、2026年上半期のCD売上は前年比16%増の1,630万枚となり、レコードの2.4%増を大きく上回りました。BTSのアルバム『ARIRANG』が牽引したものの、K-POPを除いても6.7%増と、復活はK-POPだけの現象ではありません。また、物理メディア全体の売上も7.8%増の3,820万枚に。若い世代のレトロ志向が背景にあり、G…
NOAAの最新気象衛星GOES-19がセーフホールドモードに入った。原因は不明だが、運用チームは復旧作業を進めている。詳細はOSPOのウェブサイトで随時更新される。
Reynardは、iOS 13以降で動作する実験的なGeckoベースのWebブラウザです。iOSでは通常WebKitエンジンの使用が強制されますが、ReynardはFirefoxと同じGeckoエンジンを採用し、古いiOSデバイスでも最新のWebサイトを表示できるようにします。TrollStoreやAltStoreなどを通じてサイドロードでき、Firefoxアドオンにも対応。作者は好奇心からBr…
この記事では、6GB VRAMの古いLinuxデスクトップPCで、キックドラム専用の拡散モデルを訓練する方法を紹介します。データセットの準備からモデルアーキテクチャの選択、訓練の実行、生成結果の評価まで、具体的なコードとともに解説します。低VRAM環境での訓練を可能にするテクニックや、音声生成AIの基礎知識も学べます。
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
筆者の新型MINI Countrymanが自動インストールしたOTAアップデートでAndroid Autoが完全に使えなくなり、フォーラムではCarPlayでも同様の報告が相次いでいる。筆者はこの問題を、二週間スプリント開発や「後で直せばいい」という文化、Cyber Essentials Plusのようなコンプライアンス制度が生んだソフトウェア品質の低下の象徴だと断じる。MicrosoftのK2…
Northwestern Mutualの2026年調査によると、米成人の42%が親からの経済的支援に頼っています。特にGen Zでは72%、ミレニアル世代では半数以上、Gen Xでは3分の1に上ります。カンザス州立大学の金融セラピストMegan McCoy氏は、このような支援を「スキャフォールディング」と表現し、適切に行えば成人した子どもの成功の基盤となると述べています。しかし、感情的な摩擦を避…
PlanetScaleが、PostgresやMySQLの大規模なスケーリングに必須のデータベースシャーディングの仕組みを解説。単一ノードから4シャード、そして768台のサーバーで1ペタバイトを格納する構成まで、プロキシ層とルーターがどのようにSQLクエリを適切なシャードにルーティングし、アプリからは単一のデータベースに見えるようにしているかを詳述。VitessやNekiの設定例も紹介。
英政府は、鉄鋼大手British Steelを国有化した。同社のスカンソープ製鉄所は約2,700人を雇用し、国内最後の高炉による一貫製鉄所。政府は昨年から運営を管理していたが、中国のJingye Groupが所有しており、戦略決定に制約があった。国有化により政府は工場の将来を決定する権限を得るが、運営コストは1日あたり約130万ポンドに上る。政府は長期的には電炉への移行を目指すものの、国内で唯一…
科学誌Scienceに掲載された研究で、地球から約35光年離れた赤色矮星を周回する岩石系系外惑星GJ 1132 bの大気から、ヘリウムが流出していることを検出した。この惑星はハビタブルゾーン（生命居住可能領域）内に位置し、ヘリウムの散逸は惑星の大気がどのように進化するかを理解する上で重要な手がかりとなる。研究チームは、ハッブル宇宙望遠鏡とTESSのデータを組み合わせ、惑星の大気中にヘリウムの吸収…
ブログ「dynomight」の著者が、文章スタイルの統計的指紋により、どんな偽名を使っても同一人物の別アカウントを特定できる「疑似終末（Pseudpocalypse）」が近い将来訪れると論じる。情報理論の観点から、約29ビットの情報が漏れれば匿名性は維持できないと説明し、年齢や性格、執筆癖などが文章から推定可能であることを示す。著者はすでにClaude 4.8が自分の文章から本人を特定できたと明…
ドイツのAIコンソーシアム（KI Bundesverband調整）が、完全オープンな言語モデル「Soofi S 30B-A3B」を公開。英語とドイツ語のベンチマークで、OLMo 3 32BやApertus 70Bなどの既存の完全オープンモデルを上回る最高スコアを達成した。ハイブリッドなMamba-Transformerアーキテクチャを採用し、アクティブパラメータは約3.2Bで、長いコンテキストで…
データベースツール企業での経験を持つ著者が、PlanetScaleの仕組みを自宅で再現するプロジェクト「Homescale」を紹介。Dockerのイメージ/コンテナモデルを借用し、不変スナップショットから書き込み可能なデータベースインスタンスやポイントインタイムブランチを、データの完全コピーなしで作成する。ストレージ層でコピーオンライト（COW）を利用し、Ceph RBDとKubernetesを…
ジョブキューは一見単純そうに見えて、実は深い複雑さを秘めている。本稿では、大規模リポジトリの参照リポジトリをパッキングするバックグラウンドジョブを例に、スケジューリング間隔と並行実行制限という2つの設定だけでは、平日は2時間、週末は7時間かかるジョブをうまく運用できないことを示す。ジョブキューが持つ意味論（並列実行、新規優先、待機、旧優先）を整理し、それぞれが前提とする障害モデルと限界について考…
Clxは、LuaコードをC++20をバックエンドとして利用し、スタンドアロンのネイティブ実行ファイルに変換する、クロスプラットフォームなAOT（事前コンパイル）コンパイラおよびランタイムです。バイトコードインタープリタのオーバーヘッドを排除し、Clang/GCC/MSVCの最新の最適化を活用することで、高いパフォーマンスと高速な起動を実現します。生成されるバイナリは小さく、`--minimal`…
データ分野に飛び込んだソフトウェアエンジニアのために、データツールの全体像を解説するガイド。データ分析、科学、エンジニアリング、機械学習の4つの職種を紹介し、ETL/ELTプロセス、ファイル形式、データウェアハウス、データレイク、BIツール、ノートブック、データフレームなどの主要概念をカバー。著者がDeepnoteでの実体験から得た知識を基に、データチームの会話についていけるようにすることを目指…
ARC-AGI-3は、エージェントにゲーム環境を与え、その説明を一切行わない。各ステップで64×64のグリッドと可能なアクションのみが与えられ、オブジェクトリストやルール、目標、報酬は存在しない。フロンティアモデルにとって極めて困難なこのベンチマークで、新たに発表された「Schema」ハーネスは、Claude Opus 4.8とFable 5を用いて公開セットで98.98%、GPT-5.6 So…
イェール大学などの国際研究チームが、コンゴ民主共和国のロマミ国立公園で新種のコロブスモンキー「Likweli（学名：Colobus congoensis）」を発見・記載した。アフリカのサルで新種が確認されるのは75年ぶり5例目。体長は小さく、口元のオレンジクリーム色の模様が特徴で、高木の樹冠に生息するため観察が難しく、地元住民でも認知度は低い。形態、遺伝子、鳴き声の分析により、姉妹種のクロコロブ…
Gapminderの「Dollar Street」は、所得に応じて家計を並べ、世界中の家族の日常生活を写真で記録したプロジェクトです。50か国264家族の3万枚以上の写真を収集し、貧困層から富裕層までを月収で左から右に並べることで、国や文化のステレオタイプを超えて、人々の生活が所得とともにどう変わるかを可視化します。現在は67か国469家族、4万6070枚の写真と8586本の動画を公開中です。
G#は、Go、Kotlin、Swiftのエルゴノミクスを.NETランタイムに取り入れた新しいプログラミング言語です。パッケージ、`func`、`data class`、`if let`によるnull許容処理、`scope`による構造化並行処理など、馴染み深い構文を提供します。ソースは直接マネージドアセンブリにコンパイルされ、CLR型のインポートやメソッド呼び出しも可能です。さらに、`gsc`コン…
Mozilla Foundationが人気の生理周期トラッカー6アプリ（Flo、Clue、Stardust、Spot On、Period Calendar、Euki）のプライバシー慣行を調査。Stardustはユーザーの健康データをRudderStackと共有し、妊娠状態や避妊、気分などの詳細が含まれることが判明。一方、Eukiはデータを端末にのみ保存し、匿名性も確保。FloとClueは第三者と…
「AIは単なる道具であり、使い方が重要だ」という言葉は、技術愛好家や研究者の間でよく聞かれるが、このブログ記事はその考えを痛烈に批判する。著者は、道具は決して中立的ではなく、その設計が私たちの行動や思考を形作ると主張。ハンマーや椅子の例を挙げ、AIが人間の苦労や創造性を奪い、依存を生む危険性を指摘する。また、個人の選択だけでは解決できないシステム的な倫理問題にも言及し、AIの開発と利用にはより深…
著者が Claude Code などの LLM を使って MikroTik 機器でネットワークを構築した経験を共有。REST/JSON API の活用、設定のバージョン管理、CAPsMAN による Wi-Fi 設定の簡略化、複数 LLM による設定のクロスチェックなど、具体的なノウハウを紹介。また、IP アドレスが混乱した際に役立つ L2 レイヤーの MAC-Telnet ツールも推奨している。
async/await は書きやすいが、実行時には複雑さが増す。本稿では、その構文が非同期処理と並行処理を混同させ、CPU バウンドな処理がランタイム全体を停止させる問題を指摘。Tokio と Rayon の分離が人間をスケジューラにしてしまうと批判し、無制限のタスク生成が OOM を招くと警告する。さらに、ワークスティーリングがキャッシュ効率を損なうことを WhatsApp の BEAM 事例…
Leavesは、WinDirStatやQDirStatに触発されたテキストUIベースのディスク使用量ビジュアライザーです。ファイルやディレクトリを入れ子の長方形で表示し、面積がサイズに比例します。グラフィカルなツールが使えないリモートシェル環境でも動作します。Rustで書かれており、カーソルキーやマウスで操作可能。エクスプローラーツリーとトレーマップが連動し、Enterでフォーカス、xキーでX-…
One More Letterは、毎日新しい単語パズルを提供するブラウザベースのワードゲームです。プレイヤーは与えられた文字に1文字足して単語を作るというシンプルなルールで、語彙力と発想力を試されます。毎日異なる問題が出題されるため、短い時間で手軽に楽しめ、友人や家族と競い合うこともできます。特別なアプリのインストールは不要で、ウェブブラウザからすぐにプレイ可能です。
LLMはコンピュータアーキテクチャ論文を要約するだけでなく、核となるメカニズムを特定し、暗黙の前提を明らかにし、貢献を文脈に位置づける構造化批評ができるのか？この研究では、5つの独立した専門家ペルソナと敵対的統合段階を備えたオープンソースパイプラインGauntletを紹介する。ISCA 2025とHPCA 2026の論文20本を対象に、10人の研究者が独自の分析とGauntletの分析を比較した…
- ▲ 81美しい理論が醜いデータに敗れる
経済学や社会科学では、しばしば理論的な美しさが重視されるが、現実のデータは時にその理論を覆す。本稿では、ある魅力的な理論が、実際のデータによって否定される過程を考察する。理論の整合性や elegance に惑わされず、データの示す事実を直視することの重要性を説く。具体例を通じて、理論と現実の乖離がどのように明らかになるかを示し、科学における「醜いデータ」の価値を再評価する。
Mojibakeは、C11およびC++17向けの軽量で高速なUnicodeライブラリです。Unicode 17.0.0に準拠し、正規化、ケース変換、書記素クラスタ分割、双方向テキスト処理、絵文字検出、照合、紛らわしい文字の検出など、幅広いテキスト処理機能を提供します。外部依存がなく、単一のCファイルとヘッダーファイルをプロジェクトに追加するだけで使用できます。組み込みシステムからアプリケーション…
ロンドンの交通当局TfLに対する大規模サイバー攻撃を10代で実行した2人の男に、それぞれ懲役5年6か月の判決が下された。攻撃は2024年8月、土曜の夜に開始され、約16時間にわたりライブ配信された。2人はScattered Spiderとして知られるサイバー犯罪集団に所属し、電話サポートを騙して従業員のパスワードをリセットさせ、最大1000万人分の顧客データにアクセスした。TfLは148の技術シ…
エラーを値として扱うResultや非同期を表すPromiseは、計算の特定の側面を追跡します。継続（continuation）を使うと、これらの詳細を一般化できます。Filinskiの証明（1994）によれば、継続は任意のモナドを表現可能です。この記事では、Gleamで継続を使って、直接・失敗可能・非同期など異なる種類の計算を扱うビジネスロジックを単一の関数に抽象化する方法を、具体例を通して解説…
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
LLMの推論には膨大なメモリが必要だが、HBMは高価で供給が追いつかない。そこで注目されるのが、SandiskとSK Hynixが開発するHigh Bandwidth Flash（HBF）。NANDフラッシュをHBMのように積層して帯域幅を大幅に向上させ、読み取り専用のモデル重みを格納することで、HBMをスクラッチパッドとして解放する。最大512GB、読み取り帯域幅1.6TB/sを見込み、Ope…
金属有機構造体（MOF）は、結晶性の多孔質材料で、温室効果ガスの捕捉やナノサイズの薬物運搬体として利用でき、さらには砂漠の空気から水を採取することも可能です。その内部表面積は既知の材料の中で最大で、わずか1グラムでサッカー場全体を覆うことができます。バークレー校の化学者Omar Yaghi氏が開拓した「レティキュラーケミストリー」から生まれたこの材料は、現在約2万種類が存在し、炭素回収や医療など…
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…
1996年、Don GentnerとJakob Nielsenは、Macintoshの人間インターフェース指針の各原則を敢えて反転させることで、言語ベース、オブジェクトの豊かな表現、エキスパートユーザー、共有制御に基づく新しいインターフェースの可能性を探った。WIMPモデルに行き詰まる業界に対し、メタファーや直接操作の限界を指摘し、デスクトップの模倣を超えたパラダイムを提唱。30年近く経った今、…
検証可能な報酬を用いた強化学習（ゼロRL）は、人間のアノテーションなしで推論能力を引き出す手法として注目されていますが、計算資源の制約から大規模モデルでの研究は進んでいませんでした。本論文では、安定かつ効率的なトレーニングパイプラインを構築し、1兆パラメータのモデルでゼロRLを実現。その結果、サンプル効率と性能の上限が大幅に向上し、トレーニングは初期の発見フェーズとその後の研ぎ澄ましフェーズを経…
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
前回の記事から1年、Pete Keen氏がホームラボの現状を報告。故障続きだったnibblerマシンと、複雑すぎるKubernetesを断念し、Docker Compose、Ruby製のカスタムツール、決定論的IPv6アドレス割り当てによるシンプルな構成に移行。Proxmox上のDockerやTailscale、Caddyを活用し、障害ドメインの分離と完全な制御を実現した。
agent-talk は、Claude Code などのコーディングエージェント向けのプラグインで、エージェント同士がメッセージを交換し、タスクを調整できるようにします。大規模プロジェクトでは、複数のエージェントが並行して動作し、他の開発者のエージェントと連携する必要がありますが、従来は人間がメッセンジャーとなって指示をコピーする必要がありました。agent-talk は、retalk CLI…
Goのジェネリクスは、フルモノモーフィゼーション（RustやC++）と型消去（Java）の中間的なアプローチを採用しています。GCシェイプ・ステンシリングと呼ばれるこの方式では、型をGCシェイプ（サイズ、アラインメント、ポインタの有無）に基づいてグループ化し、同じシェイプの型はコンパイル済みコードを共有します。例えば、*Userと*Orderはどちらもポインタ型なので、同じ関数本体を共有します。…
Macwright氏は、LLMが生成したメールや履歴書、ポートフォリオ、GitHubプロジェクトが増えていることに触れ、それらが応募者の人間性を完全に隠してしまうと指摘。履歴書やポートフォリオの本来の目的は、資格の羅列ではなく、応募者がどんな人物かを伝えることにあると述べ、完璧に磨かれたAI生成の応募書類は、その人の軌跡や個性を一切伝えないと批判する。著者は、不完全さや弱さを見せることの重要性を…
SQLiteは文字列の途中にNUL文字（ASCII 0x00）を格納できますが、これが原因でlength()やquote()、CLIの.dumpなどが最初のNUL以降を無視し、表示上は短い文字列に見えるのに、実際の比較では全長が考慮されるという混乱を招くことがあります。この記事では、その挙動の具体例、CASTでBLOBに変換してNULを検出する方法、instr()関数を使った自動検出、そしてsu…
Hiloは、毎日変わる7文字の単語を5回の試行で当てる、アルファベット順の推論に基づくワードパズルです。各推測の後、各文字は「HI」「LO」「SOLVE」のヒントで示され、範囲バーが可能性のある文字を絞り込みます。語彙力よりも論理と演繹に焦点を当てており、単語の発見を促します。ソロプレイ、ストリーク追跡、友人とのプライベートグループ対戦が可能です。
10年前のHTC QWERTYフォンに最新のLinuxを移植し、携帯端末として再生させるプロジェクトです。この取り組みは、古いハードウェアに新たな命を吹き込み、実用的なハンドヘルドターミナルへと変貌させます。コードはGitHubで公開されており、技術的な詳細はブログ記事で解説されています。レトロなデバイス愛好家やLinux開発者にとって、独自の挑戦と学びを提供します。
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
Android/iOS向けの新しい位置情報ゲーム「CatchCat」が登場。カメラで実在の猫を認識し、スナック缶を投げてスキャンすると、その猫が「Dame Defiant Donut」のようなユニークな名前とシリアル番号を持つコレクションカードになる。レア度は5段階で、ゴールドの猫は金色に輝く。コミュニティマップでは他のプレイヤーの目撃情報を確認でき、近づくと3Dルームでプレビューも可能。近くの…
ニューヨーク・タイムズの記者Kashmir Hillは、自分自身の伝記がAmazonで販売されているのを発見した。著者は「John Crane Miller」という架空の人物で、AIを使って生成したと思われる本を大量に出版していた。この記事では、AI生成の「スロップ」本がAmazonを汚染している問題を調査し、その背後にいる人物やシステムを追跡する。
Ruslan Spivakの「Let's build a simple interpreter」シリーズに触発され、APLのインタプリタをPythonで書く旅が始まります。このパートでは、整数・浮動小数点数・ベクトル、単項・二項関数（+ - × ÷）、交換演算子⍨、括弧式を解析するためのトークナイザとパーサを実装します。APLの実行順序に合わせて右から左へトークン化し、ASTを構築する文法も紹介…
Traceforceは、ChatGPTやClaudeなどのAIアプリを全社のデバイス（ラップトップ、サンドボックス、VM）で可視化・制御するセキュリティプラットフォームです。MCPを介したデータソースとの接続も検出し、オープンソースのMCPペネトレーションテストツール「mcp-xray」も提供。軽量なバイナリとブラウザ拡張機能をインストールするだけで、30分以内にダッシュボードで全AIエージェン…
Cloudflareのネームサーバーは、なぜ「アリス」や「ボブ」といった名前が付けられているのでしょうか？2013年のブログ記事では、DNSの仕組みや、暗号学の教科書に登場するアリスとボブにちなんで名付けられた経緯が紹介されています。また、Cloudflareのネームサーバーがどのようにして高いパフォーマンスと信頼性を実現しているのか、その技術的な背景も解説されています。
Paul LutusはNASAのスペースシャトル用電子機器の設計に携わった後、オレゴンの山奥に移り住み、電気もない生活を送りながらApple IIでプログラミングを始めた。彼が独力で開発したワープロソフト「Apple Writer」は大ヒットし、個人プログラマーの可能性を示す伝説となった。本稿は、彼自身が語る、孤独なプログラミング生活、稲妻による危機一髪のエピソード、そして個人開発の力についての…
開発者がジョーク言語「bet」を本気で作り上げ、LLVMバックエンド、自己ホスティング、アリーナメモリ管理を実装。さらにDOOMのオリジナルCソースを56,000行以上betに移植し、固定小数点数演算を完全再現してビット単位で同一の動作を実現した。AIコーディングエージェントの能力を検証する実験として、コードレビューを一切行わず、テストと受け入れ基準のみで開発を進めた。プロジェクトは完成し、今後…
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
アラスカ州アッパー・タナナ渓谷では、第二次世界大戦中に建設されたアラスカ軍用電話線（AMTL）の一部が、今も地域の電話サービスに使われています。全長2,020マイルに及ぶこの回線は、エドモントンからフェアバンクスまでを結び、困難な冬期建設や資材不足、設計変更など数々の障害を乗り越えて1943年に完成しました。現在も傾いた電柱とともに残るその姿は、歴史の生きた証人です。
BambooGridは、電力系統モデリングと潮流計算のためのオープンソースのWeb UIです。pandapowerを搭載し、ドラッグ＆ドロップで母線、発電機、変圧器などの要素を配置し、接続するだけで、直感的に電力系統を構築できます。ブラウザ上で系統のパラメータを編集し、潮流計算を実行可能。専門知識がなくても扱いやすい設計で、教育や研究、初期設計に最適です。
FIFAワールドカップ2026の全102試合を、約1,500の記録イベント（タッチ、パス、シュート、カードなど）から再構築したデータアートプロジェクト「FIFA World Cup 2026 Data Portraits」が公開された。試合の印象をデータだけで表現する試みで、ノックアウトステージ30試合とグループステージ72試合のポートレートを閲覧できる。データはFotMobとWhoScored…
Musklrは、iPhoneのロック画面にワークアウトのライブアクティビティを表示します。現在のセット、前回の重量、レストタイマーを確認でき、アプリを開く必要はありません。Dynamic Island対応機種では、他のアプリ使用中もコンパクト表示で追跡可能。Apple Watchアプリと連携し、心拍数も表示されます。無料で利用できます。
電子工作好きの著者が、アナログのパネルメーターを使って計算結果を表示する「Calcumator 2000」を製作。6個のSO-45パネルメーターと1個のヴィンテージ・エッジワイズメーターを組み合わせ、浮動小数点の表示には中央のメーターを使用。筐体はメープル材をCNCフライスで加工し、キーボードは4×4グリッドのタクタイルスイッチを採用。制御は8ビットAVRマイコン（AVR128DA28）で行い、…
AttoChessは、16ビットx86 DOS用の完全なチェスプログラムで、わずか278バイトで動作します。盤面描画、キーボード入力、4手先までの探索、応手生成をすべてこのサイズで実現しています。これは、2019年にDmitry Shechtman氏が開発したLeanChess（288バイト）をさらに10バイト縮めたもので、最小のチェスエンジン記録を更新しました。著者のNicholas Tann…
スキャンした家族写真には、撮影日ではなくスキャンした日が記録されてしまう問題を解決するサービス「Timeline Scan」が登場。写真に写る手書きのメモや日付スタンプ、ファイル名、人物の年齢など、あらゆる手がかりから実際の撮影日を推定し、写真アプリやフォルダ内の並び順を本来の年月に整えます。50枚まで無料で試せ、元の画像は変更されません。Apple PhotosやGoogle Photos、I…
Refactoring.Guruの作者Alexが、新プロジェクトGitByBitの開発過程を振り返る。チームも広告予算もないインディー開発者が、変化し続ける開発業界の中で製品を育てるために選んだ戦略とは。ユーザーを先に見つけること、不公平な優位性を活かすこと、そして15年前に作ったGitチュートリアルがどう活用されたか。実際の数字とともに、製品開発の裏側を赤裸々に語る。
ComputerCraftのプログラムを圧縮するため、Luaコードの文字列リテラルを最適化する手法を紹介。生文字列（raw string）の扱いには、改行の正規化や先頭改行の削除などCobaltランタイム特有の癖があり、CR文字のエスケープにはgsubとビット演算を組み合わせた巧妙なテクニックを使う。この工夫により、ほぼ均一なバイト分布の文字列でもオーバーヘッドを約1%に抑えられる。
FortinetのFortiSandboxに、認証なしで悪用可能なOSコマンドインジェクションの脆弱性CVE-2026-25089が発見されました。CVSSスコアは9.8（Critical）で、CISAは7月16日にKEVカタログへ追加し、連邦政府機関に対して7月19日までの対応を求めています。すでに6月中旬から実際に悪用が確認されており、これは2か月以内に悪用された3つ目のFortiSandb…
KizunaShelfは、Obsidian VaultにMarkdownファイルとしてデータを保存する、セルフホスト型のメディアトラッカーです。Airtableのような柔軟なスキーマをYAMLで定義でき、アニメや映画、ゲームなどのプリセットに加え、外部メタデータプロバイダとも連携します。TauriによるデスクトップアプリとSwiftUIによるiOSアプリは、RustコアをUniFFIで共有し、O…
D. J. Bernstein氏が1997年に発表したNetstringsは、文字列の長さを前置きする自己区切り方式のエンコーディングです。このシンプルな仕様は、バッファオーバーフローを防ぎやすく、再帰的な利用も可能で、TCPなどの信頼性のあるストリーム上で文字列シーケンスを安全に伝送するための基本部品として設計されました。本稿では、その定義とC言語によるサンプルコード、そしてFingerの脆弱…
connectionsは、Rustでガロア接続をファーストクラスの値として扱うライブラリです。数値型間の変換を法律に基づいて行い、丸めや飽和などの動作を明確に定義します。標準のas演算子とは異なり、変換の往復動作が不等式で保証され、合成可能な変換チェーンをコンパイル時に構築できます。プロパティテストやSMT検証により、変換の不変条件が検証されています。固定幅整数、Qフォーマット、浮動小数点、時間…
E--（「English--」）は、平易な英語でプログラムを書き、それを決定的にPythonへコンパイルするプログラミング言語です。曖昧さを排除した閉じた文法と固定語彙を持ち、LLMの創造性と決定的な実行を分離します。LLMは作成時のみ使用され、生成されたPythonは純粋で再現可能です。`{{ ... }}`スロットにより、LLMが値を補完し、キャッシュされるため、ビルドはオフラインで再現可能…
創作とは、自己を追求し、世界に贈り物をする究極の形である。ピカソの言葉を引き合いに、結果を気にせず子供のように遊び心を持って創作することの重要性を説く。創作は未解決の問題を解決し、喜びと笑いを生み出す。成功は結果ではなく経験であり、創作は時間をかけたスローなプロセスである。潜在意識に従い、深い集中状態に入ることで、真の幸福とフローを得られる。
ソフトウェアエンジニアは自分のコードベースをどこまで理解すべきか。小規模で離職率の低いチームは「完全に理解すべき」と主張し、大規模で離職率の高いチームは「部分的な理解で最善を尽くす」と考える。著者は後者の立場を擁護し、大規模システムでは部分的な理解が最善であると論じる。Peter Naurの「プログラミングは理論構築である」という論文を批判し、大規模システムの書き直しは不可能であり、放棄されたコ…
Libretto PR Agentsは、既存のPlaywrightスクリプトの失敗を自動的に修正するツールです。スクリプトが失敗すると、エージェントがライブページを調査し、修正コードを含むGitHubプルリクエストを開きます。既存のランタイムやブラウザプロバイダーを変更する必要はなく、Playwrightプロジェクトにパッケージを追加してdebugFailure()を呼び出すだけです。オープンソ…
『スター・ウォーズ』の生みの親であり、映画技術の先駆者でもあるジョージ・ルーカスが、彼の最も個人的で壮大な遺産となるかもしれない「ルーカス・ミュージアム・オブ・ナラティブ・アート」について、稀なインタビューで語った。ロサンゼルスのエクスポジション・パークに建設中のこの美術館は、10万点以上の絵画、イラスト、写真、映画関連の工芸品を収蔵し、35のギャラリーを備える。ルーカスは、コミックやパルプ雑誌…
AI Law Trackerは、米国各州・連邦、EU、および世界のAI法を一元管理する監査済みのAPIサービスです。施行日や法案のステータスを政府の一次情報源にリンクして表示し、カリフォルニアやコロラドなど主要州の最新動向を追跡できます。無料のリスク評価クイズや開発者向けJSON APIも提供し、企業は自社のAIコンプライアンス状況を迅速に把握可能。法律の複雑な網羅をシンプルにし、コンプライアン…
個人サイト「MEOW! Ray's Zo Space」のブログ記事。著者のRaymond Luoは、「とにかくやる」という行動主義の限界を指摘し、単に手を動かすだけでなく、目的を持って取り組むことの重要性を説く。彼自身の経験を交えながら、行動と内省のバランス、そして「やる」ことの先にある本質的な価値について考察する。
著者がD-A-Dの曲『Naked (But Still Stripping)』を聴きながら、AIに「軽度の精神病」を自覚する体験を綴る。言語モデルが意図なしにトークンを生成し、後から整合的な説明を構築する様子を「投げが狙いを決める」と表現。Anthropicの研究を引き合いに出し、モデルが事前に計画することもあるが、その説明もまた生成されたものであると指摘。さらに、モデルの内部構造を解析・改変す…
AIの知識を網羅したオンライン百科事典「Artifipedia」が、全概念とその関連性を可視化したインタラクティブマップを公開した。56の概念と150のリンクをノードとエッジで表現し、ドラッグで移動、ホバーで関連を辿り、クリックで詳細を読むことができる。このマップは各項目の「connects to」リンクから自動生成され、百科事典の成長とともに拡大する。
Voiceboxは、ホットキーを押しながら話すだけで、音声をWhisperで文字起こしし、LLMで整形したテキストをクリップボードにコピーして自動貼り付けするオープンソースのデスクトップアプリです。macOS向けにWails（Go + React）で構築され、Cloudflare Workers AIの無料枠で動作します。音声はWebSocket経由でCloudflare Workerにストリー…
コンパイラはソースコード内の名前や構造を何度も照合するため、パフォーマンスのボトルネックになりがちです。この記事では、文字列や構造体を生成時に連続した整数（Dense ID）へ変換する「Dense Arena Interner」の実装を解説します。Arenaアロケータによるメモリの安定確保とハッシュマップを組み合わせることで、字句解析以降のフェーズではO(1)の配列インデックスやポインタ比較だけ…
大規模基盤モデルの推論は、メモリ容量と計算コストの制約に直面しています。Block Low-Rank (BLR)圧縮は、MonarchやBLASTなどの構造化分解を用いてモデルを圧縮し、精度を保ちながら計算量とメモリ使用量を削減します。しかし、実際のGPUでは、特に複数トークン推論時にメモリバウンドとなり、理論上の高速化が達成されないことがあります。本論文では、roofline解析によりこの問題…
AIエージェントを本番運用する際、単一の巨大なシステムプロンプトはすぐに破綻します。影響範囲の不明瞭化、コピペによるドリフト、実行時エラーなど、ソフトウェア工学の古典的なスケーリング問題が発生します。Googleの開発者ブログは、プロンプトを静的なテキストではなくビルド成果物として扱い、モジュール化されたスキルファイルをトランスパイルする手法を提案します。テンプレートエンジンと依存関係グラフを活…
ReasonGateは、LLMアプリケーション向けの説明可能なセキュリティゲートです。プロンプトインジェクションをブロックし、その判断理由を監査可能な形で提供します。ユーザープロンプト、取得コンテキスト、モデル出力の3つの表面を検査し、正規化、インジェクション検出、間接インジェクション、マルチターン、出力リークとカナリアなど、多層防御を実現します。ゼロ依存のコアはオフラインで動作し、監査ログをJ…