2025年4月9日、あるトレーダーがSPYのコールオプションに250万ドルを投じ、1時間足らずで7000万ドル以上の利益を得ました。この取引は、トランプ大統領による関税停止発表後の市場急騰を正確に予測しており、ニュースに先立って巨額の取引が行われました。取引の正確さと規模は、トレーダーが市場の動向を事前に知っていた可能性を示唆しており、インサイダー取引に関する深刻な疑問を提起しています。これは単なる幸運ではなく、完璧なタイミングと高いリスクを伴う賭けであり、市場操作の可能性を示唆しています。
続きを読む
中国の科学者たちは、嫦娥6号ミッションで持ち帰られた月の土壌と岩石のサンプルから、月の裏側は地球側よりも乾燥している可能性があることを報告しました。南極エイトケン盆地から採取された578個の粒子を分析した結果、水の量は1グラムあたり1.5マイクログラム未満と推定されました。これは、以前の地球側からのサンプルよりも少ない量です。より多くのサンプルが必要ですが、この乾燥状態は、盆地の形成や水の垂直分布の違いに関連している可能性があります。この発見は、将来のミッションを支援する豊富な水氷があると予想される月の南極付近に宇宙飛行士を着陸させるというNASAの計画を大きく変える可能性は低いでしょう。
続きを読む
RustからCへのコンパイラプロジェクトで大きな進歩がありました。コアテストの合格率は95.9％に達し、Rust Weekで発表されました。この記事では、128ビット整数intrinsic、チェック付き算術演算、サブスライシングのバグ修正の詳細が説明されています。Cコンパイラの互換性の向上と、メモリ効率の高い新しい内部IRへの移行についても議論されています。特定のプラットフォームでコンパイラを入手することの困難さなどの課題も認められていますが、作者はC99への準拠向上とより幅広いプラットフォームのサポートに尽力しています。将来の計画には、Rustパニックの詳細な調査とメモリプロファイラの開発が含まれます。
続きを読む
グアテマラの古代マヤ都市ティカルで最近発掘された祭壇は、マヤ史における重要な時期に関する私たちの理解を書き換えています。西暦300年代後半に遡るこの祭壇の芸術様式は、現代メキシコに位置する数百キロ離れた強力な文明であるテオティワカンのそれと非常に似ています。研究者たちは、テオティワカンの熟練した職人によってこの祭壇が作られたと考えており、テオティワカンがティカルに及ぼした大きな影響と支配を示唆しています。テオティワカン風の城塞の複製や独特の埋葬方法といった以前の発見と合わせて、この発見は、暴力的な権力掌握とそれに続く政権交代を示しており、マヤ文明における暴力的で変革的な時期を浮き彫りにしています。この祭壇の発見は、2つの古代帝国間の複雑で、しばしば対立的な関係についての魅力的な洞察を提供しています。
続きを読む
著者は、ゲーム『The Big Forest』のために、長年にわたり多くの森林生物をプロシージャルに生成し、アニメーション化することに取り組んできました。当初は単純なパラメトリックモデルを使用してみましたが、結果は満足のいくものではありませんでした。その後、手動パラメータ化に切り替え、主成分分析を用いてより高レベルのパラメータを探しましたが、それでも結果は理想的ではありませんでした。最終的に、自動化された手法を放棄し、代わりにより高レベルのパラメータを手動で定義し、パラメータ調整を支援するツールを開発しました。アニメーションに関しては、著者は以前の研究成果に基づき、運動学的手法を用い、継続的に改良することで、より自然な生物の動きを実現しました。このプロセス全体は困難を伴いましたが、同時に楽しいものでもありました。著者は、試行錯誤と改善のプロセスを共有しています。
続きを読む
マイクロソフトは、物議を醸しているAIツールRecallをWindows 11で再導入しました。Recallは3秒ごとにユーザーの画面をスクリーンショットし、インデックスを作成して保存します。以前、悪意のある攻撃者による悪用やプライバシー侵害の可能性など、深刻なセキュリティとプライバシーのリスクを理由に激しい批判を受けました。マイクロソフトは、オプトインと一時停止機能の改善を主張していますが、潜在的な悪用に関する懸念は依然として残っています。これは、技術革新とユーザーのプライバシーのバランスに関する議論を再燃させ、強力なAIツールのリスク軽減における課題を浮き彫りにしています。
続きを読む
この記事では、制約ソルバーSentientにおける無限大の取り扱いに関する課題を深く掘り下げています。Sentientは、問題をブール方程式に変換することで制約充足問題を解決するプログラミング言語です。コンピュータにおける整数は有限ビット数で表現されるため、Sentientは数学的な意味での無限の整数を直接扱うことができません。著者は、整数のビット数を段階的に増やすことで無限空間を近似する、近似に基づく解決策を提案しています。この記事では、効率性を高め、冗長な探索を回避するために、増分SATソルバーIPASIRを活用する方法について議論しています。また、配列や最適化問題の処理など、より複雑なシナリオへのこのアプローチの拡張についても探求し、最終的にSentientが将来チューリング完全になる可能性にも触れています。
続きを読む
Aweは、Algol 60の後継であるALGOL Wプログラミング言語用の新しいコンパイラです。1972年6月のALGOL W言語説明に記載されているように、言語の完全な実装です。Aweは、OS/360 ALGOL Wコンパイラ用に記述されたコードを、最小限の変更でコンパイルする必要があります。機能には、動的レコード割り当て、文字列処理、複素数、標準I/Oシステムが含まれます。このプロジェクトは、Hendrick Boom氏らへの貢献に感謝しています。
続きを読む
元OpenAI社員グループが、イーロン・マスクのOpenAIに対する訴訟を支持する意見書を提出、非営利組織から営利企業への転換計画に反対しました。彼らは、これが人類全体に利益をもたらすというOpenAIの本来の使命に反すると主張しています。複数の元社員は以前、OpenAIの透明性と説明責任の欠如を批判し、AI支配への無謀な競争を警告していました。OpenAIは、非営利部門は残るものの、公益法人（PBC）への移行を進めていると回答しました。この訴訟は、OpenAIの組織構造とAI開発への影響に焦点を当てており、AI分野における商業化と社会的責任の複雑な相互作用を浮き彫りにしています。
続きを読む
このドキュメントは、単一のスナップショットから複数のVMクローンをリストアすることのセキュリティ上の影響を分析しています。Linuxは、/dev/random、/dev/urandom、getrandomシステムコールという3つの主要なRNGインターフェースを公開しています。VMをクローンすると、複数のパラメータ（タイマデータやCPU HWRNG命令の出力など）が各結果に混ざり合うため、RNGの状態が不整合になります。この記事では、新しいカーネルと古いカーネルにおけるRNGの異なる実装を調べ、リストア後にRNGを再初期化すること、virtio-rngデバイスを使用すること、そしてVMGenIDメカニズム（Linux 5.18以降で導入）を活用して、クローニング後のRNGの状態の不整合に対処する方法などの解決策を提案しています。
続きを読む
PyReasonは、論理規則と事実を使用してグラフ構造を推論する視覚的な推論ツールです。アノテーション付きの実数値グラフとテンポラルロジックをサポートし、Pythonライブラリのインストール、マルチコア並列処理（Python 3.9と3.10のみ）、包括的なドキュメントとコード例を提供します。このソフトウェアは論文で発表されており、アリゾナ州理事会/アリゾナ州立大学の商標許可の下でライセンスされています。
続きを読む
開発者向けの公開クラウドであるFly.ioは、当初、開発者エクスペリエンス（DX）を重視していました。しかし、ここ数ヶ月、プラットフォームの成長が人間ではなく、主にロボットによって推進されていることが分かりました。これらのロボットは、ベクトルベースのコード生成プロセスである「vibe coding」のためにFly.ioのコンピューティングリソースを利用しています。迅速な起動時間、柔軟な仮想マシン（Fly Machine）、簡単なストレージとネットワーキングという彼らのニーズは、Fly.ioの設計と予想外によく合致しています。Fly.ioは、VMの迅速な起動/停止、増分ストレージ、MCPプロトコルのサポートなどの機能が、意外にもロボットにとって使いやすいものであることを発見しました。当初はロボット向けに設計されていませんでしたが、Fly.ioはロボットエクスペリエンス（RX）に焦点を当てる必要性を認識し、この新しいユーザーベースにより良いサービスを提供するために適応しています。
続きを読む
受注生産のバークレー・グランド・コンプリケーションとは異なり、ソラリアはヴァシュロン・コンスタンタンが主導するプロジェクトです。たった一人の時計職人、まさに一人だけが、最高の時計製造技術を駆使して自由に作品を作り上げることを許され、8年間その作業に没頭しました。彼はこの機会を最大限に活用しました。予算制限はなく、価格も公表されていませんが、この時計は販売されています。正式名称は「プレミア」で、将来のモデルは個性を保つために変更を加えながら、注文を受け付けています。しかし、それぞれの時計には複雑な機能がすべて搭載されています。全ての複雑な機能のリストは最後に掲載しますが、ここではいくつかのハイライトを紹介します。
続きを読む
この記事では、WebSocketの限界、特にトランザクション保証を必要とするメッセージを処理する場合の欠点を考察しています。著者は、WebSocketにはトランザクション性がなく、コマンドとレスポンスを確実に関連付けることが難しく、エラーや同時リクエストの処理も複雑になることを主張しています。これに対し、HTTPストリーミングはよりシンプルな代替手段を提供し、WebSocketの複雑なライフサイクル管理やサーバー側の複雑さを回避しながら、リアルタイムデータストリームを効率的に処理します。この記事では、著者が開発したeventkitライブラリも紹介されており、HTTPストリーミングの実装を簡素化します。
続きを読む
かつて3億3000万ドルの評価額を誇ったFintechスタートアップSolid（旧Wise）が、第11章破産法の適用を申請した。10倍の収益増加、収益性、100顧客という主張にもかかわらず、資金調達の失敗と投資家FTV Capitalとの高額な訴訟により崩壊した。FTVはSolidが収益と顧客数を偽装したと非難し、SolidはFTVの強硬姿勢を訴えた。訴訟は和解で終結したが、現在は従業員3名のみとなったSolidは破産による再建を目指す。Solidの失敗は、急成長するFintech企業への警鐘であり、現在の資金調達環境の課題を浮き彫りにしている。
続きを読む
Servoブラウザプロジェクトのテクニカルステアリングコミッティ（TSC）は、当初GitHub CopilotなどのAIコード生成ツールの禁止を緩和する投票を行いましたが、コミュニティからの強い反対を受けてその決定を撤回しました。著者は、AI生成コードには論理エラーや予測不可能性があり、コードの質の低下、メンテナンス負担の増加、評判の損害につながると主張しています。この記事では、AIツールの潜在的なリスクとコミュニティからのフィードバックを詳細に説明し、最終的にTSCに対して、プロジェクトの整合性と信頼性を維持するために、AI生成コードの使用を明示的に禁止するよう求めています。
続きを読む
著者は、AIツールを使用して複数の製品を迅速に開発することで、AI開発における著しい進歩を詳述しています。しかし、彼は、AIツールはしばしば、製品の文脈やユーザーの洞察に欠けたジュニア開発者のように振る舞い、標準以外のタスクでエラーを起こしやすいことに気づきました。これは、明確なコーディング指示の重要性を説明するために、ピーナッツバターとゼリーのサンドイッチのアナロジーを使用した大学の授業を思い出させます。今日のAIはより高度になりましたが、依然として、開発者は混乱した結果を避けるために、明確で正確な指示を提供する必要があります。著者は、AI時代における成功は、開発者が曖昧なアイデアを実際に機能する製品に変換する方法を明確に理解し説明する能力、つまりコーディングの速度だけではないと主張しています。
続きを読む
EUは最近、ゲーム内仮想通貨に関するガイドラインを発表し、free-to-playゲームにおける問題のあるマネタイゼーション手法の規制を目指しました。しかし、これらのガイドラインは法的拘束力がないため、その有効性は不確実です。この記事では、ガイドラインの核心となる原則を分析し、特に小規模スタジオを含むゲーム開発者への影響を探ります。開発者はジレンマに直面します。コンプライアンスは収益の大幅な減少やヨーロッパ市場からの撤退を招く可能性があり、一方、ガイドラインを無視すると法的リスクを負う可能性があります。著者は、仮想世界の固有の柔軟性により、開発者が創造的にガイドラインを回避できる可能性が高く、その実際的な影響は最小限になるだろうと主張しています。
続きを読む
新たな遺伝子分析により、7000年前のサハラ砂漠の緑豊かなオアシスに生息していた人々の遺伝子構成が明らかになりました。研究者たちは、リビアのタカルコリ岩陰に埋葬されていた2人の女性の古代DNAをシーケンス解析し、その最も近い遺伝的親戚が、1万5000年前のモロッコの狩猟採集民であることを発見しました。これは、サハラ湿潤期の前後を通して、北アフリカに長期間にわたって安定した人口が存在していたことを示唆しています。この系統は、5万年以上前にアフリカを離れた人々と異なる系統であり、数千年間にわたって比較的孤立した状態を保ち、レバント地方からのわずかな遺伝子流入のみがあり、ネアンデルタール人のDNAも含まれていました。この研究は、牧畜が、大規模な移動ではなく、文化交流を通じて広まったことを示唆しています。
続きを読む
この記事では、著者が意図的に親しい友人関係を築いた道のりを詳しく説明しています。以前は感情的なつながりのスキルが不足していましたが、積極的な努力の力を発見しました。脆弱性を誘発する質問を設計したり、深く個人的な会話を開始したりする実験を通して、彼は親密な絆を築くことに成功しました。著者は、エキサイティングな会話のトピックを見つけるための戦術、脆弱性の受け入れ、主導権の掌握、そして友情を維持することなどを共有し、主体性と継続的な努力の重要性を強調しています。
続きを読む
数学の授業では、自然対数の底eを複利を使って説明することがよくあります。年利100%の口座は、年利で複利計算すると2倍になり、半年複利だと2.25倍、日複利だと約2.714倍、そして連続複利だとちょうどe倍になります。しかし、これは誤解を招きます。複利の成長は指数関数的ですが、この例では複利計算の期間を線形に分割しています。銀行は金利、複利計算期間、年換算利率を別々に公開する必要があります。eを紹介する方法は、それ自身を導関数とするという独自の性質や、オイラーの公式における重要な役割など、他にもっとエレガントな方法があります。これらの方法は、事前にeを知っている必要がなく、数学的により厳密です。
続きを読む
ブルー・プリンスは、中毒性のあるローグライクのメカニクスと、優れたアートと魅力的なストーリーテリングを組み合わせた、驚くほど独創的なパズルゲームです。プレイヤーは広大な大邸宅を探検し、46番目の部屋を見つけて財産を受け継ぎます。コアゲームプレイは、5×9の部屋のグリッドを中心に展開し、開いた各ドアはランダムな選択肢を提供します。アイテムの収集、パズルの解決、メモや新聞の切り抜きを通してストーリーフラグメントを発見することで、魅力的な雰囲気が生まれます。ランダム性にもかかわらず、ゲームはプレイヤーを巧みに先へ導き、豊富なヒントを提供し、探索を報います。巨大な規模と非線形の物語は、数えきれないほどの没入型ゲームプレイ時間を保証し、パズル解決と収集要素を組み合わせたものです。
続きを読む
社会保障局（SSA）は、広報活動をプレスリリースや社内文書ではなく、Xに完全に移行すると発表しました。これは大幅な人員削減が行われている最中で、受給者や職員の情報へのアクセスに関する懸念が高まっています。ホワイトハウスは、この措置はサービス提供の最適化だと主張していますが、情報筋によると、地方事務所の職員数は約87％削減される見込みです。これは、イーロン・マスクによる連邦政府職員削減の取り組みと一致しており、主要な情報源としてのXの役割と潜在的なリスクを浮き彫りにしています。
続きを読む
研究者らは、二硫化モリブデン（MoS2）を用いた画期的な32ビットRISC-Vプロセッサを開発しました。「シリコンを超えた」ハードウェアにおける大きな進歩です。シリコンのようにMoS2をドーピングして閾値電圧を調整できないため、異なる金属配線（アルミニウムと金）と埋め込み材料を巧みに使用しました。機械学習によりトランジスタの組み合わせを最適化しました。結果として得られたプロセッサは、5900個のトランジスタを持ち、クロック速度は遅いものの、完全な32ビットRISC-V命令セットを実装し、チップレベルの歩留まりは99.8％を誇ります。当初は、低消費電力用途（センサーなど）に限定されますが、将来的な可能性は計り知れません。
続きを読む
ユービーアイソフトがThe Crewのサーバーを閉鎖したことで、ゲームの所有権をめぐる法的紛争が勃発しました。原告は、ユービーアイソフトがゲームをライブラリから削除し、サーバー閉鎖後にプレイできなくなったことは、誤解を招く商慣習に当たるとしており、2099年までのゲームの有効化コードとゲーム内通貨を証拠として挙げています。ユービーアイソフトは、購入契約は所有権ではなくライセンスのみを付与するものであると反論しています。この訴訟は、サーバー閉鎖や購入済みのデジタルゲームへのアクセス喪失からプレイヤーを守る法律の制定を求める声に火をつけ、デジタル配信とライブサービスゲームの時代における所有権をめぐる議論を浮き彫りにしています。
続きを読む
Datastarは、リアルタイムWebアプリケーションの構築を簡素化し、効率化する新しいハイパーメディアフレームワークです。サーバーサイドロジックを優先し、「シグナル」を使用してUIを自動的に更新し、サーバーセントイベント（SSE）を活用して非常に高速なパフォーマンスを実現します。著者は、現実世界のアプリケーションでHTMXの複雑さと格闘した後、Datastarのリアクティブプログラミングモデルとサーバー中心のアプローチを新鮮な選択肢として発見しました。DatastarはクライアントサイドのJavaScript依存性を最小限に抑え、効率性とシンプルさを求める開発者にとって魅力的な選択肢となります。
続きを読む
Drop Site Newsが入手したMetaの内部データによると、イスラエル政府はInstagramとFacebook上でイスラエルを批判する投稿、またはパレスチナを支持する投稿を大規模に弾圧するキャンペーンを直接指揮していたことが明らかになった。10月7日以降、Metaはイスラエルからの削除要請の94％に応じ、主にアラブ諸国とイスラム圏のユーザーが標的となっている。AIを活用した検閲の継続は、表現の自由とMetaの共謀に対する深刻な懸念を引き起こしている。イスラエル政府と関係のあるMeta幹部の関与は、さらに論争を激化させている。
続きを読む
著者は、子供の頃、小川にダムを作った経験を用いて、AI開発における最大限の努力の限界を説明しています。最初は小さなダムを苦労して作ったが、後でシャベルを使う方が効率的だと気づきました。しかし、この成功によって、探索的な側面が減りました。同様に、仕事や人生において、目標（高給の仕事など）を達成すると、ゲームのルールが変わります。著者は、AI開発はこの教訓に留意すべきであり、強力なAIを作るだけでなく、潜在的なリスクや未開拓の分野にも注目すべきだと主張しています。潮だまりで必死に生き残ろうとする小さな貝を観察するのと同様に、細部への注意が重要です。Anthropicの最近の教育アプリケーションに関するレポートも、この点に気づいているようです。
続きを読む
この記事は、Erlangプログラミング言語の核心的なアイデアを再検討しています。著者は、Erlangの成功は軽量プロセスやメッセージパッシングだけによるものではなく、独自の「ビヘイビア（振る舞い）」にあると主張しています。ビヘイビアは他の言語におけるインターフェースに似ており、一連の事前に定義された関数シグネチャを提供します。開発者はこれらのシグネチャを実装するだけで、並行処理やフォールトトレランスといった高度な機能を利用できます。これにより、開発者は低レベルの並行処理の詳細を扱うことなく、ビジネスロジックに集中できます。この記事では、gen_server、gen_event、supervisorといったビヘイビアの例を通して、信頼性の高い分散システム構築における重要性を説明し、Erlangのビヘイビアの概念を他の言語でどのように活用できるかを検討しています。
続きを読む
この記事は、AAAゲーム開発者の視点からPlayStation 3の失敗を分析しています。Cellプロセッサは複数のSPEコアを備えていましたが、実際に使用できるコア数は少なく、SPEコアのパフォーマンスはGPUに比べて弱かったです。SPEのローカルメモリ容量の制限、CPUとGPUの異種混合アーキテクチャ、そして複雑な同期メカニズムは、開発難易度を大幅に高め、開発者がPS3の潜在能力を最大限に活用することを妨げました。著者は、PS3のマルチコアアーキテクチャは最終的に失敗し、「なめたクッキー」になったと主張しています。つまり、大きな可能性を秘めていたものの、最終的には実現されなかったということです。
続きを読む