科技中心“模块”推出高精度导航接收器
俄罗斯最大的开发商之一，科学技术中心“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。 树枝很小，对他们来说已经足够了。 一切都开始了[…]
测试 FreeBSD 基础系统的包分割
TrueOS 项目已宣布测试 FreeBSD 12-STABLE 和 FreeBSD 13-CURRENT 的实验版本，这些版本将单一的基础系统转换为一组互连的软件包。 这些构建是作为 pkgbase 项目的一部分开发的，该项目提供了使用本机 pkg 包管理器来管理构成基本系统的包的工具。 以单独包的形式交付使您可以显着简化更新基本[...]的过程
Apache 基金会已将其 Git 存储库移至 GitHub
Apache 基金会宣布已完成基础设施与 GitHub 的集成，并将所有 git 服务迁移到 GitHub。 最初，为开发 Apache 项目提供了两种版本控制系统：集中式版本控制系统 Subversion 和分散式系统 Git。 自 2014 年起，Apache 存储库镜像已在 GitHub 上推出，以只读模式提供。 现在 […]
Palit GeForce GTX 1650 StormX OC 加速器核心频率达到 1725 MHz
Palit Microsystems 发布了 GeForce GTX 1650 StormX OC 图形加速器，有关其准备工作的信息已经出现在互联网上。 让我们简单回顾一下GeForce GTX 1650产品的主要特点，该卡采用NVIDIA Turing架构。 CUDA 核心数量为 896 个，具有 5 位总线（有效频率 - 128 MHz）的 GDDR8000 显存容量为 4 GB。 基本时钟[...]
华擎 Z390 Phantom Gaming 4S：适用于游戏 PC 的 ATX 主板
华擎宣布推出 Z390 Phantom Gaming 4S 主板，可用于组建中端桌面游戏站。 新品采用ATX规格（305×213毫米），基于Intel Z390系统逻辑。 支持 Socket 1151 中的第八代和第九代酷睿处理器。两个 PCI Express 3.0 x16 插槽提供扩展功能 [...]
到本世纪末，死亡的 Facebook 用户数量将超过活着的用户数量。
牛津互联网研究所（OII）的科学家进行了一项研究，他们发现，到2070年，死亡的Facebook用户数量可能超过活着的数量，到2100年，该社交网络的1,4亿用户将死亡。 同时，据说该分析还提供了两种极端场景。 第一个假设用户数量将保持在 2018 年的水平 [...]