この記事では、Verlet積分を分かりやすく説明し、C++で実装された2Dクロスシミュレーションの例を通してその応用を示します。まず、微積分の基礎概念を復習し、オイラー積分法とVerlet積分法の長所と短所を比較した上で、ユーザーがマウスを使ってクロスをドラッグしたり引き裂いたりできるインタラクティブなクロスシミュレーションのコード実装を解説します。
続きを読む
OpenAIは、有名なAppleデザイナーであるジョニー・アイブ氏と共同設立したハードウェアスタートアップioに関する情報を、ウェブサイトとソーシャルメディアから突如削除しました。これは、OpenAIが約65億ドルでioを買収し、専用のAIハードウェアを開発する計画を発表した後の出来事です。OpenAIは、取引自体は継続していると主張していますが、Google Xから生まれた補聴器スタートアップiyOからの商標訴訟を理由に、関連情報を削除したとのことです。ioとOpenAIのCEOであるサム・アルトマン氏が買収を発表したブログ記事と9分間の動画は、既に公開されていません。
続きを読む
2025年6月12日にASAS-SNによって発見されたASASSN-25cm（AT 2025nlr）は、古典新星として分光学的に分類されました。南アフリカ天文台の1メートルLesedi望遠鏡に搭載されたMookodi分光器を使用した観測では、顕著なバルマー線と、P Cygniプロファイルを持つHe IまたはFe II線が明らかになり、強い恒星風が示唆されました。大きな噴火振幅も分類をさらに裏付けています。この新星には、アーカイブ調査における対応物はありませんでした。
続きを読む
Nano-vLLMは、約1200行のPythonコードでゼロから構築された、軽量なvLLMの実装です。そのコンパクトさにもかかわらず、元のvLLMに匹敵する推論速度を実現しています。プレフィックスキャッシング、テンソルパラレリズム、Torchコンパイル、CUDAグラフなどの様々な最適化が組み込まれています。`pip install git+https://github.com/GeeeekExplorer/nano-vllm.git`でインストールし、example.pyを参照して使用してください。RTX 4070 Laptop (8GB)とQwen3-0.6Bモデルを使ったベンチマークテストでは、vLLMをわずかに上回るスループットを示しました。
続きを読む
Intelグラフィックスのセキュリティ軽減策がパフォーマンスに影響を与えており、これを無効化することで、OpenCLとLevel ZeroのGPUコンピューティングにおいて最大20%のパフォーマンス向上が見込めます。CanonicalはIntelと協力し、このパフォーマンス低下を取り戻すために、Ubuntuパッケージでこれらの軽減策を無効化する予定です。これは「NEO_DISABLE_MITIGATIONS」ビルドオプションによって有効になり、IntelのGitHubバイナリでも既に使用されています。セキュリティリスクは存在しますが、IntelとCanonicalのセキュリティチームはこの変更を承認しており、Ubuntu 25.10で導入される予定です。軽減策は主にIntel Compute Runtimeに影響し、カーネルレベルのセキュリティには影響しません。
続きを読む
天文学者たちがT Coronae Borealisの爆発を待ち望む中、予想外の新たな新星V462 Lupiが夜空を明るく照らしました。6月12日に発見されたこの古典的な新星は、おおかみ座に位置し、6.1等級に達しており、暗い夜空では肉眼でも見える可能性があります。明るさが300万倍以上増加したという劇的な変化は、白色矮星が伴星から物質を奪い、熱核爆発を起こしたことに起因します。南半球と北緯35度以南の地域では、この壮大な天文現象を目撃するチャンスがあります。
続きを読む
新たに発見された2つのローカル特権昇格（LPE）脆弱性により、主要なLinuxディストリビューションを実行するシステムで、攻撃者がroot権限を取得できるようになります。最初の脆弱性（CVE-2025-6018）は、openSUSE Leap 15およびSUSE Linux Enterprise 15のPAMフレームワークの設定に見つかり、ローカル攻撃者が「allow_active」ユーザーの権限を取得することを許可します。2番目の脆弱性（CVE-2025-6019）はlibblockdevに見つかり、「allow_active」ユーザーがudisksデーモンを介してroot権限を取得することを可能にします。Qualys TRUは概念実証の攻撃コードを開発し、Ubuntu、Debian、Fedora、openSUSE Leap 15でroot権限を取得することに成功しました。ただちにパッチを適用することが不可欠です。
続きを読む
CipherNomadは、Rustで実装されたオープンソースの暗号プロトコルであるAriadne Suiteをリリースしました。これは、デジタル主権の強化を目的として設計されています。その中核となる革新は、「迷路」構造と「スレッド」メカニズムであり、わずかなデータ改ざんも検出できる非周期的な暗号変換を実現します。現在アルファ版であり、監査されていないため、本番環境での使用はお勧めしません。
続きを読む
この記事では、テクノロジーが私たちの現実世界の体験をどのように変えているかを論じています。カリブ海のクルーズ旅行を例に、「経験」と「真の経験」の違いを説明しています。「経験」とは、綿密に設計され、人工的に制御された疑似現実であり、「真の経験」とは、世界との真の相互作用です。Googleアートプロジェクトのようなテクノロジーを批判し、「経験」が真の経験よりも優れているという主張を展開しています。便利な「経験」を好む理由を探り、現代のライフスタイルと時間的制約と関連付けています。最終的に、現実における摩擦と不確実性を再び受け入れるよう訴え、技術的なシミュレーションではなく、直接的な関与を通して、より深く意味のある人生経験を得ることを提唱しています。
続きを読む
Pythonソフトウェアファウンデーション（PSF）は2024年度インパクトレポートを発表し、Pythonコミュニティと言語の著しい成長を示しました。PythonはGitHubで最も人気のある言語となり、世界中のコミュニティ参加は過去最高を記録しました。主な成果として、最初のPyPIサポートスペシャリストの歓迎、ユーザー成功と教育・アウトリーチワーキンググループの復活、助成金、インフラストラクチャ、アクセシビリティへの継続的な投資などが挙げられます。レポートでは、2024年のハイライト、財務報告、今後の計画のプレビューを詳しく説明しています。
続きを読む
1919年、小さな皮革会社が設立され、後にチャールズ・タンディのリーダーシップの下で小売帝国へと発展しました。1963年、苦境にあったラジオシャックを買収し、驚くほど人気を博したTRS-80パーソナルコンピュータによって牽引される消費エレクトロニクス企業へと変貌を遂げました。この記事は、ラジオシャックの劇的な軌跡、質素な始まりから市場の支配、そして最終的には急成長するパーソナルコンピュータ市場における一見ありそうもない企業の驚くべき成功までを語ります。大胆なリーダーシップ、市場の知識、そして少しの幸運が描かれています。
続きを読む
Xは当初、Xターミナルで使用するために設計されていませんでした。初期のXは本格的なワークステーション上で動作していました。ディスクレスなワークステーションでさえ、重いタスクにはサーバーに依存していましたが、完全なローカルUnix環境を持っていました。Xターミナルが登場するのはずっと後のことで、XがクロスベンダーのUnixウィンドウシステムとして成功した後です。Xターミナルを最初に製造した企業の1つであるNCDは1987年に設立されましたが、製品の出荷は1989年までおそらくありませんでした。これは、XDM（Xディスプレイマネージャー）の遅い登場からも裏付けられます。XDMは1988年10月にX11R3と共にリリースされました。技術的にはXDMなしでXターミナルを使用することは可能でしたが、XDMの存在はプロセスを大幅に簡素化しました。これは、Xターミナルの採用がX自体の成熟に遅れを取っていたことを示しています。
続きを読む
JavaScriptライブラリのロギングは、課題を伴います。それは、便利なデバッグ機能を提供しながら、ユーザーの選択を尊重することです。LogTapeは、「ライブラリファースト」設計による独自のソリューションを提供します。ロギングが明示的に設定されるまで完全に透過的で、それ以外は出力や副作用は発生しません。有効化されると、LogTape対応ライブラリはすべて、統一された設定システムで管理されます。依存関係がなく、ESMとCommonJSの両方をサポートし、さまざまな実行環境で一貫して動作し、優れたパフォーマンスを誇ります。LogTapeは、ユーザーの既存のロギングシステムを尊重しながら、より柔軟で軽量なロギングソリューションを開発者に提供することを目指しています。
続きを読む
イーロン・マスクの野心的な約束から10年後、テスラはオースティンで無人運転のモデルY SUVを使ったロボタクシーサービスを静かに開始しました。カメラのみを使用するエンドツーエンドのAIアプローチを採用しており、ウェイモなどの競合他社とは大きく異なります。現在、オースティン南部の限られた地域で、2025年モデルY約10台からなる小規模な車隊を運用しており、1回4.2ドルの定額料金です。各車両には助手席に人間の安全監視員が同乗しており、これは従来の自動運転車のテスト方法とは異なります。テスラの透明性の低さと情報開示要求への妨害の試みは、安全と説明責任に関する懸念を引き起こしています。急ブレーキなどの軽微なインシデントに関する初期の報告もありますが、マスク氏とテスラチームはこのマイルストーンを祝いました。
続きを読む
1997年のPCゲームのクラシック、LEGOアイランドが、献身的な多くの貢献者による1年間の努力を経てWebに登場しました！Emscriptenによって実現したこのWebポートは、最新のブラウザでこの懐かしいタイトルをプレイできます。以前の逆コンパイルプロジェクトを基盤として、この移植版は、ゲーム史の一部をすべての人にとってアクセスしやすいものにすることを目指しています。開発中であり、潜在的なバグが含まれている可能性がありますが、この貴重なクラシックを磨くための作業中に、皆様からのフィードバックを歓迎します。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーとのみ協力しています。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsについてもっと学びましょう。
続きを読む
著者は、Pythonの速度を大幅に向上させることを目指して、コンパイル言語であるMojoを使ってPythonの拡張機能を作成する実験を行いました。階乗計算と素数カウントに関するテストでは、Mojoは純粋なPythonやNumPyを凌駕するパフォーマンスを示しました。オーバーフローの問題など、まだ初期開発段階であるものの、Mojoは大きな可能性を秘めており、Python開発者にとってコードの高速化を容易にする手段を提供します。
続きを読む
ESP32-BlueJammerは、ESP32とnRF24モジュールをベースとした2.4GHzジャマーで、Bluetooth、BLE、WiFi、RCデバイスなど、さまざまなデバイスの動作を妨害できます。多数の妨害パケットを送信することで干渉を実現し、広い範囲（30メートル以上）を誇ります。このプロジェクトは、DIYキットとプリソルダーバージョンを提供しており、組み立てとファームウェアの書き込みに関する包括的なチュートリアルも付属しています。重要なのは、信号の妨害は違法であるということです。このプロジェクトは教育目的のみに限定され、違法行為に使用しないでください。
続きを読む
CF-Shieldは、Cloudflare上でのDDoS攻撃を自動的に検知し軽減するPythonスクリプトです。Cloudflareのメールアドレス、APIトークン、ゾーンID、アカウントIDが必要です。インストール後、スクリプトはCPU使用率の閾値、チャレンジタイプ、オプションのDiscord、Slack、Telegram通知の設定を求めます。CPU使用率を監視し、閾値を超えるとCloudflareのWAFルールを自動的に有効化し、攻撃終了後に無効化します。この強力なツールは、DDoS攻撃からウェブサイトを保護するのに役立ちます。
続きを読む
ポール・ブレイン・レヴィは、Call-by-Push-Value（CBPV）計算に関する画期的な研究により、2025年アロンゾ・チャーチ賞を受賞しました。彼の研究は、純粋な論理的ラムダ計算と、効果を含む適用されたラムダ計算の別々の研究の流れを統合しました。CBPVは、効果、分極化、項の正規化、型の同型、プログラム変換など、計算と論理の現象を研究するための統一的な枠組みとして機能します。レヴィの貢献は、代数的データ型、操作的意味論、意味論的意味論、等式理論に及び、ラムダ計算の意味論的理論とそのプログラミング言語モデリングへの応用を大幅に進歩させました。
続きを読む
Logic Islandsは、6種類の異なるルールセットを持つパズルゲームです。当初、開発者は従来のバックトラッキングアルゴリズムを使用していましたが、3つのルールセットでは、マップサイズが7x7を超えるとマップ生成に失敗しました。これを克服するために、開発者は巧みにWave Function Collapse (WFC)アルゴリズムを適用しました。タイルの種類とその接続関係を再定義し、異なるルールに基づいて制約を設定することで、開発者はWFCを使用して、さまざまなルールを満たす大規模なマップ（最大12x12）を生成することに成功し、以前のマップ生成の問題を解決しました。この事例は、複雑なロジックパズルマップの生成におけるWFCアルゴリズムの威力を示しており、問題を異なる角度から考えることの重要性を示しています。
続きを読む
Polystateは、型の合成を通じて合成可能な有限状態マシンを構築するためのZigライブラリです。プログラミングの慣習を強制し、型レベルで状態マシンの状態を記録し、型の合成によって合成可能性を実現します。これにより、命令型プログラム構造の正確性が向上し、型と合成の観点からプログラムの状態を再設計することが促され、コードの合成可能性が向上します。Polystateは状態図を自動生成するため、ユーザーはプログラムの動作を直感的に理解できます。例として、ATMでのPIN入力試行回数の制限やraylibゲームでの選択メカニズムの再利用など、型の合成を通じて単純な状態マシンと複雑な状態マシンの構築方法を示しています。
続きを読む
Otus Lisp (Ol)バージョン2.6がリリースされました！これは軽量（約64KB）で純粋関数型のLisp方言であり、R7RS Schemeの拡張サブセットを実装し、複数のプラットフォーム（Linux、Windows、macOS、Androidなど）とアーキテクチャをサポートしています。Olは埋め込み可能で、他の言語で書かれたコードを呼び出すための高レベルインターフェースを提供します。WebAssemblyにも対応しており、様々なブラウザで実行できます。今回のリリースでは、より便利な数学表記のためのinfix表記が導入されました。
続きを読む
Adobeは、Google Pixelカメラチームの元メンバーによって開発されたiPhone用カメラアプリ「Project Indigo」を発表しました。このアプリは、コンピュテーショナルフォトグラフィーとAI機能を組み合わせ、プロフェッショナルな手動制御と自然な画像表現を提供し、過剰な処理を避けています。最大32枚の写真を組み合わせ、マイルドなトーンマッピングとシャープニングにより高画質を実現し、「反射除去」などのAI機能も搭載しています。現在、iPhone 12 Pro以降に対応しており、Android版も近日公開予定です。
続きを読む
RedMonkは、GitHubとStack Overflowのデータを使用してプログラミング言語のトレンドを追跡しています。しかし、Stack Overflowの質問数は2016年以降減少しており、ChatGPTなどのAIコーディングアシスタントの台頭後にはさらに加速しています。これは、RedMonkのプログラミング言語ランキングの信頼性に大きく影響します。チームは現在、この重要な分析を維持するために代替データソースを探求しています。
続きを読む
この記事では、AWS Backupがクロスアカウントとクロスリージョンのバックアップを同時にサポートしていないという制限を著者がどのように克服したかを詳しく説明しています。セキュリティとディザスタリカバリポリシーに基づき、バックアップを別々のアカウントとリージョンに保存する必要があるため、AWS Backup、EventBridge、Lambda関数巧みに組み合わせることで、クロスアカウント、クロスリージョンのバックアップレプリケーションを実現するソリューションを構築しました。これには、ソースアカウントとデスティネーションアカウントのVault、ポリシー、EventBridgeルール、Lambda関数の設定、暗号化と権限の処理などが含まれます。著者はこのソリューションを正常に実装し、自動化されたリストアテストやコスト監視などのさらなる最適化提案も行っています。
続きを読む
最近のポッドキャストで、作家フランシーン・プロースは1970年代のサンフランシスコでの生活を振り返っています。テクノロジーブーム以前の、ミッション地区がワイルドで自由だった時代を描写しています。プロースは、元ボクサーの宿泊施設だったレノホテルでアーティストたちが自分たちの空間を作り出したこと、そして夫がペンタゴンに登った反戦運動への参加などを語っています。この物語は、その時代の理想主義と自由への強いノスタルジアを呼び起こし、彼女のお気に入りの映画、アルフレッド・ヒッチコックの『めまい』との興味深い類似点を示しています。
続きを読む
OpenAIは、伝説的なAppleデザイナーであるジョニー・アイブとのコラボレーションと、アイブのスタートアップioを65億ドルで買収したことを宣伝するプロモーションビデオを静かに削除しました。削除の理由は買収の失敗ではなく、iyO（Alphabet Xのスピンオフ）が「io」という名称の使用に関して商標訴訟を起こしたことによるものです。裁判官は差し止め命令を出しました。OpenAIは、取引は継続しており、対応策を検討中であると確認しました。iyOの最初の製品は、生成AI搭載のイヤホンであり、裁判官はOpenAIのビデオがすでに消費者の混乱を招いている可能性があると示唆しました。現時点では、ビデオはXで閲覧可能です。
続きを読む
Kastleは、AIインフラの構築と最適化を行う創設エンジニアを募集しています。同社は、AI音声エージェントを活用して、米国の主要な住宅ローン事業者のコンタクトセンターとコンプライアンス運用を拡大しており、230万ドルの資金調達を受けています。この役割は、バックエンド開発、分散システム、AI統合の専門知識を必要とします。責任には、スケーラブルなバックエンドサービスの開発、ローンサービスプラットフォームと統合するAPI、および金融規制（SOC 2、FDCPA、RESPA、TILA）への準拠の確保が含まれます。
続きを読む
この記事は、B-2スピリットステルス爆撃機の驚異的な能力、特に40時間を超えるミッション遂行能力に焦点を当てています。長時間の飛行における乗員の休息と作戦能力の維持のために導入された独創的なソリューション、コンパクトな寝台、電子レンジ、化学トイレなどを詳細に説明しています。ミズーリ州からリビアへの往復ミッションの実例を通して、複数のタイムゾーンにわたる警戒状態の維持と爆撃任務の完了における課題と成功が示されています。また、B-1、B-2、B-52爆撃機の乗員休息設備とミッションプロファイルの比較も行われ、B-2パイロットの厳しい選抜と訓練課程が強調されています。B-2の成功は、高度なステルス技術だけでなく、人的要因への細心の注意によってもたらされています。
続きを読む