LIGO、観測史上最大のブラックホール合体現象を検出、既存モデルを覆す

2025-07-14
LIGO、観測史上最大のブラックホール合体現象を検出、既存モデルを覆す

LIGO共同研究グループは、これまでに観測された中で最大のブラックホール合体現象であるGW231123の検出を発表しました。この合体によって、太陽質量の225倍を超える巨大ブラックホールが形成されました。この発見は、既存の恒星進化モデルに疑問を投げかけるものです。合体に関与した2つのブラックホールは、それぞれ太陽質量の137倍と103倍であり、安定した合体という予想に反していました。研究者らは、これらのブラックホールは、それより小さなブラックホールの以前の合体によって形成された可能性があると推測しています。この発見は、ブラックホール形成の理解に対する大きな挑戦であり、今後の研究にとって貴重なデータとなります。

続きを読む
テクノロジー ブラックホール合体

APKLab:VS Codeのための究極のAndroidリバースエンジニアリングエクステンション

2025-07-14
APKLab:VS Codeのための究極のAndroidリバースエンジニアリングエクステンション

APKLabは、Quark-Engine、Apktool、Jadxなどの強力なオープンソースツールをVS Codeにシームレスに統合し、包括的なAndroidリバースエンジニアリングエクスペリエンスを提供します。リソースのデコード、Smaliへの逆アセンブル、Javaへのデコンパイル、マルウェア分析レポートの生成、HTTPS検査の実行など、お気に入りのIDE内ですべてを実行できます。カスタムキーストア署名、Gitリポジトリの初期化、クロスプラットフォーム互換性(Linux、Windows、macOS)などの機能が含まれています。

続きを読む

量子力学100年:ハイゼンベルクの手紙から標準模型へ

2025-07-14
量子力学100年:ハイゼンベルクの手紙から標準模型へ

1925年7月9日、ヴェルナー・ハイゼンベルクがヴォルフガング・パウリ宛てに書いた手紙は、現代量子力学の始まりを告げました。100年前、ハイゼンベルクはヘルゴラント島で、現代量子力学の基礎を築く業績を上げました。その手紙の中で、ハイゼンベルクは古典的な原子軌道モデルを捨て、実験的観測結果に焦点を当て、行列力学の基礎を築きました。現在、量子力学は科学史上最も正確な枠組みである素粒子物理学の標準模型へと発展し、量子センシングや量子シミュレーションなどで大きな可能性を示しています。しかし、その本質的な解釈は依然として議論の的であり、継続的な探求と議論を呼び起こしています。

続きを読む
テクノロジー ハイゼンベルク

OpenCut:プライバシー重視のオープンソースビデオエディター

2025-07-14
OpenCut:プライバシー重視のオープンソースビデオエディター

OpenCutは、ウェブ、デスクトップ、モバイルに対応した無料のオープンソースビデオエディターです。ユーザーのプライバシーを重視し、すべてのビデオはユーザーのデバイス上に保存されます。基本機能は現在有料ですが、使いやすさは実証済みです。タイムラインベースの編集、マルチトラックサポート、リアルタイムプレビューを備え、ウォーターマークやサブスクリプションはありません。Next.jsで構築されており、UIコンポーネント、カスタムReactフック、ユーティリティとAPIロジック、状態管理、TypeScript型などが含まれています。詳細なセットアップと開発ガイドラインが提供されており、コントリビューションは大歓迎です。

続きを読む

arXivLabs:コミュニティとの協力による実験プロジェクト

2025-07-14
arXivLabs:コミュニティとの協力による実験プロジェクト

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

続きを読む
テクノロジー

10年間のランニング:不規則から規律へ

2025-07-14
10年間のランニング:不規則から規律へ

著者は20代後半までランニングを始めず、最初は数回走っては休憩するという不規則なパターンでした。2015年7月、何かが変わりました。連続して何日か走った後、4日連続で走ることへの挑戦が始まりました。それが1週間、1ヶ月、1年、そして今や10年になりました。過去10年間、著者は7大陸を走り、様々な気象条件や体の不調を経験しましたが、決して諦めませんでした。この旅は、健康と心の充実だけでなく、粘り強さへの深い理解と、妻モリーからの揺るぎない支えをもたらしてくれました。

続きを読む

あなたのデータ、あなたのプライバシー:ローカルで動作するAIライティングアシスタント

2025-07-14
あなたのデータ、あなたのプライバシー:ローカルで動作するAIライティングアシスタント

このmacOSアプリケーションは、ローカルで実行される大規模言語モデル(LLM)を使用しており、あなたのドキュメント、テキスト、ライティングがMacから出ることはありません。Mail、メッセージ、Safariなど、ほとんどのmacOSアプリと互換性があります。7日間の無料トライアル(クレジットカード不要)と、学生および教育関係者向けの50%割引があります。すべての処理はローカルで行われ、データのプライバシーとセキュリティを優先します。

続きを読む
開発

x86-64アセンブリを学ぼう!パート0 - セットアップと最初のステップ

2025-07-14

このブログ記事は、x86-64アセンブリ言語に関するシリーズの最初の部分です。著者は、大学での時代遅れのx86アセンブリの教え方を振り返り、最新のチュートリアルを作成することにしました。このチュートリアルでは、Flat Assembler (FASM)とWinDbgを使用し、レジスタ、メモリアドレッシング、64ビットWindowsの呼び出し規約などの基本的な概念を説明します。最後に、FASMでコンパイルし、WinDbgでデバッグする簡単なWindowsプログラムを作成します。

続きを読む

強化学習のスケーリング:ウェブ上での次トークン予測

2025-07-13
強化学習のスケーリング:ウェブ上での次トークン予測

著者は、強化学習(RL)がAIモデルのトレーニングにおける次のフロンティアであると主張しています。複数の環境を同時にスケーリングする現在の方法は、混乱を招きます。代わりに、著者は、ウェブ規模のデータセット上でRLによる次トークン予測を使用して、モデルに推論を学習させることを提案しています。これは、数学やコードの問題に焦点を当てた現在のRLトレーニングデータセットの限界を超えて、容易に入手可能な膨大なウェブデータを利用します。RLと次トークン予測を統合することで、このアプローチは、はるかに強力な推論モデルを作成することを約束します。

続きを読む
AI

アルキメデスと菱形十二面体:ルネサンスの出会い

2025-07-13
アルキメデスと菱形十二面体:ルネサンスの出会い

ラファエロにインスパイアされたウーゴ・ダ・カルピによる描写は、菱形十二面体に魅了されたアルキメデスを描いています。絵画は、幾何学的な図形の合理的な秩序とアルキメデスの瞑想的な姿勢との対比を示しています。多面体は輝いているように見え、触れられるもの以上の存在です。並置は、知識の知覚可能性と人類の理解への探求を探ります。

続きを読む
デザイン ルネサンス美術

Infisical、オープンソースセキュリティの未来を築くため、デベロッパーリレーションズリーダーを募集

2025-07-13
Infisical、オープンソースセキュリティの未来を築くため、デベロッパーリレーションズリーダーを募集

Y Combinator、Google、Elad Gilから支援を受けているオープンソースセキュリティインフラストラクチャプラットフォームInfisicalは、デベロッパーリレーションズの専門家を募集しています。この役割は、魅力的な技術コンテンツ(ブログ、ビデオ、ライブストリーム)を作成し、コミュニティのエンゲージメントを促進するために、強力な技術的バックグラウンドと優れたコミュニケーションスキルを必要とします。理想的な候補者は、ソフトウェアエンジニアリング、開発者ツール、インフラストラクチャに精通し、複数のフォーマットでコンテンツを作成することに慣れています。これは、Infisicalの開発者コミュニティ戦略を形作り、開発者が秘密、PKI、キー、SSHワークフローを安全に管理するのを支援する、やりがいのある、ペースの速い機会です。

続きを読む

自動運転スクーター?OmowayのOmo Xが電動二輪車を再定義

2025-07-13
自動運転スクーター?OmowayのOmo Xが電動二輪車を再定義

Xpengの元幹部によって設立されたOmowayは、自動車レベルの自律走行機能を備えた電動スクーター、Omo Xを発表しました。ジャカルタで披露されたOmo Xは、「Halo Pilot」システムを使用してステージに自律走行しました。このシステムには、アダプティブクルーズコントロール、リモートサモン、自動駐車、自動バック機能が含まれています。自律走行に加え、衝突警告、緊急ブレーキアシスト、ブラインドスポットモニタリング、V2V通信も備えています。モジュール式のフレームは、様々なライディングスタイルに適合します。2026年初頭に約3500ユーロで発売予定で、エントリーレベル以上、プレミアムeスクーター未満の市場をターゲットとしています。革新的である一方、インドネシアなどの主要市場で重視される手頃な価格と実用性とのバランスが成功の鍵となります。

続きを読む
テクノロジー 電動スクーター

C++コルーチン:高度なカスタマイズ機能

2025-07-13

C++コルーチンは、`std::vector`のようなすぐに使えるライブラリではありません。ライブラリ作成者が実装する必要があるカスタマイズポイントを定義する仕様です。関数の概念を拡張し、サスペンド、レジューム、デストロイ操作をサポートします。`co_await`キーワードでコルーチンをマークし、`Task::promise_type`を使用して、呼び出し、戻り、サスペンド、レジュームポイントでの動作をカスタマイズします。`awaiter`と`awaitable`メカニズムは、サスペンドとレジュームを処理し、依存関係が準備できたときにレジュームを可能にし、柔軟な非同期プログラミングを実現します。

続きを読む
開発

中古ゲームでNintendo Switch 2がBAN?

2025-07-13
中古ゲームでNintendo Switch 2がBAN?

Nintendo Switch 2ユーザーが、中古のSwitch 1ゲームをプレイしたことで、新しい本体が任天堂によってBANされたという報告があります。ユーザーはFacebook Marketplaceで中古ゲームを4本購入し、アップデートしたところ、翌日、本体が任天堂のオンラインサービスから接続できなくなりました。幸い、購入証明を提供することで問題を解決できました。これは、悪質な業者がゲームをコピーし、誤って海賊版とみなされる可能性があるため、中古ゲーム購入のリスクを示しています。任天堂は知的財産権保護に厳しいことで知られていますが、これは誤ったBANを修正する意思を示しています。

続きを読む
ゲーム 中古ゲーム

TorchLeet:PyTorchによるディープラーニング演習場

2025-07-13
TorchLeet:PyTorchによるディープラーニング演習場

TorchLeetは、PyTorchの基本から高度な概念までを網羅した演習問題集です。基礎編では、線形回帰、カスタムデータセット、CNNなど、段階的に難易度が上がります。LLM編では、アテンション機構や埋め込みなど、LLMをゼロから構築することに焦点を当てています。各問題は不完全なコードと解答が提供され、実践的な学習を促します。初心者から上級者まで幅広く対応できます。

続きを読む
開発

C3のTempアロケータ:オーバーヘッドなしの自動メモリ管理

2025-07-13
C3のTempアロケータ:オーバーヘッドなしの自動メモリ管理

C3は、ガベージコレクションの容易さと手動メモリ管理のパフォーマンスを組み合わせた、Tempアロケータと呼ばれる革新的なメモリ管理ソリューションを導入しました。メモリ領域(アリーナ)を利用することで、Tempアロケータは関数のスコープが終了すると自動的にメモリを解放し、RAII、参照カウント、ガベージコレクションの複雑さなしにメモリリークを防ぎます。`@pool()`マクロを使用してメモリ領域を定義することにより、開発者は一時変数のライフサイクルを簡単に管理できます。Valgrindテストはその有効性を示しています。C3は、明示的な`@pool()`がない場合でも、`main()`関数に自動的に`@pool()`スコープを追加して、開発プロセスをさらに簡素化します。Tempアロケータにより、C3開発者は手動メモリ管理のパフォーマンスを享受しながら、メモリリークのリスクを回避できます。

続きを読む

シンプルなホームラボ監視:Prometheus を捨てて小さな Go プログラムを採用

2025-07-13

複雑な監視ツールにうんざりした著者は、自分のホームラボ用にミニマリストな監視システムを構築しました。この Go プログラムは、HTTP、DNS などを定期的にチェックし、ntfy.sh を介して通知を送信します。軽量でメンテナンスが容易で、サービスが実行されているかどうかだけをチェックし、障害と復旧の通知を送信します。履歴データやダッシュボードは必要ありません。さらに、healthchecks.io は、監視プログラム自体が気づかれないままになるのを防ぐためのデッドマンズスイッチとして機能します。シンプルですが、このシステムは著者のニーズを満たし、複雑な設定とメンテナンスを回避します。

続きを読む
開発

北朝鮮の偽ITワーカー、求職応募を殺到させる:新たなサイバーセキュリティ脅威

2025-07-13
北朝鮮の偽ITワーカー、求職応募を殺到させる:新たなサイバーセキュリティ脅威

北朝鮮の工作員と疑われる者からの不正な求職応募が、米欧のテクノロジー企業をターゲットに急増しています。過去6年間でアメリカ企業に少なくとも8800万ドルの損害を与えたこの巧妙な詐欺は、偽造された履歴書を用い、多くの場合、ディープフェイクやAI生成の回答を利用して採用担当者を欺いています。企業は、強化された背景調査、AIによる応募者スクリーニング、法執行機関との連携などによって対抗しています。しかし、この詐欺の進化する性質と犯罪的手口の適応は、継続的な課題となっています。

続きを読む
テクノロジー 採用詐欺

REST APIによるツール呼び出し:ステップバイステップガイド

2025-07-13
REST APIによるツール呼び出し:ステップバイステップガイド

この記事では、REST APIを使用してツールを呼び出し、LLMと外部ツールの連携を実現する方法を示します。「AirPods Proの在庫はありますか?」というクエリを例に、LLMプロバイダーのエンドポイントにプロンプトとツールの定義を送信し、その後、ツール呼び出しを含むLLMからの応答を受信するという2段階のプロセスを説明します。これは、LLMが外部ツールを活用して機能を拡張し、より複雑なタスクを処理する方法を示しています。

続きを読む
開発

GrahamのLispコーディングスタイル批判

2025-07-13

このレビューは、GrahamのLispコードの保守性と移植性を分析し、簡潔で、動機付けの明確な短い関数定義であることを発見しました。しかし、彼の非常に短く、分かりにくい命名規則、入れ子になったif文の過剰な使用、ループ構造の回避、スタックオーバーフローのリスクがあっても反復処理よりも再帰を優先する点などを批判しています。これらのスタイル上の選択は、一般的なLispの慣習から外れており、コードの可読性に悪影響を与える可能性があります。

続きを読む

スーパーマン、記録的な興行収入デビュー

2025-07-13
スーパーマン、記録的な興行収入デビュー

ジェームズ・ガン監督のスーパーマンは、金曜日に5650万ドル(プレビューで2250万ドルを含む)を稼ぎ、国内興行収入で1億1500万ドルから1億2000万ドルという記録的なデビューを果たす見込みです。この映画の成功は、DCスタジオとその主要フランチャイズの重要なリブートを意味します。国際的な立ち上げも期待を上回っており、9650万ドルを超える強力な世界的なオープニングウィークエンドに貢献しています。これはDCにとって大きな勝利であり、「スーパーヒーロー疲れ」に苦しんでいるスーパーヒーロージャンルにとって潜在的な転換点となる可能性があります。

続きを読む
ゲーム

Axon Draft One:AI警察報告書ジェネレーターが透明性を懸念させる

2025-07-13
Axon Draft One:AI警察報告書ジェネレーターが透明性を懸念させる

AxonのDraft Oneは、ボディカメラの音声から警察報告書を生成するAIツールだが、EFFの調査によると、監査と公的な説明責任を妨げるように設計されている。このシステムは、AI生成コンテンツと警察官による編集済みコンテンツの区別を曖昧にし、AIによる最初のドラフトはウィンドウを閉じると自動的に削除される。この透明性の欠如により、AIが報告書の正確性と公平性に与える影響を評価することが困難になり、司法の結果に対する深刻な懸念が生じている。AI生成警察報告書の透明性と説明責任を高めるための立法努力が進められている。

続きを読む
テクノロジー

AIコーディングツール:生産性低下要因か?

2025-07-13
AIコーディングツール:生産性低下要因か?

経験豊富な開発者16人を対象とした無作為化比較試験で、AIコーディングツールは予想に反してソフトウェア開発速度を19%低下させることが明らかになりました。この減速は、AIの有用性に対する過剰な楽観主義、開発者のリポジトリへの高い習熟度、大規模で複雑なリポジトリ、AIの低い信頼性などの要因によるものだとされています。AIツールはテストの迅速化やタスクの自動化に役立ちますが、コードの検証に手作業が必要なことや学習能力がないことから、全体的な時間節約には繋がりません。研究者たちは、この結果はAIツールの将来の可能性を否定するものではなく、現状の限界を示していることを強調しています。

続きを読む
開発

ゲームでがんと闘う:シチズンサイエンスゲームは病気の治療に役立つのか?

2025-07-13
ゲームでがんと闘う:シチズンサイエンスゲームは病気の治療に役立つのか?

現実の科学的問題に取り組むようプレイヤーを誘うことで、ゲームは医学における最も困難な課題の解決に貢献できる可能性があります。『Gaming Cancer』では、がん研究をシチズンサイエンスゲームに変換するという概念を探求し、プレイヤーが治療法の発見に貢献できるようにしています。FolditやEteRNAなどのゲームは、超低温保管を必要としないCOVID-19ワクチン設計など、すでに科学的発見につながっています。専門の科学者では解決できない問題を解決できるとは限りませんが、これらのゲームは新たな視点、生物学教育、がん研究へのより広範な参加を促します。

続きを読む

強化学習のGPT-3モーメント:複製学習の台頭

2025-07-13
強化学習のGPT-3モーメント:複製学習の台頭

この記事は、強化学習(RL)が間もなく独自の「GPT-3モーメント」を迎えることを予測しています。それは、数千もの多様な環境にわたる大規模なトレーニングを行い、強力な少サンプル、タスク非依存型の能力を実現することです。これには、前例のない規模と多様性のトレーニング環境が必要であり、数十万年の「モデル向けタスク時間」に相当する可能性があります。著者らは、「複製学習」という新しいパラダイムを提案しています。これは、AIが既存のソフトウェア製品またはその特定の機能を複製することで、大規模で自動的に採点可能なトレーニングタスクを作成するというものです。課題はありますが、このアプローチはRLのスケーリングのための明確な道筋を提供し、AIが完全なソフトウェアプロジェクトを自律的に完了することを可能にする可能性があります。

続きを読む

Firefoxの有料版を求める訴え

2025-07-13
Firefoxの有料版を求める訴え

長年のMozillaサポーターが、Firefoxの有料版を導入するよう訴えています。広告収入に依存する現在のビジネスモデルは、最終的に製品の劣化とユーザーエクスペリエンスの低下につながると主張しています。有料版では、ユーザーが直接Firefoxの開発に資金を提供し、広告なし、プライバシー重視の体験を得ることができます。無料・オープンソース版も引き続き提供され、アクセシビリティが確保されます。著者は、このモデルによってより多くのユーザーを獲得し、MozillaがFacebookのような「エンシッティフィケーション」を避けることができると考えています。

続きを読む

ISSの通過撮影:写真家のためのガイド

2025-07-13
ISSの通過撮影:写真家のためのガイド

この記事では、著者が太陽または月を横切る国際宇宙ステーション(ISS)の画像を撮影するプロセスについて詳しく説明しています。transit-finder.comを使用して、最適な観察場所と時間を特定することから始まります。次に、長焦点レンズ、追尾マウント(オプション)、リモートシャッター、高速メモリカードなど、必要な機器について説明します。著者は、機器のテストや時間的なずれを考慮するための早期到着など、綿密な計画の重要性を強調しています。最後に、予測される通過時間の前後での連続撮影と、結果の確認の重要性を強調しています。成功した画像が例として示されています。

続きを読む
その他

CosmoCube:月の裏側で古代のささやきを聞く

2025-07-13
CosmoCube:月の裏側で古代のささやきを聞く

ビッグバン後、最初の星が生まれる前の宇宙の夜明け(Cosmic Dawn)の謎を解き明かすため、科学者たちは小さな宇宙船CosmoCubeを月の裏側に送り込む計画です。地球のノイズは、この時代の微弱な電波信号の検出を非常に困難にしています。月が巨大なシールドとなり、CosmoCubeは初期宇宙の水素からの信号をキャッチし、宇宙の起源、銀河形成、ハッブル張力に関する手がかりを明らかにする可能性があります。英国主導のこのミッションは、ポーツマス大学、ケンブリッジ大学、ラザフォード・アップルトン研究所による共同研究で、5年以内の月周回軌道到達を目指しています。

続きを読む
テクノロジー 宇宙の夜明け 月の裏側

インドのガガーニャン計画、大きな進展:SMPS高温試験成功

2025-07-13
インドのガガーニャン計画、大きな進展:SMPS高温試験成功

インド宇宙研究機構(ISRO)は、ガガーニャン計画のサービスモジュール推進システム(SMPS)の高温試験2回が成功裏に完了したと発表しました。30秒と100秒の試験でシステム構成が検証され、全ての反応制御システム(RCS)スラスタと液体アポジモーター(LAM)の同時運転が成功裏に実証されました。これは、有人宇宙船を低地球軌道に打ち上げるインドの能力を実証することを目的としたガガーニャン有人宇宙飛行計画において重要な一歩です。ISROは近日中に全期間の高温試験を実施する予定です。

続きを読む
テクノロジー ガガーニャン

2025年、ニューロマンサーを再読する:サイバーパンクの古典を再検討

2025-07-13
2025年、ニューロマンサーを再読する:サイバーパンクの古典を再検討

2025年、初めてウィリアム・ギブソンの『ニューロマンサー』を読んだ著者は、この作品がサイバーパンクというジャンルに与えた画期的な影響について考察する。AI、VR、サイバースペースに関する描写は驚くほど的確であり、ギブソンの先見の明を示している。しかし、携帯電話などの技術の欠落や、巨大な宇宙ステーションといった仮定は、未来の技術を正確に予測することの難しさを浮き彫りにする。最終的に『ニューロマンサー』は単なる技術予測を超えた存在であり、その独特の文体と人間性の深い探求は、現在も強力な関連性を持ち、サイバーパンクのバイブルとしての地位を確固たるものとしている。

続きを読む
1 2 114 115 116 118 120 121 122 595 596