索尼将在 PlayStation 5 发布前售出超过 100 亿台 PS4 游戏机
索尼发布了截至 31 年 2019 月 4 日的财年报告。 根据所提供的数据，我们可以得出结论，尽管 PlayStation96,8 硬件的销售略有放缓，但游戏机本身的销售速度仍然令人印象深刻。 目前，PS4 在全球已售出 XNUMX 万份，这意味着 [...]
科技中心“模块”推出高精度导航接收器
俄罗斯最大的开发商之一，科学技术中心“Module”来到了导航。 到目前为止，该中心的资产包括用于多种用途的控制器和微处理器。 新的活动领域将扩大俄罗斯开发商的经验和产品。 特别是，Modul将进军高精度导航设备市场，预计到2024年将占据俄罗斯该市场的15-18%，[...]
未来Intel显卡将统一集成显卡架构
在今年 XNUMX 月首次出现在英特尔网站上的年度报告中，该公司出于不完全明显的原因，将正在开发的独立显卡解决方案称为“其历史上的第一个”，尽管行业发展专家可能还记得英特尔早在上世纪九十年代中期，它就尝试过独立显卡的运气。 本质上，开发独立显卡解决方案[...]
Windows 10 将“增长”至至少 32 GB
微软曾宣布将使用用户硬盘上约7GB的空间来存储更新文件。 这种方法的好处是，它将确保您不会在更新过程中耗尽空间。 缺点是平淡无奇——廉价的平板电脑和笔记本电脑根本没有足够的空间。 如果以前是最低要求[...]
使用狼、山羊和卷心菜问题的例子进行形式化验证
我认为，在互联网的俄语领域，形式化验证的主题还没有得到充分的涵盖，尤其缺乏简单明了的例子。 我将举一个国外的例子，并对著名的将狼、山羊和卷心菜渡到河对岸的问题添加我自己的解决方案。 但首先，我将简要描述什么是形式验证以及为什么 [...]
从头开始创建正式的验证系统。 第 1 部分：PHP 和 Python 中的角色虚拟机
形式验证是使用一种程序或算法来验证另一种程序或算法。 这是最强大的方法之一，可以让您找到程序中的所有漏洞或证明它们不存在。 形式化验证的更详细描述可以参见我上一篇文章中解决狼、山羊和卷心菜问题的示例。 在这篇文章中我[…]
PHP脚本实时统计和监控。 ClickHouse 和 Grafana 来帮助 Pinba
在本文中，我将告诉您如何将 pinba 与 clickhouse 和 grafana 一起使用，而不是 pinba_engine 和 pinboard。 在 PHP 项目中，pinba 可能是了解性能变化的唯一可靠方法。 确实，拼巴通常只有在已经观察到问题并且不清楚“在哪里挖掘”的情况下才会实施。 通常没有人知道每秒/分钟有多少次[...]
在错误的地方寻找问题
这是一个真实实践中的小故事，当一个被容错很好地掩盖的小问题变成一个令人头痛的问题时。 小型配置：小型分支机构，拥有自己的基于桌面硬件的 PBX（星号 + FreePBX）以及具有 1C、文件转储和虚拟 RO 域控制器的相同本地终端服务器。 互联网分发 Mikrotik。 树枝很小，对他们来说已经足够了。 一切都开始了[…]
“请注意”#2：有关产品思维、行为心理学和个人生产力的文章摘要
这是关于技术、人以及它们如何相互影响的每周摘要系列中的第二篇。 Andy Jones（前 Wealthfront、Facebook、Twitter、Quora）讲述如何在初创公司中创造和谐的产品增长。 来自各自行业中最好的科技公司的酷炫想法、统计数据和示例。 一本 19 页的电子书，推荐任何人阅读 [...]
测试 FreeBSD 基础系统的包分割
TrueOS 项目已宣布测试 FreeBSD 12-STABLE 和 FreeBSD 13-CURRENT 的实验版本，这些版本将单一的基础系统转换为一组互连的软件包。 这些构建是作为 pkgbase 项目的一部分开发的，该项目提供了使用本机 pkg 包管理器来管理构成基本系统的包的工具。 以单独包的形式交付使您可以显着简化更新基本[...]的过程
蓝色起源在推特上发布了一张沙克尔顿船的神秘照片
蓝色起源官方推特页面上出现了著名探险家欧内斯特·沙克尔顿（Ernest Shackleton）研究南极洲的船只的照片。 5.9.19 pic.twitter.com/BzvwCsDM2T — 蓝色起源 (@blueorigin) 26 年 2019 月 9 日 照片的标题是 XNUMX 月 XNUMX 日，没有任何描述，所以我们只能猜测沙克尔顿的探险船是如何与杰夫的空间连接的贝索斯公司。 可以假设[...]
Apache 基金会已将其 Git 存储库移至 GitHub
Apache 基金会宣布已完成基础设施与 GitHub 的集成，并将所有 git 服务迁移到 GitHub。 最初，为开发 Apache 项目提供了两种版本控制系统：集中式版本控制系统 Subversion 和分散式系统 Git。 自 2014 年起，Apache 存储库镜像已在 GitHub 上推出，以只读模式提供。 现在 […]