ProHoster > Blog

sujet: Blog

Catégorie Blog

Vous cherchez un problème au mauvais endroit

Опубликовано

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é […]

« Veuillez noter » n°2 : Recueil d'articles sur la réflexion produit, la psychologie comportementale et la productivité personnelle

Опубликовано

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 […]

Test du fractionnement des packages du système de base FreeBSD

Опубликовано

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 […]

Blue Origin a tweeté une mystérieuse photo du navire de Shackleton

Опубликовано

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 [...]

Le Centre Scientifique et Technique "Module" a présenté un récepteur pour la navigation de haute précision

Опубликовано

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, […]

Les futures cartes vidéo Intel seront unifiées avec une architecture graphique intégrée

Опубликовано

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 […]

Windows 10 va « grossir » jusqu’à au moins 32 Go

Опубликовано

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 […]

Vérification formelle à l'aide de l'exemple du problème du loup, de la chèvre et du chou

Опубликовано

À 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 [...]

Créer un système de vérification formelle à partir de zéro. Partie 1 : Machine virtuelle de personnages en PHP et Python

Опубликовано

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 […]

Quiz : Comment respectez-vous les exigences relatives au traitement des données personnelles ?

Опубликовано

L'amende en cas de violation de la loi sur les données personnelles peut aller jusqu'à 75 1 roubles. Comment se protéger des violations lors du traitement des données personnelles ? Avez-vous satisfait à toutes les exigences légales ? Depuis le 2017er juillet XNUMX, les amendes ont été augmentées et ont commencé à dépendre du type d'infraction. Oui, beaucoup de temps s'est écoulé, mais, comme c'est souvent le cas, notamment en Russie, où […]

Choisir un téléviseur pour vous-même, votre proche, du point de vue de la science et non de la publicité

Опубликовано

Salut tout le monde. J'ai été poussé à écrire ce court article par un différend concernant le choix de la télévision. Aujourd'hui, dans ce domaine - ainsi que dans celui des « mégapixels pour appareils photo » - il y a une bacchanale marketing dans la recherche des résolutions : le HD Ready a depuis longtemps été remplacé par le Full HD, et le 4K et même le 8K sont déjà de plus en plus populaires. Voyons cela : que faisons-nous ?

Un robot a été introduit pour un atterrissage en toute sécurité depuis une hauteur sans parachute

Опубликовано

Un groupe d'ingénieurs de l'Université de Berkeley, de Squishy Robotics et de développeurs de la NASA ont commencé à tester sur le terrain un robot « élastiquement rigide » permettant un atterrissage en toute sécurité depuis des hauteurs sans parachute. Initialement, ces robots intéressaient les scientifiques de l’Agence de recherche aéronautique et spatiale car ils étaient largués depuis un vaisseau spatial sur Titan, l’une des lunes de Saturne. Mais sur Terre, il existe aussi de nombreuses applications pour la robotique […]

" retour au sommet 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 À la fin "