11041 点記事準備中
21349 点
Ghostty 1.4.0のリリースとlibghosttyの進化
Ghostty 1.4.0のリリースは、グラフィカルインターフェースと並行して、高品質でポータブルなターミナルエミュレーションライブラリ（libghostty）を提供することへのプロジェクトの移行を強調しています。
記事全文を読む →
4540 点
Survival LLM：オフラインの緊急事態に対応するローカルAIアシスタント
Survival LLMは、インターネット接続なしで応急処置の指示や食品安全プロトコルなどの緊急情報を提供するために設計されたオープンソースのAIアシスタントです。ユーザーのローカルハードウェア上で完全に動作することで、停電やその他のインフラ障害時にもプライバシーと機能を維持し、CDCやFEMAなどの信頼できるソースから厳選されたライブラリを使用します。
記事全文を読む →51094 点記事準備中
US Government is hiding a secret court ruling about how it spies on Americans (wired.com)
6379 点
M6チップ搭載の新型iMac、価値とディスプレイサイズを巡り議論を呼ぶ
M6チップを搭載した新型iMacの発売により、オールインワン設計とモジュール式セットアップのトレードオフ、特に24インチのディスプレイサイズとMac miniと比較したプレミアム価格の差に焦点が集まり、議論が巻き起こっています。
記事全文を読む →
7436 点
Apple、M6チップ搭載の14インチMacBook Proを発表
Appleは、12コアCPU、Neural Acceleratorを搭載した12コアGPU、およびデバイス上でのAIパフォーマンスを強化するために設計されたデュアル16コアNeural Engineを備えた、M6チップ駆動の新しい14インチMacBook Proを発表しました。
記事全文を読む →
8391 点
Tailscale、Tailscale SSHにおける権限昇格の脆弱性に対処
Tailscaleは、認可されたユーザーが設定されたローカル権限を超えて昇格した権限を取得できる可能性がある、Tailscale SSHサービスにおけるセキュリティ脆弱性の調査および修正を行っています。
記事全文を読む →
9243 点
AxiomMath、Leanを用いて有限単純群の分類を形式化
AxiomMathは、定理証明機Leanを用いて有限単純群の分類（CFSG）の「sorry（未解決のステップ）」を含まない形式化を完了しました。このプロジェクトでは、元の数学的文献において見落とされていたギャップの特定も行われました。
記事全文を読む →
12493 点
AI時代におけるブルックスの法則の変異
AIエージェントはオンボーディングや社内政治といった従来の人間的なボトルネックを排除する一方で、遅延しているプロジェクトにリソースを追加するとさらに遅れるという原則は、新たなリスクへと変異した。それは、不適切なオーケストレーションによって、誤った回答をより速く生成してしまうことである。
記事全文を読む →
14601 点
Anthropic、Claudeの学習用海賊版書籍に関する和解
連邦判事は、AnthropicがClaudeモデルの学習のためにスタンフォード大学の教授たちの著作物を不法に海賊版として取得したと判決し、15億ドルの和解に至った。この判決は海賊版作品の恒久的なライブラリの作成を禁止した一方で、大規模言語モデル（LLM）の実際の学習については「公正な利用（fair use）」と位置づけ、データの取得方法と処理方法の間に複雑な法的区別を生み出した。
記事全文を読む →
17185 点
Zigを4ヶ月使って：Rustから明示的なシステムプログラミングへの移行
RustからZigへ移行した開発者の経験は、明示的なメモリ管理、ミニマリストな依存関係文化、そして副作用に対する高い透明性への言語の焦点を浮き彫りにする一方で、1.0以前のエコシステムにおけるトレードオフも指摘している。
記事全文を読む →18181 点記事準備中
Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses) (cloudflare.com)
19684 点
AI生産性のパラドックス：実装コストの低下がなぜワークロードを増加させるのか
AIエージェントは定型業務を自動化することでエンジニアの負担を軽減すると期待されていましたが、一部の開発者は、実装の「コスト」を下げることで自然な摩擦が消失し、結果としてタスクの量が増大し、絶え間ないコンテキストスイッチによるより過酷なサイクルに陥っていると指摘しています。
記事全文を読む →
20385 点
Amazon、AI戦略を転換しフロンティアモデルとロボティクスに集中
Amazonは、Novaシリーズを含む広範な自社AIモデルのポートフォリオを縮小し、ロボティクスの専門家Pieter Abbeelが率いる単一の「フロンティアモデル」への取り組みにエンジニアリング人材と計算リソースを集中させる方針へと転換する。
記事全文を読む →
21171 点
Liquid AI、特化型インテリジェンスのためのLFM3モデルを発表
Liquid AIは、マルチモーダル・インテリジェンス向けに設計された新世代モデルLFM3をリリースしました。このリリースには1.7Bパラメータモデルなどの様々なサイズが含まれており、ローカルAIアプリケーションやエージェントタスク向けの高性能な機能を提供することを目指しています。
記事全文を読む →
22485 点
Robloxのクローラーが成人向けコンテンツを含む145GBの3Dモデルをスクレイピングした疑い
Open3DLabは、Robloxに帰属すると特定されたクローラーが、3D基盤モデルのトレーニングを目的として、成人向けプラットフォームを含む複数のコミュニティサイトから145GB以上の3Dアセットをダウンロードしたと報告した。
記事全文を読む →23150 点記事準備中
16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows (github.com/otya128)
24346 点
ソフトウェア品質の進化：脆弱なシステムから現代の複雑性へ
現代のソフトウェアは、肥大化している、あるいは動作が遅いといった批判を受けることがよくありますが、それは初期のコンピューティング時代には存在しなかった信頼性の基盤の上に成り立っています。歴史的なソフトウェアは、頻繁なシステムクラッシュ、オートセーブの欠如によるデータ損失、そして開発者を独自の回避策へと追い込んだハードウェア固有の制限に悩まされることが多々ありました。
記事全文を読む →
25210 点
エージェンティックな監視への移行：AIエージェント時代におけるソフトウェアの所有権の維持
AIエージェントがソフトウェアを生成・管理する割合が増えるにつれ、人間のエンジニアの役割は手動での執筆から高レベルの監視へと変化しています。システムの「所有権」を維持するには、基礎的なコンピュータサイエンスの知識、システムのアーキテクチャに関する広範な概念的マップ、そして複雑な障害を解決するためにエージェントが生成したコードへ「ジャストインタイム」で深く潜り込む能力のバランスが必要となります。
記事全文を読む →
2677 点
超小型Bluetoothタグを用いたオウスティの渡りルートの追跡
研究者たちは、BluMorphoと呼ばれるBluetooth対応の極小トラッカーを使用してオウスティの渡りルートをマッピングしており、飛行経路に関する高解像度なデータを提供すると同時に、昆虫への身体的負担に関する疑問も提起しています。
記事全文を読む →27157 点記事準備中