Hacker News Digest
· 69 ハッカーニュース
Hacker Newsで「TUIを作るのをやめてGUIに注力すべき」という議論が巻き起こった。著者は両論に理解を示しつつ、「TUIはキーボード操作ができるから優れている」という主張に反論する。GUIでもキーボードだけで全機能を操作できる設計は可能であり、GNOMEのHIGもそれを推奨している。実際に著者は自身のGUIアプリ「Klisi」で全操作をキーボードショートカットで実装した。キーボード操作…
新しいノートPCを買うと、使う気がなくてもWindowsライセンス料を支払わされている。Refund4Freedomは、メーカーや販売店がOSを強制せず、不要なソフトウェアの料金を払わずに済むよう求めるキャンペーンだ。返金手続きの方法や、HP、Lenovo、Asus、Dell、Acer、MSIなどの各社の対応状況、実際に返金を得たユーザーの報告をまとめている。
GoogleのAndroid版カレンダーアプリでは、イベントカレンダーのURLを購読できない。公式ヘルプも「コンピュータのブラウザでしか購読できない」と認める。著者はスマホのブラウザでデスクトップ版サイトを開き、カレンダーを追加して回避した。この問題はGoogleに限らず、多くの企業が「アプリの方が便利」と言いながら、機能を中途半端にしか実装していない現状を浮き彫りにする。アプリの更新の難しさを…
Z.aiは、エージェントコーディングとサイバーディフェンスに特化した最新モデル「GLM-5.3」のウェイトを公開した。Hugging Faceでダウンロード可能で、ローカル実行やカスタマイズができる。ただし、ライセンスはMITから準商用ライセンスに変更されており、商用利用には注意が必要。Unsloth AIはGGUF版を、Basetenはホスティングを準備中。
htmx 4.0.0がリリースされた。8ヶ月の開発を経て、内部実装をXMLHttpRequestからfetch()に移行し、属性継承をデフォルトで明示的に変更、イベント名を標準化、historyサポートからlocalStorageを廃止した。新機能としてモーフィングスワップと<hx-partial>タグを追加し、hx-preloadやhx-downloadなど多数の拡張機能も登場。アップグレード…
カリフォルニア州北部地区連邦地裁のリタ・リン判事は、トランプ政権がAIスタートアップAnthropicを安全保障上のリスクと認定し、政府との契約を禁止した措置は違法であるとの判決を下した。59ページに及ぶ判決で、政府はAnthropicが技術の利用方法について意見を述べたことに対し、「憲法で保護された表現活動」への報復として不当に制裁したと述べた。
- ▲ 536米国がA/Iコレクティブへの制裁を発動
2001年に設立されたAutistici/Inventati（A/I）は、デジタル権利を守るために活動するアナキスト系の集団で、活動家向けに無料の通信サービスを提供してきた。しかし、米国政府がこの集団に対する制裁を発表した。A/Iはボランティアによる運営で、広告もデータ販売も行わず、寄付のみで成り立っている。制裁の理由は明らかにされていないが、A/Iは「検閲や監視に抵抗する」と主張している。
オープンソースのボクセルゲームプラットフォームLuantiのAndroidアプリが、Microsoftの代理としてTracer.AIが提出した根拠のないDMCA通知によりGoogle Playから削除された。LuantiはMinecraftのコードやアセットを一切含んでおらず、2023年にも同様の通知を受け、異議申し立てで復活していた。今回の通知は具体的な侵害箇所を明示しておらず、Luantiは…
Orbifyが公開した最新デモ「Demo 2 - v72」は、曲がり角を立体的に折り曲げた「インセプション」風の地図で、ターンバイターン方式のナビゲーションを実現する。特許出願中の独自技術により、2D地図では分かりにくい交差点の形状を直感的に把握できる。PlayCanvas Engineによる3Dレンダリングで、ハミルトン・スタジアムのモデルを使用。パイロットプロジェクトや技術協力、投資家との対…
米連邦地裁のRita Lin判事は、国防総省によるAnthropicの国家安全保障上のサプライチェーンリスク指定を「違法かつ根拠がない」として差し止めた。この指定は、Anthropicが自律型兵器や国内監視へのClaude AIモデルの使用を拒否したことへの報復とみなされた。同社はこれにより数十億ドルの損失と風評被害を受ける可能性があると主張している。判事は「国家安全保障の名の下での空虚な主張は…
OCamlのHTTPライブラリcohttpのメンテナーであるAnil Madhavapeddy氏が、パス・トラバーサル脆弱性の修正パッチを公開した直後、わずか10分で悪用を試みるプローブが自身のサーバーに到達したことを報告。さらに、自身のAIエージェントに脆弱性の概要を伝えるだけで、1分以内にエクスプロイトを作成できたという。この経験から、脆弱性の詳細が漏れていなくても「噂」だけでAIが悪用コー…
ドイツのSovereign Tech Agencyが、Flatpakの開発と管理を支援するため、約50万ユーロ（€508,640）を投資することを発表しました。この2年間のプロジェクトはModalとPara-Real Ltd.が主導し、Fedora SilverblueやSteamOSなどのイメージベースOSで主要なアプリ配信形式となっているFlatpakのサンドボックス機能を強化します。特に、…
閉じた三角形メッシュの体積を、数値積分やレンダリングを使わずに計算する高速アルゴリズムを紹介。発散定理を用いて体積積分を表面積分に変換し、各三角形の頂点座標と外積だけで体積を求める。計算量は三角形数に対してO(n)で、三角形あたりの浮動小数点演算はわずか11回。60fpsのアプリケーションでRaspberry PiのCPUだけでも毎フレーム約3000万三角形を処理できるという。著者はベクトル解析…
Herokuの開発者たちが数百のアプリ開発と数十万のアプリ運用の経験から導き出した、SaaSアプリ開発のための方法論「Twelve-Factor App」。宣言的なセットアップ、OSとの明確な契約、クラウドプラットフォームへの適合、開発と本番の乖離最小化、スケールアップの容易さなど12の原則を紹介。あらゆる言語とバックエンドサービスに適用可能で、ソフトウェアの侵食を防ぐための共通語彙を提供する。
米環境保護庁（EPA）は2026年7月27日、送電網に接続しない「島嶼型」発電施設は大気浄化法の酸性雨プログラム（ARP）の適用対象外とする指針を発表した。これにより、データセンター事業者は送電網に依存せず、自家発電設備をより柔軟かつ迅速に設置できるようになる。EPAは、この動きがトランプ大統領の「料金支払者保護誓約」に沿うものであり、AI競争力の維持と地域社会の電気料金高騰の防止を両立させると…
オープンソースメンテナーのNeil Alexander氏が、AIを利用してGitHubのプロフィールを偽装する貢献者が増えていると警鐘を鳴らします。スペル修正のPRやAI生成の脆弱性レポートが、実際の関心ではなく履歴書のための「見せかけ」として送られてくる現状を批判し、プロジェクトを本当に改善する貢献の重要性を訴えます。
米農務省（USDA）は、マサチューセッツ州ボストンのShanghai Ravioli Corporationが製造した冷凍の「Buffalo chicken rangoon」と「Benedetto's Buffalo chicken mozzarella sticks」の計24,900ポンドをリコールすると発表した。対象はメイン、マサチューセッツ、ニューハンプシャー、ロードアイランド、バーモント…
OpenAI Python SDKの同期・非同期HTTPクライアントがHTTPX2に移行しました。`openai`をインストールするとHTTPX2が自動で入りますが、従来の`httpx`は同梱されません。デフォルトのクライアントを使う限り、API呼び出しやストリーミング、認証、リトライ、タイムアウトはそのまま動作します。一方、TLS証明書の検証が`certifi`からOSのトラストストアに変更さ…
買収ファームのAdventと決済大手Stripeのコンソーシアムが、フィンテックの先駆者であるPayPal Holdingsの買収を断念したことが、事情に詳しい関係者の話で明らかになった。両社は以前、PayPalに対して500億ドル超の買収提案を行っていたが、その後、交渉を打ち切ったという。この決定により、決済業界の再編を巡る思惑は一旦収束することになる。
オープンソースの「vphone-cli」は、Apple Silicon Mac上でAppleのVirtualization.frameworkを利用し、仮想iPhoneを起動するツールだ。PCC研究用VM基盤を活用し、ワンコマンドでIPSWのダウンロードからパッチ適用、DFUリストア、CFWインストール、初回起動までを自動実行する。ジェイルブレイクからセキュリティ緩和まで5段階のファームウェアバ…
スタートアップの認証にAWS Cognitoを採用した開発者が、ドキュメントの混乱、Amplify v6での破壊的変更、ローカル開発の難しさ、カスタマイズの制限、属性設定の取り返しのつかなさなど、数々の困難を経験したことを率直に綴る。無料枠やエコシステム統合の魅力に惑わされず、開発者体験を最優先に選ぶべきだと主張する。
LGのスマートTVをHDMIでPCに接続すると、EDIDプロトコルを通じてLGがドライバと称するソフトウェアが自動インストールされ、McAfeeなどの不要なアプリがデスクトップに追加される問題が発生しています。この記事では、LGがどのようにしてこの攻撃を仕掛けるのかを解説し、EDIDブロッカーというハードウェアを使用して防御する方法を紹介します。また、偽物のDisplayPortブロッカーや、ス…
OpenStreetMapの年次カンファレンス「State of the Map 2026」が、2026年8月28日から30日までパリ（シャン＝シュル＝マルヌのCité Descartes）で開催されます。オンライン参加も可能で、トーク、ワークショップ、ディスカッション、ポスターセッションなど3日間のプログラムが予定されています。スポンサーにはTomTom、Michelin、ESRI、HEREな…
イタリアのアンチファシスト系Mastodonインスタンスmastodon.bida.imの投稿によると、米国のテロ組織指定を受けて、Autistici/Inventatiの主要ドメインautistici.orgが数時間前に到達不能となった。これに伴い、メールサーバーmail.autistici.orgも停止し、すべてのメールボックスが利用できなくなっている。運営側は、メールへの再ログイン方法を後…
- ▲ 130小型原子炉で原子力の約束が現実に近づく
米国や欧州で新型の小型モジュール炉（SMR）の開発が加速している。従来の軽水炉より小型で、工場生産による低コスト化が期待される。米エネルギー省は9億ドル、欧州委員会は2億ユーロを支援に充てる。カイロス・パワーは溶融塩冷却の試験炉「Hermes 1」を建設中で、テラパワーは液体ナトリウム冷却の「Natrium」炉を開発。安全性や経済性への懸念もあるが、AIデータセンターの電力需要が追い風となってい…
XがNitterに送った cease-and-desist は、オープンなAPIが閉ざされていく歴史の最新章に過ぎない。2007年にTim Berners-Leeが提唱した「Giant Global Graph」の夢は、APIの制限や法的脅迫によって崩れ去った。atprotoの設計者である著者は、データベース全体を共有する「SELECT * FROM internet」というアプローチで、この問…
ファン制作のインタラクティブな銀河地図「Cartographia Imperialis」が公開された。Terra、Mars、Cadia、Eye of Terrorなど、Warhammer 40,000の主要な世界や領域を、M41とM42の時代別に表示。ルート表示やリフトのオーバーレイなど、探索を助ける機能も備える。非公式のファン作品で、Games Workshopとは無関係。
- ▲ 121カラスは本当に私たちの友達なのか？
Audubon誌が、カラスと人間の複雑な関係を探る。カラスは賢く、人間の顔を覚え、恨みや恩義を感じることもある。しかし、彼らは単なる友達ではなく、野生の生き物であり、私たちの行動に敏感に反応する。この記事では、カラスの知性と社会的行動の研究を紹介し、彼らと共存するためのヒントを提供する。
ドイツ語には「Verschlimmbesserung」という言葉があります。改善しようとしてかえって悪化させることを意味します。SaaSのアップデートでボタンが移動し、メニューが改名され、日常のワークフローが壊れた経験は誰にでもあるでしょう。製品チームは誰も求めていない「より良い体験」を出荷しました。エリヤフ・ゴールドラットは数十年前に根本原因を突いていました。「どう測定するかで、どう行動するか…
科学誌Scienceに掲載された研究によると、サンゴの骨格に残された酸素同位体比の記録から、過去7000年にわたるエルニーニョ現象の変動が復元され、近年の人為的な気候変動がエルニーニョの強度を自然変動の範囲を超えて増幅させている可能性が示された。研究チームは、太平洋のサンゴから得られたデータを分析し、産業革命以降のエルニーニョの強度が過去数千年で最も強いことを発見した。これは気候変動がエルニーニ…
Pydantic が HTTPX の後継として「HTTPX2」を公開しました。HTTP/1.1 と HTTP/2 の両方をサポートし、同期・非同期 API に加えて統合 CLI も備えます。requests 互換の API を維持しつつ、WSGI/ASGI アプリへの直接リクエスト、厳格なタイムアウト、完全な型注釈、100% のテストカバレッジを実現。開発が停滞していた HTTPX に代わり、P…
米農務省（USDA）は、テキサス州とフロリダ州で販売されたアルゼンチン産生牛肉約3万ポンドを回収すると発表した。回収理由は輸入時の再検査漏れとされているが、USDAの食品安全検査局（FSIS）はこれを最上位のリスク区分であるクラスIの健康被害に分類した。具体的な汚染物質は明らかにされていない。専門家は、書類上の問題としては異例の分類だと指摘し、トランプ政権による外国産牛肉輸入拡大計画の発表との時…
スタンフォード大学の研究者らが主導する新ベンチマーク「Terminal-Bench-Science」が公開された。科学者自身が考案した、生命科学から数学・工学まで5分野にわたる70の実践的タスクでAIエージェントの能力を測定。最強モデルClaude Opus 5でも成功率は30%にとどまり、現行の最前線モデルでも科学的研究ワークフローの大半を自動化できない実態が浮き彫りになった。ベンチマークは継…
CADやグラフィックスで半世紀以上使われ続けるベジェ曲線。その欠点を補う新しいアプローチが登場した。曲率ハンドルを導入し、接線の長さを直接曲率に対応させることで、直感的な編集と安定した曲線生成を実現。数式の導出から実装までを解説する。
Qwen3.8 27BをMac Studio M3 Ultraで10日間使い、RSS要約やスキャン文書の整理などのバックグラウンドタスクに活用。ベンチマークでは、Ollamaでの生成速度は約14トークン/秒で、前モデルのqwen3.6 27Bの約28.6トークン/秒の半分だが、回答あたりのトークン数が約3分の1のため、実時間ではほぼ同等。1ビット量子化（6.7GB）は27トークン/秒で動作するが…
JVMやPython中心の経歴を持つJonathan Ellis氏が、Rustプロジェクトでmusl libcに切り替えた後、同僚の指摘でmuslのアロケータ性能を測定。結果は「ひどい」もので、高並列時だけでなく4コアEC2 VMでも顕著だった。mimallocに交換してもglibc比26%遅く、アロケータ以外のメモリルーチンも遅いことが判明。muslはアロケータを同梱せず選択式にすべきと主張し…
オープンワールドのマルチエージェント環境「Station」で、異なるモデルファミリーのAIエージェントが中央管理なしに協調し、数学的発見を自律的に行う研究が発表された。AlphaEvolveカタログの12の構築問題と2つのケーススタディのうち、5つの問題で既存文献にない新規結果を達成。有限体上のKakeya集合の新たな無限族、11次元における604点の新記録的なキス配置、離散化Kakeya針問題…
中国大使館は、ネパールとの国境付近で氷と岩石の雪崩により形成された堰止湖が依然として高い水位で溢れ出しており、決壊のリスクが残ると警告した。両国の当局は監視を続け、下流のコミュニティに警戒と緊急時への備えを呼びかけている。
銀行明細書変換ツールを運営する個人開発者が、2026年2月をピークに売上とMRRが減少している現状を報告。新規購読者数の減少が主因で、AIチャットボットによる無料変換や競合の台頭が影響していると分析する。対策として、解約理由に基づくフォローアップメール、コンテンツマーケティング、香港でのトラム広告、ユーザーインタビューなどを挙げ、再び会社勤めに戻ることはないと明言する。
SamsungがHot Chips 2026で発表したLPDDR5X-PIMは、メモリパッケージ内部に計算ユニットを統合し、外部ピン経由の76.8 GB/sに対して614 GB/sの内部帯域幅を実現。これにより、Llama 3.1 8Bの推論で最大3.01倍のスループット向上を達成した。従来のメモリコントローラと互換性を持つ一方、ソフトウェア面ではllama.cppやvLLMへの対応が課題。k-…
binvis.ioは、バイナリファイルを視覚的に分析するためのオンラインツールです。ELF、PE32、PDFなどのファイルをアップロードすると、バイト列のパターンや構造をカラフルな2次元マップとして表示します。マルウェア解析やファイルフォーマットの理解に役立ち、Cortesi氏によって開発されました。
アフリカのリカオンは、アフリカで最も嫌われている肉食動物でありながら、最も成功した狩猟者でもある（捕獲成功率80%）。しかし、人間による殺害や家畜からの病気で個体数は減少し、現在は世界に約6,600頭しか残っていない。Endangered Wildlife Trust（EWT）は、モザンビークから南アフリカへリカオンを移送し、遺伝的多様性を高めた新しい群れを形成するプロジェクトを進めている。本記…
GitHub の開発者 ghuntley 氏が、YAML の数々の厄介な仕様をユーモアと皮肉を交えて紹介するサイト「noyaml.com」が話題。YAML 1.1 の仕様により「NO」がブール値として解釈される問題や、時刻が秒数に変換される問題、オクタル表記の罠、バージョン番号が浮動小数点数として扱われる問題など、実例を挙げて DevOps の現場で YAML が引き起こす混乱を解説している。
Dactylは、LLMによるアプリ開発を変えるため、SwiftUIのWasmポートを搭載したクロスプラットフォームレンダラーを開発した。iOSシミュレータをブラウザ上で再現し、アプリをWasmにコンパイルして実行。AndroidではJetpack Composeホストがネイティブコントロールを描画する。エンジンは約100MBだが、動的リンクにより毎回の読み込みを回避。開発はエージェント群がiOS…
長年GitHubを利用してきた開発者が、サービスの不安定さとAIトレーニングを巡る倫理的問題に不信感を募らせ、全リポジトリを自宅のForgejoサーバーに移行した。彼はGitHubの障害履歴やCopilotのデータ利用に対する批判を挙げ、企業、特に大手テック企業を盲信しないよう警告する。自身の経験を通じて、プライバシーとセキュリティに対する意識の重要性を訴える個人的な告白である。
SubSmithは、お気に入りの動画や音声ファイルを語学学習教材に変えるイマージョン型学習プラットフォームです。MKV、MP4、MP3などあらゆる形式に対応し、正確に同期された字幕を自動生成。単語にカーソルを合わせるだけで即座に定義が表示され、学習の流れを中断せずに語彙を自然に身につけられます。さらに、ワンクリックで文をAnkiにエクスポートし、フラッシュカードを作成可能。99以上の言語に対応し…
コンクリートやガラスの原料となる砂の世界的な需要が高まり、違法採掘が急増している。インドの村では、砂を求めるマフィアが住民を殺害する事件も発生。環境破壊や生態系への影響も深刻で、規制の強化が求められている。
米国務省は8月26日、イタリアのデジタルインフラ集団Autistici/Inventati（A/I Collective）を、大統領令13224に基づく「特定グローバルテロリスト」に指定した。暗号化メールやWebホスティングなどを提供する同団体が、暴力を伴うAntifa細胞やPKKなどに「物質的支援」を行ったとしている。ドイツ・マーシャル基金の上級フェローでHighground CEOのベニアミ…
FOSSY 2026で、Timothy Sample氏がブートストラップ可能なビルドの概念を解説。これは、最小のシードから始めて、依存関係の連鎖を経て現代のLinuxユーザーランド全体を構築する手法で、信頼できないバイナリへの依存を排除する。Sample氏は、GNU Guixの例を挙げ、初期の250MBのバイナリブロブが256バイトのhex0プログラムに置き換えられたことを紹介。また、Ken T…
Sesameは、パスワード、2FAコード、リカバリ情報を一箇所にまとめて管理できる、ローカルファーストのオープンソースパスワードマネージャーです。すべてのデータはあなたのデバイスに保存され、Sesameのサーバーに送信されることはありません。15種類のフォーマットからインポート可能で、セキュリティチェック機能も搭載。Windows向けに公開されており、ベータ期間中は無料です。ソースコードはAGP…
2022年の「ChatGPTショック」以降、生成AIは創作だけでなく、データ処理や運用判断にも使われるようになった。Sutroは、AIが「何かを生み出す」のではなく「何かを決定する」場合を「分析型AI」と定義し、その設計・実装・運用のベストプラクティスをまとめたハンドブックを公開した。分類、抽出、判定などのプリミティブ、一貫性やバッチ処理などのパターン、アーキテクチャ、デプロイメントまで、実践的…
5世紀のインドの文法学者・哲学者バルトリハリが指摘した「名前を付けられないもの」という概念のパラドックスを紹介。もし本当に名前を付けられないものがあるなら、その具体例を挙げることで、それに名前を付けてしまうことになる。哲学者ハンス＆ラディカ・ヘルツベルガー夫妻は、このパラドックスを支持する議論が、かえってパラドックスを深めるだけだと指摘する。言語の限界と自己言及の不思議を考えさせる哲学的パズル。
偽造コスメは eBay や TikTok Shop で蔓延しており、その多くは素人目には本物と区別がつきません。著者は、Google Gemini 3.6 Flash が写真から偽の「Rhode Peptide Lip Tint」を識別できるかどうかを検証しました。3つのパッケージ（うち2つは偽物）の写真を AI に与えたところ、Gemini は偽物を正しく指摘し、スペルミスや郵便番号の誤り、バ…
コード行数カウンタ「scc」のv4.0.0がリリースされた。新機能のホットスポット分析は、複雑度と変更頻度を掛け合わせて、バグや問題が潜みやすいファイルを特定する。これはGoogleのバグ予測アルゴリズムの失敗を踏まえ、より実用的な指標として設計された。また、同じコミットで頻繁に変更されるファイルの依存関係を可視化する「チェンジカップリング」機能も追加。git履歴を遡るため処理は遅くなるが、単一…
メール送信プラットフォームOmniveryの新レポートによると、コンシューマー向けニュースレターにおけるボットクリック（自動化されたクリック）の割合が2023年の2%から今年は16%に急増。Gmailはかつてボット汚染が少ないとされていたが、2026年には20%超に達し、Microsoft Outlook/Hotmailは主要プロバイダーの中で最も汚染が深刻だという。この背景には、セキュリティ強…
「Is It Done Yet?」は、ゲームが本当に完成しているかを判定するウェブサイト。Steamのゲームを対象に、早期アクセスや未完のままリリースされたタイトルを「完了」「未完了」などに分類し、最近のアップデートで完成した作品や注目のタイトルを一覧で紹介している。ゲーム選びの参考になる。
FF-16-TUIは、ファイル全体で頻出する局所的な16ビットパターンを発見するための対話型静的解析ツールです。頻出パターンから構造を特定し、ファイルレイアウトの理解を支援します。TUI（テキストユーザーインターフェース）を備え、キーボード操作でパターンのハイライト表示やフィルタリングが可能です。Goで実装され、MITライセンスで公開されています。
ロン・ファウラーとチャック・ドイシュルは、ケンタッキー州パデューカのウラン濃縮工場で働き、政府と請負業者が従業員や地域住民を放射線や有毒化学物質にさらしながら真実を隠蔽していたことを内部告発した。30年以上後、ファウラーは癌で入院し、ドイシュルは自己免疫疾患と闘う。彼らは初めてその全貌を語る。工場は2025年に再稼働計画が発表され、かつての労働者たちは補償を求めている。
IndexFlowは、Rustで構築されたオープンソースのSEOおよび検索インデックス基盤です。XMLサイトマップの解析や技術的SEO分析を提供する軽量なライブラリ（indexflow-sitemap、indexflow-seo）を備え、検索エンジンやAI検索（ChatGPT Search、Perplexity、Claude）向けにウェブサイトの発見性と機械可読性を向上させます。開発者向けに設計…
AIが生成するデザインはどれも似たり寄ったりで、理解しにくい「スロップ」になりがちです。この記事では、Refの開発者がAIを活用したプロダクトデザインでスロップを避けるための7つの実践的なアドバイスを紹介します。全体の制約を考慮すること、不要な要素を削ること、Figmaなどのデザインツールで反復すること、コンポーネントとライブラリを活用すること、プレビューデプロイで実データを確認すること、既存の…
Conduct は、AIエージェントの実行を制御するオープンソースのランタイムガバナンスツールです。LLM呼び出しやシェル/MCPツールの実行前に、署名付きポリシーに基づいて「許可・警告・監査・注入」を決定します。SHA-256ハッシュチェーンによる監査ログで、改ざん検知が可能です。20以上のコンプライアンスパック（OWASP、SOC 2、HIPAAなど）と22のプレイブックが同梱され、LLMプ…
Talosは、AIエージェントとシェルの間に決定的なセキュリティカーネルを配置した、検証可能なAIエージェントです。すべてのツール呼び出しは、実行前にカーネルによって検査され、各操作は個別に承認され、正確な引数にバインドされ、30秒間のみ有効です。シェル、ブラウザ、4つのチャットチャネル（ターミナル、Telegram、メール、WhatsApp）を備え、2063のユニットテストと179の敵対的テス…
2025年10月、NBA選手テリー・ロジアーが友人に自身のアンダースタッツに賭けるよう情報を渡し、20万ドル以上の賭け金で不正利益を得たとして起訴された。この事件は、スポーツ賭博の合法化が八百長を容易にしたことを示す。合法化前は、違法ブックメーカーが高額賭けを受け付けず、支払いも危険だった。しかし、2017年から2025年にかけて合法的な賭博額が48億ドルから1600億ドルに急増し、高額賭けが可…
AIコーディングエージェントのセッション開始時、システム指示やツールスキーマが大量のトークンを消費し、コンテキストウィンドウを圧迫しています。Codexでは79個のツールが14,500トークン、Antigravity CLIでは17個のツールで13,800トークンものスキーマが読み込まれます。本記事では、ツールをアクション単位に統合し、Piエージェントで動的ツールアクティベーションを実装すること…
Raymond Chenが、alloca()がスタックからメモリを確保する仕組みを解説。_alloca()はローカルフレーム作成時と同じ__chkstk()関数を呼び出し、スタックプローブを行うことでガードページを飛び越えないようにしている。x86-64のアセンブリ例を示し、alloca()が安全にスタックを拡張する仕組みを明らかにする。
1984年、Bill Chamberlainはコンピュータプログラム「Racter」を使って、『The Policeman's Beard Is Half-Constructed』という本を出版しました。この本は、序文を除いてすべてコンピュータが生成した文章で構成されており、スペルチェック以外は無編集です。RacterはBASICで書かれ、Z80マイコン上で動作し、文法規則と語彙ファイルに基づい…
usefiletools.comの無料ツール「Merge CSV Files」は、複数のCSVファイルをブラウザ上で結合できる。ヘッダー名で列を揃え、列が足りないファイルには空白を挿入するため、データがずれる心配がない。ファイルは端末から一切アップロードされず、オフラインでも動作する。最大20MBまでのファイルに対応し、行数やファイル数の制限はデバイスのメモリのみ。
AIが科学の現場に浸透し、科学者の役割が問われる中、著者は「科学の仕事はゼロサムではない」と主張する。歴史的な労働代替の例やBill Gatesの警告を挙げつつ、知識のフロンティアが拡大し続けるという幾何学的な比喩を用いて、AIがむしろ科学の探求領域を広げると論じる。科学者の中心的役割は、問いを選び、結果を吟味し、責任を持つことであり、AIがその領域を侵すのではなく、むしろ科学者を増やす必要性を…
Moniepointのクラウドエンジニアリングチームは、KafkaをVM上でDocker Composeを使って運用していました。動いてはいたものの、SSHやポートフォワーディングが必要な手動運用、バージョンの不統一、スケーリングの難しさなど、多くの問題を抱えていました。そこで彼らは、KubernetesオペレーターであるStrimziへの移行を決断。専用クラスター、ネームスペース分離、YAML…