人間における「思考の連鎖（Chain of Thought）」の認知的利点
大規模言語モデル（LLM）の推論技術やラバーダック・デバッグから着想を得て、研究者や開発者は、思考を声に出して語ることが人間の問題解決の効率をどのように向上させるかを探求している。
記事全文を読む →最新の解説
Airbnb、ゲストに対する過度な家事の要求をホストに制限
11月20日より、Airbnbはホストがゲストに対して食器洗い、洗濯、ゴミの持ち出しといった時間のかかる作業を求めることを禁止する新しいハウスルールを導入します。
記事全文を読む →
石から粘土へ：エージェンティック・コーディングがいかにソフトウェア工学を変えるか
ソフトウェアエンジニアのAlberto Deniaは、エージェンティック・コーディングの台頭により、ソフトウェアが「容赦のない」素材から可塑性のある素材へと変貌し、エンジニアリングの焦点が手動の構築から高レベルのモデリングと判断へと移行したと主張している。
記事全文を読む →
Leanを用いた新しいo(n log n)整数乗算アルゴリズムの形式化
研究者たちは、従来の標準的な境界を改善する理論的な節目であるo(n log n)の計算量を達成する新しい整数乗算アルゴリズムを、定理証明機Leanを用いて形式化しています。
記事全文を読む →
オーストラリアの裁判所、AppleのApp Store独占に対して判決
オーストラリア連邦裁判所は、AppleがiOSアプリ配信市場において競争を実質的に阻害する行為を行ったとの判決を下し、このテック大手に対し、代替のアプリストアおよび配信チャネルを許可するよう命じた。
記事全文を読む →
PHPの脆弱性の悪用可能性とLLMの影響に関する分析
セキュリティ研究者のElias Taylor氏は、最近発見された高深刻度のPHPの脆弱性は、Log4Shellのような過去の重大な欠陥よりも大幅に悪用が困難であると主張しており、流通している多くの「概念実証（PoC）」エクスプロイトは機能しないか、あるいは既存のサーバーの脆弱性に依存していることを示唆しています。
記事全文を読む →mitmproxy、侵害されたCAキーを処理するための--emudhraオプションを追加
mitmproxyツールに、侵害されたeMudhra中間CAキーを使用して証明書に署名することを可能にする新しいコマンドラインオプションが導入されました。これにより、信頼された証明書ストアを更新していない古いデバイスからのトラフィックのインターセプトが容易になります。
記事全文を読む →
Data for Progressの報告書、1995年以降のアメリカにおける社会活動の急激な減少を明らかに
Data for Progressによる新しい調査により、教会への参列、自宅での集まりの主催、クラブへの加入といった伝統的な社会活動へのアメリカ人の参加が、過去30年間で2桁の減少を記録したことが明らかになった。
記事全文を読む →
OpenCode 2.0、ネイティブコード実行とバックグラウンドタスクを備えたエージェント・アーキテクチャを刷新
OpenCode 2.0は、永続的なバックグラウンドサービスモデルへの移行、複雑なツール・チェイニングのためのネイティブJavaScriptインタプリタ、そしてセッションの途中でエージェントが自身の能力をホットリロードできるプラグイン優先のアーキテクチャを採用することで、大幅な構造的転換を実現しました。
記事全文を読む →
Alter：AIエージェントのための特権アクセス管理プラットフォーム
Alterは、AIエージェントが外部ツールやAPIとどのように相互作用するかを管理するために設計された、ゼロトラストのアイデンティティおよびアクセス制御プラットフォームを提供します。長期間有効で過剰な権限を持つ資格情報を、エフェメラル（一時的）なリクエストごとのトークンに置き換えることで、同プラットフォームは不正なアクションを防止し、企業のセキュリティレビューのための改ざん耐性のある監査証跡を提供することを目指しています。
記事全文を読む →
Google、包括的なRustスタイルガイドを公開
Googleは、Android、Chrome、Fuchsiaを含む主要プロジェクト全体でコードを標準化するため、公式のRustスタイルガイドをリリースしました。このガイドは、標準的なRustエコシステムの慣習と、自動リファクタリングの最適化や一貫したAPI設計といった大規模エンジニアリング固有の要件とのバランスをとっています。
記事全文を読む →
セキュリティ専門家、AIの「ハッキング」報告は不適切な封じ込め策に起因すると指摘
AIエージェントが外部システムをハッキングするために「暴走」したという最近の報告は、モデル固有の自律性によるものではなく、適切なサンドボックスやアウトバウンドフィルタリングといった基本的なセキュリティの基礎を最先端の研究所が怠った結果であると専門家は主張している。
記事全文を読む →
Amazonの料金体系と価格設定ポリシーが世界の小売に与える影響
Amazonの高い出品者手数料と「公正な価格設定ポリシー」により、独立系小売業者はAmazonマーケットプレイスでのペナルティを避けるため、自社ウェブサイトを含むすべてのプラットフォームで高い価格を維持せざるを得ない可能性があります。
記事全文を読む →
GitLab、リモートコード実行の脆弱性に対する重要なパッチを公開
GitLabは、正規表現コンパイラにおける整数オーバーフローに起因するリモートコード実行の欠陥を含む、一連の重大および高深刻度のセキュリティパッチをリリースしました。
記事全文を読む →
がんの診断への向き合い方：患者の権利擁護とシステム上の障壁
扁平上皮癌の診断を受けた個人の体験談は、患者自身の権利擁護の重要性、主要ながんセンターでのセカンドオピニオンの必要性、そして断片化された医療システムをナビゲートする際の物流的な課題を浮き彫りにしています。
記事全文を読む →ダブルヘッド・スタック・アロケータ：メモリ断片化への戦略
ダブルヘッド・スタック・アロケータは、固定されたメモリブロックの両端から2つの独立したスタックを互いに向かって成長させることでメモリを管理し、競合する割り当て要求があるシステムにおいて断片化を効果的に最小限に抑えます。
記事全文を読む →
連結バスの背後にあるエンジニアリング
一般に「ベンディ・バス」として知られる連結バスは、都市の通りを走行するために高度なエンジニアリングを駆使しています。「プル型」のデザインはより単純ですが、現代の「プッシャー型」バスは、ジャックナイフ現象を防ぎ安定性を確保するために、油圧ダンパーと半アクティブ制御システムを採用しています。
記事全文を読む →
Oxide Computer Company、フルラック・ソフトウェアエミュレーションのための「Voxel」を開発
Oxide Computer Companyは、標準的なコンシューマー向けハードウェア上で、スレッド、スイッチ、マイクロコントローラを含むフルOxideラックをシミュレートできるソフトウェアエミュレーションスタック「Virtual OXidE Labs」（Voxel）を発表しました。
記事全文を読む →
標準的なC言語と実世界の実装の間の乖離
Cプログラミング言語は公式な標準によって規定されていますが、GCCやClangといった主要なコンパイラは、デフォルトの動作においてこれらの仕様から逸脱することが多く、その結果「標準」のCと、実際の開発現場で使用されるCとの間に乖離が生じています。
記事全文を読む →
Donaldson Futuro House：カリフォルニアに佇む希少なスペースエイジ住宅
フィンランドの建築家Matti Suuronenによって設計された、宇宙船にインスパイアされたグラスファイバー製の「Futuro」住宅の修復済みの希少な個体が、カリフォルニア州Idyllwildで売りに出されました。これは1960年代のスペースエイジ建築の保存を象徴する物件です。
記事全文を読む →