- macOSおよびLinux向けの重要なパッケージマネージャであるHomebrewの監査により、予期しないコード実行やCI/CDワークフローの侵害を引き起こす可能性のある重大ではないセキュリティ問題が明らかになりました。
- 主な発見には、サンドボックスの脱出や権限昇格などのbrew CLIの脆弱性、およびシェルインジェクションの脆弱性のようなCI/CDワークフローの問題が含まれていました。
- この監査は、Open Tech Fundの支援を受けて行われ、重要なインターネットインフラの安全性を確保するこ とを目的としていました。Homebrewが広く使用されていることを考慮すると、そのセキュリティの重要性が強調されました。
- Trail of Bitsは、macOS向けの人気のオープンソースパッケージマネージャーであるHomebrewの包括的なセキュリティ監査を実施し、いくつかのセキュリティ上の懸念と改善の余地がある点を明らかにしました。
- 監査はオープンソースのパッケージ管理プラットフォームにおける固有のサプライチェーンセキュリティ問題についての議論を引き起こし、より良い審査プロセスと信頼できないソースへの迅速な対応の必要性を強調しています。
- 監査結果により、Nixのような代替パッケージマネージャーへの関心が高まっています。一部のユーザーは、その複雑さにもかかわらず、Nixをより安全で柔軟だと感じています。
- Docker-OSXは、ユーザーがDockerコンテナ内でmacOSをほぼネイティブのパフォーマンスで実行できるようにし、High SierraからSonomaまでのバージョンをサポートします。
- このプロジェクトはSick.Codesによって管理されており、X11フォワーディング、iMessageセキュリティ研究、iPhone USBパススルーなどの機能が含まれています。
- このツールは、LinuxおよびWindows環境の両方を使用してmacOS上でセキュリティリサーチを行うのに特に役立ちます。
- QEMU内でDockerを使用してmacOSを実行することは可能ですが、特にGPUアクセラレーションに関して制限があります。新しいIntelおよびNVIDIAのGPUはサポートされていません。
- Docker-OSXは、Docker内でmacOS仮想マシンを実行できるようにし、UnityやReact Nativeなどのツールを使用したiOSビルドに役立ちます。
- macOSのイメージを再配布することは、macOSをAppleハードウェアに限定するAppleのエンドユーザーライセンス契約(EULA)に違反する可能性がありますが、このプロジェクトは開発およびテストのために人気があります。
- find
とmkdir`コマンドを使用することがチューリング完全であるという主張は、証明に欠陥があったため撤回されました。
- この議論には、ファイルシステム、ディレクトリエントリ、およびWindowsのマスターファイルテーブル(MFT)に関する技術的な詳細や、CやPythonのようなさまざまなシステムのチューリング完全性に関する議論が含まれています。
- 会話では、チューリングマシン、ルール110、および機能的完全性の理論的側面についても探求しており、証明が修正された場合には更新が約束されています。
- Metaは、クリック、ボックス、またはマスクを入力として使用して画像やビデオ内のオブジェクトを正確に選択するためのセグメンテーションモデルであるSegment Anything Model 2(SAM 2)を導入しました。
- SAM 2は、ゼロショットパフォーマンス、リアルタイムのインタラクティビティ、および効率的なビデオ処理において優れており、オブジェクトセグメンテーションにおいて既存のモデルを上回っています。
- Metaは、事前訓練されたSAM 2モデル、SA-Vデータセット、デモ、およびコードを研究コミュニティに公開し、オープンイノベーションとさらなる研究を促進しています。
- MetaはSegment Anything Model 2を発表し、そのAI研究および技術業界への影響に対する大きな関心を呼び起こしています。
- 一部の専門家は、MetaがAIの進歩とコミュニティへの貢献においてGoogleを上回っており、これが新しいイノベーションやビジネス価値につながる可能性があると示唆しています。
- この議論には、Metaのオープンソースの取り組みやAI技術の広範な影響、そして主要なテクノロジー企業間の競争力学も含まれています。
- 著者は、DJのトランジションやユーモアのパターンなどの創造的な追求にシステムを適用することで、知識やパターンを内面化し、創造性が向上すると主張しています。
- 彼らは、パターンを暗記し、さまざまなケースに触れることを含む学習方法を提唱しており、これは学問を超えてスポーツや営業などの分野にも応用できるとしています。
- 著者は、システムを通じて基本を習得することが、スタートアップや音楽におけるクロスドメ インの専門知識に見られるように、高度なイノベーションと創造性を可能にすると提案しています。
- 創造性はしばしば内面化された知識と結びついており、それは暗記の結果であることがあります。
- 丸暗記が創造性に不可欠かどうかについて議論があり、単なる反復よりも理解と文脈の重要性を主張する人もいます。
- 概念を繰り返し触れることで内面化することは、創造的な応用に役立つヒューリスティックスやパターンを発展させるのに役立ちます。
- ユーザーは、Windows 11マシンでxtermを開く際に、Fedora Linuxワークステーションと比較して大幅な遅延を経験し、Windowsでは最初に約1600msかかりました。
- プロファイリングとデバッグにより、ウィンドウ効果やツールバー、Tektronixエミュレーションなどの特定のxterm機能を無効にすると、パフォーマンスが向上することが判明しました。
- LD_PRELOADライブラリを使用して遅延マッピン グを行うサーバーモードを実装することで、Windowsでの起動時間が約366msに短縮され、Fedoraとほぼ同じ速さになりました。
- この記事では、ターミナルの遅延トラブルシューティングについて、特にMicrosoft Console Debugger(cdb)とそのコマンドを使用して関数の動作を変更する方法に焦点を当てています。
- それは、関数の最初のバイトを
ret 命令に置き換えてすぐに戻るようにすることで、関数を無効にするための eb win32u!NtUserSetLayeredWindowAttributes c3 コマンドの使用を強調しています。
- この議論には、
hyperfine ベンチマークツールやさまざまなターミナルエミュレータを使用して、ターミナルの起動時間を測定および短縮するためのさまざまなユーザー体験と方法が含まれています。
- この投稿では、アセンブリコードを置き換えるためにGoからRustを呼び出すことを探求し、深いRustやコンパイラの知識を必要とせずにほぼゼロのオーバーヘッドを目指しています。
- Rustはアセンブリに比べて高い最適化可能性と可読性があるため選ばれ、小さくて頻繁に使用される関数に対してcgoを使用するよりも優れたパフォーマンスを示します。
- ベンチマークによると、GoからRustを呼び出すのはネイティブのGo関数呼び出しとほぼ同じくらい速く、cgoよりもかなり速いため、パフォーマンスが重要なタスクに適しています。
- Rustgoは、パフォーマンスに敏感なアプリケーションにとって重要な、ほぼゼロのオーバーヘッドでGoからRustコードを呼び出すことを可能にするツールです。
- この議論は、特にGoとRustの間で異なるプログラミング言語を使用する際のForeign Function Interface(FFI)の複雑さと潜在的な落とし穴を強調しています。
- 他の言語、例えばC#やPythonとの比較が行われ、FFIパフォーマンスのトレードオフや、適切なツールを選ぶことの重要性が強調されています。
- 著者は「Logic for Programmers v0.2」をリリースし、epubサポート、制約解決、および形式仕様の内容を特徴としています。
- 著者は、特に複雑なドキュメントのニーズに対して優れたカスタマイズ性と拡張性を持つため、MarkdownよりもreStructuredText(rST)を好みます。
- 本書のために、HTML、epub、およびPDF形式の異なるレンダリング要件に対応するためのカスタム演習拡張がrSTで作成されました。
- reStructuredText (rST) は、その拡張性とセマンティック機能により、特に Sphinx と組み合わせた場合、技術書に好まれています。
- Markdownはシンプルで読みやすく、クイックノートや日常のドキュメントに最適です。
- rSTのカスタムテキストオブジェクトや内部リンク解決の保証といった機能は、複雑なドキュメントプロジェクトにとって重要ですが、Markdownのシンプルさとサポートにより、一般的な使用にはより人気があります。
- アクティビジョンは、ページのメタデータによると、学術利用のためにCall of Duty®: Warzone™ Calderaのデータセットを公開しました。
- このリリースは、ゲームデータ分析に関心のある研究者や学者にとって重要であり、ゲーム業界における新たな研究や洞察を促進する可能性があります。
- データセットはActivisionのブログを通じてアクセス可能であり、同社の学術研究およびデータの透明性に対するサポートを強調しています。
- Activisionは、ゲームレベルのアセットやプレイヤーの動きのデータを含むCall of Duty: Warzone Calderaのデータセットを学術利用のためにGitHubで公開しました。
- このデータセットは、グラフィックス研究、エンジン開発、戦略的な場所の定義、レイトレーシングアルゴリズムのテストに役立ち、AI開発やチート検出にも応用可能です。
- このリリースは学術および研究目的に有益と見なされていますが、その非商用ライセンスのために採用ツールと見なす人もいます。
- GoはUnixシステム上で静的にリンクされたバイナリを生成できますが、特定のビルドタグが必要であるか、cgoを無効にする必要があります。
- ツール
file、ldd、および nm を使用すると、Go バイナリが静的にリンクされているかどうかを確認できます。
- ZigをCコンパイラとして使用することで、プロセスが簡素化され、静的リンクのためのクロスコンパイルがサポートされます。
- LinuxでGoを使用して静的バイナリをビルドするには、特定のフラグや考慮事項が必要です。例えば、SQLiteで拡張機能を使用しない場合は、
-tags sqlite_omit_load_extensionを使用します。
- この議論では、SQLiteに対するWebAssembly(WASM)の使用が強調されており、moderncトランスパイルのような従来の方法と比較して、より良いパフォーマンスと保守性を提供することが示されています。
- 静的なGoバイナリをビルドする際に、Tailscaleのような企業が経験したように、異なるアロケータやmuslなどのlibc実装を使用することに関連する課題やパフォーマンスの問題があります。
- 2.5 GHzの超伝導マイクロプロセッサのプロトタイプが開発され、冷却を考慮しても従来の半導体マイクロプロセッサの80分の1のエネルギーしか使用しません。
- アディアバティック量子フラックスパラメトロン(AQFP)技術に基づくMANAマイクロプロセッサは、20,000以上の超伝導ジョセフソン接合を含んでいます。
- これは最初の断熱超電導マイクロプロセッサであり、エネルギー効率の高いコンピューティング技術における重要な進歩を示しています。
- 日本の研究者たちは、計算中に理論的にエネルギーの損失や増加を避ける断熱的に動作する超効率的な超伝導マイクロプロセッサを開発しています。
- この技術は、情報を消去するにはエネルギーが必要であるとするランダウアーの原理に挑戦し、トフォリゲートのような特殊な論理ゲートを使用した可逆計算によってエネルギー消費を最小限に抑えます。
- その有望な効率にもかかわらず、実際の実装には特に冷却と実用的なスケーリングにおいて重大な課題があり、初期ビット の設定や環境ノイズの管理には依然としてエネルギーが必要です。
- 7月19日、エンドポイント監視ソフトウェアであるCrowdStrike Falconの設定バグがWindowsシステムに壊滅的な障害を引き起こし、銀行業界やその他の産業に深刻な影響を与えました。
- そのバグは広範な業務の混乱を引き起こし、窓口係や銀行員が手持ち無沙汰になる事態を招き、さらには一部の銀行で現金が不足する事態にまで至り、金融インフラの脆弱性を浮き彫りにしました。
- 米国の銀行規制当局は、そのようなセキュリティツールの採用に間接的に影響を与えました。これらのツールは保護を目的としていますが、高い特権と広範な使用により重大な脆弱性を引き起こす可能性があります。
- 自動更新が既存の制御を回避したため、CrowdStrikeのバグが銀行に重大な混乱を引き起こしました。
- この事 件は、単一のベンダーに依存するリスクと、より良い更新戦略の必要性についての議論を引き起こしました。
- 広範な問題にもかかわらず、一部のユーザーは影響が最小限で済み、特定のシステムの回復力を示しました。
- チェシャーATT施設は1966年に建設された地下複合施設で、重要な軍事通信のために設計されており、強化されたアナログL4キャリアケーブルとAUTOVON 4線式スイッチを備えています。
- 施設には、空気ろ過、発電、および爆風防護のための広範なインフラが含まれており、核イベント中の運用継続性を確保しています。
- この場所は、ハートフォードとニューヘイブンの都市接続点としても機能し、他のさまざまな重要な通信経路や施設に接続していました。
- AT&Tロングラインズの「チェシャー」地下施設は、核戦争に耐えるためにウェスタン・エレクトリックの1ESS技術を使用して建設され たAUTOVON交換センターでした。
- これらのセンターは主要都市や軍事目標から離れた戦略的な場所に配置され、冗長なリンク、強化された構造、そして労働者のための冷却および汚染防止機能を備えていました。
- 冷戦中に開発されたインフラには、広範なマイクロ波ポイントツーポイントリンクが含まれており、1ESSおよびナンバー5クロスバースイッチの両方が使用されていたことから、その耐久性と複雑さが際立っていました。
- 科学者たちは、広範な研究にもかかわらず、地球の大気が初期の動物の生命を支えるのに十分な酸素を持っていた時期について確信が持てていない。
- スペインのリオ・ティントからの新しい発見によると、動物の進化に必要な十分な酸素が動物が出現する約20億年前に存在していた可能性があることが示唆されています。
- 最近の研究によると、動物の進化が遅れた原因は、酸素レベルではなく、変動する海洋酸素レベル、食糧不足、または遺伝的発展時間である可能性があることが示唆されています。
- 大酸化イベント(GOE)は、少なくとも4億年にわたる光合成微生物による地球の大気中の酸素の著しい増加を示しました。
- この酸素の増加は複雑な生命体の発展と火の可能性を可能にしましたが、嫌気性生物の大量絶滅を引き起こしました。
- GOEは天体生物学にとって非常に重要です。なぜなら、エキソプラネット上の高い酸素レベルは潜在的な生物活動を示す可能性があり、継続的な研究によって私たちの理解が絶えず洗練されているからです。
- FakeTravelerは、ユーザーがプライバシー保護やアプリのテスト目的で自分の電話の位置情報を偽装できるAndroidアプリです。
- ユーザーは地図を通じて場所を選択するか、特定の緯度と経度の座標を入力して変更を適用できます。
- FakeTravelerを使用するには、ユーザーは開発者オプションを有効にし、FakeTravelerを模擬位置情報アプリとして設定する必要があります。
- FakeTravelerは、ユーザーが自分の電話の位置情報を偽装できるAndroid用のモックロケーションアプリです。
- このアプリはオープンソースであり、無料かつオープンソースのAndroidアプリのリポジトリであるF-Droidで入手できます。
- その機能性にもかかわらず、銀行アプリやポケモンGOなどの特定のアプリの制限を回避するには、デバイスのルート化などの追加の対策が必要な場合があると一部のユーザーは指摘しています。