ソニー、PlayStation 5発売までにPS100本体を4億台以上販売へ
ソニーは、31年2019月4日に終了した会計年度のレポートを発行しました。 提示されたデータに基づいて、PlayStation96,8 ハードウェアの販売が若干減速しているにもかかわらず、コンソール自体は依然として驚異的な勢いで売れていると結論付けることができます。 現在、PS4 は世界中で XNUMX 万台販売されており、これは合計 […]
科学技術センター「モジュール」が高精度航法用受信機を発表
ロシア最大の開発者の2024つである科学技術センター「モジュール」がナビゲーションにやって来ました。 これまで、センターの資産には、幅広い目的のコントローラーやマイクロプロセッサーが含まれていました。 新しい活動分野は、ロシアの開発者の経験と提供を拡大します。 特に、Modul は高精度ナビゲーション デバイスの市場に参入し、15 年までにロシアのこの市場の 18 ～ XNUMX% を占めると予想しています。
将来の Intel ビデオ カードは、統合グラフィック アーキテクチャに統合される予定です
今年 XNUMX 月にインテルの Web サイトに初めて掲載された年次報告書の中で、同社は、完全に明白な理由ではないものの、開発中のディスクリート グラフィックス ソリューションを「歴史上初」と呼んでいますが、業界の開発専門家はインテルが前世紀の XNUMX 年代半ばに、ディスクリート ビデオ カードで運を試しました。 基本的に、個別のグラフィックス ソリューションを開発 […]
Windows 10 は少なくとも 32 GB まで「肥大化」する
Microsoft はかつて、アップデート ファイルを保存するためにユーザーのハード ドライブ上の約 7 GB の領域を使用すると発表しました。 このアプローチの利点は、更新中にスペースが不足することが確実になくなることです。 欠点は平凡です - 安価なタブレットやラップトップには十分なスペースがありません。 以前は最小要件 […]
オオカミとヤギとキャベツの問題を例にした形式的検証
私の意見では、インターネットのロシア語分野では、形式的検証のテーマが十分にカバーされておらず、特に単純かつ明確な例が不足しています。 外国の情報源からの例を挙げ、オオカミ、ヤギ、キャベツを川の対岸に渡るというよく知られた問題に私なりの解決策を加えます。 しかしその前に、形式的検証とは何か、そしてその理由について簡単に説明します。
正式な検証システムをゼロから作成します。 パート 1: PHP と Python によるキャラクター仮想マシン
形式的検証は、あるプログラムまたはアルゴリズムを別のプログラムまたはアルゴリズムを使用して検証することです。 これは、プログラム内のすべての脆弱性を見つけたり、脆弱性が存在しないことを証明したりできる最も強力な方法の XNUMX つです。 形式的検証のより詳細な説明は、前の記事のオオカミ、ヤギ、キャベツの問題を解く例で見ることができます。 この記事では私 […]
PHP スクリプトのリアルタイムの統計と監視。 ClickHouse と Grafana が Pinba を支援します
この記事では、pinba_engine と pinboard の代わりに clickhouse と grafana で pinba を使用する方法を説明します。 PHP プロジェクトでは、おそらく pinba がパフォーマンスに何が起こっているかを理解する唯一の信頼できる方法です。 確かに、pinba は通常、問題がすでに観察されており、「どこを掘るべきか」が明確でない場合にのみ実装されます。 多くの場合、XNUMX 秒/分あたり何回なのかは誰もわかりません […]
間違った場所で問題を探している
これは、フォールト トレランスによって巧みに隠蔽された小さな問題が頭痛の種に変わる実際の実践からの短い物語です。 小規模な性質: 小規模なブランチでは、デスクトップ ハードウェアをベースにした独自の PBX (アスタリスク + FreePBX) と、1C を備えた同じローカル ターミナル サーバー、ファイル ダンプ、および仮想 RO ドメイン コントローラーを備えています。 Mikrotik はインターネットで配布されています。 枝は小さいので、彼らには十分です。 それがすべて開始します […]
「ご注意ください」 #2: 製品の考え方、行動心理学、個人の生産性に関する記事のダイジェスト
これは、テクノロジー、人々、そしてそれらが互いにどのように影響し合うのかについての毎週のダイジェスト シリーズの 19 番目です。 Andy Jones (元 Wealthfront、Facebook、Twitter、Quora) がスタートアップ企業で調和のとれた製品の成長を生み出す方法について語ります。 業界最高のテクノロジー企業からのクールなアイデア、統計、例。 XNUMX ページの電子書籍で、誰にでも読むことをお勧めします […]
FreeBSD ベースシステムのパッケージ分割のテスト
TrueOS プロジェクトは、モノリシックな基本システムを相互接続されたパッケージのセットに変換する FreeBSD 12-STABLE および FreeBSD 13-CURRENT の実験的ビルドのテストを発表しました。 ビルドは pkgbase プロジェクトの一部として開発され、ネイティブ pkg パッケージ マネージャーを使用して基本システムを構成するパッケージを管理するためのツールを提供します。 個別のパッケージの形式で配信すると、基本的なアップデートのプロセスを大幅に簡素化できます […]
ブルー・オリジンはシャクルトンの船の謎の写真をツイートした
南極を研究していた有名な探検家アーネスト・シャクルトンの船の写真が、ブルー・オリジンの公式ツイッターページに掲載された。 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) April 26, 2019 写真には9月XNUMX日という日付のキャプションが付いているが、説明はないので、シャクルトンの遠征船がジェフの宇宙とどのようにつながっているのかを推測することしかできない。ベゾス社。 それは推測できます[...]
Apache Foundation は、Git リポジトリを GitHub に移動しました
Apache Foundation は、インフラストラクチャと GitHub の統合と、すべての Git サービスの GitHub への移行に関する作業を完了したと発表しました。 当初、Apache プロジェクトの開発には、集中型バージョン管理システム Subversion と分散型システム Git という 2014 つのバージョン管理システムが提供されていました。 XNUMX 年以降、Apache リポジトリ ミラーが GitHub 上で起動され、読み取り専用モードで利用できるようになりました。 今 […]