Sony a publié ses rapports pour l'exercice clos le 31 mars 2019. Sur la base des données présentées, nous pouvons conclure que malgré un léger ralentissement des ventes de matériel PlayStation4, la console elle-même se vend toujours à un rythme impressionnant. Actuellement, 96,8 millions d'exemplaires de PS4 ont été vendus dans le monde, ce qui signifie que le total [...]
L'un des plus grands développeurs russes, le centre scientifique et technique "Module", s'est lancé dans la navigation. Jusqu'à présent, les actifs du centre comprenaient des contrôleurs et des microprocesseurs destinés à un large éventail d'usages. Le nouveau domaine d'activité élargira l'expérience et l'offre des développeurs russes. Modul va notamment entrer sur le marché des appareils de navigation de haute précision, et devrait occuper 2024 à 15 % de ce marché en Russie d'ici 18, […]
Dans le rapport annuel, paru pour la première fois sur le site Web d'Intel en février de cette année, la société, pour des raisons pas tout à fait évidentes, qualifie la solution graphique discrète en cours de développement de « première de son histoire », bien que les experts en développement de l'industrie se souviennent peut-être qu'Intel a tenté sa chance avec des cartes vidéo discrètes au milieu des années XNUMX du siècle dernier. Essentiellement, développer une solution graphique discrète […]
Microsoft a annoncé un jour qu'il utiliserait environ 7 Go d'espace sur le disque dur de l'utilisateur pour stocker les fichiers de mise à jour. L'avantage de cette approche est qu'elle garantira que vous ne manquerez pas d'espace au milieu d'une mise à jour. L'inconvénient est banal : il n'y a tout simplement pas assez d'espace sur les tablettes et ordinateurs portables bon marché. Si auparavant l'exigence minimale […]
À mon avis, dans le secteur russophone de l'Internet, le thème de la vérification formelle n'est pas suffisamment abordé et il y a surtout un manque d'exemples simples et clairs. Je vais donner un exemple provenant d'une source étrangère et ajouter ma propre solution au problème bien connu du passage d'un loup, d'une chèvre et d'un chou de l'autre côté de la rivière. Mais d'abord, je décrirai brièvement ce qu'est la vérification formelle et pourquoi [...]
La vérification formelle est la vérification d'un programme ou d'un algorithme à l'aide d'un autre. C'est l'une des méthodes les plus puissantes qui vous permet de trouver toutes les vulnérabilités d'un programme ou de prouver qu'elles n'existent pas. Une description plus détaillée de la vérification formelle peut être vue dans l'exemple de résolution du problème du loup, de la chèvre et du chou dans mon article précédent. Dans cet article, je […]
Dans cet article, je vais vous expliquer comment utiliser pinba avec clickhouse et grafana au lieu de pinba_engine et pinboard. Sur un projet PHP, pinba est peut-être le seul moyen fiable de comprendre ce qui se passe avec les performances. Certes, le pinba n'est généralement mis en œuvre que lorsque des problèmes sont déjà observés et qu'il n'est pas clair « où creuser ». Souvent, personne n’a la moindre idée du nombre de fois par seconde/minute […]
Ceci est une courte histoire de la pratique réelle, lorsqu'un petit problème, bien déguisé par la tolérance aux pannes, se transforme en casse-tête. Petite disposition : Une petite branche, elle possède son propre PBX (astérisque + FreePBX) basé sur du matériel de bureau et le même serveur de terminaux local avec 1C, un dump de fichiers et un contrôleur de domaine RO virtuel. Internet distribue Mikrotik. La branche est petite, ça leur suffit. Tout a commencé […]
Il s'agit du deuxième d'une série de résumés hebdomadaires sur la technologie, les gens et la manière dont ils s'influencent mutuellement. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) sur la façon de créer une croissance harmonieuse des produits dans une startup. Des idées intéressantes, des statistiques et des exemples des meilleures entreprises technologiques de leur secteur. Un livre électronique de 19 pages, lecture recommandée à tous […]
Le projet TrueOS a annoncé des tests de versions expérimentales de FreeBSD 12-STABLE et FreeBSD 13-CURRENT, qui transforment le système de base monolithique en un ensemble de packages interconnectés. Les builds sont développés dans le cadre du projet pkgbase, qui fournit des outils permettant d'utiliser le gestionnaire de packages natif pkg pour gérer les packages qui composent le système de base. La livraison sous forme de packages séparés permet de simplifier considérablement le processus de mise à jour des bases […]
Une photographie du navire du célèbre explorateur Ernest Shackleton, qui étudiait l'Antarctique, est apparue sur la page Twitter officielle de Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 avril 2019 La photo est légendée avec la date du 9 mai et il n'y a pas de description, nous ne pouvons donc que deviner comment le navire d'expédition de Shackleton est connecté à l'espace de Jeff société Bezos. On peut supposer [...]
La Fondation Apache a annoncé avoir achevé les travaux d'intégration de son infrastructure avec GitHub et de migration de tous ses services git vers GitHub. Initialement, deux systèmes de contrôle de version étaient proposés pour le développement de projets Apache : le système de contrôle de version centralisé Subversion et le système décentralisé Git. Depuis 2014, des miroirs de référentiel Apache ont été lancés sur GitHub, disponibles en mode lecture seule. Maintenant […]
