nico4nicolas a écrit 941 commentaires

Le nucléaire dans « Le monde sans fin », c’est donc 35 pages sur 193, soit 5,5 % du livre

35 / 193 ça fait 18%

5,5% ça ferait entre 10 et 11 pages

Lors de précédentes versions, des liens étaient déjà parus ici même.

Ce document me semble très bien fait, bien pensé avec un bon exemple et un mauvais. Il y a aussi des références aux règles sur lesquelles s'appuie chaque bonne pratique/recommandation/règle pour justifier que ce n'est pas sorti de nulle part. Bravo à l'ANSSI.

Je pense qu'un intérêt de ce sondage c'est de définitivement faire le point sur qui est le préféré entre Emacs et Vim. Dans la partie Love vs. Dreaded (Adoré contre redouté) pour les IDE :

Emacs adoré par 70,39% et redouté par 29,61%
Vim adoré par 69,69% et redouté par 30,31%

D'après Twitter is Going Great, M. Musk a annoncé vouloir prendre des actions légales contre l'étudiant à l'origine du compte @ElonJet. M. Musk aurait également tweeté une vidéo d'une personne dans véhicule dont on voit la plaque d'immatriculation en prétendant que la personne aurait sauté sur sa voiture. Le commentaire note l'ironie de la situation où M. Musk pratique le doxxing qu'il dit vouloir éradiquer.

Ca ressemble beaucoup au dilemme du prisonnier dans une version politique internationale avec un air de déjà vu. Il me semble que l'espèce "homo sapiens" est bien mal nommée si on croit Wikipedia :

Sapiens est un adjectif latin signifiant « intelligent, sage, raisonnable, prudent », adjectif issu du participe présent du verbe sapere signifiant « avoir du goût, de la saveur, du jugement »

De manière générale, c'est bien quand il y a une dimension psychologique aux jeux, mais c'est quand même dommage si les meilleurs joueurs d'échecs doivent jouer des coups qu'ils savent moins bons pour obliger leur adversaire à jouer aux échecs.

Les meilleurs coups sont ceux qui font gagner face à un adversaire donné. S'il existait des meilleurs coups de façon objective, il n'y aurait pas besoin d'avoir une intelligence artificielle très complexe. Cela rendrait le jeu moins intéressant. La part d'anticipation et d'adaptation est très importante aux échecs. Si un joueur arrive à "tromper" son adversaire, c'est une bonne stratégie.

Pour l'EN, il y a plutôt :
- https://apps.education.fr/

Merci ! C'était à ce site que je pensais. Les outils sont là, c'est dommage qu'ils n'aient pas été mentionnés dans la réponse du ministre. D'ailleurs, la fin de la réponse vient plutôt contredire cette solution nationale :

Il convient enfin de rappeler que le code de l'éducation prévoit que les collectivités territoriales de rattachement des établissements scolaires assurent « l'équipement et le fonctionnement » et qu'à ce titre, « l'acquisition et la maintenance des infrastructures et des équipements, dont les matériels informatiques et les logiciels prévus pour leur mise en service, nécessaires à l'enseignement et aux échanges entre les membres de la communauté éducative sont à [leur] charge » (articles L. 213-2 et L. 214-6). Les collectivités territoriales peuvent ainsi fournir des solutions d'environnement numérique de travail (ENT) aux établissements qui offrent des fonctionnalités de communication et de collaboration respectant les principes du RGPD et de souveraineté numérique, permettant ainsi de se passer des offres collaboratives états-uniennes non immunes au droit extra-territorial.

Oui, des solutions existent mais est-ce que des instances sont disponibles ? Un enseignant n'a pas forcément les connaissances, le temps et/ou le matériel pour mettre en place un serveur. J'imagine que le gros avantage de Google Workspace est qu'il n'y a besoin que d'une inscription.

De mémoire, il y avait un serveur de l'éducation nationale qui offrait quelques uns de ces logiciels mais je ne retrouve plus le lien.

Le lien avait déjà été ajouté dans la rubrique liens.

Le ministère demande des choses mais que propose-t-il ? Existe-t-il des solutions alternatives qui seraient fournies par l'éducation nationale ? Si la réponse est non, la demande du ministère revient à se dégager d'une responsabilité sans donner aux écoles, collèges et lycées les moyens de faire autrement. Dans ce cas, cela ressemblerait fortement à du vent sans éolienne.

Ce que je lis

Trouvez d'autres solutions avec un budget équivalent (0€ et temps libre)

Voici la question au ministre et la réponse dont il est question dans le lien ci-dessus.

Le seul argument que je vois au "revenu par hectare a baissé" est qu'il est maintenant nécessaire à l'agriculteur d'avoir une plus grande surface de terrain pour vivre de façon équivalente à ce qui se faisait avec une surface moins grande. Je ne sais pas s'il s'agit d'un argument pertinent car il faudrait savoir combien d'hectares sont nécessaires pour dégager un revenu décent et quels sont les possibilités d'acquisition de tels terrains. S'il se trouve que l'acquisition d'une surface qui permet un revenu décent n'est pas possible à l'agriculteur qui souhaite se lancer, en effet, cela poserait le problème de l'accessibilité du métier aux "petits" agriculteurs.

Je ne vois pas d'autre argument derrière la métrique avancée.

Et même après !

Il y a quelques années, j'avais fait un petit script pour gérer nos sauvegardes sur un serveur. Il faudrait certainement changer le parser la date dans le nom du fichier pour que ça fonctionne mais le script permettait de garder toutes les sauvegardes de la semaine, 1 sauvegarde par semaine pour les semaines précédentes la semaine en cours, 1 sauvegarde par mois pour les mois précédents le mois en cours.

Il y a certainement beaucoup à redire et à améliorer sur l'écrire du script mais de mémoire, c'était fonctionnel.

#!/bin/bash
# title     : smartbackupmanagement.sh
# description   : This program was designed to smartly manage backup files.
#       It keeps files of the current week then 1 file per week for
#       the current month and 1 file per month for the current year.
#       Backup files must have the date in their file names and not
#       any other numeric character.
# author    : Nicolas
# date      : 20140306 initial release
#       : 20140312 allow spaces in file/path name
#       : 20140314 files are deleted with OK/NOK echoed
#           date is extracted from basename
#       : 20150203 changed command to get last day of the month
# version   : 0.31
# usage     : ./smartbackupmanagement.sh
# notes     :
# bash_version  : 4.2.10(1)-release
# TODO      : - do yearly backup management (keep only last backup of the
#       year
#============================================================================

# Directory where backup files are stored
BACKUP_DIRECTORY=$1

# save current date details and delete initial 0 if any
CURRENT_WEEK=`date +%W | sed 's/^0*//'`
CURRENT_MONTH=`date +%m | sed 's/^0*//'`
CURRENT_YEAR=`date +%Y | sed 's/^0*//'`

# Function to check if the date is the last day of the month
# $1 = year
# $2 = month
# $3 = day
function is_last_day_month
{
  # find the last day of the month
  last_day=`cal $2 $1 | egrep "28|29|30|31" | fmt -1 | tail -1`
  if [ $3 -eq $last_day ] ; then
    # this is the last day of the month
    return 0
  else
    # remove backup
    return 1
  fi
}

# Function when weeks are different
# $1 = file name
# $2 = day of the week
function different_weeks
{
  # check if day of the week is Sunday (day 0)
  if [ $2 -eq 0 ] ; then
    # keep backup of the week
    #echo Keep file as weekly backup
    keep_backup_file "$1"
  else
    # remove backup
    delete_backup_file "$1"
  fi
}

# Function when months are different
# $1 = file name
# $2 = day of the backup
# $3 = month of the backup
function different_months
{
  # check if it's the last day of the month
  if is_last_day_month $CURRENT_YEAR $3 $2 ; then
    # this is the last day of the month
    #echo Keep file as monthly backup
    keep_backup_file "$1"
  else
    # remove backup
    delete_backup_file "$1"
  fi
}

# Function when years are different
# TODO
function different_years
{
  #echo different years
  :
}

# Function to keep current file
function keep_backup_file
{
  # keep current file
  #echo Keep file $1
  :
}

# Function to delete current file
# $1 = filename
function delete_backup_file
{
  # delete current file
  #echo "Delete file\t $1"
  rm $1
  if [ $? -eq 0 ]; then echo -e "File deleted\t\t$1"; else echo -e "ERROR file NOT deleted\t$1"; fi
}

################
# Main program #
################

echo `date`
echo Start Smart Backup Management for $BACKUP_DIRECTORY

# for all files in the backup directory
for backup_file_name in "$BACKUP_DIRECTORY"* ; do

  # extract file name without last extension
  backup_file_name_noext=`basename ${backup_file_name%.*}`

  # extract date (string) from file name (delete all letters and punctuations)
  backup_file_date_string=`echo "$backup_file_name_noext" | tr -d [:alpha:],[:punct:]`

  # convert string into dclearate (not used)
  #backup_file_date_date=`date -d $backup_file_date_string`

  # get backup date details
  backup_file_day=`date -d $backup_file_date_string +%d`
  backup_file_week=`date -d $backup_file_date_string +%W`
  backup_file_month=`date -d $backup_file_date_string +%m`
  backup_file_year=`date -d $backup_file_date_string +%Y`

  # delete initial 0 if present
  backup_file_day=`echo "$backup_file_day" | sed 's/^0*//'`
  backup_file_week=`echo "$backup_file_week" | sed 's/^0*//'`
  backup_file_month=`echo "$backup_file_month" | sed 's/^0*//'`

  if [ $CURRENT_YEAR -eq $backup_file_year ] ; then
    # same year
    if [ $CURRENT_MONTH -eq $backup_file_month ] ; then
      # same month
      if [ $CURRENT_WEEK -eq $backup_file_week ] ; then
        # same week
        #echo Keep this week backups
        keep_backup_file "$backup_file_name"
      else
        # same month, different weeks
        backup_file_day_of_week=`date -d $backup_file_date_string +%w`
        different_weeks "$backup_file_name" $backup_file_day_of_week
      fi
    else
      # same year, different months
      if [ $CURRENT_WEEK -eq $backup_file_week ] ; then
        # different months BUT same week!!!
        #echo Keep this week backups
        keep_backup_file "$backup_file_name"
      else
        # different months, different weeks
        different_months "$backup_file_name" $backup_file_day $backup_file_month
      fi
    fi
  else
    # different years
    different_years
  fi
done

echo Smart Backup Management finished for $BACKUP_DIRECTORY
echo `date`
echo "* * * * * * * * * *"

exit 0

il ne jettera pas à la poubelle 44M$ comme ça

Il ne les a pas jeté à la poubelle, c'est le prix pour financer une campagne de pub pour Mastodon ! Personne n'avait jamais mis autant d'argent pour faire de la pub à un logiciel libre.

Le texte "Les revenentes" semblent être référence.

Il y a (au moins) une exception dans les syndicats, c'est le MEDEF.

Je ne me suis jamais intéressé au sujet mais en voyant ça, je me pose la question de savoir quel mécanisme empêche de faire le passage à l'heure d'hiver de façon infinie. Ca ne peut pas être un simple SI car une heure plus tard, on se retrouve dans la même situation.

SI (date = 29/10/2022) ET (heure = 03h00)
    heure = 02h00
FIN SI

On pourrait imaginer un flag mais il faudrait remettre à zéro les flags sur un changement de date.

Mon petit doigt me dit que pour l'embarqué, Rust va encore pour pas mal de temps ne pas être le premier choix pour cette raison.

L'embarqué comprend de très nombreux domaines d'applications mais dans les domaines normés, quand le logiciel est dit "sécuritaire", il parfois obligatoire d'utiliser des langages éprouvés. Dans ces domaines, pour les logiciels sécuritaires, il faudra donc attendre que les usages de Rust soient plus répandus, que les normes évoluent et que cela soit intégré/accepté par les équipes de développement. Le cycle est en marche avec une intégration dans le kernel Linux mais j'ai du mal à croire que cette évolution se fasse en moins de 10 ans donc le C et le C++ ont encore de belles années devant eux dans certains domaines de l'embarqué.

The main reason is to expand the number of platforms our Mender client can support to increase compatibility with platforms aimed at the embedded market. These include the common RTOS platforms: QNX, Zephyr, FreeRTOS, and VxWorks

Donc ils choisissent de faire du C++ pour être compatibles avec plus de cibles. Ce n'est pas un abandon complet car la partie serveur reste en Go :

Please note: Our server will remain developed in Go; This change only affects the Mender client

La décision de justice n'est pas respectée et c'est assumé.

Cela est déjà pratiqué dans le milieu industriel mais uniquement de façon contractuelle : tous les documents des études sont stockés chez un tiers pour que le client puisse reprendre l'étude du fournisseur si ce dernier fait faillite.

Un autre aspect positif est le fait que cette histoire met en avant les articles de Reflets. Il me plait de croire qu'aujourd'hui, un nombre plus important de personnes a lu les articles sur les possessions matériels de Drahi, la perte de données sensibles et une super-puissance non étatique. Moi même ne les aurais pas lu sans cette histoire de poursuites judiciaires.

On peut noter que CodinGame fut lancé en France, à Montpellier. Je ne sais pas s'ils sont toujours basés là bas. C'est le seul de la liste que j'ai essayé, je l'ai trouvé divertissant et assez bien fait.

Pour avoir un peu plus d'informations, il faut lire l'annonce officielle dont le lien est donné dans l'article : https://csa-iot.org/newsroom/matter-arrives/

This initial release of Matter, running over Ethernet, Wi-Fi, and Thread, and using Bluetooth Low Energy for device commissioning