patrick_g a écrit 6408 commentaires

C'est très utile pour les disques USB externes qui sont utilisés pour de la sauvegarde à froid de fichiers. Par exemple ma musique, mes films, mes photos.
Tout ça prend de la place donc je fais systématiquement un tune2fs -m 0 sur ces disques.

Même Ted Ts'o indique que dans ce cas de sauvegarde à froid cette manip n'a aucun inconvénient : https://www.redhat.com/archives/ext3-users/2009-January/msg00026.html

Modif effectuée dans le scrip et je confirme également que ça remarche.
Merci beaucoup pour l'aide et pour la réactivité !

10000000 mercis !

Et là, c'est le drame !
Le script génial d'amélioration des images que j'utilise depuis des années ne fonctionne plus avec cette version de GIMP.

J'ai beau essayer de trouver un substitut en passant par Filtres -> Améliorations -> Renforcer la netteté je n'obtiens rien de vraiment efficace et sans prise de tête comme pouvait l'être mon bon vieux smart sharpening :-(

J'ai cherché quel était l'archétype qui était associé au noyau Linux mais apparemment les auteurs du rapport ont délibérément choisi de ne pas se mouiller :

in some ways the Linux kernel project could be considered “Wide Open”. However, both technically and culturally, Linux kernel development is sui generis and we have deliberately avoided using it as the basis for any archetype.

Mais tu avais des sauvegardes à jour n'est-ce pas ?

On dira ce qu'on voudra c'est quand même très bizarre de baser une distribution LTS sur un noyau 4.15 non LTS et déjà abandonné upstream. Pourquoi ne pas avoir utilisé le 4.14 qui est un noyau à support à long terme ?
Le noyau 4.15 utilisé dans cette version d'Ubuntu devra donc être maintenu pendant 5 ans uniquement par les devs de Canonical. Vu la cascade de corrections qui arrive dans la branche -stable (du fait de cette nouvelle technologie) c'est quand même assez casse-gueule comme choix…

Quid de l'utilisation toute simple du gestionnaire de mots de passe intégré à Firefox ?

C'est ce que j'utilise pour mes passwords de site web. Quand je dois m'inscrire sur un site je tape au hasard une longue chaine de caractères. Firefox retient ce mot de passe et le synchronise entre mes 3 Firefox (laptop maison, laptop boulot, smartphone).
Rien à installer, super simple.

Quels sont les inconvénients de cette solution (à part évidemment d'obliger à l'utilisation de Firefox) ?

Tu peux bien sûr vivre une vie d'Archiste sans jamais compiler mais du coup, Quid de la différence avec Debian/Ubuntu, Fedora/Centos?

Avoir des applis toujours à jour ?

on peut noter la réaction positive de Theo de Raadt

C'est là que c'est franchement devenu invraisemblable.

Purée j'avais pas capté que les liens en négatif étaient masqués. Quelle nouille…

Pour le second problème je suis quasi certain mais bon j'attendrais d'en être sûr avec les nouveaux posts.

Leur truc sync, je m'en bats les noisettes, je doute que beaucoup de gens utilisent ce truc.

Au contraire. C'est super utile de pouvoir synchroniser ses bookmarks, ses identifiants et ses préférences entre le Firefox de la maison, celui du boulot et celui du smartphone.
C'est une fonction indispensable.

Une option pour prendre un screenshot, mais qu'est-ce que ça vient faire dans un navigateur ?

Celle-là je le t'accorde :-)

Et puis ça doit dépendre énormément du domaine de recherche.
Le profil de publication n'a rien à voir entre un mathématicien, un physicien théoricien et un biologiste.

Un autre excellent article, écrit par Penrose : https://www.theguardian.com/science/2018/mar/14/stephen-hawking-obituary

https://backreaction.blogspot.fr/2018/03/stephen-hawking-dies-at-76-what-was-he.html

On remarque que ses importantes contributions en physique théorique datent des années 70 et qu'il n'a essentiellement rien fait depuis.

L'avis de Linus (avec des commentaires intéressants) : https://plus.google.com/+LinusTorvalds/posts/PeFp4zYWY46

Merci pour le lien vers cool-retro-term. C'est absurde et complètement inutile mais c'est rigolo :-)

Tenter de faire oublier l’œuvre littéraire de Céline parce qu’il a été anti-sémite est du même acabit que…

Je ne tente pas de faire oublier l’œuvre littéraire. Tu notera que j'ai fait 2 réponses sur 2 extraits de ton post. L'une de ces réponses concerne certes l'antisémitisme de Céline. Mais l'autre, la citation de Gracq, porte sur l'évaluation littéraire pure (sans aborder la personnalité répugnante et criminelle de Céline).
Bien entendu cette appréciation littéraire est bien plus subjective que la précédente mais c'est la mienne. La langue de Céline dans ses romans c'est simplement la langue parlée et argotique. Des éructations qu'on larde de points d'exclamation et de points de suspension.
La belle affaire, comme révolution on a vu mieux.

En plus d’être un écrivain de génie

On a le droit de ne pas être d'accord.

«Céline, c'est souvent moins une débâcle de la langue qui s'écrit qu'un accident du tout-à-l'égout.»
Julien Gracq

les pamphlets antisémites, que l’auteur lui-même a renié à la fin de sa vie.

Je ne sais pas si il a renié ces pamphlets à la fin de sa vie. Ce que je sais c'est que, à la fin des années 30, au moment ou ça comptait vraiment, au moment ou les juifs étaient traqués en Allemagne et cherchaient à s'échapper pour sauver leur vies, Céline a appelé au meurtre dans des textes d'un antisémitisme délirant qui donne envie de vomir.
Pendant l'occupation il a encouragé explicitement les allemands à tuer tous les juifs. il faut lire les pages du journal d'Ernst Jünger (capitaine dans la Wehrmacht à ce moment là) à ce sujet :

« II [Céline] dit combien il est surpris, stupéfait, que nous, soldats, nous ne fusillions pas, ne pendions pas, n'exterminions pas les Juifs - il est stupéfait que quelqu'un disposant d'une baïonnette n'en fasse pas un usage illimité. "Si les Bolcheviks étaient à Paris, ils vous feraient voir comment on s'y prend ; ils vous montreraient comment on épure la population, quartier par quartier, maison par maison. Si je portais la baïonnette, je saurais ce que j'ai à faire" ».

Donc dire qu'après la guerre il a eu le toupet et la lâcheté de renier ses pamphlets ça aurait plutôt tendance à augmenter encore le mépris que je ressens pour cette personne.

Exemple intéressant. Mais est-ce vraiment possible de s'inspirer de ce que fait une cité-état hyper urbanisée dans ce domaine ?

Un autre post très intéressant et détaillé de Brendan sur Hacker News : https://news.ycombinator.com/item?id=16382456

Il explique pourquoi il a quitté illumos (une distribution de Solaris) alors qu'il en était un des fondateurs. Selon lui cela avait du sens en 2010 de miser sur Solaris qui, à l'époque, était en avance dans de nombreux domaines par rapport à Linux.
Depuis 2010 beaucoup d'eau a coulé sous les ponts. Solaris a stagné et Linux a énormément progressé (cf sa liste) au point que, selon lui, cela ne rime plus à rien de miser sur Solaris aujourd'hui.

Soutenez LWN

je serais curieux de savoir si cette discussion a dissipé nos différences de point de vue, ou si tu continues à ne pas être convaincu par l'idée que les assistants de preuve pourraient un jour apporter du confort à la pratique de la recherche en mathématiques.

Honnêtement je ne sais pas. Voevodsky pensait que la complexité de la recherche en géométrie algébrique était devenue telle qu'il fallait absolument changer le paradigme et utiliser ces assistants de preuve pour être certains de ne pas faire d'erreur dans les démonstrations. D'après ce que j'ai lu ses collègues ne semblent pas convaincus et ils continuent de faire leur recherche et de publier leurs démonstrations de façon classique.

Peut-être qu'il faudra attendre que ces assistants deviennent plus puissants, plus simples à utiliser et qu'ils s'appuient sur des bibliothèques bien plus complètes de résultats déjà démontrés.
Ou peut-être qu'il y aura une séparation du travail et qu'on va assister à l'émergence d'une nouvelle classe de mathématiciens. Ces nouveaux chercheurs prendront les résultats démontrés classiquement et feront le travail de vérification formelle. Un peu ce qu'à fait Gonthier avec la vérification du théorème de Feit-Thompson.
Mais ça lui a pris 6 ans, il était entouré d'une équipe de chercheurs et c'était pour prouver un théorème vieux de plus de 50 ans.
Autrement dit c'est pas gagné…

Oui le dernier exemple est tellement gros qu'il va être publié comme une monographie.
Mais je maintiens ce que j'ai dit : en math pures il se publie de très gros articles dans les journaux.
L'exemple 4 des papiers de Scholze a été publié dans Annals of Math (lien).
Regarde aussi celui-ci qui fait 121 pages, également publié dans Annals of Math.
Et pas que Annals, d'autres journaux aussi. Les Publications Mathématiques de l'IHES par exemple sont connues pour accepter de très gros papiers (l'héritage des EGA/SGA de Grothendieck ?). En allant jeter un coup d'oeil rapide je tombe sur cet article qui fait plus de 150 pages.

le chercheur écrit un article à destination d'une conférence où le nombre de pages de chaque publication est limité

Alors ça, il me semble que ces articles à destination des conférences et avec pagination imposée ça se fait plutôt dans le domaine de la recherche en informatique non ?
Ce n'est plus vrai du tout en math pures ou on voit passer des très gros articles et les journaux n'ont pas peur de publier ça (et ne semblent pas limités par la pagination).
Si je regarde sur la page de Peter Scholze (qui a 99,999% de chances de recevoir la médaille Fields cet été) je trouve ça pour les papiers postées ces deux dernières années :

Topological Hochschild homology, and integral p-adic Hodge theory => 84 pages
Étale cohomology of diamonds => 154 pages
Integral p-adic Hodge theory => 118 pages
On the generic part of the cohomology of compact unitary Shimura varieties => 98 pages

Et je ne parle même pas du multiplodocus de Fargues-Fontaine (soumis à Astérisque qui publie des monographies):

Courbes et fibrés vectoriels en théorie de Hodge p-adique => 399 pages