Catégorie : Blog

Futhark v0.12.1

Futhark est un langage de programmation qui supporte le parallélisme et appartient à la famille ML. Ajouté : La représentation interne des constructions parallèles a été révisée et optimisée. À quelques exceptions près, cela peut avoir un impact significatif sur la performance. Il existe maintenant un support pour des types-somme à typage structurel et le pattern matching. Cependant, certains problèmes persistent avec les tableaux de types-somme qui contiennent eux-mêmes des tableaux. Le temps de compilation a été considérablement réduit […]

Vulnérabilité DoS à distance dans la pile IPv6 de FreeBSD

Une vulnérabilité (CVE-2019-5611) a été corrigée dans FreeBSD, permettant de provoquer un crash du noyau (packet-of-death) via l'envoi de paquets ICMPv6 MLD (Multicast Listener Discovery) spécialement fragmentés. Le problème est dû à l'absence de vérification nécessaire dans l'appel à m_pulldown(), ce qui peut conduire à un retour de chaînes mbufs non continues, contrairement à ce que s'attendait l'appelant. La vulnérabilité a été corrigée dans les mises à jour 12.0-RELEASE-p10, 11.3-RELEASE-p3 et 11.2-RELEASE-p14. Une solution de contournement peut être […]

Un routeur 4G en tant que serveur universel pour l'IoT

Les routeurs de la série ICR-3200 sont conçus pour remplacer la configuration classique : ordinateur mono-carte + modem + routeur. Désormais, il est possible d'exécuter toute la logique nécessaire directement sur le routeur. Grâce à un puissant processeur ARM, 512 Mo de RAM et environ 2 Go de mémoire flash intégrée, il est même possible de lancer un serveur nodejs sur le routeur ! Les interfaces série RS-232/485 sont également intégrées au routeur et accessibles directement dans le système d'exploitation avec un accès complet […

Traçage distribué : nous avons tout mal fait

Remarque : L'auteur de ce document est Cindy Sridharan, ingénieure chez imgix, spécialisée dans le développement API et plus particulièrement dans les tests de microservices. Dans cet article, elle partage sa vision approfondie des problèmes actuels en matière de traçage distribué, où, selon elle, il y a un manque d'outils vraiment efficaces pour résoudre des problèmes concrets. [L'illustration est tirée d'un autre document sur le distribué […

Notqmail est présenté, un fork du serveur de messagerie qmail.

Le premier version du projet notqmail a été présentée, marquant le début du développement du fork du serveur de courrier qmail. Qmail a été créé par Daniel Bernstein en 1995 pour fournir une alternative plus sécurisée et plus rapide à sendmail. La dernière version de qmail 1.03 a été publiée en 1998 et, depuis lors, il n'y a pas eu de mise à jour officielle, mais le serveur reste un exemple […]

IBM a annoncé l'ouverture de l'architecture des processeurs Power

IBM a déclaré avoir ouvert l'architecture de l'ensemble d'instructions (ISA) Power. En 2013, IBM a déjà créé le consortium OpenPOWER, permettant la licence de la propriété intellectuelle liée à POWER et fournissant un accès complet aux spécifications. Cependant, des redevances continuaient d'être collectées pour l'obtention de licences de fabrication de puces. Désormais, la création de modifications personnalisées de puces […]

Une bêta publique du navigateur Microsoft Edge basé sur Chromium est disponible

En 2020, Microsoft devrait remplacer l'ancien navigateur Edge, qui est livré avec Windows 10, par un nouveau basé sur Chromium. Et maintenant, le géant du logiciel est un pas plus près de cela : Microsoft a publié une version bêta publique de son nouveau navigateur Edge. Il est disponible pour toutes les plateformes prises en charge : Windows 7, Windows 8.1 et Windows 10, ainsi que pour […]

Comment trouver des cours de programmation et quelle est la garantie d'emploi ?

Il y a 3 ans, j'ai publié mon premier et unique article sur habr.ru, consacré à l'écriture d'une petite application en Angular 2. À l'époque, il était en version bêta, et il y avait peu de tutoriels, mais il m'intéressait en raison du temps d'adoption par rapport à d'autres frameworks/bibliothèques du point de vue d'un non-programmeur. Dans cet article, j'ai écrit que […]

Le chat de Schrödinger sans boîte : le problème du consensus dans les systèmes répartis

Imaginons. Dans une pièce, cinq chats sont enfermés et pour aller réveiller leur maître, ils doivent d'abord s'accorder ensemble, car ils ne peuvent ouvrir la porte qu'en se pressant tous les cinq contre elle. Si l'un des chats est le chat de Schrödinger et que les autres ne connaissent pas sa décision, la question se pose : « Comment peuvent-ils y parvenir ? » Dans cette […]

Configuration de l'Out-Of-Memory Killer sous Linux pour PostgreSQL

Lorsque le serveur de base de données Linux s'arrête de manière inattendue, il faut en trouver la raison. Il peut y avoir plusieurs causes. Par exemple, un SIGSEGV - une erreur due à un bug dans le serveur backend. Mais cela reste rare. La plupart du temps, c'est simplement l'espace disque ou la mémoire qui est épuisé. Si l'espace disque est épuisé, il n'y a qu'une seule solution : libérer de l'espace et redémarrer la base de données. Killer de Mémoire Quand le serveur […

La Banque centrale souhaite ajouter des paiements rapides dans le messager local « Séraphim »

L'idée de l'importation de substitution ne quitte pas l'esprit des fonctionnaires dans les hautes sphères. Comme le rapportent « Vedomosti », la Banque centrale pourrait intégrer son Système de paiements rapides (SPR) dans le messager national « Seraphim ». Ce programme est développé pour les entreprises d'État et représente une sorte d'analogue du WeChat chinois. Il est intéressant de noter que, comme on l'affirme, seuls des crypto-algorithmes nationaux sont impliqués. Que cela soit vrai ou non, il est peu clair, mais l'application […]

Chaos Constructions 2019 arrive…

Chaos Constructions 2019 Les 24 et 25 août, traditionnellement lors des derniers week-ends d'été, le festival informatique Chaos Constructions 2019 se tiendra à Saint-Pétersbourg. Plus de 60 conférences seront présentées lors de la conférence dans le cadre du festival. À l'origine, le festival était consacré à la démo scène, et les ordinateurs qui sont maintenant rétro étaient des plus modernes. Tout a commencé en 1995 avec le festival ENLiGHT, qui a été organisé […]

Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS 🔥 Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS | ProHoster