3月30日、Isar Aerospace社はノルウェーのアンドーヤ宇宙センターからSpectrumロケットの初軌道打ち上げを試みましたが、失敗に終わりました。2段式ロケットは打ち上げから約18秒後に制御不能となり、30秒後に海上に墜落しました。これは、英国とロシアを除くヨーロッパ大陸からの初の軌道打ち上げ試みでした。失敗にもかかわらず、Isar Aerospace社は収集した飛行データを利用し、ロケットの開発を継続し、欧州の商業宇宙打ち上げ市場における主要プレーヤーとなることを目指しています。同社はすでに複数の顧客と打ち上げ契約を結んでいます。
続きを読む
Rustには公式仕様がなく、それが安全性を重視する組織での採用を妨げてきました。Rustプロジェクトは、Ferrous Systemsが開発したFerrocene言語仕様（FLS）をコアプロジェクトの一部として採用すると発表しました。この動きは、安全性が重要なシステムでのRust使用の障壁を取り除くことを目指しています。
続きを読む
この記事では、人間とネズミの複雑な関係を探ります。歴史的にペストなどの病気を媒介するものとして悪名高いネズミですが、最近の研究では、ペストの伝播においてネズミだけが責任を負うわけではないことが示唆されています。人間の衛生状態が重要な役割を果たしているのです。さらに、都市部のネズミは一般的に考えられているほど汚くなく、攻撃性も低く、病気のスーパー・スプレッダーでもないことが明らかになっています。著者らは、ネズミとの残酷な戦争をするのではなく、インフラの改善、衛生状態の向上などを通じて、ネズミとの共存を模索することを提唱しています。
続きを読む
このリポジトリは、ソフトウェア開発において広く普及している様々な法則、原則、パターンに関する包括的なガイドとして機能します。ブルックスの法則、コンウェイの法則、アムダールの法則、90-9-1の原則など、特定のアプローチを推奨することなく、詳細な概要を提供します。認知バイアス、分散システムの制約、コードの質、チームのダイナミクスなど、様々な側面を探求し、あらゆるレベルの開発者にとって貴重な洞察と教訓を提供します。
続きを読む
1943年12月20日、第二次世界大戦中、ブレメンへの爆撃任務の後、ひどく損傷したアメリカ軍B-17爆撃機「イェ・オルデ・パブ」が、ドイツ空軍のエースパイロット、フランツ・スティグラーによって、予想外にも安全な場所まで護衛されました。スティグラーは、損傷した航空機を撃墜する機会があったにもかかわらず、そうせず、敵地を通って誘導しました。この信じられないほどの騎士道精神は、数十年間秘密にされていましたが、数年後に二人のパイロットが再会し、2008年に亡くなるまで続く友情を築いたときに明らかになりました。この物語は、戦争の残虐行為の中で、並外れた人間の温かさを際立たせています。
続きを読む
この記事では、ASMによるバイトコード操作を用いてJavaでテールコール最適化を実装する方法を紹介します。テール再帰は、再帰呼び出しが最後の操作である特殊な再帰形式であり、各呼び出しのための新しいスタックフレームの作成を回避することで、効率を大幅に向上させることができます。この記事では、メソッド呼び出しのメカニズム、テール再帰の構造、ASMライブラリの使用方法を詳しく説明し、JMHベンチマークを使用して最適化の効果を示します。実験結果から、特に再帰呼び出しが多い場合、テール再帰最適化がパフォーマンスを効果的に向上させることがわかります。
続きを読む
深圳に拠点を置くBYDは、テスラを抜き、世界で最も売れている電気自動車メーカーとなりました。5分で250マイルの航続距離を追加する革新的な充電技術や、テスラのフルセルフドライビングに匹敵する高度な運転支援システム「ゴッドアイ」など、継続的なイノベーションは、その圧倒的な技術力を示しています。価格競争力と中国市場での優位性を活かし、BYDは世界市場への積極的な拡大を進めており、テスラのグローバルリーダーシップに挑戦しています。しかし、海外展開には課題も存在します。
続きを読む
この記事では、LLVMの命令スケジューリングモデルにおける逆スループットの計算について詳しく説明します。LLVMのスケジューリングモデルは、命令を3つの主要なプロパティで記述します。レイテンシ、使用されるハードウェアリソース、および各リソースが保持するサイクル数です。従来のアプローチでは、最大解放サイクルを使用して逆スループットを計算しますが、非ゼロ取得サイクルが存在する場合、これは失敗します。リソースセグメントと命令スケジューリングプロセスを分析することにより、著者は新しい方法を導き出しました。すべてのハードウェアリソースの中で最も長いセグメントの長さを逆スループットとして使用することです。これは、リソースセグメントを扱う際の従来の方法の欠点を解消し、LLVMコンパイラの性能最適化のためのより正確な基盤を提供します。
続きを読む
現代のコンパイラにおける大きな問題は、時間という概念を欠いていることです。依存関係の更新は、ダウンロードされたコードのみを更新し、呼び出し箇所は変更しません。この記事では、革命的な解決策として自動コードマイグレーションを提案しています。データベースマイグレーションと同様に、コンパイラは古いコードを自動的に変換して、新しい関数型やモジュール変更に適応させることができます。これにより、依存関係の更新によるコードの破損を防ぎます。2つのアプローチが提案されています。1つは、型に直接マイグレーションマクロを宣言する方法、もう1つはマイグレーションファイルを使用する方法です。これにより、関数型の変更だけでなく、関数の追加やトレイトインスタンスの追加も処理でき、不要なコードの破損を効果的に防ぎ、現代のソフトウェア開発に新たな可能性をもたらします。
続きを読む
30年以上の経験を持つ教授が、現代の大学生における読解力の低下という暗い状況を描写しています。多くの学生が複雑な大人の小説を読解することに苦労し、読書を面倒な作業と見なし、断片的な情報源を好むことを彼は観察しています。蔓延するカンニング、批判的思考力の欠如、そして劣悪な作文スキルもまた一般的です。これは特殊なケースではなく、アメリカの一般的な公立大学でよくある問題です。教授は悲しみと無力感を表明し、教育の現状と社会問題への反省を促しています。
続きを読む
Rust 1.86で、`Any`トレイトの長く続いていた問題、`dyn Any`のアップキャストが不可能だった問題がついに修正されました。つまり、開発者は`Any`トレイトのメソッド（`downcast_ref`など）を、`Any`を継承するトレイトで使用できるようになりました。この修正により、以前はハックが必要だった機能が標準的な方法で実現できるようになり、コードの可読性と保守性が向上します。長年、この問題の回避策に頼ってきたRust開発者にとって朗報です。
続きを読む
国防長官ピート・ヘグセス氏の妻、ジェニファー・ラウシェット氏が、高レベルの軍事情報会議に出席しているのが目撃され、セキュリティプロトコルに関する懸念が高まっている。これは、ヘグセス氏が戦争計画を議論するグループチャットにジャーナリストを追加したペンタゴンのシグナル漏洩スキャンダルに続くものだ。上級職員の配偶者は通常、低レベルのクリアランスを持っているが、ペンタゴンはラウシェット氏のクリアランス状況を確認していない。さらに、ヘグセス氏の弟フィル氏はDHSの連絡官を務め、公式旅行で彼に同行しており、潜在的な縁故主義に関する議論を引き起こしている。これらの事件は、アメリカの軍事機密のセキュリティとヘグセス氏のリーダーシップに関する疑問を再び浮き彫りにした。
続きを読む
HEYとBasecampを提供するBasecamp社は、6月30日に4年間のAWS S3契約を終了し、Pure Storageを用いた18PBのプライベートストレージシステムに移行します。S3互換APIにより移行が容易になりますが、6PBのデータ移行には約3週間かかります。この移行により、AWS S3の高額な更新費用を回避し、5年間で約500万ドルの節約が見込まれます。
続きを読む
Sim Daltonismは色覚異常をシミュレートするアプリケーションで、様々な種類の色の見え方の違いを体験できます。iOS版はカメラでリアルタイムにフィルター処理を行い、Mac版は画面領域をフィルター処理します。このアプリはオープンソースで、貢献を歓迎しています。
続きを読む
Kaluaはメッシュネットワーク構築を簡素化します。OpenWrtルーター上でメッシュネットワークを簡単に構築・設定できるスクリプトを提供し、様々なハードウェアとユースケースに対応しています。数コマンドでKaluaをダウンロード、ビルド、インストールし、手軽にメッシュネットワークを展開できます。
続きを読む
研究者らは、高忠実度の量子コンピュータとエクサスケール古典計算を用いて、ランダム回路サンプリングに基づく認証済みランダムネスプロトコルを実験的に実証しました。このプロトコルにより、古典的なクライアントは、信頼できない量子サーバーへのリモートアクセスのみでランダムネスを検証でき、一定量のエンタルピーが保証されます。この研究は、ゲート型デジタル量子コンピュータの実用的なアプリケーションにおけるブレークスルーを表しており、暗号化と通信の分野に新たな機会をもたらします。これはテクノロジーのカテゴリーに分類されます。
続きを読む
SamsungがCESで予告していた2025年Bespoke家電ラインナップがついに全貌を現しました。最大の注目は、9インチと巨大な32インチFamily Hub+ディスプレイ（TikTokの動画再生も可能！）を搭載したBespoke 4ドアフレンチドア冷蔵庫です。AI Vision Insideは37種類の生鮮食品と50種類の加工食品を認識し、買い物リストを自動生成します。ハイブリッド冷却システムはコンプレッサーとペルチェ素子を組み合わせ、省エネと静音性を両立。省スペースのKitchen Fitモデルも登場。スマートオーブンは80種類のレシピを認識し、調理過程を記録。静音設計の食洗機は食べ残しを自動検知。AI搭載洗濯乾燥機は最短68分で洗濯乾燥完了。コードレススティック掃除機は400AWの吸引力と100分のバッテリー駆動時間を誇ります。予約注文では最大1000ドルの割引と1年間の保証延長が適用されます。
続きを読む
Rustプロジェクトborsへの貢献中に、SQLマイグレーションによってデプロイの問題が発生しました。問題は、デフォルト値なしで、すでにデータが入っているテーブルにNOT NULLカラムを追加したことにありました。著者はバグを修正するだけでなく、Rustとsqlparser crateを使って、このような問題を自動的に検出する統合テストを作成しました。これは、高品質なコードを促進し、エラーを防止するRustの長所を示しています。全体的なプロセスは効率的で便利であり、Rustの強力な型システムとIDEのオートコンプリート機能の利点を強調しています。
続きを読む
著者はカスタムブラウザ拡張機能を使用して1ヶ月間のウェブアクティビティを追跡し、驚くべき結果を得ました。Gmail、LinkedIn、Feedbinが大部分の時間を占め、GitHub、ChatGPT、Google Docsも広く使用されていました。これは、著者が認識していたウェブ利用習慣（Wikipediaやニュースの広範な閲覧）とは大きく異なります。著者は自己認識と実際の行動のずれについて考察し、キャリア選択や個人的な習慣における盲点を議論する例として挙げています。また、Feedbinへの改善提案や自作のWeb Graph Browserの使用経験も共有しています。
続きを読む
rrデバッガーにソフトウェアカウンタモードが追加されました。これにより、CPUハードウェアパフォーマンスカウンタにアクセスせずに実行できるようになり、クラウドVMやコンテナ環境の制限を克服します。このモードは、軽量な動的および静的インストルメンテーションを利用して、記録と再生の機能を実現し、デバッグワークフローを簡素化します。著者のブログ記事では、記録と再生技術の原理、rrデバッガーの利点、開発の経緯について詳しく説明しています。
続きを読む
激しいサンタアナの風の中、著者はワームのシミュレーションを実行しました。これは、分子レベルまで正確な線虫のデジタルツインを作成することを目指すOpenWormプロジェクトの一部です。シミュレーションは、わずか5秒間のワームの動きを生成するために10時間もの計算時間を要し、このような複雑な生物学的シミュレーションを作成することの途方もない困難さを浮き彫りにしています。しかし、ロサンゼルスで山火事が猛威を振るう中、著者のシミュレートされたワームは予期せず動き出し、生命科学とテクノロジーの関係について省みるきっかけとなりました。なぜ13年間もの歳月をかけて、顕微鏡的なワームをデジタルで再現しようとするのでしょうか？
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Apteraは、1回の充電で300マイル以上走行する初の太陽光発電ロードトリップを成功させました。 量産に近い車両で行われたこの旅は、アメリカ南西部における様々な地形と気象条件下での車の能力を示しました。 曇りの日でも、車両は545ワット以上の太陽光発電を受け、充電ストップの必要性を最小限に抑えました。 このマイルストーンはApteraの技術を検証し、太陽光発電による輸送の未来への一歩を象徴しています。
続きを読む
アメリカ国立衛生研究所（NIH）は、政府の優先事項に合わせるため、最終的な科学的誠実性ポリシー（NOT-OD-24-178）を廃止しました。NIHは科学的誠実性の維持に引き続き尽力しており、研究不正、著者名、ヒトおよび動物の被験者保護、データ管理と共有に関する複数の重複するポリシーを維持しています。この通知は、最終的な科学的誠実性ポリシーのみに適用され、そこに記載されているポリシーには適用されません。NIHは、HHS科学的誠実性ポリシーにも準拠します。
続きを読む
あるエンジニアが野心的なプロジェクトに着手しました。完全にオープンソースのラップトップを設計することです。目標は、設計プロセス、得られた知識を共有し、修理可能で、アップグレード可能で、持続可能な電子機器を促進することです。彼は、家電製品には多くの隠れた知識が含まれており、オープンソースプロジェクトによって学習とイノベーションへの参入障壁を下げることができると考えています。このプロジェクトは、電子機器設計、熱管理、機械設計、高速PCB設計などを網羅し、完全なソースファイル、ドキュメント、コミュニティサポートを提供します。これは単なる技術的な課題ではなく、業界の持続可能な発展を推進しようとする試みでもあります。
続きを読む
PG-MCPは、AIエージェント向けに機能が強化されたPostgreSQLデータベース用のモデルコンテキストプロトコル（MCP）サーバーです。PostgreSQL MCPリファレンス実装を基盤として構築されており、マルチデータベースサポート、PostGISやpgvector拡張機能を含む豊富なメタデータ情報、クエリ実行計画分析ツール、堅牢な接続管理などの機能が追加されています。Dockerまたは仮想環境を使用して展開でき、提供されているPythonクライアントを使用してPG-MCPと対話できます。Claudeなどの大規模言語モデルを活用して、自然言語からSQLへの変換を行うことも可能です。
続きを読む
アメリカ全土でテスラ車、ディーラー、充電ステーションを標的とした破壊行為が急増する中、トランプ大統領は厳重な警告を発しました。犯行に関与した者、資金提供者を含め、最長20年の懲役刑に処せられる可能性があると述べています。FBIは少なくとも9州で発生した事件を捜査しており、放火、銃撃、落書きなどが含まれています。すでに3人がこれらの攻撃に関連する罪で起訴されています。テスラの株価は今年48%近く下落しており、幹部らは1億ドルの株式を売却しました。
続きを読む
Epoch AIは、AIの経済的影響を探る統合評価モデルであるGATEを発表しました。このモデルは、自動化のフィードバックループに焦点を当てています。投資は計算能力を高め、より高度なAIシステムがタスクを自動化し、生産性を向上させ、さらにAI開発を促進します。インタラクティブなプレイグラウンドにより、ユーザーはパラメータを調整し、さまざまなシナリオにおけるモデルの挙動を観察できます。予測はEpoch AIによる将来予測ではなく、仮定に基づいた条件付き予測であり、主にAI自動化の定性的ダイナミクス分析に役立ちます。
続きを読む
Chiplabは、6502アセンブリプログラムを実機の6502チップ上で実行し、サイクルごとのバストレースを提供するサービスを開始しました。高精度なテストと研究のために、サイクルごとのバストレースを提供します。ユーザーはコードをアップロードし、100サイクル実行した後、アドレスバスとデータバスの値の詳細なトレースが返されます。エミュレータよりも優れた代替手段であり、将来、より複雑なチップの分析の基礎となります。このプロジェクトはオープンソースで、貢献を歓迎しています。
続きを読む
Science Advances誌に掲載された新しい研究によると、水滴内のマイクロ稲妻が、地球最初の有機分子の形成に重要な役割を果たした可能性があることが示唆されています。有名なミラー・ユーリー実験を基に、科学者たちは、反対の電荷を持つ水滴間の放電によって、生命の基本的な構成要素であるアミノ酸が生成されることを発見しました。初期の地球では、このプロセスは雷よりも頻繁に発生していた可能性があり、生命の前駆体の豊富な供給源を提供していたと考えられます。これは、生命が熱水噴出孔から生まれた、あるいは小惑星を介して到達したという既存の理論に異議を唱えるものであり、生命の起源に関する説得力のある新しい視点を与えています。
続きを読む