日刊ダイジェスト · Hacker News
· 99 ハッカーニュース
私は Bambu Lab のプリンターを所有しているが、クラウド強制や所有権の侵害に反発し、OrcaSlicer などの代替ソフトウェアを使用している。しかし、同社は AGPL ライセンス下で開発されたフォーク版に対して法的措置を威嚇し、コミュニティを弾圧している。これはオープンソースの精神を無視した行為であり、消費者の権利を軽視する姿勢が露呈している。
OpenWrt Oneは、MediaTek Filogic 820 SoCを搭載したオープンハードウェアのWiFi 6ルーターです。デュアルバンド、3×3/2×2アンテナ、2.5Gbps WAN、1Gbps LAN、1GB DDR4 RAM、256 MiB NAND、16 MiB NOR（リカバリ用）、M.2 SSD、USB-Cシリアルコンソール、USB 2.0を備え、IEEE 802.3af/…
Xboxは2026年7月6日、従業員約3,200人を削減する大規模なリストラを発表しました。Compulsion GamesとDouble Fine Productionsは独立し、Ninja TheoryとUndead Labsは新たなオーナーの下で運営されます。また、管理職の階層を最大5層に削減し、最高執行責任者（COO）を新設するなど、組織を根本から見直します。Xbox責任者のAsha氏は…
CoMapsは、Organic MapsとMaps.Meのフォークとして生まれたオープンソースのオフライン地図アプリです。GPSのみで動作し、検索やルート計画が可能で、データ収集やトラッキングを一切行いません。Exodusによるプライバシー監査も通過済みで、バッテリー消費も抑えられます。コミュニティがOpenStreetMapへの寄稿やコード貢献を通じて地図を育てており、無料で利用できます。
Google は 2026 年秋に Gemini AI を深く統合した新ノート PC「Googlebook」を発表します。Magic Pointer 機能で画面の要素を瞬時に操作し、Create My Widget で自然言語からカスタムウィジェットを生成できます。Android 17 搭載端末とのシームレスな連携により、アプリのキャストやファイル共有も可能で、Acer や Dell などのメー…
GitHub で公開された「Riddle」は、reMarkable Paper Pro をハリー・ポッターのトム・リドルの日記に変えるアプリ。ペンで書くとインクが紙に吸い込まれ、数秒後、LLM が手書き文字を読み取り、流れるような手書き文字で返事が現れては消える。OpenAI 互換 API またはローカルの pi をバックエンドに使用し、e-ink エンジンを直接制御するタクオーバーモードで低遅…
著者がZ.aiのGLM 5.2を数週間試した結果、これはOpusやGPTに匹敵する初の本格的なオープンウェイトモデルだと確信した。推論コストはトレーニングと異なり需要に応じて増加するが、GLM 5.2のAPI価格はOpusの約20%で、品質はほぼ同等。さらにOpenAI互換・Anthropic互換のエンドポイントにより、Claude CodeやCodexからの移行が極めて容易で、スイッチングコス…
Anthropicの新しい研究で、言語モデルClaudeの内部に、人間の意識的にアクセス可能な思考に似た、特別な神経パターンの集合「J-space」が存在することが明らかになった。J-spaceは訓練中に自然に出現し、モデルが言葉にしない内部思考を表現する。ClaudeはJ-spaceの内容を報告でき、指示に応じて変調でき、多段階の推論に使用する。J-spaceを操作することで、Claudeの回…
AMDのRyzen AI Haloは、Zen 5 Ryzen AI Max+ 395プロセッサを搭載した小型ミニPCで、128GBの統合LPDDR5xメモリと2TB SSDを備え、ROCmやVulkanによるローカルLLM推論に最適化されています。LTT LabsがLinux版を徹底テストし、llama-benchによるベンチマークでMac Studioと比較。プロンプト処理とトークン生成の速度…
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 サイトと開発者ダッシュボードを新たに公開しました。これにより、すべてのバージョンがセキュリティとコード品質の観点から自動的にレビューされるようになり、コミュニティのエコシステムがより安全で持続可能になります。既存のプロジェクトも自動的に移行され、開発者は新しいダッシュボード…
Ternlightは、わずか7MBの軽量な埋め込みモデルで、ブラウザ上でCPUのみで動作します。APIサーバーを必要とせず、npmパッケージとして提供され、3行のコードでセマンティック検索を実装できます。デモではReactのドキュメント検索が紹介されており、約5msで高速な類似度計算が可能です。
著者はOxford Nanopore TechnologiesのMinIONを使って自宅で自分のゲノムを5回シーケンスした経験を詳しく共有。頬の細胞を採取し、DNA抽出からライブラリ調製、シーケンス、解析までの全プロトコルを公開。コストはまだ一般人には手が届かないが、指数関数的に低下しており、近い将来、携帯電話やAIのようにリアルタイムでDNAやRNAの発現を知る技術が手に入るだろうと述べる。得…
カナダ政府が提出したBill C-22は、昨年のBill C-2の失敗を繰り返す監視強化法案です。この法案は通信メタデータの保存義務化や、AppleやMetaといった企業へのバックドア設置要求を可能にし、暗号化の安全性を損ないます。政府は「システム全体の脆弱性」を避けることを謳っていますが、暗号化された通信への監視自体が本質的に脆弱性をもたらすため、プライバシーとセキュリティが脅かされます。
「vibe coding」の時代に、コーディングを学ぶ意味はあるのか。Val Town創業者のSteve Krouse氏は、その問いに明確に「イエス」と答えます。彼は、プログラミング学習が単なる職業訓練ではなく、数学や文学と同じく教養として価値があると主張。自身がプログラミングを通じて数学を好きになった経験や、Seymour Papertの「Mathland」構想を引き合いに出し、コードが創造的…
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…
OfficeCLIは、AIエージェント向けに設計された世界初のOfficeスイートです。Word、Excel、PowerPointファイルの読み取り、編集、自動化を、単一のバイナリで、Officeのインストールなしで実現します。組み込みのHTMLレンダリングエンジンにより、文書を高忠実度で可視化し、「レンダリング→確認→修正」のループを可能にします。AIエージェントは、1行のコマンドで文書を作成…
Eurostile Bold Extended などのフォントだけでは不十分です。斜体、角ばった形状、V 字の装飾、文字の結合、不要な線の削除、そしてテクスチャや背景の追加という6つのルールを適用するだけで、テキストを瞬時に未来の雰囲気に変えることができます。Blade Runner や Star Wars などの名作も、これらの手法を駆使して時代設定を視覚的に表現しています。
1993年発売のAtari Jaguarは商業的には失敗したが、そのMotorola 68000 CPUはLinuxのm68kアーキテクチャでサポートされている。この記事では、MMUなしで動作するuClinuxをJaguarに移植した過程を詳述する。2MBのRAMと6MBのROMという制約をXIP（eXecute-In-Place）で克服し、シリアル出力用のドライバやタイマーを実装。クロスコンパ…
私たちは、DuckDB インスタンス同士が Quack プロトコルで通信できるようになりました。これにより、複数の書き込みを同時に処理するクライアント・サーバー構成が可能になります。Quack は HTTP に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。
アフリカで偽造医薬品を検出するRxScannerのデモ中に、データセンターへの接続が遅くて失敗した経験から、Adebayo Alonge氏はAIモデルをスマートフォン上で動作する小型版に縮小した。この「スモールAI」は、低消費電力でオフライン動作が可能で、インターネットや電力が不安定な地域でも医療や農業などで活用されている。世界銀行もスモールAIを支援しており、専門家は数百万の小型モデルがエッジ…
Rustの所有権型システムは安全なコードのメモリエラーを防ぎますが、unsafe操作の健全性、機能的正しさ、実行時パニックの不在など、コンパイルでは保証されない性質があります。本論文では、オープンソースのモデルチェッカーKaniを紹介します。KaniはRustのMIRをCBMCのビット精密な検証エンジンにコンパイルし、ユーザー注釈なしで包括的な安全プロパティを自動チェックします。さらに、関数契約…
欧州議会は7日、児童性的虐待資料の探索を目的とした「Chat Control」の暫定規則を復活させる緊急動議を、賛成331対反対304の僅差で可決した。この動議は、議会が夏休み前最後の本会議で再投票を行うための手続きで、4月に失効した規則の再導入を目指す。反対派は「前代未聞の議会工作」と批判する一方、支持派は規制の空白を理由に緊急性を訴えた。ITセキュリティ研究者らはAIスキャンの誤検出率の高さ…
Rotmanレンズは、1963年にWalter RotmanとR. F. Turnerによって発表された受動電子部品で、位相シフタを使わずに複数のアンテナビームを形成できます。入力ポート（ビームポート）と出力ポート（アレイポート）の間で信号に異なる位相シフトを与え、出力をアンテナアレイに接続することで、入力ポートを切り替えるだけでビーム方向を変えられます。導波管やストリップライン、マイクロストリ…
MicrosoftはXbox全部門で大規模な人員削減を実施し、id SoftwareのidTechエンジン開発チームのほぼ全員が解雇された。Xboxの新CEOであるAsha Sharmaは、約3,200人の削減と4つのスタジオの分離を含む「Xbox史上最大の再編」を発表。idTechはQuakeなど数多くのFPSゲームを支えてきた歴史あるエンジンであり、その終焉が懸念されている。
セキュリティ研究者のHyunwoo Kim氏は、KVM/x86のshadow MMUエミュレーションに存在するuse-after-free脆弱性「Januscape（CVE-2026-53359）」を公開した。ゲスト側の操作だけでホストカーネルのシャドウページを破壊でき、IntelとAMDの両方でトリガー可能なゲストからホストへの脱出は公知のものとしては初。GoogleのkvmCTFでは0-da…
Daniel J. Bernstein氏が、IETF TLS WGにおけるソロML-KEMのRFC化を目指す「ラストコール」投票が、NSAとその同盟機関（GCHQ、CSE）による組織的な票の積み上げであると非難。NSAは過去にDES、RC4、Dual ECなどで標準化を悪用してきた歴史があり、今回も同様のパターンだと主張する。反対意見は60件以上寄せられているが、賛成派はGCHQやCisco、G…
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
kapa.aiは、RAGパイプラインに「プルーナー」と呼ばれる小さなLLMを追加し、取得したチャンクの約68%を破棄しつつ、回答に必要なチャンクの約96%を保持することに成功しました。このプルーナーは、質問とすべてのチャンクを同時に評価し、5段階のスケールで各チャンクを採点します。これにより、クエリコストが約34%削減され、エージェントのコンテキスト管理も改善されました。従来のリランカーやアンカ…
中国東部の裁判所は、南京市政府で30年にわたり様々な役職を歴任した楊友林被告（69歳）に対し、22億元（約325億ドル）以上の賄賂を受け取ったとして死刑判決を言い渡した。同被告は汚職、権力乱用、マネーロンダリングでも有罪となり、その犯罪は「極めて重大」で国家と国民に「甚大な損失」をもたらしたとされた。習近平国家主席の反腐敗運動の一環として捜査されたが、当局への協力があったにもかかわらず、刑の減軽…
StreetCompleteは、OpenStreetMapのデータを改善するためのAndroidアプリです。アプリが周辺の欠落データを「クエスト」として表示し、ユーザーは現地で簡単な質問に答えるだけで地図を更新できます。入力した情報はユーザー名で直接OpenStreetMapに反映され、専用エディタは不要です。GitHubで開発が進められ、Slackでのコミュニティ参加や翻訳協力も受け付けていま…
2026年7月7日から、EUで販売されるすべての新車に、ドライバーの顔を監視するカメラ（ADDW）の搭載が義務化された。このシステムは、ドライバーが脇見をすると警告を発するが、その映像データがどこに送られ、どのように扱われるかは明確にされていない。実際のテストでは、警告が過敏でかえって運転の妨げになるという報告もある。規制は「クローズドループ」を要求しているが、独立した監査の仕組みはなく、データ…
ジム用ショーツやスウェットパンツの紐がすぐ緩んでしまう悩みを解決する結び方を紹介する動画。Slipped Lapp 結びの応用で、強く締まってほどけにくい一方、引っ張るだけで簡単に解けるのが特徴。通常の蝶結びと違い、ウエスト全体に均等にテンションがかかり、一日中緩みません。ステップバイステップの解説で、誰でも簡単にマスターできます。
OpenSSH 10.4がリリースされた。今回のアップデートには、sftpやscpのダウンロード先を悪意のあるサーバが操作できる問題や、sshdのGSSAPI認証におけるサービス拒否の可能性など、複数のセキュリティ修正が含まれる。また、ML-DSA 44とEd25519を組み合わせたポスト量子署名スキームの実験的サポートが追加されたが、デフォルトでは無効。さらに、ワイルドカードマッチングをNFA…
M/PCは、Varvara向けに開発された連接型オペレーティングシステムです。Open Firmwareに触発され、ファイルブラウザを持たないシステムでファイルを管理するために設計されました。後置記法を採用し、コマンドはオペランドの後ろに置かれます。例えば、`folder/ file_name cat len dec` でファイルのバイト数を取得できます。ファイルには再利用可能なコマンド列を保存…
19歳のハッカー、Peter StokesがScattered Spiderグループの一員として逮捕された事件で、MicrosoftがWindowsデバイスに割り当てる「Global Device ID（GDID）」がFBIの捜査に利用されていたことが明らかになった。VPNを使用していたにもかかわらず、Microsoftの記録からStokesのPCのGDIDが特定され、ngrokやWebホスティ…
Metaは、FacebookとInstagramを意図的に若年層に中毒性のあるものに設計し、安全性について誤解を与えたとして、4つの州から提訴されています。Meta自身の法廷提出書類で明らかにされた制裁金は最大1.4兆ドルに上り、同社の時価総額約1.5兆ドルにほぼ匹敵します。8月にオークランドで予定されている裁判では、29州による児童オンラインプライバシー保護法違反の主張も審理されます。Meta…
Amazonの検索結果には、SZHLUXやHORUSDYのような商標を悪用した偽ブランドが大量に紛れ込んでいます。Knockoffは、これらの「疑似ブランド」を検出して非表示・減光・ラベル表示するChrome拡張機能です。5,000以上の実在ブランドのリストと、名前の言語的特徴（すべて大文字、母音の欠落など）をスコアリングして判定します。データはすべてブラウザ内で処理され、アカウント不要、トラッ…
CipherCueの調査で、欧州7カ国・19,450社の企業ウェブサイトをDNSとAS情報から解析し、どのインフラベンダーが主要サイトを配信しているかを特定。英国（67.5%）とオランダ（53.6%）では米国本社のベンダーが過半数を占め、イタリア、スペイン、フランスでも最多シェア。全7カ国で最大のベンダーはCloudflareで、欧州のホスティング企業や国内ISPを抑えて首位。ドイツとポーランド…
ドイツは熟練労働者の受け入れに成功してきた一方、定着には失敗している。IABの調査によると、出国を決めた移民の主な理由は家族関連、差別体験、そして官僚主義、住宅、言語習得などの政策で改善可能な要因が挙げられる。特に、帰化申請や滞在許可の処理の遅さ、高い行政手数料、キャリア支援の欠如が不満の種となっている。また、ドイツ語の習得が不十分なまま来た人々は長続きせず、英語のみの国際学位プログラムでは不十…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
南アフリカの海岸沿いでは、防波堤や港の壁の侵食を防ぐために「ドロス」と呼ばれるコンクリート塊が使われています。最大80トンにもなるこの塊は、波の力を分散させるため、荒波でも動かず、世界中で採用されています。発明者たちは特許を取らず、報酬も受け取らなかったため、その功績はほとんど知られていません。
連邦政府は、抵当流れとなった住宅を所有し、時には中古車よりも安い価格で売却しています。現在、HUD、ファニーメイ、フレディマックが所有する2,074件の住宅のうち、335件が10万ドル未満で、38州に分布。最低価格は3,000ドルで、錆びついたベルト地帯や南部に集中しています。ただし、これらは現状有姿で、抵当権や固定資産税の滞納がないか調査が必要です。購入はライセンスを持つ不動産エージェントを通…
光コヒーレントIsingマシンは時間多重化により接続性とスピン数で進歩してきたが、大型・高消費電力・低熱安定性・高コストが課題だった。本研究では、固体遅延線内のマイクロ波伝搬波束を用いた時間多重Isingマシンを提案。20.5MHz、707μsのバルク音響波遅延線を2本直列接続し、2048スピンを実現。全対全接続と15ビットの結合分解能を持ち、MAX-CUT問題を341msで近似解を求め、数分割…
EndBASIC 0.14がリリースされ、サウンド対応（BEEP、SOUNDコマンド）をはじめ、三角形や多角形の描画、バケット塗りつぶしなどのグラフィックス機能が追加された。また、全コンソールでIBM VGA 8x16フォントを採用し、レトロな外観に統一。macOSでのクラッシュ問題も修正され、Unix系でのスクリプト直接実行（shebang）もサポート。これにより、2020年のプロジェクト開始…
98%という数字は一見高いように思えるが、基本的な期待に対しては驚くほど低い。この記事では、レストランでの食中毒や従業員への給与支払いといった例を挙げ、98%の成功率が実際にはどれほど危険かを示す。特にWeb開発では、ブラウザの新機能が「広くサポートされている」とされても、実際の訪問者の98%にしか機能しない場合、約1億5000万人が利用できないことになる。著者は自身の経験から、クライアントのサ…
安価なHDMI-VGA DACの音声出力に深刻なノイズが発生したため、著者はオシロスコープで原因を調査し、シグマデルタDACのスイッチングノイズがMHz帯で発生し、非線形アンプによって可聴域に変調されていることを特定しました。回路図やデータシートがほとんどない中、チップのピン配置を解析し、ローパスフィルタを設計・実装してノイズを除去する過程を詳細に記録しています。
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
Ilya SutskeverがJohn Carmackに勧めたという機械学習の重要論文30本を、初心者にもわかりやすく解説するサイト「30papers.com」。各論文の要点を簡潔にまとめ、学習の出発点として最適なリーディングリストを提供する。
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…
オープンソースの認証フレームワークBetter AuthがVercelに参加しました。創業者は、NextAuthに組織管理機能を追加する苦労からBetter Authを開発し、フレームワークに依存しない認証を目指しました。Vercelはオープンソースとエージェント時代の認証への取り組みを評価し、今回の参加に至りました。今後はAgent Authプロトコルを推進し、エージェントの安全なアクセス制御…
zkSecurityはAI監査パイプラインをCloudflareの実験的暗号ライブラリCIRCLに適用し、重大なfloat64精度損失による閾値RSAの破綻から、属性ベース暗号の完全なアクセス制御破りまで、7件の実際のバグを確認しました。これらはすべて上流で修正済みです。この記事では、AIがどのようにしてこれらのバグを見つけたか、その深刻度評価とCloudflareの評価のギャップ、そしてLLM…
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
オランダの研究助成機関NWOは、2025年に設立したTulp Fondsを通じて、海外のトップ研究者34人の受け入れを決定した。そのうち29人が米国のハーバード、スタンフォード、イェールなどの著名機関からで、学術的自由の低下や研究環境の悪化を背景に欧州での研究を希望している。オランダ政府とNWOは計5000万ユーロを拠出し、研究者1人につき最大100万ユーロを5年間支援する。AI、量子、ワクチン…
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
Donald E. Knuth の『The Art of Computer Programming』（TAOCP）は、1999年末に American Scientist 誌によって「20世紀を形作った科学の名著100冊」の一つに選ばれ、その中でも特に優れた12冊の物理科学モノグラフに数えられました。この栄誉は、Dirac の量子力学、Einstein の相対性理論、Feynman の量子電磁力…
NASAと前身のNACAは20世紀を通じて、航空機や宇宙船の設計をテストするために数十の風洞を建設した。バージニア州のLangley Research Centerとカリフォルニア州のAmes Research Centerに建設されたこれらの施設は、高速風、乱流、着氷、電離などの影響を調べるために使われた。中には全長1,000フィートのトンネルや、直径40フィートのファンを備えたものもあった。…
現在の充電池の主流はリチウムイオンだが、ナトリウムイオン電池がより安価で優れた選択肢として登場しつつある。中国の自動車メーカーChanganは、量産EVとして初めてナトリウムイオン電池を搭載したモデルを発表。CATL製の新世代電池を搭載し、極寒の環境でも性能を発揮する。この技術はEVのコスト削減や電力網の安定化に貢献すると期待されている。
AI業界で哲学専攻の学生や卒業生への需要が急増している。論理的思考や倫理判断のスキルが、AIシステムの設計や倫理的問題の解決に不可欠とされ、OpenAIやDeepMindなどの企業が積極的に採用を進めている。本記事では、哲学とAIの意外な関係性や、実際の求人内容、教育現場の変化を紹介する。
Inkfieldは、ブラウザ上で動作する革新的な描画ツールです。このツールは、従来の描画ソフトとは異なるアプローチで、アーティストに新たな表現の可能性を提供します。Inkfieldの特徴は、その独自のインクシミュレーション技術にあり、紙の上に描くような自然な質感を再現します。また、リアルタイムのコラボレーション機能や、作品の共有が簡単に行える点も魅力です。この記事では、Inkfieldの主要な機…
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
Davitは、Appleシリコン搭載Mac向けの完全ネイティブなmacOSアプリで、Appleのコンテナプラットフォームを直感的に操作できます。Docker Desktop不要で、軽量VM上でLinuxコンテナを高速起動。ダッシュボードでのリソース監視、ワンクリックターミナル、コンテナの編集・再作成、イメージ・ボリューム・ネットワーク管理など、必要な機能をすべて備えつつ、余計なものは一切ありませ…
『アルカトラズ』や『ウォーク』など、サンフランシスコを舞台にしながらも実際はバンクーバーで撮影された作品は少なくない。その理由は、多様なロケ地、充実したインフラ、そして無制限の税制優遇にある。一方、サンフランシスコには年間3億3000万ドルの上限があり、プロデューサーからは制作価値とコストのバランスを考慮すべきとの声も上がる。
ランダム化比較試験（RCT）は医学における証拠のゴールドスタンダードとされるが、観察的証拠の効率性と美しさは過小評価されている。18世紀、John ArbuthnotとPierre-Simon Laplaceは出生記録の観察データから重要な現象を発見した。RCTは介入試験には理想的だが、倫理的・実用的制約から常に実施可能とは限らない。観察データは大規模で現実的な洞察を提供し、適切に解釈すればRC…
Shellularは、スマートフォンから開発環境全体を操作できるアプリです。Claude Code、Codex、Cursor CLI、OpenCodeなどのAIエージェントを、コードが存在するホストマシン上で実行し、ソファにいながら完全なUIで操作できます。本物のターミナル、トンネル経由のlocalhostアクセス、実ファイルへのアクセスを提供し、セッションは再接続後も状態を維持します。エンドツ…
2026年4月に失効したChat Control 1.0（チャット監視の一時的例外措置）を、EU理事会が前例のない手続きで復活させようとしている。欧州議会が3月に延長を否決したにもかかわらず、理事会は同一内容の新法を迅速手続きで提案。7月7日の緊急投票で可決されれば、メッセージの一斉スキャンが再び合法化される。一方、常設のChat Control 2.0は5回の三者協議を経ても合意に至らず、暗号…
Godox C100は、光学ファインダーの代わりに透明ディスプレイを採用した異色のコンパクトカメラ。バッテリー残量や露出設定などの情報を表示し、フレーム中央の露出計としても使える。写真と動画は1:1、3:2、4:3、16:9のアスペクト比で記録でき、microSDカード（最大128GB）に保存。USB-Cでスマートフォンに転送可能。Wi-FiとBluetoothはコスト削減のため省略。中国で19…
米国会計監査院（GAO）の新たな報告書は、エネルギー省（DOE）環境管理局（EM）が大規模プロジェクトの計画段階で特定の解決策を早期に固定化し、より安価な選択肢を排除していると指摘。GAOが審査した21件のミッションニード声明の大半が特定の解決策を特定しており、その後の計画でコスト削減の可能性を検討しなかった事例も確認された。また、法的・規制上の制約や請負業者の関与が選択肢を狭めている。GAOは…
MacSurf 1.68（コードネーム「macQJS」）は、PowerPC 版 Mac OS 9.1–9.2.2 向けのネイティブ Web ブラウザの新リリースです。最大の変更点は、JavaScript エンジンを Duktape（ES5）から QuickJS ベースの macQJS（ES2023）に置き換えたこと。これにより、最新の JavaScript をトランスパイルなしで実行でき、実サイ…
「QR Font」は、OpenTypeフォントの仕組みを利用して、ブラケットで囲まれたテキストをQRコードに変換する実験的なプロジェクトです。フォントはビルドスクリプトによって自動生成され、Reed-Solomon誤り訂正回路やQRモジュール配置などを実装しています。テキストは通常のフォントとして表示され、[hello]のように括弧で囲まれた部分だけがQRコードになります。最大53文字まで対応し…
Rowboatは、あなたの仕事をインデックス化して生きた知識グラフを構築し、その知識を活用してマシン上で作業を進めるオープンソースのデスクトップAIコワーカーです。メールクライアント、ノート、ブラウザ、コードモード、会議メモ、プロジェクト用ワークスペースなど、AIと協働するための作業面を内蔵しています。メールや会議、Slack、アシスタントとの会話を自動で整理し、バックリンク付きの知識グラフを生…
LLMは賢いが不器用で非決定的。Beagle SCMの開発者は、AnthropicのFable（Claude）が`build/`ディレクトリを誤ってコミットした経験から、LLMの欠点を補うために決定的なツールと形式的なワークフローで挟む「サンドイッチ」アプローチを提唱。さらに、ツールとプロセスを可変にし、LLMが頻繁に行う作業を自動化することで、LLM自身に自らの自動化を促す。JavaScrip…
本論文は、風船動物や風船多面体などの風船ひねり構造を、そのグラフ（辺骨格）としてモデル化し、数学的・アルゴリズム的な理論を構築する。具体的には、与えられたグラフを正確に作るための最小本数の風船を見つけるアルゴリズムや、より少ない本数で繰り返しや近道を許す場合の最小総長さを求めるアルゴリズムを提供する。一方で、等しい長さの風船で最適な構造が可能かどうかを判定する問題がNP完全であることを示す。さら…
私は数式を検索できる優れた検索エンジンを探しています。これまでにapproach0.xyz（オフライン）、onmath.com（無関係な結果を返す）、search.mathweb.org（放棄されたプロジェクト）を試しましたが、どれも満足のいくものではありません。他に良い選択肢はありますか？
ACMのブログで公開されたエッセイ「But Nothing Has Changed on Our Side」は、技術や社会が急速に変化する中で、ある組織や個人が「こちら側」で何も変わっていないと主張する状況を考察する。変化しないことの意義や、それがもたらす安心感とリスクを、具体例を交えて論じる。読者に、変化の本質と、変わらないことの価値について再考を促す内容。
lは、k4、q、qSQLを変更せずに実行できる新しいランタイムです。圧縮ベクトルを実行単位とし、SIMDや自動並列化により、データ移動を最小限に抑えます。ベンチマークでは、TSBSで最大49.18倍、db-benchmarkで総クエリ時間が3.16倍高速化しました。GPUやNPUへのオフロードにも対応し、コードの書き換えは不要です。
PostgreSQL on AWSは、23種類のEC2インスタンスタイプと複数のディスク構成を組み合わせた52の設定で、PostgreSQLのパフォーマンスとコストを徹底比較したベンチマークツールです。33,000 RPSの目標スループットを達成する最も安価な構成は、月額約$82のm8g.large（Graviton、gp3-baseline）で、1.4倍の余裕があります。コストパフォーマンスに…
Cloudflareが2026年7月に、AI企業がユーザーの質問に答えるためにページを取得する瞬間に課金する仕組みを発表した。この「回答時フェッチ」が新たな取引の対象になろうとしているが、ウェブサイトのrobots.txtはその存在をほとんど認識していない。上位1万サイトのrobots.txtを分析した結果、AI訓練クローラーをブロックするサイトのうち、回答時ボットへの言及がない割合はAnthr…
推論モデルが同じフレーズを繰り返し、コンテキストウィンドウを消費する「Doom Loop」は、特に小型の推論モデルで発生しやすい問題です。従来のrepetition_penaltyは対症療法に過ぎず、性能を劣化させる可能性があります。Liquid AIの新手法「Antidoom」は、ループの起点となるトークンを特定し、その位置でのみ好ましい代替トークンを学習するFTPO（Final Token…
クレイグ・モッド氏は、複数国の銀行口座、複数通貨、複数の収入源を抱える複雑な財務状況に悩まされてきた。既製の会計ソフトでは対応できず、Claude Codeを使って5日間で自作の会計ソフト「TaxBot2000」を構築。Python、Flask、SQLiteで作られたこのソフトは、複数通貨対応、CSV取り込み、税務申告書の自動分類など、彼のニーズに完璧に適合する。彼は「ソフトウェアはN=1のため…
Haloは、AIエージェントの実行記録を改ざん防止付きで記録するオープンソースのツールです。エージェントのツール呼び出しやモデル呼び出し、データアクセスなどのすべてのアクションを、追加専用のハッシュチェーンログに記録します。このログは誰でも検証でき、生成者を信頼することなく改ざんされていないことを確認できます。セキュリティ監査やコンプライアンス対応（SOC 2、EU AI法、OWASPなど）にお…
IEEEは、大規模言語モデル（LLM）を設計・保護・デプロイするための5コースからなるオンラインプログラム「Large Language Models Demystified」をIEEE Learning Networkで提供開始した。LLMがエンジニアの日常業務に浸透し、市場が2030年まで年33%成長する中、プロンプトを超えた深い理解が求められている。コースではTransformerアーキテ…
WhimFilesは、macOS向けの高速でネイティブなファイルマネージャーです。タイプ、日付、サイズによるリアルタイムフィルタリング、ファジー検索、デュアルペインブラウジング、ホバープレビューなど、Finderにはない強力な機能を備えています。アプリサイズはわずか9MBで、Electronを使わず軽量です。30日間の無料トライアルがあり、買い切りで利用できます。Apple Silicon搭載の…
2026年7月、PostgreSQL 16を2 vCPU / 4 GBの同一構成で比較したベンチマーク結果を公開。書き込み性能ではHostimがAWS RDSの約2.5倍、読み取り性能ではHetznerのセルフホストが最速となった。さらに、RDSの実質コストはストレージ、IOPS、バックアップ、データ転送、Multi-AZによる冗長化で表示価格の数倍に達することを指摘。各構成の再現手順と、高可用…
1997年、ボブ・ディランは鳥やコウモリの糞に生息する真菌ヒストプラズマ症に感染し、心臓が止まりかける重篤な状態に陥った。しかし、この危機は彼のキャリアの転機となる。1980年代に低迷し、引退も考えていたディランは、1987年のスイスでの公演中に神秘的な啓示を受け、以後「Never-Ending Tour」と称される過酷なツアーを続けながら、新たな音楽的表現を模索していた。そして、死の淵から生還…
PgDogはPostgresスケーリング用のプロキシで、既存のプーラー（PgBouncer、RDS Proxyなど）がもたらす「漏れる抽象化」を解消します。SET文やLISTEN/NOTIFYを透過的に処理し、アプリコードの変更なしでプールを利用可能に。RustのTokioによるマルチスレッド設計で高スループットを実現し、2M QPSで本番稼働中。オープンソースでどこにでもデプロイ可能です。
静的サイトジェネレーターAstroのメジャーアップデート「Astro 7.0」がリリースされた。今回の目玉は、.astroコンパイラのRustへの書き換えと、Markdown/MDX処理のRust製パイプライン「Sätteri」への移行。さらにVite 8とRolldownバンドラーの採用により、ベンチマークでビルド時間が15〜61%改善し、サイトによっては2倍以上高速化した。また、ルートキャッ…
タイ・バンコクの路上で52年間煮続けられている「永遠のスープ」を守る家族の物語。創業者は1969年に屋台を開き、以来スープの鍋は一度も空になることなく、毎日新しい材料が足されてきた。現在は3代目が受け継ぎ、観光客にも人気の名物となっている。この記事では、家族の歴史、スープのレシピ、そして伝統を守り続ける苦労と誇りを描く。
ポップスターのDua Lipaが、ポルトガルに禁書や検閲された書籍を集めた図書館を開設した。この取り組みは、表現の自由と知識へのアクセスを促進することを目的としており、世界中で高まる書籍の禁止運動に対抗するものだ。図書館は、検閲の歴史と影響を伝える教育スペースとしても機能する。
FacebookのFollyライブラリで使われている非対称スレッドフェンスの実装を、C++提案書P1202R0からLinuxカーネルのmembarrier()システムコールまで掘り下げて解説。高速パスではコンパイラバリアのみでCPUフェンスを省略し、低速パスでmembarrier()を呼ぶことで全体のパフォーマンスを向上させる仕組みを、Dekkerの例やメモリモデルの詳細とともに説明する。
Herdrは、Claude CodeやCodexなどのコーディングエージェントを1つのターミナルから実行・管理できるエージェント多重化ツールです。各エージェントは独自のPTYで実行され、サーバー上で永続化されるため、ラップトップを閉じてもセッションが維持され、SSH経由でスマホからでも再接続できます。tmuxやZellijのような多重化機能とエージェントの状態認識を組み合わせ、ブロック中・作業中…
Stephen Wolframがハノーファーにあるゴットフリート・ライプニッツのアーカイブを訪れ、彼の手書きノートを調査。数学の無限級数や微積分、独自の記号体系、さらには機械式計算機の設計図など、ライプニッツの先見性を示す発見を紹介。Wolframは、ライプニッツの知識の体系化への執念が、現代の計算論的思考と驚くほど共鳴すると論じる。
GitHubがオープンソースで公開したfrenoは、MySQLクラスタへの書き込みを協調的に制御する高可用性スロットラーサービスです。レプリケーション遅延が閾値を超えると、協調するクライアントの書き込みを抑制します。frenoはクライアントとバックエンドの間のプロキシではなく、ストアの状態を監視して「書き込み可」または「書き込み停止」を推奨します。Raftコンセンサスプロトコルにより高可用性を実…
ニューヨークのマンハッタン中心部で、旧ファイザー本社ビルを住宅に転用する大規模工事中の37階建てビルで、構造用梁の座屈が発見され、周辺の複数街区が避難した。消防と建物局が午前8時ごろに出動し、21階から26階が崩壊の危険にさらされている。ビルはまだ動き続けており、不安定な状態だ。負傷者はなく、作業員は全員避難した。周辺のホテルや学校を含む7棟が避難し、40丁目から45丁目、1番街から3番街が封鎖…
わずか8200万パラメータのKokoroモデルを使い、CPUだけで高品質な音声合成を実現する方法を紹介。Docker/PodmanでKokoro-FastAPIコンテナを起動すれば、OpenAI互換のTTS APIをローカルで利用可能。Intel Core i7-4770K（12年前のCPU）でも4.7秒で音声生成できるなど、その性能を実測データで示す。プライバシーを保ちながら、ローカルLLMと…
Docx-CLIは、AIエージェント（Claude、Codexなど）がWord文書（.docx）を読み取り、編集し、コメントを残すためのCLIツールです。フォーマットを壊さずに、トラックチェンジやコメントを追加でき、人間が後でWordで承認・拒否できます。XMLを直接操作するため、カスタムスタイルやテーマカラーも保持されます。ベンチマークでは、トークン消費を約2.2〜2.6倍削減し、処理時間も約…
アンソニー・ホブデイが、ソフトウェア品質の本質を定義し、その普遍的シグナルとソフトウェア特有の6つのシグナル（信頼性、速度、明確さ、有効性、効率性、美しさ）を提示。品質は組織のリーダーシップに依存し、スケールが大きくなると達成が困難になるという主張を、品質が不可能になる理由と逸話的証拠とともに論じる。また、品質の利点と、品質に関する一般的な信念を覆すためのリストも紹介する。