日刊ダイジェスト · Hacker News
· 85 ハッカーニュース
Slackやレビュー、WhatsAppで「Claudeがこう言ってた」とAIの出力を丸ごと貼り付ける人が増えている。しかし、これは価値を生まない。AIの出力は冗長で、もっともらしい誤りを含み、専門用語だらけだ。AIを使うなら、その出力を読んで理解し、検証し、自分の言葉で書くべきだ。特にコードレビューでは、実装者がClaude Codeに任せきりで、レビュアーが実質的な実装を担う「meat pro…
- ▲ 1319LLMは専門知識に報いる
かつて技術のギャップを埋めるには同僚やインターネットに頼るしかなかったが、今やLLMは誰もがゼネラリストになれるようにした。しかし、LLMから最高の成果を引き出すには、プロンプトの技術ではなく、その分野の専門知識が最も重要だと著者は主張する。例として、数学者テレンス・タオがChatGPTとヤコビ予想の反例について対話し、専門知識でモデルを導く様子を挙げる。コードベースへの深い理解があれば、LLM…
Qwen3.8-Maxは、Qwenファミリーで最も高性能なモデルで、2.4兆パラメータを誇ります。コード生成、業務、研究、長期的なタスクで包括的な改善を実現し、複雑なタスクをエンドツーエンドで自律的に完了できます。10日以上の自律コーディング、研究論文の再現と改善、24時間のコンテストで526の人間チームの87%を上回るなど、その能力を実証しました。また、数百の高価値職業における実務能力の広さも…
JFrogの調査により、新規GitHubリポジトリから公開されたSQLiteの脆弱性アドバイザリ群が、AI生成による偽物である可能性が高いことが判明。NVDやCISAがCriticalと評価したが、検証の結果、引用されたコードは存在せず、PoCも再現しない。SQLite公式のアドバイザリページにも掲載されておらず、GPTZeroによるAI生成検出でも高い確率でAI生成と判定された。この事件は、脆…
- ▲ 705開発ツールはオープンソースであるべきだ
エージェントがソースコードを直接編集し、アップストリームの変更を自動で追跡する時代が到来。これにより、ソフトウェアの個人向けカスタマイズのコストが劇的に低下し、プラグインや設定ファイルは不要になる。著者は自身のエージェントShelleyにミートツールを組み込んだ事例を紹介し、オープンソースのエージェントは自由にパーソナライズできるが、Claude Codeのようなクローズドソースのエージェントは…
OpenAIは、次期モデル「Astra」の内部版を用いて、数学と理論計算機科学における10件の未解決問題を解決したと発表した。高次元球充填、符号理論、群論、量子複雑性、格子暗号など多岐にわたる。各証明はLeanで形式化され、人間が検証した。総計算コストは約2000ドル相当。
トルコ出身のエンジニアが、2017年のインターンシップでハンブルクに渡り、その後の就職・定住を決めた体験を綴る。ドイツ人に対する固定観念が覆され、職場や社会に根付く信頼、フラットな人間関係、規則の合理性に魅了されていく。一方で、自分は英語が通じる大企業で恵まれたスタートを切ったと正直に認め、移民一般の困難とは異なる可能性にも言及する。
著者は個人プロジェクトでLLMコーディングアシスタントを使うが、生成されたコードをそのまま受け入れると認知的負債が溜まると感じている。そこで、アシスタントにチャットで提案を表示させ、それを手でタイプしてコードベースに取り込むという非効率な方法を実践している。この方法により、コードの理解が深まり、幻覚や設計ミスを検出しやすくなり、コードベースの空間的マップを構築できる。速度は2倍程度に留まるが、理…
Jane Streetが開発したBonsaiは、OCamlで高性能なリアクティブWebアプリを構築するためのUIライブラリです。Elmに触発され、純粋関数型の状態機械としてコンポーネントを実装し、インクリメンタル計算によって必要な値だけを再計算します。状態管理をコンポーネント階層から分離し、タブUIなどの複雑な状態管理を自動化。バックエンドとフロントエンドで同じ言語と型を使えるため、コードの可読…
ドイツでは2026年上半期に風力と太陽光による発電量が初めて化石燃料を上回りました。再生可能エネルギーのシェアは57%に達し、石炭と天然ガスを合わせたシェアを上回りました。これはドイツのエネルギー転換における重要な節目であり、欧州最大の経済国での脱炭素化の加速を示しています。
Isopolisは、サンフランシスコを等角投影のピクセルアートで表現したインタラクティブな地図です。OpenStreetMapのデータとAI生成画像を組み合わせ、街のランドマークや地区を探索できます。ガイド付きツアー、コミュニティによる場所の追加、ラジオ機能など、ユニークな機能を備えています。テック企業の本拠地であるSFの雰囲気を、遊び心あふれる視点で体験できます。
カーネギーメロン大学の教授Andy Pavlo氏がClickHouseに加わり、データベース研究組織「ClickHouse Labs」を設立・主導します。同氏は2016年のオープンソース公開時からClickHouseを追跡し、その先進性を評価してきました。ClickHouse Labsはエンジニアリングチームと密接に連携し、研究と実装の橋渡しを目指します。また、PostgreSQLチームとも協力…
MiniMax H3がオープンウェイトでリリースされ、ComfyUIが即日対応。テキスト・画像・動画・音声を入力として、最大2K・15秒の動画をステレオ音声付きで生成できる。マルチモーダルな文脈理解やモーション転送など、5つのタスクを1つのモデルに統合。ComfyUIではモデルの変調重みを刈り込み、メモリ使用量を66%削減し、RTX 3060でもローカル実行が可能に。
サンフランシスコのコーヒーショップでの「購入」クリックが、211.4ミリ秒後に「注文確定」となるまでの全行程を追うインタラクティブ可視化。タッチパッドの容量変化から、ブラウザのヒットテスト、TCP/TLSハンドシェイク、大陸横断の光ファイバー、ロードバランサー、Node.jsプロセス、Postgresまで、7つの停車駅を経て、データが6回も北米を横断する様子を、正確な時計とともに描く。キャッシュ…
Taylor Farmsは、Cyclospora集団感染のさなか、16日間で声明を4回書き換えた。当初はFDAのトレースバックが特定の独立農場を示していたと認めたが、その後FDAの謝罪主張や「過剰な注意」への言い換え、2000件の陰性検査結果を強調するなど、内容は変化した。しかし、2013年に同社工場がCyclosporaの合理的に予見可能なハザードと評価され、FDAが洗浄工程の再評価を勧告した…
カナダ・ニューファンドランド島の小さな町セントメアリーズで、放棄された魚醤工場の110基のタンクに20年以上放置された90万リットルの魚醤が、町全体に悪臭を放ち続けてきた。2016年の撤去失敗を経て、2026年7月にようやく撤去作業が開始された。食品科学者のブライアン・クオック・レ氏は、この長期発酵の化学的プロセスを解説し、腐敗臭とアミンの発生、しかし同時に複雑な風味の可能性も示唆する。彼は「科…
CloudflareのWorkers AIは、MoonshotのKimi KシリーズやZ.aiのGLMなど、大規模で長いコンテキストを持つMoEモデルをGPU上で効率的に提供するため、KVキャッシュの量子化（FP8）、モデル重みの圧縮（INT4）、共有KVキャッシュの整合性チェックという3つの技術を導入。これにより、メモリ使用量を削減し、同時リクエスト数を倍増させ、デコード速度を最大55%向上さ…
ジョージタウン大学の新たな調査によると、移民税関捜査局（ICE）は2025年に約92万件のDNAプロファイルをFBIの犯罪データベース（CODIS）に追加した可能性がある。拘留者の大半は刑事犯罪歴がなく、不法滞在は通常民事上の違反であるにもかかわらず、ICEは拘留者からDNAを強制的に採取し、拒否した場合は刑事訴追の脅しをかけている。テキサス州の家族収容施設では子供への採取も行われ、議会の調査対…
Rustプロジェクトは、型がメモリ上で移動可能か、破棄が保証されるかを明示する新たなトレイト「Move」と「Forget」を提案している。これにより、自己参照型の扱いを簡素化し、安全なscoped spawnやasync dropを可能にする。Linuxカーネルでの実証実験も計画されており、Pinの廃止も視野に入れている。
AirLLMは、モデルを層ごとに分割し、一度に1層だけをGPUにロードすることで、メモリ使用量を劇的に削減。量子化や蒸留、プルーニングなしで、4GB GPUで70Bモデル、8GBで405B Llama 3.1、約12GBでDeepSeek-V3（671B）を実行可能。さらに、スパースMoEモデルではエキスパート単位でストリーミングするため、最大級のオープンソースモデルKimi K3（2.8T）も…
EUのオープンソース年齢確認プロジェクトが、ハードウェア拘束型認証を必須要件としていることが明らかになり、LinuxやカスタムAndroid ROM、独自コンパイルアプリへの影響が懸念されている。維持管理者は「ハードウェア拘束型認証はこのプロジェクトの要件であり、単に削除できる実装詳細ではない」と述べ、代替案を募集し、セキュリティレビューと脅威モデルを公開予定としている。この方式は、Androi…
私たちは、採用を検討している企業を募集しています。場所を明記し、リモートワークの場合はREMOTE、制限がある場合はREMOTE (US)などと記載し、リモート不可の場合はONSITEと記載してください。採用企業の関係者のみ投稿可能で、人材紹介会社や求人ボードは禁止です。1社1投稿とし、知名度が低い場合は会社の説明をしてください。
ロサンゼルスのエンタメ産業は、2023年のストライキと2025年の山火事で大打撃を受け、制作の海外移転が加速している。本稿は、ブロックバスター映画の台頭と税制優遇策が、撮影地を物語の舞台から切り離し、ハリウッドから制作を奪った経緯をデータで分析。さらに、制作費が大きいほど米国外で撮影される傾向や、ロケ地の不一致が映画の質に与える影響を検証する。コスト病の観点から、ハリウッドの衰退と、制作現場から…
AIコンテンツ検出ツールPangramによると、匿名運営のニュースサイト「Acutus」が公開する記事の69%が完全にAI生成で、28%が部分的にAI生成と判定された。サイトのJavaScriptコードからは、AIが記事を生成し、AIインタビュアーが実在の専門家に質問を送る仕組みが明らかになった。さらに、共和党系PR会社Novus Public Affairsの社長Patrick Hynesが同…
handwritten.blogは、手書きの温かみと人間味を取り戻すための革新的なブログプラットフォームです。アルゴリズム、フィード、いいねといった現代のSNS機能は一切排除され、ユーザーが手書きしたページをそのまま公開することに特化しています。思考を深めるためにあえて書き込む速度を落とし、本物の思考を共有する場を提供します。デジタル空間が少しだけ人間らしく感じられるよう、シンプルで本質的な執筆…
ssh.placeは、SSH経由で誰でも参加できる共同キャンバスです。アカウント登録やインストールは不要で、`ssh ssh.place`と入力するだけで、200×60のキャンバスに15秒ごとに1ピクセルを描画できます。カーソル移動は矢印キーやWASD、色選択は数字キー、描画はスペースキーと、シンプルな操作で直感的に利用できます。テキストは描けず色のみで表現するため、純粋なピクセルアートのコラボ…
1981年にコロンビア大学で生まれた通信プロトコルKermitが、45周年を迎え、15年ぶりの新バージョンC-Kermit 11をリリース。DebianメンテナのJohn Goerzen氏が、セキュリティ修正、IPv6対応、約2000のテストケース追加などを行い、開発をオープンソースコミュニティに移行。創設者Frank da Cruz氏への献辞も掲載。
Shittyは、低遅延・高速起動・予測可能なリソース使用を実現したターミナルエミュレータです。LinuxではVulkan、macOSではMetalを使用して描画をGPUで行い、CPU上で端末状態を管理します。ベンチマークでは、100MBのデータを約118MiB/sで処理し、AlacrittyやKittyを上回る性能を示しました。VT52からVT5xx、xterm拡張、Unicodeグラフクラスタ…
ダニング＝クルーガー効果は、能力の低い人が自分の能力を過大評価する傾向として広く知られています。しかし、この効果は統計的なアーティファクトに過ぎない可能性が指摘されています。2016年と2017年に発表された論文では、ランダムなデータでも同じパターンが再現されることが示されました。元の1999年の研究では、自己評価と実際の成績の相関が弱いために、四分位でグループ化すると過大評価と過小評価の非対称…
Book Cornersは、OpenStreetMap（OSM）から得たデータを基に、ユーザーが新しい小さな図書館を登録できるサービスだ。当初は、ユーザーが投稿した図書館をOSMに書き戻す機能を計画していたが、OSMのインポートガイドラインと自動編集の行動規範を調べた結果、専用アカウントの作成、詳細なインポート計画の公開、コミュニティフォーラムでの提案、地元コミュニティとの調整、ライセンスの明確…
オハイオ州博覧会のポスターコンテストで、AI生成作品が優勝したことが話題となっている。主催者は2024年のコンテスト開始時にはAI使用を許可していたが、その後のAI技術の急速な進歩を受け、2027年からはAI使用を禁止する方針を発表した。今年のコンテストでは、アメリカ建国250周年を記念した愛国的テーマが求められ、38作品が応募された。優勝者には1,000ドルの賞金とリボンが贈られ、作品は博覧会…
カリフォルニア州は、データブローカーに個人情報の削除を求める新たなオンラインツール「DROP」を8月1日から施行する。州に登録されたデータブローカーは、DROPを通じて提出された削除要求を45日以内に処理しなければならず、違反した場合、影響を受けるカリフォルニア住民1人につき1日200ドルの罰金が科される。すでに約35万人がDROPに登録済みで、州のプライバシー監視機関は、未登録の12社に罰金を…
AIハイパースケーラーの債務依存が限界に近づいている。S&P Globalによると、今年上半期のハイパースケーラーとNvidiaなどの関連企業による社債発行額は2250億ドルに達し、前年比973.7%増。通年では4000億ドルに達する勢いだ。しかし、市場は疲弊し、プレミアムが拡大。さらに、日経の調査では、米国5大テック企業のオフバランス債務が4年間で8倍の1.65兆ドルに膨らみ、バランスシート上…
1998年、パトリック・オブライアンは文学界の頂点にいた。オーブリー＝マチュリンシリーズは「史上最高の歴史小説」と称賛され、莫大な収入を得ていた。しかし、BBCのドキュメンタリーをきっかけに、彼が本名パトリック・ラスであり、アイルランドの幼少期や航海経験など自らの経歴を捏造していたことが発覚。最初の妻と子供たちを捨て、別の女性と関係を持っていた。読者はこのスキャンダルにもかかわらず作品を支持し続…
私は仕事を探している人々の情報を共有するためのスレッドを立てました。この形式に従って、所在地、リモート可否、移住意思、技術スタック、履歴書、メールアドレスを投稿してください。エージェントやリクルーター、求人ボードは対象外です。
著者は、1975年発表の8ビットCPU「MOS 6502」を搭載した父親のBBC Microで、Mambaベースの自己回帰言語モデルを実行した。モデルは13KBの重みと9KBの推論コードに収め、BitNetによる3値量子化と固定サイズの状態ベクトルを持つリカレント構造を採用。6502には乗算命令がないため、加減算のみで行列演算を実装し、学習済みモデルをテープ経由で転送した。生成されたテキストは「…
AIがエンジニアリングチームの生産性を向上させているのは間違いないが、その効果は期待ほど大きくない。特にシニアエンジニアの場合、コーディング以外の作業（設計、レビュー、会議など）に多くの時間を費やしており、AIが最も得意とするコーディング部分の短縮は限定的だ。一方、ジュニアエンジニアはコーディングに多くの時間を割くため、AIによる効率向上が大きい。にもかかわらず、リーダーたちは「AIがジュニアの…
- ▲ 132DMARCが本当に防ぐもの、防げないもの
DMARCはスパムやフィッシングの完全な対策として誤解されがちですが、実際には「Fromアドレスのドメインがメールを承認したか」をSPF/DKIMの整合性で検証するだけです。本文やリンク、送信者の意図は検査しません。似たドメイン、表示名のなりすまし、乗っ取られたアカウント、認証済みの悪意あるドメインには無力で、転送やメーリングリストで正当なメールが失敗することもあります。DMARCの適用範囲を正…
LocalAIが18のバックエンドをC/C++で自作する理由を解説。Python依存の重さや移植性の問題を回避し、単一ファイルでデプロイ可能にするためだ。vllm.cppはvLLMと同等のスループットを66MiBのバイナリで実現し、メモリ使用量も削減。depth-anything.cppはCPUでPyTorchより1.31倍高速、face-detect.cppはPython版と完全一致の出力を維…
2010年にAppleが「新機能ゼロ」を謳ってリリースしたMac OS X Snow Leopardは、安定性とバグ修正に焦点を当てたアップデートとして称賛された。しかし、実際にはFinderのクラッシュやFireWire 800 ExpressCardの不具合など、深刻な問題を抱えていた。著者は当時、Leopardへのダウングレードを余儀なくされ、後にLionへ飛び越えた。それでも、この「Sn…
Infernoの後継として開発されたOctaneは、Reactのhooks、Suspense、actionsを事前にコンパイルし、仮想DOMやhooksのルール、手動の依存配列を不要にする。コンパイラがコードのキャプチャを自動解析するため、条件分岐内でのhooks使用も可能。既存のReactアプリはコンポーネント単位で.tsrxに移行でき、OctaneCompatを使えばReact 19アプリに…
QEMUのフォークがItanium Mercedエミュレーションを実現し、Windows XP/2003が動作するようになった。Mac mini上でGCC 15.3.0のクロスコンパイラを構築し、EFIファームウェアをビルド。Windows XP IA-64版のインストールに成功、さらにWindows Server 2003や初期ビルドも動作。ただし、インストール成功率は5回中1回と低く、今後の…
PlanetScaleは、シャード化されたPostgresデータベースのバックアップを、専用のEC2インスタンスをシャードごとに起動し、S3からのリストアとWALリプレイを並列実行することで、毎回のバックアップサイクルで前回のバックアップの復元可能性を検証しつつ、本番への影響を最小限に抑えている。この手法により、ペタバイト規模のデータベースでも50GB/s以上のスループットで数時間でのバックアッ…
16年間勤めたAppleのエンジニア、Toby Boardman氏が、AT&Tとの取引で顧客のIMEI番号を顧客の同意なしに安全でないメールで送信するよう要求されたことを拒否し、その後解雇されたとして、Appleと元上司2人を相手取り訴訟を起こした。Boardman氏は、AppleのキャリアチームがAT&Tからの要請に対して顧客のリリースを取得せず、IMEIを送信していたと主張。Appleは不正…
ユタ州で2026年5月、太陽光発電による電力が他のどの電源よりも多くなり、史上初の出来事となった。再生可能エネルギーの急速な普及を背景に、太陽光が石炭や天然ガスを抜いて最大の電源となった。この記録は、州のエネルギー転換の節目を示すものだ。
Nightcrawlerは、スマートフォンだけで動作する自律型ペネトレーションテストエージェントです。ネットワークに置くだけで、ホストの発見、サービスのマッピング、脆弱性の検出、レポート生成までを、クラウド接続なしで実行します。AIモデル（LFM2.5-1.2B）が端末のGPU上でローカルに動作し、次のアクションを自律的に決定。ステルス性を重視し、低速スキャンやホストのローテーションで検知を回避…
イギリスのClass 80x電車の運転台を自宅で再現するプロジェクトの進捗報告。ヘッドライト制御パネルを自作PCBとCANバストランシーバーで製作し、6ポジションのセレクタースイッチを部品から組み立てた。また、ハードボード製パネルをレーザーカット&パウダーコートの鋼鉄製に置き換え、TPWSとDRAパネルで成功。しかし、マットな粉体塗装に白いアクリル絵の具が染み込む問題が発生し、ラベリング方法の再…
Epoch AIはMETRと共同で、AIモデルがソースコードなしでプログラム全体を再実装する長期的コーディングタスクを評価するベンチマーク「MirrorCode」を発表した。25のターゲットプログラムはUnixユーティリティ、バイオインフォマティクス、暗号化など多岐にわたる。最大のタスクでは1回の実行に2,600ドル、19日間のAI作業を要した。Claude Opus 4.7は約16,000行の…
CP/M-386は、CP/M-68Kから派生したCP/Mオペレーティングシステムの386プロテクトモード版です。現在は開発初期段階にあり、フル32ビットのプロテクトモードとRing-3 TPAを実装し、VGAテキストまたはCOM1シリアルコンソールをサポートします。フロッピーまたはGRUB Multibootから起動可能で、CP/M-68K 1.3およびCP/M 2.2との完全なソース互換性を目…
レガシーCOBOLプログラムをJavaへ移行する際、テストデータ不足やコーナーケース検証の難しさが課題となる。本論文では、COBOLと生成されたJavaの両方をモックで計測し、反復的なエージェントループで入力モックを探索して分岐を網羅する「Locksmith Loop」を提案。3つのケーススタディ（オープンソース2件、社内プロダクション相当1件）で、カバレッジが入力探索の限界を超え、オープンソー…
ノルウェー政府のデジタル庁Digdirが運営するID-porten、Altinn、Maskinportenなど複数のサービスが、8月3日未明から断続的なDDoS攻撃を受けています。攻撃はDigdirの運用パートナーVivictaがホストするID-portenを標的とし、政府サービスへのログイン障害を引き起こしました。午後1時40分ごろからトラフィックは回復傾向にありますが、不安定な状態が続いてい…
長年愛用してきたKobo Libra H2Oのバッテリーが劣化し、フル充電しても1時間で切れるようになったため、交換を決意。純正品は高価で入手も難しいが、Redditの情報を頼りにAli Expressで互換バッテリー（PR-158098N）を格安で購入。交換作業は裏蓋を開け、はんだごてで配線を付け替えるだけの簡単な作業で、約2週間で届いたバッテリーを使って無事に修理成功。新しいバッテリーで再び…
9frontの新リリース「This Was Supposed to Be Fun」が公開された。affinewarp APIの改訂、リモートgdbを/procとしてマウントできるgdbfs、Synapticsタッチパッドドライバ、UPS用バッテリードライバ、SHA3サポートなどが追加された。PC、Raspberry Pi、MNT Reform、QEMU向けのイメージが提供され、x2APICサポー…
正規表現は「正規言語しか扱えない」とよく言われますが、実際のプログラミング言語の正規表現エンジンは、再帰や名前付きサブパターンを使うことで文脈自由文法を解析できます。本記事では、PCREの例を用いて、`a^n b^n`のような文脈自由言語をマッチングする方法や、RFC 5322のメールアドレスを定義する複雑な正規表現を紹介します。左再帰を右再帰に変換すれば、任意の文脈自由文法を正規表現で表現可能…
大手テック企業の第2四半期決算が相次ぎ、投資家の間でAIバブル崩壊への懸念が高まっている。Appleは部品価格高騰で10%下落、IBMは1987年以来の大幅安、Metaはデータセンターへの巨額投資でフリーキャッシュフローが激減した。一方、AmazonはAWSの成長とエネルギー価格ヘッジで15%上昇したが、その利益は一時的なものだ。The Registerのポッドキャスト「The Kettle」で…
Steve Yegge氏が、自身のMMOゲームWyvernの開発をAIエージェントで進めるために、Claude Maxアカウントを12個使い、月87,000ドル相当のトークンを消費しながら、エージェントを一晩中働かせる手法を公開。Beadsを使ったグラフ構造のタスク管理と、アカウント自動ローテーションによる無限トークンタップの仕組みを解説。さらに、CI/CDは来年までに死に、人間によるコードレビ…
Hopliteは、クラウド上でコーディングエージェントを簡単にデプロイできるプラットフォームです。YC S26出身のスタートアップで、開発者がAIエージェントをインフラ管理の手間なく運用できるようにします。API、SDK、JavaScript、Python、React、AI、ML、LLMなどの技術を活用し、スケーラブルな環境を提供します。
Rust製のメタ検索エンジン「searxng-rust」が登場。DuckDuckGo、Brave、Startpage、Yahooに同時にクエリを送り、HTMLをスクレイピングして結果を統合します。URLの正規化で重複を排除し、RRF（Reciprocal Rank Fusion）でランキング。Rust 1.75以上が必要で、ライブラリまたはサーバーとして利用可能。APIは`/search?q=`…
ソフトウェア開発者は日々、複数のリポジトリを行き来し、それぞれ異なるツールチェーンで依存関係のインストール、ビルド、テスト、デプロイなどを行います。この記事では、bashスクリプト、Make、just、miseといったタスクランナーを使って、リポジトリを問わず同じコマンドで共通タスクを実行する方法を紹介します。各ツールの基本的な使い方と、Makeの.PHONYターゲットやjustの利便性など、実…
ロングアイランドで進行中の「フロック」プロジェクトは、従来の刑務所とは異なる、屋外に設置された開放型の収容施設です。この施設は、特定の犯罪者を対象とし、監視とテクノロジーを駆使して社会から隔離することを目的としています。地元住民からはプライバシーや安全性の懸念が上がり、議論を呼んでいます。この記事では、その設計、目的、そして地域社会への影響を詳しく解説します。
ArcBox PPPoE Half-Bridgeは、UniFiゲートウェイのPPPoE性能問題を解決するオープンソースソリューションです。PPPoEダイヤリングを専用デバイス（OpenWrt対応ルーター）にオフロードし、ハーフブリッジ技術でUniFiゲートウェイにパブリックIPv4をDHCPで配布します。これにより、UniFiゲートウェイはPPPoE処理の負荷から解放され、ルーティングやNAT、…
ケリー基準シミュレーターは、固定された確率とオッズのもとで、ケリー式の賭け金配分ルールに従ってバンクロールがどのように変動するかをモンテカルロ法で多数のパスを生成し、成長、ボラティリティ、ドローダウンの相互作用を示します。このモデルは単一の予測ではなく、同じ条件での多くの可能な結果の分布を出力します。ケリー基準は成長最適化を目指しますが、それは滑らかで安全な成長を意味せず、むしろ高いボラティリテ…
ヘッジファンド「シタチュアル・アウェアネス」の急落と回復は、AI関連株市場の過剰レバレッジと過度集中を示している。Citadelによる資産買収は強気材料ではなく、短期的な価格安定策に過ぎない。ETFの自己強化効果やソロスの再帰性理論が示すように、価格上昇と下落は同じ力によって増幅され、今後もボラティリティが続く可能性が高い。
TinyNESは、オリジナルのNESのCPUとPPUチップをソケットに載せ、それ以外の回路を現代的な設計に刷新したコンソールです。出力はコンポジットのみでHDMI非対応、オープンソース設計です。本物のチップを使うことでエミュレータやFPGAにはない実機の挙動を求める層に向けた、極めてニッチな製品です。
計算機革命は、機械が思考できるかという古くからの問いに新たな光を当てた。計算理論（CTM）は、心自体が計算システムであるという立場で、1960〜70年代の認知科学で中心的な役割を果たした。本稿では、チューリングマシンの基礎から、AIの進歩、そしてCTMの現代的意義までを解説する。特に、心が「計算する」とはどういうことか、神経生理学的記述や志向的記述との関係、そして「コンピュータメタファー」という…
- ▲ 63中国製の未来：AI大国の実像
北京の高層ビルで、AI企業01.AIのCEO李開復氏は、中国の技術覇権への自信と、米国との隔たりを語る。中国はEV、ドローン、太陽光パネルで世界をリードし、AIでも米国に迫る。一方、米国の内向き姿勢と覇権の衰退が中国を勢いづかせている。両国の未来像と、中国が描く世界秩序を探る。
C++でfloatをintに変換する際、切り詰めた値がintの範囲に収まらないと未定義動作（UB）になります。この問題は、MicrosoftのGSLライブラリのgsl::narrow関数にも存在し、ドキュメントでは例外を投げるとされていますが、実際にはUBが発生します。コンパイラやハードウェアによって結果が異なるため、バグの原因になります。正しい修正方法は、キャスト前に範囲チェックを行うことです。
第二次世界大戦初期、ドイツ空軍はKnickebeinやX-Gerätなどの電波航法システムで英国を夜間爆撃した。英国の科学諜報部はこれを妨害・欺瞞で迎え撃ち、最終的にドイツはこの方式を放棄した。本稿はその攻防の全容を解説する。
Livelymergeプロジェクトでは、ヒープ全体をAutomerge文書として扱うことでマージを「無料」で手に入れようとしている。しかし、リンクリストの例が示すように、収束は保証されても、プログラムの不変条件が保たれるとは限らない。並行トランザクションの書き込みを順に適用すると、リストの切断や循環が生じ得る。これは単なるデータ構造の問題ではなく、Morphicのツリー構造やキャッシュなど、複数…
SPFレコードの構文を完全解説。バージョンタグ、メカニズム（all、include、a、mx、ip4、ip6、exists、ptr）、修飾子（+、-、~、?）、修飾子（redirect、exp）、マクロ（%{s}、%{l}など）をRFC 7208の各セクションとともに網羅。評価順序、DNSルックアップ制限、レコード配置ルールもカバー。実務でよく使うのはinclude、ip4、ip6、allのみで…
ZX SpectrumのBASICからマシン語へ踏み込み、テキスト表示の仕組みを解説。システムROMの制約やIYレジスタ、システム変数の扱い方、RST $10による文字出力、ユーザー定義グラフィックス(UDG)の設定方法、制御コードによる文字装飾まで、具体的なコード例とともに紹介。16K/48K/128Kの違いや、互換性のないROMがもたらした歴史的教訓にも触れる。
Cloudflareは、セルフサービスアカウント向けに、アカウントの利用量とコストを製品別・期間別に返す「Billable Usage API」を発表した。Workers、R2、D1、Workers AI、Vectorize、Images、Streamなど、すべての従量課金製品を1回の呼び出しでカバーする。このAPIはFinOpsのオープン標準「FOCUS」に準拠したフィールド名を採用しており、…
著者は実験として、コーヒー摂取を1日1杯に減らしたところ、睡眠、気分、エネルギーに大きな変化があった。以前は1日に4〜5杯のコーヒーを飲み、常に疲労感を抱えていたが、カフェインを減らすことで夜に自然と眠くなり、すっきり目覚められるようになった。カフェインの半減期が長いため、前日のコーヒーが体内に残っていることも疲労の原因だったと気づく。
Muは、AIエージェントにニュース、ウェブ検索、メール、マーケット、天気、動画、地図、画像、ファイル、カレンダー、連絡先など、日常的なインターネットツールを提供するオープンソースプロジェクトです。67種類のツールを単一のMCPエンドポイントで提供し、一度接続するだけで全てのツールを利用できます。特徴は、他のAPIの薄いラッパーではなく、実際にメールサーバーや検索インデックス、ストレージを自前で運…
ZX Spectrumのサウンドシステムを探求する記事。1ビットブザーとAY-3-8910チップの両方を解説し、BIOSのBEEPルーチンを使った方法と、直接ポートを操作する方法を紹介。後者では、Z80の16ビット演算を活用し、タイミングの正確さを追求する過程で、ビデオ回路によるメモリアクセス待ち状態やスタックポインタの問題を克服。最終的には、Cメジャースケールを演奏するプログラムを完成させる。
楕円型偏微分方程式の解法として、グリッド不要のモンテカルロ法（Walk on Spheresなど）が注目されていますが、複雑な幾何形状やノイマン境界条件ではランダムウォークが長くなり、収束が遅くなる問題があります。本稿では、領域を小さな部分領域に分割することでウォークを短縮し、さらに決定論的ソルバーと結合して分散を除去する手法を提案します。ポアソン核と解作用素の概念を用いて、分割領域上でのウォー…
RFC 9851が2026年7月に発行され、TLS 1.2の仕様変更が原則として承認されないことが明記された。例外は緊急のセキュリティ修正、TLSエクスポーターラベル、ALPNプロトコルIDの新規登録のみ。TLS 1.3の普及に伴い、既知の欠陥を修正したTLS 1.3への移行が促進される。この決定はTLSにのみ適用され、DTLSには影響しない。また、ポスト量子暗号（PQC）のサポートはTLS 1…
Armatureは、ClaudeやChatGPTなどのAIクライアント内で行われるユーザーセッションを分析するプロダクトです。ユーザーが何を依頼し、エージェントがどのように考え、行動したかを可視化します。セッションのリプレイ、ユースケースの分類、問題の特定、成功率のスコアリングを提供し、MCPサーバーにSDKを追加するだけで数分でセットアップできます。PIIやシークレットは自動的に編集され、プラ…
ComfyUI v0.27.0でネイティブサポートされたINT8 ConvRotは、RTX 20/30シリーズだけでなくRTX 40/50シリーズでもFP8を超える性能を発揮し、8ビット量子化モデルの標準になると注目されています。本記事では、モデル形式の分類からINT8 ConvRotの仕組み、使用方法、性能評価までを解説します。
『バブルボブル』『レインボーアイランド』の生みの親、三辻富貴朗（MTJ）が1989年の『ゲーメスト』連載で、パクリゲーム量産の未来を予言。ロボットにゲーム名を入力するだけでコピーゲームが完成するという寸劇を通じ、ゲームデザイナーに残された最後の武器は「アイデア」だと説いた。手塚治虫の死に触れ、ゲーム界の手塚の出現を問う一文も紹介。
VoltaでIndependent Thread Scheduling（ITS）が導入されて以来、NVIDIA GPUのワープ分岐は固定された方法で処理されると広く考えられてきた。本研究では、Pascalをベースラインとし、Ampere、Hopper、そしてデータセンター向け・コンシューマ向けのBlackwell GPUでこの仮定を検証。サイクル精度のマイクロベンチマーク、ハードウェアカウンタ、…
PISIGuardは、AIチャットで送信する個人情報や機密情報を自動的に検出し、プレースホルダーに置き換えてから送信するブラウザ拡張機能です。名前、メールアドレス、電話番号、クレジットカード番号、パスワード、APIキーなどを検出し、AIの応答には元の値を復元します。処理はすべてブラウザ内で完結し、外部サーバーにデータを送信しません。ChatGPT、Claude、DeepSeekに対応し、高度な設…
C/C++からRustへの移行はもはや実験的な試みではなく、メモリ安全性の向上や保守コスト削減の現実的な手段として注目されています。しかし、全面書き換えはリスクが高く、多くのチームにとっては段階的な移行が安全です。MainmatterのLuca Palmieri氏は、孤立したモジュールから始め、既存のビルド・リリースプロセスにRustを統合し、徐々に範囲を広げることを推奨します。本記事では、移行…
mighil.comが「Playing with Georgia」と題した記事で、Cloudflareのセキュリティ検証ページを回避する方法を紹介。CAPTCHAやボット対策を迂回するテクニックを解説し、サイト運営者とユーザーの両方に示唆を与える。
LLMの位置エンコーディング手法であるRoPEとALiBi。ALiBiは相対位置に基づく線形バイアスを用いるのに対し、RoPEはクエリとキーのベクトルを回転させます。この記事では、訓練済みのALiBiヘッドに2次元を追加し、RoPEの周波数を調整することで、ALiBiの線形バイアスをRoPEの小角度極限として再現する方法を解説。BLOOM-560Mで検証し、ほぼ正確に再現できることを確認しました。