[ブログ] Score: 56
No Man Is an Island
AIが知的活動の共同体を解体し、個人の知的営みを減らすと論じる記事。著者は、ソフトウェア開発や数学でAIが人間の貢献を不要・冗長にし、共有された成果物と称賛・有用感という外発的動機を失わせると指摘する。知的行為は孤立では持続せず、コミュニティによる物質的・動機的供給を必要とする。AI後に共有文化が消え、内在的動機だけでは長期的活動は生まれないと主張する。
[ブログ] Score: 56
AIが知的活動の共同体を解体し、個人の知的営みを減らすと論じる記事。著者は、ソフトウェア開発や数学でAIが人間の貢献を不要・冗長にし、共有された成果物と称賛・有用感という外発的動機を失わせると指摘する。知的行為は孤立では持続せず、コミュニティによる物質的・動機的供給を必要とする。AI後に共有文化が消え、内在的動機だけでは長期的活動は生まれないと主張する。
[ブログ] Score: 9
Let's Encryptは2027年2月10日から既定で証明書有効期間を64日に短縮する。10月14日からステージングで試験し、45日・6日も選択可。既存90日証明書は取り消さず、最後は2027年5月11日に失効予定。ARI対応の自動更新は準備不要だが、期限固定の更新は寿命の約3分の2で行う必要がある。認可再利用期間は30日から10日、2028年に7時間へ。背景は鍵漏えい・誤発行リスクの低減。
[ブログ] Score: 40
筆者が友人との作曲を通じ、過度な独創性へのこだわりが制作を妨げると気づいた記事である。十代の頃は借用すると作品が自分のものでなくなると恐れ完成できなかった。友人は既存曲を研究し、コード進行やビート、リズム、ベースを大胆に借用してデモを素描。曲のために決断する姿勢を示した。創造性は希少ではなく、制約内の表現を活かし、重要な部分に集中すべきだと主張する。
[ブログ] Score: 55
マイクロソフトが高速な意思決定に特化したモデルMicrosoft-Decision-1を発表した。LLMと異なり、分類やルーティング、優先順位付けなど構造化された判断タスク向けに設計され、構造化APIを通じて各選択肢の校正済み確率スコアを返す。36種のベンチマークで最高精度を達成し、GPT-6 Solより約35倍高速だと主張する。Microsoft Foundryで提供され、入力100万トークンあたり0.042ドル。内部ではXBOXのデータ分類やCopilotの品質管理などに活用されている。
[サービス・ツール] Score: 108
iPhone・Pixel・Galaxyのキャリア設定を解析・比較するサービス。キャリアごとのAPN、VoLTE、Wi-Fi Calling、5Gを各機種で調べ、機能別の対応キャリア比較や、バージョン・ビルド間の差分確認ができる。データはAPIのJSONや日次CC0データセットで取得可能。2.0ではバックエンドを改善し、デコーダは改良中でコントリビュートを募集している。
[サービス・ツール] Score: 9
AppleやIntel、Googleなどの内部メモや忘れられた書籍を無料公開するアーカイブの紹介。Read Rareは、Apple、Intel、Google、Netflix、Facebookを築いた人々による45件の内部メモ、流出ハンドブック、忘れられた書籍を無料で読めるか借りられる形で公開している。
[ブログ] Score: 146
TypeSafe AIが7.5B評価で8.7億ドルを調達、a16z主導。シリーズAでSequoia、DCVC、著名エンジェルも参加し、Martin Casadoが取締役に就任する。開発者にはJev強化、機械ネイティブモデル、スマートソフト基盤を提供。企業ではFortune 500の3分の1が利用し数百万ドル削減済みで、エンタープライズ機能を追加。採用には継続企業として魅力を訴える。
[ブログ] Score: 17
DHHのCampfireをRustからKotlinへ移植し性能を比較した記事。著者は約24時間でClaude Codeを使いKotlin版を実装し、全応答がバイト単位でRust版と一致するよう検証した。x86環境ではJVM版がRustを上回る場合が多いが、メモリ使用量・起動時間・ウォームアップではRustが優位。GraalVMネイティブイメージは省メモリでRustに近い性能を示す。DHHのベンチは言語そのものより各実装への最適化の差を測っていると著者は指摘する。
[ブログ] Score: 66
Tor ProjectはMullvadとの関係を維持しつつ境界を設けると表明。共同創業者の政治的寄付への懸念を受け、共同ブランドの宣伝は停止するが、狭い合意に基づく技術協力は継続。コード改善や機能検証の利点を挙げる一方、人権使命を損なわず独立性を守ると説明。記述を見直して暗黙の支持を避け、信頼へのコストを認めつつ原則と実利の両立を目指す。
[サービス・ツール] Score: 266
Python 3.15.0の安定版が公開された。多くの新機能と最適化を含む。sentinelやfrozendict、UTF-8既定化、遅延インポート、内包表記の展開などを追加。JITとエラー表示を改善し、プロファイリング用パッケージや型機能、C APIも拡充。WindowsとmacOSの配布変更やmacOS 27でのtkinter問題に注意喚起。新機能を巡るTUIゲームも紹介している。
[ブログ] Score: 26
コーディングエージェントの能力不足を批判した記事。モデルではなくエージェント側がボトルネックだと指摘する。タスク管理・委任・自己理解・計画共有・サンドボックスなど多くの欠陥を列挙し、並列化や安価なモデルへの委任をせず、些細な確認で停止し、全ファイルへのアクセスを要求すると批判。原因は開発者と乖離した経営層によるエージェントへの投資不足ではないかと推測し、理想のエージェント像も提示している。
[ブログ] Score: 499
Oxideが4.45億ドルのシリーズDを発表した記事。同社は通常事業で課税所得を生むまで成長し、受注残が供給を上回る。在庫確保と製造拡大の資金として、Eclipse主導で調達。既存投資家に加えAtreides ManagementやAMDが参加。シリーズDにより受注消化と新規需要対応、製造能力拡大、独立企業としての長期的成長を目指すとしている。
[ブログ] Score: 901
DenoチームがCloudflareに参加し、WorkersとDurable Objectsの統合基盤へ開発を移すと発表した。Denoランタイムは1年後に開発終了しOSS存続。Deno Deployは6カ月後停止、有料顧客はWorkersへ移行支援。JSRは継続。rusty_v8はworkerd統合。celldとDurable Objectsを軸にAIエージェント向けモデル標準化を目指す。
[ブログ] Score: 99
Hetzner Cloudのネットワークスタックの歴史と技術概要を解説する記事。2011年のvServerはLinuxブリッジと静的ルート、2015年はBGPとNATを用い、2018年のCloud開始でIPv4直接ルーティングへ移行。2019年にOpen vSwitchとVXLANによるプライベート網、2020年にパブリック網移行、2021年にステートフルファイアウォールを導入した。物理網はホストへ安定したIP接続を提供し、ファイアウォールやプライベート網など高度な機能はホスト側で実装。自社運用可能な構成を重視し、障害範囲をホスト単位に抑える狙いを述べる。シリーズ第1回。
[ブログ] Score: 61
ソフトウェアエンジニアがAIエージェントで400年分の歴史アーカイブを探索し、忘れられた隕石、記録外のサイ、未記載の火山噴火を発見した事例を紹介する記事。GLOBALISEの東インド会社文書や新聞を意味検索し、小型モデルで候補を絞り込み、大型モデルで翻訳・抽出後、原本スキャンと既知リストで検証する手法を説明している。既知の事象で精度を確認しつつ、専門家の目録にない記録を複数見つけたと報告するが、確認は今後必要だとしている。
[サービス・ツール] Score: 341
macOS上でAIエージェントが画面に矢印や枠、文字を描くCLIツールbigarrowのGitHubリポジトリ。透明ウィンドウを全画面に重ね、クリックは透過しフォーカスを奪わず、自動で消える。Claude CodeやCodex向けスキルとして提供され、要素名を指定して許可ダイアログやシステム設定、Keynote、Finder、Chromeのタブ等を強調できる。描画にmacOS権限は不要で、MITライセンス。実用例として設定変更や権限付与、印刷手順の案内を挙げている。
[記事] Score: 271
OpenAIが安全研究者3名を研究情報の不適切扱いで解雇し、本人らが反論と萎縮効果を警告した記事。解雇されたJasmine Wangらは公開書簡で、外部安全機関との連携や懸念表明を恐れさせるとして、会社の安全文化への影響を批判。OpenAIは方針違反の誤った研究情報の扱いがあり、報復ではないと主張。研究者側はリーク関与を否定し、第三者監査の受け入れや監視可能性、透明な対話の維持を求めた。
[サービス・ツール] Score: 82
一度実行したCLIコマンドの出力を一定期間キャッシュするGo製ツールonceの紹介。同一コマンド・作業ディレクトリ・テナントキーの呼び出しは、Unixソケット上の常駐デーモンのメモリから返す。--ttlや--untilで有効期限を設定し、--no-dirでディレクトリ非依存にもできる。成功した標準出力のみ保存し、失敗時はキャッシュしない。1Passwordの指紋認証を毎回避ける用途を想定。
[ブログ] Score: 144
記事は、プログラミングは特別ではなく芸術であり、AIでコードを生成するのは創造的労働を損なうと主張する。作家やアーティストがAIに反対する一方、開発者は便利さから利用するが、単調なコードも芸術的実践の場であり、AIで置き換えれば成長や偉大な作品の機会を失う。抽象化や自動化は理解を高めるために使うべきで、スロップを生む利用には抵抗する価値があると論じる。
[サービス・ツール] Score: 39
Mozilla Orbitに着想したブラウザ拡張Apogeeの紹介である。記事や動画、PDF、DOCX、貼り付けテキストを、WebGPUやWebAssembly、ローカルのOllama等で端末内要約する。クラウドやAPI、アカウントは不要で、Orbitのサーバー依存をローカルファーストで改める点を特徴としている。
[サービス・ツール] Score: 159
MicrosoftのMXCは、信頼できないコードを実行するサンドボックス基盤である。Windows、Linux、macOSに対応し、プロセス隔離からVMまで複数のバックエンドを統一的に扱う。JSON設定でファイル、ネットワーク、UIをポリシー制御し、Rust、.NET、Node向けSDKを提供。コンテナの生成・実行・停止などのライフサイクル管理や診断機能も備える。
[サービス・ツール] Score: 215
1996年のQuakeを安全なRustへ移植し、GPUなしでブラウザ動作させたプロジェクト。シェアウェア第1章を同梱し、WASD移動、マウスルック、ゲームパッド、コンソールコマンド、チート、レベル選択、classic/slop設定、ミッションパック対応、自前ファイル読込を備える。ソースはGitHubで公開。
[ブログ] Score: 149
AI時代の数学教育と研究の行方を論じ、学生に数学を続けるよう促す記事。著者は、LLM企業の超人知能宣伝を警戒し、現在のAIは既存知識の凸包内で強力な研究協力者になると説明する。新概念の創出には人間の直感が必要で、数学の領域は広く初学者にも機会がある。AI活用で研究範囲は拡大しており、学生が数学から離れることは分野に打撃になると主張する。
[ブログ] Score: 192
集合論者カラギラは、OpenAIの『分割原理は選択公理を含意しない』論文を批判する。AI自体は有用と認めるが数学では慎重。論文は不明瞭で構成・用語・参考文献も不適切、学術誌なら即却下相当とする。OpenAIが理解困難な解を大量公開し専門家の検証を強いるのはDoS的だと主張。企業が数学者と連携し学界基準に従うべきで、自ら読む気も報酬もないと述べる。
[ブログ] Score: 234
Rust製ゲームエンジンBevy 0.20のリリースノートで、レンダリングやUI、シーン記述の大幅な強化をまとめている。リアルタイムパストレーサSolariはReSTIRを既定で無効化して高速化し、DLSS-RR 4.5対応やmacOSのMetal動作を実現。BSN構文は@接頭辞の導入やテンプレート値ラッパー廃止で簡潔になり、シーン完成時にReadyイベントを発火する。Feathersにはカラー入力やリスト表示などのウィジェットを追加。WESLシェーダー採用、スプライト用マテリアル、パンオービットカメラも加わった。
[ブログ] Score: 42
OpenAIが100以上の未解決数学問題を解いたと発表し、数学者らの反応をまとめている。驚嘆や新証明への期待がある一方、論文の品質・検証不足、著者非公開、査読回避、コミュニティへの負担や若手への悪影響を懸念。中立な議論の場や人間の理解の重要性、無償検証への拒否、基準厳格化を求める声もある。AIによる数学の変容を複雑に受け止めている。
[GitHub] Stars: 42,672
AIエージェントでアプリやバイナリを逆解析するMCPツールREAのGitHubリポジトリである。ネイティブバイナリ、JavaScript/Electron、.NET、Webサイトを対象に、ソースなしで機能を調査し根拠と限界を示す。HopperやGhidraと連携し、解析はローカルで実行。セットアップでClaude CodeやCursor等の対応エージェントにMCPと調査ワークフローを登録する。
[GitHub] Stars: 21,534
PS5実行ファイルをLinux/Windowsへ自動移植するツールAnyPS5のリポジトリである。再リンカでネイティブ形式へ変換し、システムPRXライブラリを動的リンク向けに実装。エミュレーションや別ランタイムは使わない。シェーダ再コンパイラはSPIR-Vを生成する。対応ゲーム一覧や入力設定を公開。GPL-2.0。研究・保存・相互運用目的で、著作権物は含まないとしている。
[GitHub] Stars: 282,466
AIコーディングエージェント向けの実務用スキル集を公開したGitHubリポジトリ。小さく適応・組み合わせ可能で、どのモデルでも使えるよう設計されている。エージェントが指示を取り違える、冗長になる、コードが動かない、設計が複雑化するという4つの失敗に対し、質問によるすり合わせ、共有言語とADR、TDDやバグ診断、アーキテクチャ改善の各スキルを提供。Claude Codeのプラグインかnpxで導入できるとしている。
[GitHub] Stars: 47,730
AIコーディングエージェント向けに編集品質の図を生成するスキル集。Claude CodeやCodex、GitHub Copilotなどに対応し、42種類の図を自己完結型HTMLとSVGで出力する。影や凡庸なMermaid表現を避け、意味論的パターンで振る舞いとレイアウトを分離。静的HTMLを既定としつつ任意の動きも可能。draw.ioやMermaid等の再描画、Webサイトからブランド配色を60秒で反映できるとしている。Figma不要をうたう。
[GitHub] Stars: 45,099
Alibaba発のオープンソースAIコードレビューCLI。決定論的パイプラインとLLMエージェントを組み合わせ、行単位の指摘や多言語ルールで脆弱性・不具合を検出。差分だけでなくファイル全体も監査でき、OpenAI・Anthropic互換。
[GitHub] Stars: 28,169
Anthropicが公開する、Claude CoworkやClaude Codeを業務特化型にする11種のオープンソースプラグイン。営業、法務、財務、開発などのスキル・コマンド・外部ツール連携を備え、MarkdownとJSONで自社向けにカスタマイズできる。
[GitHub] Stars: 60,591
litellmはRustコアとPython SDKで提供される高速なAIゲートウェイのリポジトリ。100以上のLLM APIをOpenAI形式またはネイティブ形式で呼び出せ、コスト追跡、ガードレール、負荷分散、ログ記録に対応する。Bedrock、Azure、OpenAI、Anthropic、VertexAI、vLLM、Nvidia NIMなどをサポートし、GitHubでは6万スター超、1.2万フォークを集める。
[GitHub] Stars: 103,888
AIコーディングエージェント向けに、仕様定義から計画、実装、テスト、レビュー、出荷までの開発ワークフローを標準化する25種類の実践的スキル集。Claude Code、Cursor、Codex、Copilotなど70以上のエージェントに導入でき、品質管理や自動実行にも対応する。
[GitHub] Stars: 11,052
ArtCraftは、AI画像・動画制作を視覚的に組み立てるアーティスト向け制作エンジンである。2D合成や3Dシーン配置、画像の3Dメッシュ化、キャラクターのポーズと同一性転送、キットバッシングによる構図設計を備え、生成前の精密な設計と再現性を狙う。GitHubでは約7.5kスター、1kフォークを獲得している。
[GitHub] Stars: 17,648
ストリーミング3D再構成の基盤モデルを公開したGitHubリポジトリ。ECCV 2026 Best Paper Award CandidateのLingBot-Mapは、座標接地や幾何手がかり、長距離ドリフト補正を単一のストリーミング枠組みに統合するGeometric Context Transformerを採用。paged KV cache attentionにより518×378解像度で1万フレーム超を約20FPSで推論し、既存のストリーミング手法や最適化ベース手法を上回る再構成性能を示す。Apache-2.0でモデルと評価ベンチマークも公開されている。
[GitHub] Stars: 5,369
AIコーディング支援向けのSwiftUIエージェントスキルを公開するリポジトリ。Claude CodeやCodex、Gemini、Cursorなどで利用でき、API利用法や設計、性能、アクセシビリティに関する指針を提供する。LLMが犯しがちな非推奨APIの使用やVoiceOver非対応、性能問題の修正を狙う。npxやClaudeのプラグインで導入でき、MITライセンスで公開されている。
Hacker News コメント