nlgranger a écrit 270 commentaires

Les carnets sont compréhensibles à la première lecture sans avoir à déchiffrer le code, ce qui permet de mettre l'emphase sur l'aspect explicatif ou pédagogique.

Ils servent d'exemples ou de tutoriaux interactifs: https://pytorch.org/tutorials/beginner/blitz/tensor_tutorial.html#sphx-glr-beginner-blitz-tensor-tutorial-py

Ils sont faciles à modifier, on peux itérer dans les modifications grâce à l'exécution dans le désordre, consulter ponctuellement une valeur, etc. Je m'en suis donc servi pour faire un TP récemment: https://github.com/nlgranger/hybrid_NN_HMM/blob/master/hybrid_NN_HMM.ipynb

Pour les sciences, le fait de mélanger code et sorties est idéal, on peut étudier à la volée un modèle ou des données. C'est donc toujours appréciable quand quelqu'un partage un notebook déjà structuré pour faciliter ce travail.

Quant à la mise en ligne, c'est à la discrétion de l'auteur, on peut partager des notebooks aussi facilement que du code.

Outre l'argument des bonnes pratiques et du fait que le code pourra être plus facilement réutilisé, je pense que c'est aussi nécessaire pour aider les analyseurs de code (statiques ou à l’exécution) à identifier les fuites mémoires.

Les écrans ont toujours des petits défauts, ils n'affichent pas tout à fait les couleurs demandées.
Avec un profil, supposons que l'ordinateur demande d'afficher du gris et que l'écran affiche un gris un peu bleuté (ce décalage est mesuré par des sondes d'étalonnage) alors l'ordinateur compense l'erreur en demandant un gris un peu plus rouge et vert.

Avec Xorg, il y avait moyen d'appliquer des réglages quelque soit le DE utilisé. Maintenant je ne sais pas comment ça marche, gnome propose une interface pour charger des profils même sous wayland, il n'y avait rien pour sway la dernière fois que j'ai essayé. Ça n'a pas l'air standardisé.

Je ne pense pas non plus que wayland prévoit la prise en charge des écrans 'wide-gamut' qui proposent un espace colorimétrique plus grand (affichent une plus grande partie des couleurs visibles).

Ces fonctionnalités sont utilisées dans les métiers de la photo, de l'impression, et du cinéma. Cette dernière est peu connue, mais des professionnels travaillent régulièrement sous linux (ex: https://www.blackmagicdesign.com/fr/products/davinciresolve/).

Pour les anglophones curieux, il y a un thread Reddit sur le sujet: https://www.reddit.com/r/linux/comments/agldhf/wayland_color_management_why_it_is_important/

D'un point de vue extérieur, j'ai toujours trouvé le développement de Wayland bizarre. Pour commencer, il existe (existait?) des manques flagrants dans la spec initiale, entre autres:

• pas de gestion des profils de couleurs, en gros on tire un trait sur l'infographie sous linux?
• facteurs d'échelle entiers
• qu'en est-il des outils d'accessibilité et d'automatisation ou de test sur les interfaces?
• en 10 ans, personne n'a réussi à sortir un launcher façon dmenu pour wayland, il ne manquerait pas une fonctionnalité de ce côté?

L'absence d'outillage ou de librairie de référence pour faciliter et unifier le travail des développement des DE est tout de même très handicapante. Wlroots que Drew présente comme une solution est très récent, non-officiellement supporté par l'équipe wayland, incomplet en terme de fonctionnalités et instable (soit ça, soit sway qui l'utilise est buggé).

AMHA, l'équipe de Wayland s'est dépêchée de sortir un truc (une spécification) avant de laisser MIR (un logiciel) s'enraciner, ce qui est dommage. Ça ressemble un peu aux modes des développement entre XMPP et Matrix pour la messagerie instantanée.

Le guardian a publié un article qui me semble pertinent par rapport à ce journal. Le journaliste fait remarquer que le recul de la démocratie (en europe) n'est pas un évènement mais un processus. Il suggère que sa réalisation ne repose pas (principalement) sur l'ignorance des peuples concernés, mais plutôt sur un programme très finement décomposé.

Je viens de voir que raspap-webgui écrase le fichier de configuration pour appliquer ses paramètres, donc ça ne va pas être possible.

Sauf erreur de compréhension de ma part, mdns est indépendant de dnsmasq, et il faut que touts les clients aient mdns activé, donc ça marche pas pour un client windows ou un smartphone.

Il me semble pas que bind soit nécessaire non plus, dnsmasq devrait prendre en charge l'injection de quelques règles utilisateur en plus du serveur DHCP.
Il y a dans la configuration l'option address qui permet de surcharger la résolution d'un domaine, par exemple.

address=jesuisunnewbi.lan/10.0.0.1

(remplacer 10.0.0.1 par l'ip fixe assignée à l'interface wifi de la raspberryPI)

J'ignore si l'on peut dégager le .lan pour avoir juste le nom de la machine.

linuxfr a mangé la première commande, je voulais écrire: su - nomducompteadmin
Pour passer directement sur l'utilisateur cible, dans le cas où le shell de cet utilisateur marche encore.

À noter qu'il tourne sous ubuntu, donc il n'y a pas vraiment de root.

Je suggère d'essayer dans le terminal:

$ su -

ou bien

$ sudo su

et de manipuler les fichers avec les commandes rm, mv, cp, etc…

Si quelqu'un connait ubuntu mieux que moi, peut-il suggérer la manière d'obtenir les droits sur le répertoire?

Peut-être qu'un de tes fichier de configuration crée un plantage au lancement de gnome.
Dans ces cas là, je te suggère de supprimer (après sauvegarde) les configurations des logiciels dans ~/.config et dans ~/.local/share, en particulier ~/.config/dconf ~/.config/gconf, monitors.xml, et tous les trucs avec gnome dans le nom. Ils seront régénérés avec la configuration par défaut au prochain lancement.
Évidemment si tu as modifié beaucoup de paramètres dans tes logiciels, il faudra refaire toutes ces configurations donc c'est à toi de voir.

À tout hasard, as-tu installé des mises à jour récemment? Se sont-elles installées partiellement?

Une partition home pleine n'empêche pas la connexion depuis la console (CTRL-ALT-F2..F9).
Tu peux ensuite utiliser les commandes suivantes pour t'aider à diagnostiquer le problème:

• df : donne le taux de remplissage des partitions, en particulier / et /home
• du -hs * | sort -h : donne la taille des fichier ou dossiers dans le répertoire courant, triés par taille
• sudo journalctl : les logs du système, mais tu as intérêt à filtrer un peu, pour gnome shell il y a quelques suggestions ici
• mettre à jour les métadonnées de paquets: sudo apt update
• mettre à jour les logiciels installés: sudo apt upgrade
• etc.

EDIT: Après avoir vu ma mère galérer avec le concept de fenètre qui se réduisent ou sont cachée derrière une autre, je conseille gnome plus que XFCE ou LXDE ou KDE. Gnome est aussi le seul environement qui réfléchit à la facilité d'utilisation avec les HIG. Sinon un gestionnaire de fenètre en tiling n'est pas mauvaise idée à essayer: I3 avec une liste des raccourcis clavier sur une feuille en papier, ça marcherait pas si mal et ça élimine le problème de redimensionner les fenètres.

Pour ma grand-mère j'avais des besoins encore plus simples: google + wikipedia + mails et c'est tout.
J'ai réglé chromium qui démarre automatiquement en mode kiosque avec l'ordi. J'ai désactivé le clic droit et configuré des raccourci sur les touches F1-F* pour une page d'accueil, revenir en arrière etc…
Pour les mails, le client Rainloop propose une interface web claire et simple, les autres sont soit compliqués, soit utilisent de l'iconographie sans texte dans les boutons, ce qui est gênant pour les débutants.
Pour éteindre l'ordi c'est simple: il s'éteint pas… il se met simplement en veille quand on referme le capot, mais je suggère de faire la gestion de l'alimentation via le bouton d'allumage plutôt que via un menu, c'est plus intuitif.

C'est incorrect? (https://www.openssh.com/portable.html)

D'après ce que j'en comprend, le parallélisme est une forme triviale de concurrence où la même opération est appliquée séparément (et simultanément?) à des données différentes.

Sur le A20, l'ethernet est natif (je ne sais pas si c'est le mot approprié, en tout cas il ne passe pas par usb), de même que le sata même si ce dernier n'a pas un gros débit.

Pour les allwinners, il y a encore beaucoup de points à couvrir dans la todolist.
Mon expérience avec le CubieTruck (allwinner A20/mali 400), c'est qu'on peut faire une croix sur la lecture de vidéos, le support de l'audio sur la sortie SPDIF est enfin devenu fonctionnel avec linux 4.19 et le pilote infrarouge n'a pas plus d'un an si mes souvenirs sont exacts. Donc pour une utilisation multimédia, c'est très très bof.
Et encore, on a de la chance d'avoir encore des experts qui travaillent sur le support d'une plateforme vieille de 6 ans.

Hello, oui ça ressemble un peu, merci pour l'info. Par rapport à dask, je dirais que SeqTools est plus haut niveau et plus transparent, par exemple l'exécution à la demande est implicite.

Merci! J'ai utilisé une fois PyTable pour manipuler une base hdf5 et c'était bien pratique. SeqTools est plus orienté sur l'étape de transformation de ces données donc je pense que c'est complémentaire. N'hésite pas à me contacter si tu rencontres des difficultés à l'utilisation.

Hello! Au temps pour moi sur les numéros de version. Cela étant, j'ai souvenir qu'asyncio n'était pas très populaire avant les ajouts de la 3.7, c'est pourquoi je l'avais laissé de côté.

Il me semble que j'avais jeté un oeil à trio lorsque j'avais réfléchi initialement au problème, mais il y a quelques aspects qui m'ont convaincu de commencer par les outils de la lib standard:

• personnellement, j'ai surtout besoin de charger les coeurs du CPU, donc j'ai développé pour le multiprocessing et la version avec les threads vient gratuitement car l'api est largement compatible.
• j'ai pas pris le temps de vérifier comment ça fonctionne, mais si il y a un surcoût pour lancer chaque tâche, je préfère garder le système de threadpool.
• trio semble s'appuyer pas mal sur les scopes (with ...), ce qui est très élégant, mais que je ne pense pas pouvoir cacher à l'utilisateur de ma lib. Pour ce projet j'ai essayé de rendre les choses les plus simples et transparentes possibles. Je pense que pour les cas plus compliqués, on a rapidement intérêt à abandonner SeqTools pour coder son pipeline à la main, par exemple avec trio.

Mais si j'ai un peu de temps, je commencerai par regarder trio d'un peu plus près ;-)