Proxmox Virtual Environment 7.2 est disponible

Posté par  . Édité par Xavier Teyssier, palm123, Pierre Jarillon, Julien Jorge et NeoX. Modéré par Julien Jorge. Licence CC By‑SA.
28
12
mai
2022
Virtualisation

Proxmox Server Solutions GmbH, développeur de la plate-forme de virtualisation libre Proxmox Virtual Environment (VE), a publié la version 7.2. La plate-forme est basée sur Debian 11.3 (Bullseye), et utilise un noyau Linux 5.15.30 et les développeurs ont mis à jour QEMU 6.2.0, LXC 4.0.12, et ZFS 2.1.4. Proxmox VE support Ceph Pacific 16.2.7, et aussi Ceph Octopus 15.2.16 (jusqu'au mis-2022).

La solution Proxmox Virtual Environment est un outil de la virtualisation libre, sous licence AGPL v3, et il est possible à ceux qui le souhaite de souscrire une offre de support auprès de l'éditeur.

Journal [Letlang] Écrire un compilateur en Rust (partie 3)

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
13
25
avr.
2022

Bonjour Nal,

Tu seras peut-être content d'apprendre que Letlang avance plutôt bien. Voici donc un nouveau "devlog" qui aujourd'hui parlera de vérification des types, et de comment je compte compiler une définition de type.

Voici d'abord une petite table des matières de ma série d'articles sur ce projet :

Rappel de syntaxe

Avant (…)

Journal 'Règle'. Organiser son traitement. Sans se désorganiser.

Posté par  . Licence CC By‑SA.
Étiquettes :
23
12
mar.
2022

Bonjour à tous,

D'abord une intro, un peu longue, mais pour mieux cibler après le sujet de ce journal.

1. "Pourquoi diable vas-tu nous parler de hype… ?"

Il n'est pas toujours évident de représenter un traitement "métier" (un besoin) dans un processus informatique. Loin de là : la forte accélération de la numérisation de nos sociétés ces dernières années n'empêche pas les mêmes questions de se poser, encore et encore, tant pour la petite que la grande organisation (…)

Journal [Letlang] Écrire un compilateur en Rust (partie 2)

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
18
11
mar.
2022

Bonjour Nal :)

Je suis inspiré en ce moment, du coup je continue ma série sur l'écriture d'un compilateur en Rust. Si tu es intéressé par les précédents articles, les voici :

Dans cette partie, je vais te présenter mes dernières découvertes concernant le parser.

Introduction

Tout d'abord, c'est quoi un parser ?

Google Translate traduit le terme par analyseur. Voilà bonne (…)

Journal [Letlang] Écrire un compilateur en Rust

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
14
7
mar.
2022

Bonjour Nal,

Il y a quelques temps, je t'ai présenté Letlang, un projet de langage de programmation fonctionnelle.

Il a pour but d'être compilé vers du code natif, avec un système de type strict et expressif basé sur une logique d'ordre supérieur.

Malheureusement, avec le boulot (mission freelance + Kubirds), j'ai pas beaucoup de temps à y consacrer, à part quelques heures par-ci par-là.

L'un des objectifs initiaux de ce langage était d'en faire un langage compilé. Comment (…)

Journal Une CVE dans le compilateur rust

Posté par  . Licence CC By‑SA.
Étiquettes :
26
20
jan.
2022

Bonjour 'Nal,

Une petite CVE lié à la librairie standard rust est tombée aujourd'hui: CVE-2022-21658

Une CVE dans ce langage parfait?

Avant le lacher de troll, parce qu'on est pas (encore trolldi), rust apporte des garanties sur la gestion de la mémoire, pas sur l'absence de bug!

Keski se passe?

Le problème rencontré est le suivant: une fonction d'effacement récursif (std::fs::remove_dir_all) est susceptible de se faire prendre de court par une race condition et effacer un répertoire sur (…)