人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

C# 14のNull条件付き代入演算子：冗長なif文に別れを告げる

2025-09-18
C# 14のNull条件付き代入演算子：冗長なif文に別れを告げる

C# 14は画期的な機能、Null条件付き代入演算子を導入します。これにより、長年C#開発者を悩ませてきたNullReferenceException問題がエレガントに解決されます。以前はNull値の確認に複数のif文が必要でしたが、今では1行で代入が完了し、コードの可読性が大幅に向上し、冗長性が減少します。例えば、`config?.Settings?.RetryPolicy = new ExponentialBackoffRetryPolicy();` は煩雑なif文によるチェックに取って代わります。インクリメント/デクリメント演算子はサポートされておらず、過剰な使用は避けるべきですが、.NET 10リリース後に検討する価値のあるC# 14の貴重な改善点です。

続きを読む
(blog.ivankahl.com)
開発 Null条件付き代入

ClickHouseの超高コア数Intel Xeonプロセッサ上でのパフォーマンス最適化

2025-09-17
ClickHouseの超高コア数Intel Xeonプロセッサ上でのパフォーマンス最適化

インテルの最新プロセッサは数百ものコアを搭載しており、ClickHouseなどの分析データベースにとって大きな機会と課題をもたらしています。インテル上海のエンジニアは、超高コア数サーバー上でのClickHouseのパフォーマンスを体系的に分析し、5つの主要なボトルネック、つまりロック競合、メモリ最適化、並列処理の不足、SIMD命令の利用、偽共有を特定し、最適化しました。ロック保持時間の短縮、メモリ割り当ての改善、シリアルフェーズの並列化、よりスマートなSIMDアルゴリズムの採用、メモリレイアウトの最適化により、超高コア数システム上でのClickHouseのスケーラビリティを大幅に向上させ、個々のクエリで最大10倍の高速化、全体的な幾何平均で10％の改善を実現しました。この作業は、超高コア数時代におけるデータベース最適化において、アルゴリズムとメモリレイアウトの両面からのアプローチが必要であることを浮き彫りにしています。

続きを読む
(clickhouse.com)
開発 超高コア数プロセッサ

心理学における再現性危機：否定された認知科学研究

2025-09-17
心理学における再現性危機：否定された認知科学研究

2010年代、心理学において「再現性危機」が起こり、広く受け入れられていた多くの研究結果が再現できませんでした。この記事では、再現できなかった著名な認知科学研究をまとめたリストを示します。自己枯渇効果、パワーポージング効果、社会的プライミング（高齢者単語効果）、マネープライミング効果などが含まれます。かつて広く受け入れられていたこれらの知見は、その後疑問視されたり、完全に否定されたりしています。この記事の目的は、読者が信頼できる研究結果と信頼できない研究結果を区別し、誤った情報に惑わされないようにすることです。

続きを読む
(buttondown.com)
その他

ビジネスインサイダー、AIによる下書き作成を許可、非開示も容認

2025-09-17
ビジネスインサイダー、AIによる下書き作成を許可、非開示も容認

ビジネスインサイダーは、読者への開示なしに、ジャーナリストがAIを使って記事の下書きを作成することを正式に許可した主要ニュースメディアの一つとなりました。社内メモによると、AIは調査や画像編集などのツールとして使用できますが、最終的な成果物はジャーナリスト自身の仕事である必要があります。AI生成コンテンツや未検証コンテンツにはフラグが付けられますが、下書き作成にAIを使用した記事にはそれが明示的に記載されるわけではありません。この動きは、AI生成コンテンツをめぐる過去の論争にもかかわらず、ビジネスインサイダーのAI積極採用を反映しています。

続きを読む
(www.theverge.com)
テクノロジー AIジャーナリズム メディア業界

UUIDv47：ソート可能なUUIDでデータベースフレンドリー、APIとの互換性も確保

2025-09-17
UUIDv47：ソート可能なUUIDでデータベースフレンドリー、APIとの互換性も確保

UUIDv47は、データベース内でソート可能なUUIDv7を格納しながら、APIインターフェースに対してはUUIDv4として表示する巧妙な方法です。UUIDv7のタイムスタンプフィールドを、UUID自身のランダムビットに紐づいたキー付きSipHash-2-4ストリームでXORマスクすることで実現しています。これにより、データベースの効率性とAPIの互換性が両立されます。C言語で実装されたライブラリは統合が容易で、キー復元耐性も備え、高いセキュリティを確保しています。

続きを読む
(github.com)
開発

ストリーミング黄金時代は終わったのか？

2025-09-17
ストリーミング黄金時代は終わったのか？

Netflixの台頭から2023年の脚本家ストライキまで、ストリーミング業界は劇的な変革を遂げました。当初は高予算の「プレステージTV」が市場を支配していましたが、Netflixの株価暴落や経済的不確実性により、業界は縮小し、制作予算が削減されました。現在、質の高いドラマは少なくなり、低コストのノンフィクション番組に取って代わられています。視聴者はYouTubeなどの無料プラットフォームに目を向け、ストリーミング業界の統合が差し迫っていることを示唆しています。

続きを読む
(www.statsignificant.com)
テクノロジー 脚本家ストライキ

Waymo、Lyftと提携し、自動運転タクシーサービスをナッシュビルへ拡大

2025-09-17
Waymo、Lyftと提携し、自動運転タクシーサービスをナッシュビルへ拡大

自動運転技術企業Waymoは、Lyftとの提携により、テネシー州ナッシュビルに完全自動運転のライドヘイリングサービスを拡大します。Waymoの自動運転技術とLyftのフリートマネジメントの専門知識を活用することで、ナッシュビルの住民と観光客に便利で安全、信頼性の高いライドヘイリング体験を提供します。Waymoは今後数ヶ月以内にナッシュビルで完全自動運転運転を開始し、来年には一般公開する予定です。この拡大は、世界で最も信頼されるドライバーになるというWaymoのミッションにおける新たな一歩です。

続きを読む
(waymo.com)
テクノロジー

プロンプトの書き換えで小型LLMの性能が20％以上向上

2025-09-17
プロンプトの書き換えで小型LLMの性能が20％以上向上

最近の研究によると、プロンプトの簡単な書き換えによって、小型言語モデルのパフォーマンスを大幅に向上させることができることが示されています。研究者たちはTau²ベンチマークフレームワークを使用してGPT-5-miniモデルをテストし、プロンプトをより明確で構造化された指示に書き換えることで、モデルの成功率が20％以上向上することを発見しました。これは主に、小型モデルが冗長で曖昧な指示の処理に苦労する一方、明確なステップバイステップの指示の方がモデルの推論を効果的に導くためです。この研究は、巧みなプロンプトエンジニアリングによって、小型言語モデルでもパフォーマンスを大幅に向上させることができ、コスト効率が高く効率的なAIアプリケーションへの新たな道を開くことを示しています。

続きを読む
(quesma.com)
AI

Firefox、プライバシーと速度のバランスを保つ強化されたDoHをAndroidに導入

2025-09-17
Firefox、プライバシーと速度のバランスを保つ強化されたDoHをAndroidに導入

Firefoxは、AndroidでDNS over HTTPS (DoH)を展開し、強化されたプライバシー保護を提供します。以前からデスクトップとカナダで展開されているFirefoxのDoHは、CIRAとAkamaiとの連携により、DNSルックアップ速度が61％向上しました。Android実装では、ユーザーは「保護強化」DoH設定を選択でき、デスクトップエクスペリエンスを反映しています。Firefoxは、パフォーマンステストの結果次第で、特定の地域でAndroidのDoHをデフォルトで有効にする予定です。

続きを読む
(blog.mozilla.org)
テクノロジー

リアルな地形のプロシージャル生成：マルチスケールノイズと山岳モデリング

2025-09-17
リアルな地形のプロシージャル生成：マルチスケールノイズと山岳モデリング

この投稿は、プロシージャル地形生成シリーズの第3部であり、以前の部分で確立されたペイントマップと山脈システムに基づいています。マルチスケールノイズレイヤーと距離ベースの山頂を追加し、ブレンドテクニックを使用して最終的な地形標高マップを作成する手順を詳しく説明しています。著者は、さまざまな周波数で詳細を追加するためのSimplexノイズの使用と、海岸線の変化を制御するための海岸ノイズの強化について説明しています。より自然な山々の形状のために、Delaunay三角形分割と幅優先探索（BFS）アルゴリズムを使用して距離場が計算されます。最後に、さまざまな地形コンポーネントをブレンドして、リアルな結果を作成します。

続きを読む
(brashandplucky.com)
ゲーム

Xerox 50シリーズ：復活劇

2025-09-17

1988年、ゼロックスはチェスター・カールソンによる最初のゼログラフィ画像の発明50周年を記念して、50シリーズ複写機を発表しました。ゼロックスは、1982年の10シリーズ以来最も重要な製品ラインとして50シリーズを宣伝しました。強化された機能と高価格帯を特徴とする50シリーズ（モデル5018、5028、5046、5052、5090）は、日本の競合他社に奪われた市場シェアを取り戻すのに役立ちました。

続きを読む
(xeroxnostalgia.com)
テクノロジー ゼロックス 複写機

誤った反証：実数に基づく量子力学実験の再検討

2025-09-17

2021年のNature誌に掲載されたRenouらの論文は、実数に基づく量子力学は実験的に反証可能だと主張しました。この記事はそれに異議を唱えます。この論文は、複素数を使用する完全な量子ゲートセットと、実数のみを使用する部分集合を区別するためのテストを提案しました。しかし、著者は、実数のみを使用する量子コンピュータが、量子もつれを利用することで、このテストに合格できることを示しました。重要な隠された前提条件は、参加する量子コンピュータがもつれなしで開始することです。この詳細は補足資料に埋もれており、実験の妥当性を著しく損なっています。

続きを読む
(algassert.com)
テクノロジー 実験的検証

PureVPNの脆弱性：IPv6リークとファイアウォールリセット

2025-09-17

セキュリティ研究者は、PureVPNクライアントに2つの重大な脆弱性があることを発見しました。まず、IPv6リークにより、VPN接続時でもIPv6経由でインターネットにアクセスでき、実際のIPアドレスが公開される可能性があります。次に、VPNクライアントは接続時にユーザーのファイアウォール（iptables）ルールをリセットし、切断後も復元しません。これにより、システムがより脆弱になります。研究者はPureVPNにこれらの問題を報告しましたが、まだ回答を得ていません。PureVPNは注意して使用してください。

続きを読む
(anagogistis.com)
テクノロジー IPv6リーク

星間天体3I/ATLASと人類の暴力の逆説

2025-09-17
星間天体3I/ATLASと人類の暴力の逆説

ハーバード大学の教授アヴィ・ローブは、星間天体3I/ATLASの異常な観測結果と、現実の人間の政治的暴力との対比について論じています。3I/ATLASは、逆行軌道、異常に大きな核、異常な尾、そして独特の偏光特性など、珍しい特徴を示しており、地球外文明についての議論を引き起こしています。この記事では、3I/ATLASの研究と、最近のアメリカ合衆国の政治家への攻撃を並べて示し、人間の暴力と宇宙探査の広大さの著しい対比を強調しています。そして、人類は違いを脇に置いて、宇宙を探求し、共存への道を模索すべきだと訴えています。

続きを読む
(avi-loeb.medium.com)
テクノロジー

arXivLabs：コミュニティとの共同作業による実験プロジェクト

2025-09-17
arXivLabs：コミュニティとの共同作業による実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を共有し、受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーとのみ協力します。arXivコミュニティに貢献するプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しく学びましょう。

続きを読む
(arxiv.org)
テクノロジー

Appleの写真アプリが画像を破損させる：デバッグの冒険

2025-09-17

著者は、OM SystemカメラからAppleの写真アプリに写真をインポートする際、かなりの数の画像破損（最大30％）を経験しました。最初はハードウェアの問題を疑い、ケーブル、SDカード、ラップトップ、さらにはカメラを交換しましたが、問題は解決しませんでした。最終的に犯人はAppleの写真アプリそのものであり、特に写真の同時削除とインポートが原因であることが分かりました。この問題を解決するために、著者は写真の管理にDarktableを使用するようになりました。Darktableで写真を整理して処理してから、Appleの写真アプリにインポートしています。この長くて退屈なデバッグプロセスは、解決策と冗長なハードウェアというボーナスをもたらしました。

続きを読む
(tenderlovemaking.com)
その他 画像破損 Appleの写真アプリ カメラインポート

アリババの平頭哥AIチップ、Nvidia A800を上回る

2025-09-17
アリババの平頭哥AIチップ、Nvidia A800を上回る

中国中央テレビ（CCTV）の報道によると、アリババ傘下の平頭哥が開発した最新のAIチップPPUは、主要なパラメーターにおいてNvidiaのA800を上回り、H20と匹敵する性能を示した。PPUは96GBのHBM2eメモリ、700GB/sのチップ間相互接続帯域幅、PCIe 5.0×15インターフェース、400Wの消費電力を備えている。中国聯通の三江源グリーン電力スマートコンピューティングセンタープロジェクトでは、1747台の機器の契約が締結されており、その中にはアリババクラウドによる16384個の平頭哥チップ（1945Pの演算能力）が含まれ、中国国産AIチップの台頭を象徴している。

続きを読む
(news.futunn.com)
テクノロジー 平頭哥 国産チップ

代数型は怖くない：集合論的視点による簡単な説明

2025-09-17

この記事では、集合論の観点から型を値の集合と見なすことで、代数型を分かりやすく説明しています。積型（構造体やクラスに似ている）と和型（Option型やResult型など）を詳しく解説し、代数型とオブジェクト指向アプローチ（継承やビジターパターン）を用いたインタープリタの実装における違いを比較しています。著者は、代数型の方が簡潔で、可読性、保守性が高く、不必要な複雑さを避けることができると主張しています。結論として、積型と和型は型の組み合わせの基本的な方法であり、ほとんどのプログラミングタスクに十分であると強調しています。

続きを読む
(blog.aiono.dev)
開発 代数型 積型 和型

マイクロソフト：ソフトウェアサプライチェーンにおける「悪役」？

2025-09-17
マイクロソフト：ソフトウェアサプライチェーンにおける「悪役」？

この記事は、Internet Explorerからnpmまで、ソフトウェアサプライチェーンのセキュリティ問題を再検討し、Microsoftがnpmのセキュリティ確保に十分な努力をしてこなかったために、マルウェアが蔓延し、ソフトウェア開発企業を脅かしているという主張をしています。著者は、npmのpostinstallスクリプトに重大なセキュリティ脆弱性が存在し、攻撃に容易に悪用されていることを指摘していますが、npmの所有者であるMicrosoftはほとんど対策をとっていません。そのため、ソフトウェア開発は楽しくなくなり、単なる雑用となっています。この記事は、安全なソフトウェアサプライチェーンを構築するための業界全体の努力を呼びかけています。

続きを読む
(tane.dev)
開発

DataTables.net、ドメインハイジャックによる大規模なサービス停止

2025-09-17

DataTables.netウェブサイトは、ドメインハイジャック攻撃により大規模なサービス停止に見舞われました。攻撃者は巧妙なフィッシングキャンペーンと偽造身分証明書を用いて、ドメインの移転に成功しました。サーバーとコードは無事でしたが、CDNの中断はユーザーに大きな影響を与えました。作者はサービスを復旧し、Subresource Integrity（SRI）などのセキュリティ対策の導入を推奨しています。

続きを読む
(datatables.net)
開発 ドメインハイジャック

Stategraph：Terraformの状態管理を分散システムの問題として再考する

2025-09-17
Stategraph：Terraformの状態管理を分散システムの問題として再考する

Terraformは長らく、ファイルシステムのセマンティクスを使用して分散システムの問題を解決しており、その結果、状態管理が非効率になっています。Stategraphは、Terraformの状態を有向非巡回グラフとして扱い、グラフデータベースの機能を利用して、サブグラフの分離、正確なロック、増分リフレッシュを実現することで、この問題に対処します。これにより、同時スループットが劇的に向上し、ロック競合や遅いリフレッシュ時間が解決され、大規模チームが効果的に協力できるようになります。StategraphはバックエンドとしてPostgreSQLを使用し、既存のTerraformワークフローと互換性があり、移行のための設定変更は必要ありません。

続きを読む
(stategraph.dev)
開発

長期レビュー：Samsung 870 QVO 4TB SATA SSD

2025-09-17
長期レビュー：Samsung 870 QVO 4TB SATA SSD

この記事では、家庭用サーバーとバックアップ環境で4台のSamsung 870 QVO 4TB SATA SSDを長期的に使用した経験を共有します。2021年製造のこれらのドライブは、高い負荷下でも140～170MB/sの書き込み速度を維持する優れたパフォーマンスを示しました。1台のドライブで4つの不良ブロックが報告されましたが、全体として170TB以上のデータ書き込みを行い、1440TBWの耐久性制限には程遠い状態です。価格はやや下がりましたが、競合製品と比較して若干高価ではありますが、安定した信頼性の高いパフォーマンスを提供しています。

続きを読む
(ounapuu.ee)
ハードウェア SSDレビュー

Tabby：強力なターミナルエミュレータとSSHクライアント

2025-09-17
Tabby：強力なターミナルエミュレータとSSHクライアント

Tabby（旧Terminus）は、Windows、macOS、Linuxに対応した、高度にカスタマイズ可能なターミナルエミュレータ、SSH、Telnet、シリアルクライアントです。テーマ、カスタマイズ可能なショートカット、分割ペイン、タブの保持などの機能を備え、PowerShell、WSL、Git-Bashなどの様々なシェルをサポートしています。さらに、Docker統合、コマンドの高速送信、出力の保存など、豊富なプラグインをサポートしており、AIアシスタントとの統合も可能です。既存のターミナルアプリケーションに代わる多用途な選択肢であり、開発者やシステム管理者にとって理想的なツールです。

続きを読む
(github.com)
開発 SSHクライアント

NoctuaがFrameworkミニPCの騒音を低減

2025-09-17

NoctuaはFrameworkと協力して、FrameworkミニPCの冷却と騒音プロファイルを改善しました。カスタムサイドパネルとダクトのデザインにより、特に低風速時において騒音レベルが大幅に低減されました（約7dB（A）の低減）。現在大量生産されていませんが、Noctuaは3Dプリント可能なファイルを提供しています。さまざまなファンや排気構成に関するさらなるテストにより、カスタムサイドパネルとダクトが騒音低減の最適なソリューションであることが明らかになりました。

続きを読む
(noctua.at)
ハードウェア 騒音低減

Waymo、サンフランシスコ国際空港でロボタクシーの試験許可取得

2025-09-17
Waymo、サンフランシスコ国際空港でロボタクシーの試験許可取得

Waymoは、サンフランシスコ国際空港（SFO）でロボタクシーサービスの試験許可を取得しました。これは、サービスエリアの拡大と、より人気があり収益性の高い目的地への進出を目指す同社にとって大きな勝利です。長年にわたる交渉の後、WaymoはSFOと「試験運用パイロット許可」に署名しました。この合意の下、Waymoは、人間の運転手が同乗する車両の試験、運転手なしの試験、そして最終的には商業サービスの開始を含む3段階でSFOにサービスを展開します。Waymoは、まずは従業員を対象に試験を開始し、その後、一般の人々が空港への往復旅行を利用できるようにします。ピックアップとドロップオフは、最初はAirTrainでターミナルにアクセスできるSFOのKiss＆Fly駐車場で行われます。Waymoは5つの都市で運営されていますが、現在サービスを提供している空港はフェニックスのスカイヤハーバー空港のみです。同社は、何千もの車、タクシー、シャトル、乗客が毎日混在する混沌とした環境を車両が処理できることを規制当局に保証するために、数年間にわたりSFOと交渉してきました。しかし、空港はロボタクシーにとって大きな収益機会であり、空港への旅行は、人間の運転によるライドヘールカーの旅行の約20％を占めています。WaymoがUberやLyftと競争し、利益を上げるためには、空港へのアクセスが必要です。

続きを読む
(www.theverge.com)
テクノロジー

MELPとMELPeボコーダー：軍事音声通信の進化

2025-09-17
MELPとMELPeボコーダー：軍事音声通信の進化

この記事では、混合励振線形予測（MELP）とその拡張版であるMELPeボコーダーを紹介します。Alan McCreeによって発明されたMELPは、1997年に米国国防総省標準（MIL-STD-3005）となり、軍事用途や衛星通信で広く使用されました。MELPを改良したMELPeは、2001年に新しいMIL-STD-3005となり、2002年にはNATOによってSTANAG-4591標準として採用されました。MELPeは、CELPやLPC-10eなどの旧軍事標準と比較して、音声品質、明瞭さ、耐ノイズ性において大幅に優れており、特にノイズの多い環境でその性能を発揮します。

続きを読む
(melpe.org)
テクノロジー 音声符号化

大学の重要性が低下：アメリカ人の3分の1だけが「非常に重要」と評価

2025-09-17
大学の重要性が低下：アメリカ人の3分の1だけが「非常に重要」と評価

ギャラップの世論調査によると、過去15年間で、アメリカ人にとって大学教育の価値観が劇的に低下しています。現在、「非常に重要」と評価するのは約3分の1だけで、2010年には75％でした。この変化は、あらゆる人口統計学的グループに広がっており、伝統的に大学を支持してきた層でさえ、「非常に重要」と考える割合は半分以下です。多くの人がまだ何らかの価値を見出しているものの、大学教育が不可欠であるという認識は大幅に低下しています。大学の費用が高額であること、職業訓練の台頭、AIなどの技術革新による労働市場の変化、オンライン学習やマイクロ・クレデンシャルの増加などが、要因として考えられます。

続きを読む
(news.gallup.com)
その他 ギャラップ世論調査

エバーグレーズ：失敗に終わった排水計画の歴史

2025-09-17
エバーグレーズ：失敗に終わった排水計画の歴史

フロリダ州最大の湖、オキチョビー湖の平均水深はわずか9フィートで、3万匹のワニが生息しています。この記事では、19世紀の土地埋め立て計画から20世紀の大規模空港建設計画まで、フロリダのエバーグレーズを排水しようとした数々の失敗した試みを記しています。これらの試みは、生態系を破壊しただけでなく、壊滅的な洪水と社会的な損失をもたらしました。オキチョビー湖の浅さとエバーグレーズの洪水の歴史は、自然を制御しようとする人間の愚かさを浮き彫りにし、環境保護の重要性を強調しています。

続きを読む
(rabbitcavern.substack.com)
その他 生態系災害 人間の介入

Apple、iOSの重大なゼロデイ脆弱性を修正

2025-09-17

Appleは2025年9月15日、iOSとiPadOSにおける重大なメモリ破損の脆弱性（CVE-2025-43300）を修正する緊急セキュリティアップデートをリリースしました。この脆弱性は、標的型攻撃で悪用され、悪意のある画像ファイルによってメモリ破損を引き起こす可能性があります。影響を受けるデバイスには、iPhone 6s以降、一部のiPad、iPod touchが含まれます。Appleは、調査完了とパッチリリースまでセキュリティ上の問題を開示しないと述べています。

続きを読む
(support.apple.com)
テクノロジー iOSセキュリティアップデート

GPTを超えて：進化アルゴリズムがARC-AGIを制覇、AGIの兆候か？

2025-09-17
GPTを超えて：進化アルゴリズムがARC-AGIを制覇、AGIの兆候か？

最近、研究者によって、進化アルゴリズムと大規模言語モデルGrok-4を組み合わせた手法が、ARC-AGIベンチマークにおいて大きな進歩を遂げました。この手法は、ARC v1で79.6％の精度、より困難なARC v2で29.4％の精度を達成し、最先端の結果を更新しました。中心的な革新は、Pythonコードの代わりに自然言語命令を使用することであり、反復的な進化を通じてより効果的な解法を生成します。この研究は、強化学習と自然言語命令の組み合わせが、現在のLLMにおける抽象的推論の限界に対処し、人工汎用知能（AGI）への道を切り開く可能性を示唆しています。

続きを読む
(jeremyberman.substack.com)
AI
1 2 … 11 12 13 15 17 18 19 … 595 596