Sony published reports for the financial year, which came to an end on March 31, 2019. Based on the data presented, we can conclude that despite a slight slowdown in sales of PlayStation4 hardware, the console itself is still selling at an impressive rate. Currently, 96,8 million copies of PS4 have been sold worldwide, which means the total […]
One of the largest Russian developers, the scientific and technical center "Module", came to navigation. Until now, the center's assets included controllers and microprocessors for a wide range of purposes. The new area of activity will expand the experience and offer of Russian developers. In particular, Modul is going to enter the market of high-precision navigation devices, expecting to occupy 2024–15% of this market in Russia by 18, […]
In the annual report, which first appeared on the Intel website in February of this year, the company, for not entirely obvious reasons, calls the discrete graphics solution being developed “the first in its history,” although industry development experts may remember that Intel tried its luck with discrete video cards back in mid-nineties of the last century. Essentially, developing a discrete graphics solution […]
Microsoft once announced that it would use about 7 GB of space on the user’s hard drive to store update files. The benefit of this approach is that it will ensure that you don't run out of space in the middle of an update. The disadvantage is banal - there is simply not enough space on inexpensive tablets and laptops. If previously the minimum requirement […]
In my opinion, in the Russian-speaking sector of the Internet, the subject of formal verification is not covered enough, and especially there are not enough simple and illustrative examples. I will give such an example from a foreign source, and add my own solution to the well-known problem of crossing a wolf, goat and cabbage to the other side of the river. But first, I will briefly describe what formal verification is and why […]
Formal verification is the verification of one program or algorithm using another. This is one of the most powerful methods that allows you to find all vulnerabilities in a program or prove that they do not exist. A more detailed description of formal verification can be seen in the example of solving the Wolf, Goat, and Cabbage problem in my previous article. In this article I […]
In this article I will show you how to use pinba with clickhouse and grafana instead of pinba_engine and pinboard. On a php project, pinba is perhaps the only reliable way to understand what is happening with performance. True, pinba is usually implemented only when problems are already observed and it is not clear “where to dig”. Often no one has any idea how many times per second/minute […]
This is a small story from real practice, when a small problem, well disguised by fault tolerance, turns into a headache. A small disposition: A small branch, it has its own PBX (asterisk + FreePBX) based on desktop hardware and the same local terminal server with 1C, a file dump and a virtual RO domain controller. The Internet distributes Mikrotik. The branch is small, that's enough for them. It all started […]
This is the second in a series of weekly digests about technology, people and how they influence each other. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) on how to create harmonious product growth in a startup. Cool ideas, statistics and examples from the best tech companies in their industries. An electronic book of 19 pages, recommended reading for anyone […]
The TrueOS Project has announced testing of experimental builds of FreeBSD 12-STABLE and FreeBSD 13-CURRENT, which transform the monolithic base system into a set of interconnected packages. The builds are developed within the pkgbase project, which provides tools for using the native pkg package manager to manage the packages that make up the base system. Delivery in the form of separate packages allows you to significantly simplify the process of updating the basic […]
A photograph of the ship of the famous explorer Ernest Shackleton, who was studying the Antarctic, appeared on the official Blue Origin Twitter page. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) April 26, 2019 The photo is captioned with the date May 9 and there is no description, so we can only guess how Shackleton's expedition ship is connected to Jeff's space company Bezos. It can be assumed [...]
The Apache Foundation announced that it has completed work on integrating its infrastructure with GitHub and migrating all of its git services to GitHub. Initially, two version control systems were offered for developing Apache projects: the centralized version control system Subversion and the decentralized system Git. Since 2014, Apache repository mirrors have been launched on GitHub, available in read-only mode. Now […]
