日刊ダイジェスト · Hacker News
· 112 ハッカーニュース
私は 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 に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。
Claude Code と OpenCode を同じモデル・同じマシン・同じタスクで比較し、API 境界で送受信される全トークンを計測。Claude Code はプロンプト到着前に約33,000トークン（システムプロンプト、ツールスキーマ、注入されたスキャフォールディング）を送信するのに対し、OpenCode は約7,000トークン。さらに、Claude Code はセッション中にプロンプトキャ…
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
xAIの公式コーディングCLI「Grok Build」（grok 0.2.93）が、ユーザーのファイル内容（.envの秘密情報を含む）を無修正でxAIに送信し、さらにエージェントが読んでいないファイルも含むリポジトリ全体をGitバンドルとしてアップロードしていることが、ワイヤーレベルの解析で明らかになった。秘密情報はモデルターン（/v1/responses）とセッションアーカイブ（/v1/sto…
ジョージ・ホッツが、AIへの愛と、それを取り巻く誇大広告への嫌悪を赤裸々に語る。彼はLLMや自動運転、動画生成モデル、コーディングエージェントへの興奮を語る一方で、"窓が閉じる"や"取り残される"といったネガティブな誇大広告と、AIが世界を支配するというSF的な脅しを批判。さらに、フロンティアラボの評価額は、AIが生み出す価値を彼らが独占できるという前提に基づいているが、実際にはAIはムーアの法…
ブラウザの指紋認証は通常、CanvasやWebGL、フォントなどに注目しますが、より静かな信号が数学関数の最後のビットに存在します。Chrome 148以降、V8はMath.tanhをプラットフォームのlibm（Linuxではglibc、macOSではlibsystem_m、WindowsではUCRT）で計算するようになり、OSごとに結果がわずかに異なります。この違いは1 ULP程度で、検出器は…
2000年代初頭、著者は大学のAI講義でLispを学びましたが、当時はその価値を理解できませんでした。四半世紀後、AIエージェントプラットフォームを構築する中で、Lispの再評価に至ります。エージェントループは再帰関数に過ぎず、Common Lispで約100行の完全なAIエージェントを実装しました。唯一のツールはevalで、モデルはLispコードを生成・実行して計算やWeb検索を実現します。メ…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
Massachusetts General Hospitalなどの研究チームが、Long COVID患者の心臓にSARS-CoV-2が持続感染し、複製している証拠を発見した。74例の剖検例を解析し、ウイルスの逆鎖RNAを検出した11例のうち82%が心臓関連のLong COVID（CLC）を呈していたのに対し、非検出例では37%だった。さらに、ウイルス陽性例では心臓の構造変化や炎症関連遺伝子の発現…
Long COVID患者の胃粘膜では、コリン作動性神経線維の密度が有意に低下していることが、生検組織の免疫組織化学的解析で明らかになった。症例対照研究で、Long COVID患者12人と対照8人の胃底と胃前庭部の生検を比較したところ、神経線維密度は胃底で2.1 vs 3.9 nm/µm³、胃前庭部で1.9 vs 3.9 nm/µm³と有意に減少。この減少は心拍変動（HRV）パラメータやNT-pr…
ブラジルのフォルタレザで、7歳から住み込みの家事労働者として働かされていた62歳の女性が、労働検察局によって救出された。彼女は55年間、同じ家族の3世代にわたって賃金なしで酷使され、読み書きも学べず、ほぼ隔離された状態で暮らしていた。家族は和解金としてアパートと現金を提供することで合意したが、検察は彼女が受け取るはずだった政府の貧困対策給付金を家族が着服していた疑いもあるとしている。専門家は、幼…
4000万本以上の論文を分析した新たな研究によると、AIを研究に活用する科学者は論文数が平均3倍、被引用数が約5倍に増え、リーダー的立場にも早く就く。しかし、その一方で研究テーマの多様性は減少し、同じデータ豊富な問題に集中する傾向がある。シカゴ大学のJames Evans氏らがNatureに発表したこの研究は、個人のキャリア向上と科学全体の進歩の間に緊張関係があることを示している。
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
Karl Zylinski による『Understanding the Odin Programming Language』は、Odin 言語の基本から高度な概念までを扱う書籍です。手動メモリ管理、パラメトリック多相、データ指向設計などを、単なる書き方ではなく「なぜそう動くのか」を解説。Odin の作者である gingerBill 氏も推薦する、低レベルプログラミングへの入門に最適な一冊です。
Neocitiesは、Webをもう一度楽しくすることを使命とする無料の静的サイトホスティングサービス。ブラウザ内のHTMLエディタ、ドラッグ＆ドロップでのファイルアップロード、サイトギャラリー、フォロー機能、コメント機能などを備える。広告なし、AIトレーニングのためのデータ販売なしを宣言し、サポーターアカウントと寄付で運営。独自のキャッシングCDNにより高速な配信を実現し、CLIやAPIなどの開…
数学者のTerence Taoが、LLMベースのコーディングエージェントを使って、1999年に作成したJavaアプレット群をJavaScriptへ移植し、再び動作可能にした。約24個のアプレットを数時間で移植し、バグは1件のみで、むしろ元のコードのバグを2件発見した。さらに、1999年に断念した特殊相対性理論の可視化ツールや、Gilbreath予想の可視化ツールも新規に作成。AI支援によるコーデ…
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
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…
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
著者は数年間ほぼ週1冊のペースで本を読んできました。その秘訣は「時間を作る」ことではなく、スマホやテレビなどの画面を見る時間を読書に置き換えることです。SNSやストリーミングアプリを削除し、常に本を持ち歩き、ちょっとした隙間時間に読む習慣を身につけました。電子書籍リーダーや複数の本を並行して読むこと、途中で読むのをやめることの重要性、目標設定やレビューを書くことの効果についても語ります。
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
2025年、米国人の約80%が製品やサービスの問題を経験し、その3分の2が「激怒」したという調査結果がある。企業の過剰請求、顧客サービスの質低下、粗悪な製品、請求ミスなど、消費者は「迷惑経済」に年間1650億ドルを失っている。トランプ政権による消費者保護規制の撤廃やCFPBの弱体化が状況を悪化させ、専門家は「消費者に対する戦争」と表現する。本記事は、この消費者怒りの原因を多角的に分析し、連邦政府…
crocは、任意の2台のコンピュータ間でファイルやフォルダを簡単かつ安全に転送できるコマンドラインツールです。エンドツーエンド暗号化（PAKE）を採用し、リレーサーバーを利用するため、ポートフォワーディングやローカルサーバーの設定は不要です。Windows、Linux、Macなどクロスプラットフォームに対応し、複数ファイルの転送、中断後の再開、IPv6ファースト、Torなどのプロキシ経由の転送も…
ディズニー映画『モアナ』の背景にある「長い休止期」の謎に、新たな気候データが光を当てる。ラピタ人は約3,000年前にサモアとトンガに到達したが、その後1,700年間は東方への航海が途絶えた。しかし西暦900年から1100年の間に、祖先ポリネシア人は突然、ハワイ、アオテアロア（ニュージーランド）、ラパ・ヌイ（イースター島）へと大規模な移住を開始した。著者らは沼地の堆積物中の水素同位体を分析し、西暦…
ポリオにより首から下が麻痺し、鉄の肺（人工呼吸器）に依存して生きたマーサ・リラードさんが、2026年6月26日にオクラホマ州で死去した。78歳だった。妹のシンディ・マクベイさんによると、死因は長引くCOVID-19の影響で、死亡診断書には慢性肺不全とポストポリオ症候群と記載された。リラードさんは5歳でポリオを発症し、鉄の肺で眠り、電話システムで高校に通い、インターネットで夫と出会うなど、障害を乗…
ベンチャー投資家が、紙に印刷されたプログラムが実行される物理コンピューティングシステム「Folk Computer」との出会いを綴る。天井のカメラとプロジェクターで部屋全体がコンピュータとなり、紙やマーカーでプログラミングできる。このシステムは、Alan Kay の Xerox PARC から Bret Victor の Dynamicland へと受け継がれた「役に立たない」研究の系譜にあり、…
アイルランド中央統計局（CSO）の最新データによると、データセンターの電力消費は2025年に10%増加し、国内の電力使用量の23%を占めるに至った。これは都市部の家庭用電力（18%）を上回り、農村部の家庭用電力（9%）の2倍以上に相当する。ダブリン周辺では新規接続の事実上のモラトリアムが敷かれていたにもかかわらず、消費は増え続けている。2025年12月に規制が緩和され、10MW超の接続には発電設…
OECDとボッコーニ大学が15カ国、3万人以上の従業員と6,000社以上の企業を対象に実施した調査によると、民間部門の労働者の5分の1から3分の1が競業避止条項に拘束されている。この条項は経営幹部や専門職だけでなく、低賃金労働者や若年層にも広がり、秘密情報にアクセスできない労働者にも適用されている。多くの条項は補償なしで、法的に執行できない可能性が高いが、その存在自体が労働者の移動を抑止し、賃金…
ドレクセル大学の研究者らは、粘性の高い単純な液体が、弾性をほとんど持たないにもかかわらず、応力下で脆性破壊することを発見しました。この発見は、液体の破壊には弾性が必要だという従来の理論を覆すものです。研究チームは、炭化水素ブレンドを高速で引き伸ばしたところ、毎秒500～1500メートルの速度で亀裂が伝播することを観察しました。この結果は、液体の破壊が弾性ではなく、分子間の凝集エネルギーに関係して…
Ilographのインタラクティブなシーケンス図が、yt-dlpの内部動作を詳細に解説しています。コマンドラインからの呼び出しから、抽出、ダウンロード、後処理までの一連の流れを、主要なクラスやモジュールの関係性とともに図解。YouTubeの署名アルゴリズムの難読化解除に使われるJSInterpreterや、抽象化されたネットワーク層など、yt-dlpの設計思想がよくわかる内容です。
文章を書いていると、適切な言葉や事実が思い浮かばずに手が止まることがあります。そんな時、ジャーナリズム由来の「TK（to come）」を使うと、流れを止めずに書き続けられます。TKは「後で埋める」という意味のプレースホルダーで、検索もしやすく、TODOリストとしても機能します。この記事では、TKの利点や、なぜ「TC」や「TODO」ではなく「TK」なのかを解説します。
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
LARPは、創業者同士が10,000ドルを送り合い、双方が収益を計上できるという風刺的なサービス。実際には現金は動かず、収益は架空のもの。このサイトは、NVIDIAとOpenAIの取引など、実在する循環取引を皮肉りながら、収益認識の曖昧さを浮き彫りにする。
BufがPython向けのProtocol Buffersライブラリ「protobuf-py」を発表。ゼロから開発され、proto2、proto3、editionsをカバーし、拡張機能やカスタムオプション、未知のフィールド、動的メッセージなどもサポート。Googleの公式パッケージとは異なり、メッセージをPythonオブジェクトとして保持し、生成コードは読みやすく型付けされている。Rustアクセ…
Anthropic は、Claude Fable 5 へのアクセスを全有料プランで7月19日まで延長し、Claude Code の週間レート制限も50%高い水準を維持すると発表しました。この延長により、ユーザーは引き続き最新モデルを利用でき、開発者はより高い利用枠で作業を進められます。
Goeteiaは、Schemeで書かれたSchemeコンパイラをWebAssembly GC上で動作させる自己ホスティング型のプログラミングツールです。コンパイラはブラウザ内で実行され、ページ自体がSchemeソースからライブでレンダリングされます。fixpointをCIで検証し、バイト単位で同一の出力を生成。fixnumはi31ref、ペアやレコードはGC構造体としてネイティブに表現され、Ja…
mcp-spec-checkは、リモートのMCPサーバーが2026-07-28の仕様リリースに対応しているかを、ブラックボックス方式で30秒で判定するCLIツールです。コードへのアクセスは不要で、`npx mcp-spec-check <url>`を実行するだけで、`ready for 2026-07-28: YES / NO / UNKNOWN`の判定と、詳細なチェック結果（discover、…
SLA Credit Watchは、主要クラウドベンダーのステータスページを監視し、サービスごとの月間ダウンタイム台帳を公開しています。障害がSLAクレジットの基準を超えると、契約条件に基づくクレジット額と申請期限を表示します。現在はTwilio、AWS、Cloudflare、Google Cloud、Microsoft 365、Azure、Slack、Zoomなどを追跡しており、メール通知にも…
米国教育省は今月、大学の卒業生が大学に行かなかった労働者よりも多く稼いでいない場合、連邦学生ローンを打ち切る新しいアカウンタビリティテストを導入した。この「do no harm」テストは、学部プログラムの卒業生が学士号のみの労働者より稼げない場合も対象となる。教育省の推定では、80万人以上の学生が不合格となる可能性のあるプログラムに在籍しており、その半数は営利学校に通っている。しかし、芸術分野の…
M3 Ultra搭載Mac StudioでQwen 3.5 122Bを毎日使えるようにするため、著者は3つのバグを修正しました。システムプロンプトのタイムスタンプがKVキャッシュの一致を妨げ、割り込み時にストリーミング応答が履歴に保存されず、チェックポイントストアに一致しないジャンク書き込みが蓄積して有効なチェックポイントを追い出していました。修正後、同じ会話でターンごとのプリフィルが数分から1…
1993年、ILMのCGIが『ジュラシック・パーク』でストップモーションの巨匠Phil Tippettを「絶滅」させた。しかしTippettは恐竜スーパーバイザーとして留まり、DID装置を開発してアカデミー賞を受賞した。この逸話から、著者はLLM時代のプログラマーの不安に共感し、「進化」を説く。LLMの仕組みを学び、コード生成を活用し、コードレビューやテストの基準を高め、小さなチームで大きな成果…
このページは、ネイティブバイナリから配信されています。バイナリサイズは190,207バイト、リンクされたライブラリはなし、ランタイムもVMも不要です。AOTコンパイルされるシステム言語がx86-64に直接変換され、ワーカープロセスが複数起動してカーネルが接続を振り分けます。メモリ管理は非移動型コレクタで、フリーリストによりメモリを再利用するため、ヒープの高水位線は上昇し続けることはありません。こ…
セキュリティ研究者のmrbruh氏が、Motorola MR2600ルーターに認証なしでリモートコード実行を可能にする脆弱性を発見しました。ファームウェアのアップロードと検証・書き込みの両段階で認証チェックが不十分で、細工したファームウェアをアップロードしてルーターを乗っ取ることができます。この脆弱性はLAN内の攻撃者だけでなく、リモート管理が有効な場合はインターネット経由でも悪用可能で、Sho…
Mindwalkは、Claude CodeやCodexのセッションログを、コードベースの3Dマップ上で再生する可視化ツールです。リポジトリを夜の地図として描き、エージェントが検索・閲覧・編集した箇所を光で表現します。セッション中のエージェントの理解や行動パターンを一目で把握でき、レビューやデバッグに役立ちます。完全ローカルで動作し、データが外部に漏れることはありません。Go製の単一バイナリで、イ…
PCMagの調査によると、アメリカ人の55%がソーシャルメディアへの投稿を減らすか、あるいは完全にやめていることが分かった。Incogniが実施した調査では、回答者の過半数が「オンラインでの存在感を維持することは仕事のように感じる」と回答し、特にGen Zの60%がそのように感じている。アルゴリズムによる関連性の低いコンテンツや広告の氾濫が、友人や家族からの更新を埋もれさせ、ソーシャルメディアの…
9frontの標準描画ツールpaint(1)を使ったデジタルアートの実践ガイド。レイヤーや切り貼り、筆圧感知がなく、描いたものがそのまま作品になるという制約が、かえって紙とインクによるアナログ画材に最も近い描画体験を生む。マウス、指、ペンタブレット、キーボードなど多様な入力方法や、擬似レイヤー、画像変換、ページレイアウトまで、実践的なテクニックを網羅する。
純Chez Schemeで書かれたWebサーバ「Igropyr」は、Erlangスタイルのアクターモデルとlibuvイベントループを採用。クラッシュしたワーカーは即座に置き換えられ、タスクは最大3回再試行。30秒以上固まったワーカーは強制終了され、プリエンプティブスケジューリングによりサーバ全体がフリーズすることはない。ハンドラやルートを稼働中のサーバにホットスワップでき、ダウンタイムなしの運用…
2003年設立のGINA Galleryは、ナイーブアート専門の国際ギャラリーとして世界最大規模を誇ります。2フロアにわたり、30カ国以上・100人以上のアーティストの作品を展示。文化や伝統の違いによる多様な表現を鑑賞でき、入場は無料です。
Sätteriは、Rustで書かれたMarkdown処理パイプラインで、JavaScriptエコシステム向けに設計されています。CommonMark、GFM、MDXなど複数の方言をサポートし、テーブルや数式などの拡張機能を提供します。このツールは、MarkdownをHTMLに変換するだけでなく、高速で信頼性の高い処理を実現します。
認知症、特にアルツハイマー病は、自己を奪い、愛する人々を苦しめる恐ろしい疾患です。しかし、単純なワクチン接種が認知症リスクを大幅に低減する可能性が示されています。The Economistのリーダー記事は、この有望な予防策の科学的根拠と、公衆衛生への影響を考察します。
Shirei は、Go で書かれた実用的なイミディエイトモードの GUI フレームワークです。Flexbox モデルを採用し、Windows、macOS、Linux（X11/Wayland）をネイティブサポート。ソフトウェアレンダラーとテキスト入力、IME 対応を備え、Go のシンプルさでデスクトップアプリを構築できます。
2007年、OpenBSD創設者のTheo de Raadtが、メーリングリスト上でx86仮想化のセキュリティ上の利点を主張する投稿に対し、痛烈な反論を展開。x86仮想化は「バグだらけの新たなカーネルを、ページ保護すらおぼつかないx86アーキテクチャの上に載せる」ものに過ぎず、OSやアプリケーションでセキュリティホールを量産してきた開発者が、仮想化レイヤーを突然安全に書けるはずがないと断言。その…
Nectarは、JavaScriptを排除し、WebAssemblyにコンパイルされる新しいWebフレームワークです。Rustに似た言語で、コンポーネント、状態管理、レンダリングをすべてWASMで実行します。ランタイムはわずか10KBで、依存関係はゼロ。npmやnode_modulesは不要で、単一のRustバイナリがコンパイル、フォーマット、テスト、開発サーバー、LSP、パッケージ管理、SSR…
本リストは、1975年の『The Long Tomorrow』から1990年代の『GUNNM』まで、西洋コミック、日本の漫画、グラフィックノベルを出版順に紹介。『AKIRA』や『ゴースト・イン・ザ・シェル』といった有名作から、世界初のデジタルコミック『Shatter』、『Wild Palms』のような知られざる佳作まで、各作品のテーマ、あらすじ、サイバーパンク史における位置づけを簡潔に解説する。
Sqlsureは、AIが生成したSQLの意味的な正しさを、クエリ実行前に決定的に検証するオープンソースのセマンティックインスペクターです。ファンアウトによる二重計上、加算性違反、誤った結合キー、ポリシー違反などを、0.1ミリ秒で検出します。dbtのテスト定義やデータベースのカタログからルールブックを自動生成し、LLMに依存しないため、同じ入力には常に同じ判定を返します。CIゲート、MCPサーバー…
StatCounter Global Statsの2026年6月のデータによると、北米のデスクトップブラウザ市場でFirefoxが12.58%のシェアを獲得し、Edge（12.19%）を僅差で上回って2位を維持。Chromeは60.6%で首位を堅持し、Safari（9.56%）、Brave（2.46%）、Opera（1.39%）が続く。前年同月比の推移も確認できる。
1994年、Naughty Dogは2人だけの会社だった。アンディ・ギャビンとジェイソン・ルービンは、3D時代の幕開けにキャラクターアクションゲームを3D化するというアイデアを思いつく。彼らはそれを「ソニックの尻」ゲームと名付けた。プレイヤーは常にキャラクターの後ろ姿を見ることになるからだ。この問題を解決するため、彼らは画面に向かって走るレベルや、2Dレベル、そして伝説の「ボルダーレベル」を考案…
メリーランド大学の古生物学講義ノートから、形態測定学の基礎を解説。伝統的な距離測定からランドマーク法、主成分分析（PCA）、判別関数分析まで、形を定量的に扱う手法を紹介。系統樹を考慮した統計分析の重要性や、ダーシー・トンプソンの変形グリッドの歴史にも触れ、機能形態学との関連も考察する。
Apple が iOS 27 と Safari 27 のリリースで品質向上を強調する一方、Web Platform Tests や webstatus.dev のデータは、WebKit が Chrome や Firefox に比べて一貫して遅れを取っていることを示しています。特に、Temporal API のような長年開発されてきた機能の未実装や、単一エンジンでのテスト失敗数の多さが顕著です。A…
Susan Rigetti氏が2015年に公開し、60万人以上に読まれた独学向け物理学カリキュラムの改訂版が2021年に公開された。初版の内容を基に、教科書の版を更新し、学部レベルの選択科目と大学院レベルの選択科目を追加。著者は、大学で正式に物理学を学べない人々への支援を目的としており、独学で物理学を学ぶことの喜びを強調している。
長年、ドック接続したラップトップがスリープから復帰しない問題に悩まされてきた著者。Thunderbolt 4の登場で解決が約束されたものの、CalDigit TS4でも改善は限定的でした。しかし、2025年にモニターをASUS ROG Swift PG27UCDMに交換して以来、問題は完全に解消。原因は不明ながら、同じ悩みを持つ人に向けて具体的な構成を共有しています。
細胞は環境のシグナルに応答して計算を行うが、その計算にはエネルギーが必要であることが理論的に示されている。本論文では、Berg-Purcell戦略のノイズ版を実装する単純な2成分ネットワークを用いて、リガンド濃度の推定にかかるエネルギーコストを明示的に計算する。外部濃度の学習には詳細釣り合いの破れとエネルギー消費が必須であり、学習量が増えるほどエネルギー需要も増大する。この結果は、細菌の胞子発芽…
TCP/IPプロトコルの共同開発者として知られるヴィントン・サーフ氏が、Googleのチーフ・インターネット・エバンジェリストを退任する。83歳の同氏は、2005年からGoogleでこの役職を務めてきた。退任は、オープンソースプロジェクトの持続可能性をテーマにしたパネルディスカッションで発表され、その場で拍手が送られた。サーフ氏は、AIエージェントの台頭により、標準化されたプロトコルへの回帰が必…
フィボナッチ数列で知られるレオナルド・ピサノ（Fibonacci）の本当の功績は、ローマ数字に代わるヒンドゥー＝アラビア数字をヨーロッパに広めたことだ。1202年に著した『算盤の書』は、商業計算の実用書としてイタリアの商人に支持され、後の「アバクス書」の源流となった。しかし、キース・デブリン著『Finding Fibonacci』が主張する「失われた書の写し」説には、歴史学者の間で異論もある。本…
Microsoft、Amazon、Googleの3社の二酸化炭素排出量は、過去1年で約5分の1増加し、2026年3月期には合計1億1900万トン（CO2換算）に達しました。これはフランスの排出量の約3分の1に相当します。主因はAI関連のデータセンター建設の急増で、各社は依然としてネットゼロ目標を掲げていますが、専門家は「クラウドが環境に優しい」という主張はマーケティング戦略だと指摘します。
AIが研究レベルの数学を生み出し始める一方、米国では数学を理解できる人材を育成するパイプラインが弱体化している。本稿は、この二つの進展が重なることで戦略的誤りが生じると論じる。数学的能力（証明を検証し、解釈し、挑戦する訓練された能力）は、定理を生み出す副産物ではなく、世代を超えて構築されるインフラであり、必要に応じて再構成できるものではない。2026年5月にAIがエルデシュ予想の一つを反証した事…
ソフトウェアエンジニアは、エージェントが成功するためのインフラを整え、プロンプトや自動評価でエージェントを軌道に乗せる「ソフトウェア工場」を構築する役割を担う。しかし、コードを書くことは依然として重要だ。英語は曖昧で、実行環境で直接考えることで、注意深く理解し、アーキテクチャの脆弱性を体験できる。エージェントはコンパイラではなく、新入社員のようなもの。人間がコードを書き、所有権を持つことで、思考…
EF Core 11（プレビュー3以降）では、AsSplitQuery使用時にコレクションのクエリから参照ナビゲーションのJOINを自動的に除去する改善が入りました。これにより、不要なJOINやORDER BY列が削減され、クエリのパフォーマンスが向上します。本記事では、変更の背景、具体的なSQLの変化、.NET 10と.NET 11でのベンチマーク結果（実行時間が約9%短縮、メモリ割り当てが約…
Handsumは、低品質画像プレースホルダー（LQIP）のための新しいカスタム画像フォーマットです。BlurhashやThumbhashと同様に、非常に小さなファイルサイズで画像のプレビューを提供し、ページの読み込みを高速化します。Handsumの特徴は、品質設定に応じてファイルサイズが固定されることです（最低品質で48バイト、最高品質で147バイト）。これにより、データベースで固定長カラムを使…
Google Researchは、米国の10都市で6か月間にわたり、Google Mapsのルーティングアルゴリズムを一部変更し、混雑する道路を避ける代替ルートを推奨する実験を行いました。対象となったのは全トリップの2%未満で、その結果、対象区間の走行速度が中央値で約2%向上し、燃料消費量が0.5〜1.0%減少しました。これは都市全体で見ると、年間数千トンのCO2排出削減につながる可能性がありま…
Canopiiが2026年6月に公開MCPサーバー11,524件をスキャンし、セキュリティ評価を実施。その結果、830件がDまたはF評価で、GitHubスター1,000以上の人気サーバーはハイリスクの割合が5倍以上。232件にコード実行やコマンドインジェクションなどの重大な脆弱性を確認。184件が公開後にツール定義を変更する「ラグプル」を検出。認証宣言サーバーの31%が実際には認証を強制していな…
フェロー諸島に、世界初の海底ラウンドアバウトが登場した。全長11.2kmの海底トンネル網「Eysturoyartunnil」は、首都トースハウンと第二の島エストゥロイを結び、移動時間を1時間以上から15分に短縮。その中心、海面下72メートルに位置するラウンドアバウトは、爆破工事で残された天然の岩柱を、フェロー人アーティストTróndur Paturssonがライトと彫刻で装飾。80メートルのスチ…
Ghostel は、Ghostty の VT エンジンである libghostty-vt を搭載した Emacs 用ターミナルエミュレータです。Zig で書かれたネイティブモジュールが端末状態・描画・ローカル PTY I/O を処理し、Elisp がキーマップやバッファ、リモートプロセス統合を担当します。libvterm ベースの emacs-libvterm に触発されつつ、Kitty キーボ…
Xboxの開発者であるMamoniem氏が、自作のVulkanベースのゲームエンジン「Mirage」を初代Xboxに移植した経験を語る。C++17からC++98への書き換え、Visual Studio 2003やCMake 1.4.xなどの古いツールチェーンへの対応、Sponzaシーンのフォーマット変換（OBJ→.x→.xbg）など、現代の開発環境とはかけ離れた制約の中での挑戦を詳細に記す。さら…
AIプロジェクトで知られる著者が、参考文献管理ツールを次々と試した結果、すべてがBibTeXの単なるフロントエンドであることに気づく。そこでZoteroやTellicoを捨て、単一のBibTeXファイルを直接編集・grepするという最小構成の方法に切り替え、2年間使い続けている。キーワードや注記フィールドを活用した整理術、UNIX的な連携、プレーンテキストならではの移植性など、その実践と利点を紹…
Skillscriptは、エージェントが自分自身をコードとして書き下すための、宣言型でサンドボックス化された言語です。エージェントのルーチン作業を、安価で実行可能なスキルとして結晶化し、フロンティア推論の無駄を削減します。Turing完全性を制限することで安全性を言語レベルで保証し、コネクタを介してツールやモデルを調整します。コンパイルされたスキルは、AnthropicやOpenAIのスキルと互…
Kurvengefahrは、ブラウザ上で動作するペンプロッタ専用のCAD/CAMツールです。Gコードを直接生成できるため、デザインからプロッタでの描画までをシームレスに実行できます。グリッド表示や要素の編集、複数選択などの直感的な操作に対応し、技術者からアーティストまで幅広いユーザーに利用価値があります。インストール不要で、すぐにクリエイティブなプロジェクトを始められます。
リッチ・サットンが提唱する「1ステップの罠」とは、AIエージェントの予測をすべて1ステップの予測に頼り、長期的な予測はそれを反復して生成できると考える誤りです。一見魅力的ですが、1ステップの予測が不完全だと誤差が累積し、長期的な予測は破綻します。また、確率的な環境では計算量が指数関数的に増大し、非現実的です。サットンは、この罠を避けるために、オプションやGVF（一般価値関数）を用いた時間的抽象化…
Ploy は本番 AI エージェントを GPT-5.6 Sol に移行し、完了までの時間が 2.2 倍速く、コストが 27% 削減されたと報告。ただし、移行は単純なモデル交換ではなく、評価ハーネスの修正、ツールスキーマの変換、プロンプトキャッシュの再設計、推論リプレイの変更など、プロバイダ固有の動作に対応するための複数のステップが必要だった。特に、GPT-5.6 が全 25 個のツールパラメータ…
1628年、スウェーデン王室の誇りとして進水した戦艦バサ号は、わずか数分で沈没した。この歴史的な失敗から、現代のプロジェクト管理やリーダーシップに通じる教訓を引き出す。過度な野心、不十分なテスト、コミュニケーション不足がもたらす悲劇を、バサ号の物語を通して考察する。
ソフトウェアエンジニアは、AIエージェントが効果的に働くための「ソフトウェア工場」を構築する役割を担う。しかし、コードを書くことは依然として重要だ。コードを書くことで、システムのアーキテクチャを深く理解し、注意を払うことができる。エージェントはコンパイラではなく、新しく入ったインターンに似ており、人間の思考と判断力が不可欠である。コードを書くことは、考えるためのツールであり、実行可能なステップで…
エッセイストで『The Republic of Letters』共同創設者のSam Kahnが、11歳で読書のピークを迎えてから、思春期、仕事、恋愛、そしてソーシャルメディアによって読書習慣が衰退していった過程を振り返る。『The Social Dilemma』を見て自身のスマホ依存を自覚した彼は、かつて呼吸のように自然だった読書を再び身につけるための苦闘を語る。
MiniMax Sparse Attention (MSA) を効率的に訓練するための、世界初の高性能オープンソースカーネル「Flash-MSA」が登場。HopperおよびBlackwell GPU向けにCuTeDSLで実装され、ブロック単位のスパーシティ、GQAベースのメインアテンション、プロキシヘッドのグループ特化など、MSAの特徴を活かした設計。プロキシとメインのアテンションを融合したバッ…
ソフトウェアアーキテクチャの研究では、コード行からより粗い粒度のアーキテクチャ要素とその相互接続構造へと焦点が移行しています。アーキテクチャ記述言語（ADL）は、アーキテクチャベースの開発を支援するモデリング表記法として提案されてきましたが、ADLとは何か、どのような側面をモデル化すべきか、どのADLが特定の問題に最適かについて、研究コミュニティ内でコンセンサスはほとんどありません。本論文では、…
1973年、イヴァン・イリイチは「エネルギーと公平性」で、エネルギー消費が閾値を超えると不平等が拡大すると論じた。この考えをコンピューティングに応用し、著者は「自転車のようなコンピュータ」の可能性を探る。英国の電動アシスト自転車（E-Bike）が法的に時速15マイルに制限されていることが、むしろ社会的進歩をもたらす例だと指摘。一方、コンピュータにはそのような制限がなく、大企業による支配が進む原因…
地震科学のための小型GPTを、空のフォルダから会話可能なモデルまで、全LLMライフサイクルをブロックごとに解説する教育用リポジトリ。クロール、クリーニング、トークナイズ、モデル構築、訓練、推論を2枚のNVIDIA A30で実施。コーパスは地震学テキストと一般テキストを約1:2.4で混合し、113Mパラメータのモデルが1日で学習ループを完結できる。4096トークンのコンテキスト長が性能を約11%向…
Better Prayerは、コンピュータで作業中に礼拝（サラート）を先延ばしにしてしまう問題を解決する無料アプリ。礼拝時刻の10分前と時刻になると通知し、オプションで画面をロックして、実際に礼拝を行うまでアプリを使用不能にする。AIがシンクの写真を解析してウドゥ（浄礼）を確認する仕組みも備える。開発者のAdam氏は、自身が机で礼拝を逃し続けた経験からこのアプリを開発したと語る。広告なし、サブス…
米国とイランの和平合意が崩壊し、米軍がイランの核施設を攻撃したことで、核戦争への懸念が再燃しています。そんな中、1979年に初版が発行され、2022年にロシアのウクライナ侵攻に合わせて更新されたCresson Kearny著『Nuclear War Survival Skills』が再注目されています。高価な装備や軍事訓練を必要とせず、身近な材料で核攻撃を生き延びる方法を説いたこのマニュアルは、…
Kode Dotは、ESP32-P4とESP32-C5のデュアルMCU、2.13インチAMOLEDタッチスクリーン、Wi-Fi、Bluetooth LE、NFC、IR、9軸IMU、microSDスロット、スピーカー、マイク、ハプティックモーター、そして16本のプログラム可能なGPIOピンを備えたポケットサイズのデバイスです。Arduino、Espressif、PlatformIOに対応し、組み立…
パーティションテーブルの利点であるプルーニングは、通常パーティションキーでの絞り込み時にのみ機能します。しかし、データのパターンを利用し、チェック制約を活用することで、非パーティションキー列でのフィルタリングでもプルーニングを実現できます。本記事では、イベントテーブルを例に、セッションIDとタイムスタンプの相関関係を利用して、セッションIDによるクエリでパーティションを効率的に除外する方法を解説…
テキストアートに特化したツールを約80種類、カテゴリ別にまとめたリストが公開された。ANSI・ASCIIアートの定番エディタ（PabloDraw、Moebius、IcyDraw）から、PETSCIIエディタ、ASCIIダイアグラム作成ツール、テレテキストエディタ、Unicodeアート、実験的なアニメーションツールまで、プラットフォーム（Windows/Mac/Linux/Web）や対象ユーザー（…
著者は、虐待的で薬物依存だった父の死を受け止めようと、16回の試みを通じて弔辞を書こうとする。父はホテルの一室で孤独に亡くなり、著者は彼を愛し、憎み、そして見知らぬ人として悼むことの矛盾に直面する。家族の歴史、父の暴力、そして著者自身の複雑な感情を率直に綴る。
数論の中心的な目標の一つは、多項式の整数解を求めること、すなわちディオファントス方程式の研究です。本記事では、まず簡単な例（$Ax=B$や$Ax+By=C$）から始め、割り算、余り、モジュラー算術、ユークリッドの互除法、素因数分解の一意性、中国剰余定理といった整数の隠れた構造を紹介します。そして、これらの方程式がラングランズ・プログラムへとつながる、より深遠な構造の発見にいかに寄与したかを示しま…
「relm」（旧称R-ebirth）は、RをAI・データサイエンス研究の第一級の環境にすることを目指すパッケージ。Rust製のコアにパッチ適用済みのllama.cppを埋め込み、ローカルLLMをRのbaseオブジェクトとして扱えるようにする。さらに、トレース機能による解釈可能性を備え、モデルの内部動作を分析可能。現在はv0.1.0がリリースされ、CRANへの提出も視野に入れている。
「Tiny Emulators」は、Amstrad CPC、ZX Spectrum、Commodore C64、VIC-20、KC85など、数々の8ビットコンピュータをブラウザ上で動作させるエミュレータのコレクションです。Visual 6502 RemixやVisual Z80 Remixによるチップレベルの可視化に加え、各マシンで動くデモやゲーム（Boulderdash、Bomb Jack、P…
JAX の組み込みの通貨は配列であり、変換される関数は配列を入力として受け取り配列を出力します。しかし、集約データを扱う場合、通常は pytree を使用しますが、透明性が望ましくない場合があります。hijax 型（または「hi 型」）は、独自のアイデンティティを持つ新しい型を定義する方法を提供します。このドキュメントでは、量子化配列型を例に、HiType のサブクラス化、値クラスの登録、hij…
Adaptive Recallは、AIアシスタントに永続的な記憶を提供する、特許出願中のメモリシステムです。従来のメモリAPIとは異なり、4つの検索戦略（ベクトル類似度、時間的近接性、全文キーワード、知識グラフ探索）を並列実行し、ACT-R認知モデルに基づくスコアリングで結果をランキングします。システムは使用パターンから学習し、記憶の信頼度を進化させ、自己検証によって検索品質を自動的に向上させま…
Codebase Postersは、任意のGitリポジトリを美しい生成アートに変換するコマンドラインツールです。`npx codebase-posters`を実行するだけで、ブラウザ上に18種類のポスターがライブで描画されます。コミット履歴から、追加・削除の嵐、作業カレンダー、プロジェクトの鼓動、深夜2時のコンステレーションなど、リポジトリのユニークな形を浮かび上がらせます。すべてローカルで動作…
このエッセイは、Sean Goedecke の「Seeing like a Software Company」と Jimmy Miller の応答を出発点に、ソフトウェア企業における「非正規の闇」、つまりバックチャネルや暗黙知が、単なる回避策ではなく、組織の真の基盤であると主張します。著者はこれを、Kropotkin や Emma Goldman、Ursula K. Le Guin の『所有せざ…
「アバンダンス」の主張を実データで検証した記録。オースティンはサンフランシスコの8倍の住宅許可を出し、規制緩和の効果を裏付ける。しかし、ウィーンとロンドンの比較では、建設率がほぼ同じでも家賃に3倍の差があり、公共・非営利住宅という並行システムが鍵だと判明。単純な「パイプ掃除」論では説明できない複雑さを浮き彫りにする。
Quantum-Mesh-QEC v2は、超伝導量子ビットグリッド向けの分散型フォールトトレラント量子制御インフラストラクチャです。従来の古典的なデコードレイテンシの壁を回避するため、3層のハードウェア融合制御ループを採用し、FPGA/ASIC上でサブマイクロ秒の安定化抽出を実現します。C99のブランチレスレジスタ操作とJAX/XLAの勾配絶縁ゲートにより、ゼロコピーで高効率なエラー訂正を可能に…
著者は、AIエージェント（Claude Code、Sonnet 4.6）にファイル圧縮アルゴリズムの改善を自律的に反復させる実験を行った。目的は、明確な評価指標と制約があれば、エージェントが大規模なソフトウェア開発タスクをほぼ監視なしで遂行できるかどうかを検証すること。10回の反復で、エージェントはLZSSをベースにしたカスタムアルゴリズムを開発し、既存の圧縮ツールと同等以上の圧縮率を達成した。…
大規模言語モデル（LLM）がどのように推論するのか、その内部メカニズムの解明に挑む研究が進んでいる。本記事では、LLMの推論プロセスを理解するための最新のアプローチと、その限界について解説する。モデルの内部表現を分析する手法や、推論の透明性を高める試みを紹介し、LLMの「思考」を人間が理解できる可能性を探る。
デイル・エル＝メディナの職人たちは、王家の谷の墓の建設と装飾を担う特権的な労働者でしたが、紀元前1158年、ラムセス3世の治世29年に、賃金である穀物の支給が滞ったため、史上初の集団労働行動を起こしました。彼らはヴィジエ（宰相）に直訴し、神殿に座り込み、「飢えと渇き」を訴えました。このストライキは、ファラオの権威の衰退と、アメン神官やテーベ市長といった地域勢力の台頭を示すものでした。