J'ai beaucoup de mal à croire qu'il suffise de bien typer pour supprimer tous les bugs… Un peu comme si en physique, toute formule homogène était juste.
Bah en fait, pas spécialement. Grâce à l'inférence de type dans les bons IDE (et un peu d'aide de temps en temps avec le type hinting), mon code est statiquement typé à 95% (statistique au doigt mouillé, évidemment). Le typage n'est pas vérifié à la compilation (et pour cause) ni au runtime, mais à vrai dire je m'en moque : que ce soit en C++ ou en Python, c'est à l'écriture que j'ai besoin de l'info.
Je me sers du typage dynamique dans quelques cas (bien bordés) pour simplifier la vie.
Non, bien sûr, c'est sûr que Rust apporte bien plus de garantie.
Simplement, à partir du moment où tu utilises les bons outils, les bugs triviaux (comme les erreurs de type) n'existent plus, ou presque.
Il y a tout de même des outils pour vraiment améliorer la situation en Python. Un bon IDE va faire de l'inférence de type et tu n'auras à peu près jamais d'erreur de type au runtime.
J'aurais même tendance à dire qu'il est souvent bien plus rentable de rajouter une machine ou deux plutôt que d'ajouter le temps de développement. Un mois de développement supplémentaire doit coûter dans les 5 000€ minimum à l'employeur, le serveur de plus est vite rentabilisé si on développe vraiment plus vite.
C'est dommage que l'argumentation soit légère, voire totalement fausse.
Il est tout à fait possible de saisir de l'argent liquide (ça se fait même tous les jours), de le bloquer ou d'avoir un héritage en argent liquide (comme tout autre bien). Donc si, il y a du nouveau (et en négatif !) à ce niveau-là.
De plus, vu que tu parles d'un point de vue politique, il y a un autre aspect totalement bloquant : l'impossibilité pour les États d'avoir une politique monétaire adaptée au contexte économique global et au modèle social choisi. Qu'on trouve les politiques monétaires actuelles bonnes ou mauvaises, la possibilité d'en avoir une a montré dans le passé son efficacité. Les États-Unis n'auraient probablement pas remonté la pente aussi vite dans les années 30 s'ils n'avaient pas pu choisir leur politique monétaire, par exemple.
Elles en posent d'autres, par rapport à un système traditionnel avec des tiers de confiance :
- comment fait-on pour bloquer un compte (suite à une décision de justice) ?
- comment fait-on pour récupérer son argent si on a perdu son mot de passe ?
- comment fait-on pour être remboursé s'il y a eu une opération frauduleuse ?
- comment fait-on pour débloquer un compte sans l'accord de son propriétaire (par exemple lors d'un héritage) ?
Cela a tout de même ses limites : tu ne peux pas dire (comme avec apt) que le projet psycopg2-binary fournit le package psycopg :(
Ou alors il faut mettre psycopg comme dépendance de psycopg-binary (alors que c'est le contraire d'un point de vue logique).
Après, comme le packaging Python utilise un fichier setup.py (script Python comme un autre), tu peux déclarer des dépendances dynamiquement : par exemple, setup.py peut tester le système sur lequel le paquet est en cours d'installation et va déclarer des dépendances en fonction de la version de Python, des libs déjà installées, etc.
Cet avantage vient avec son inconvénient miroir : tu ne peux pas faire de l'analyse statique pour déterminer les dépendances (alors qu'avec un paquet apt, il suffit de lire un fichier de contrôle pour avoir toutes les dépendances).
Tu es destinataire légitime du message, donc tu en fais ce que tu veux. Tu n’aurais pas eu le droit de le faire si tu n’avais pas été destinataire uniquement.
Je pense qu'il y a également beaucoup de lobbying derrière tout ça.
En France, par exemple, l'industrie nucléaire est détenue par quelques industriels publics (ou c'est tout comme).
Les énergies renouvelables (autres que l'hydraulique, qui de toute façon est à peu près saturé) sont au contraire poussé par des industriels purement privés, souvent chinois qui n'auront jamais accès au marché du nucléaire. Du tout, ils ont tout intérêt à pousser tout le monde à abandonner le nucléaire pour ramasser le gâteau.
Merci pour ce billet, qui tombe à pic pour moi vu que j'avais du RAID à réinstaller.
Du coup, est-ce que Grub comprend tous les types de RAID LVM ? Je pense notamment au RAID 6 (de mémoire, ce n'est pas évident de faire du RAID6 mdadm pour /boot).
Je regrette qu'on ne puisse pas avoir plus de deux disques de parité en RAID6, mais ce n'est pas mieux avec mdadm.
À vrai dire, j'ai surtout l'impression que l'objet du journal est surtout de se vanter d'utiliser les méthodes que tu penses être les plus extrêmes de se protéger informatiquement de l'État.
Honnêtement, j'ai du mal à comprendre comment on peut trouver que la comparaison avec d'autres espèces animales peut avoir la moindre valeur, indépendamment de toute opinion sur ce sujet.
Plein d'animaux se bouffent entre eux, doit-on considérer que le cannibalisme comme normal ?
Plein d'animaux pratiquent le viol de façon industrielle, doit considérer le viol comme normal ?
On peut également continuer avec les gamins, voire les embryons…
Personnellement, je trouve que ce n'est pas au gouvernement, ni au Parlement d'écrire l'Histoire (à travers les fameuses lois mémorielles), mais uniquement aux historiens.
Après, c'est le boulot du gouvernement d'avoir une Éducation nationale convenable (en dégageant ceux qui ne respectent pas les méthodes scientifiques ou le programme) tout en étant suffisamment digne de confiance pour que les gens préfèrent faire confiance à l'Histoire telle que racontée dans cette version officielle.
Très souvent (je ne sais pas si c'est le cas ici, en revanche), il faut traduire ça par ultra-minorité qui veut imposer par la force aux autres un modèle de société dont ces derniers ne veulent pas.
Je voulais dire que l'exemple était toujours valide en remplaçant svn par git et darcs par Pijul ;) (donc que git se plante vu qu'il utilise le même algorithme que svn mais pas Pijul qui ressemble à Darcs)
On m'a donné ce lien qui donne un exemple simple de fusion qui foire avec svn et qui fonctionne avec darcs.
Si je comprends bien, il devrait être valide avec git et Pijul.
J'aime beaucoup l'idée d'avoir des preuves mathématiques derrière les outils que j'utilise.
J'avoue que je suis pas mal tenu par git (GitHub et les IDE que j'utilise — ce sont d'ailleurs les seules raisons pour lesquelles j'utilise git), mais ça donne envie d'essayer.
[^] # Re: Performance
Posté par flan (site web personnel) . En réponse au journal Moi, expert C++, j'abandonne le C++. Évalué à 1.
J'ai beaucoup de mal à croire qu'il suffise de bien typer pour supprimer tous les bugs… Un peu comme si en physique, toute formule homogène était juste.
[^] # Re: Performance
Posté par flan (site web personnel) . En réponse au journal Moi, expert C++, j'abandonne le C++. Évalué à 1.
Bah en fait, pas spécialement. Grâce à l'inférence de type dans les bons IDE (et un peu d'aide de temps en temps avec le type hinting), mon code est statiquement typé à 95% (statistique au doigt mouillé, évidemment). Le typage n'est pas vérifié à la compilation (et pour cause) ni au runtime, mais à vrai dire je m'en moque : que ce soit en C++ ou en Python, c'est à l'écriture que j'ai besoin de l'info.
Je me sers du typage dynamique dans quelques cas (bien bordés) pour simplifier la vie.
[^] # Re: Go ou Rust?
Posté par flan (site web personnel) . En réponse au journal Moi, expert C++, j'abandonne le C++. Évalué à 3.
Non, bien sûr, c'est sûr que Rust apporte bien plus de garantie.
Simplement, à partir du moment où tu utilises les bons outils, les bugs triviaux (comme les erreurs de type) n'existent plus, ou presque.
[^] # Re: Go ou Rust?
Posté par flan (site web personnel) . En réponse au journal Moi, expert C++, j'abandonne le C++. Évalué à 2.
Il y a tout de même des outils pour vraiment améliorer la situation en Python. Un bon IDE va faire de l'inférence de type et tu n'auras à peu près jamais d'erreur de type au runtime.
[^] # Re: Go ou Rust?
Posté par flan (site web personnel) . En réponse au journal Moi, expert C++, j'abandonne le C++. Évalué à 5.
J'aurais même tendance à dire qu'il est souvent bien plus rentable de rajouter une machine ou deux plutôt que d'ajouter le temps de développement. Un mois de développement supplémentaire doit coûter dans les 5 000€ minimum à l'employeur, le serveur de plus est vite rentabilisé si on développe vraiment plus vite.
[^] # Re: L'avenir des cryptomonnaies ?
Posté par flan (site web personnel) . En réponse au journal La Banque du futur. Évalué à 4.
C'est d'ailleurs pour ça que le bitcoin n'est jamais utilisé sur le darkweb… oh, attends…
[^] # Re: Debat Technique / Politique / Economique
Posté par flan (site web personnel) . En réponse au journal La Banque du futur. Évalué à 5.
C'est dommage que l'argumentation soit légère, voire totalement fausse.
Il est tout à fait possible de saisir de l'argent liquide (ça se fait même tous les jours), de le bloquer ou d'avoir un héritage en argent liquide (comme tout autre bien). Donc si, il y a du nouveau (et en négatif !) à ce niveau-là.
De plus, vu que tu parles d'un point de vue politique, il y a un autre aspect totalement bloquant : l'impossibilité pour les États d'avoir une politique monétaire adaptée au contexte économique global et au modèle social choisi. Qu'on trouve les politiques monétaires actuelles bonnes ou mauvaises, la possibilité d'en avoir une a montré dans le passé son efficacité. Les États-Unis n'auraient probablement pas remonté la pente aussi vite dans les années 30 s'ils n'avaient pas pu choisir leur politique monétaire, par exemple.
[^] # Re: L'avenir des cryptomonnaies ?
Posté par flan (site web personnel) . En réponse au journal La Banque du futur. Évalué à 10.
Elles en posent d'autres, par rapport à un système traditionnel avec des tiers de confiance :
- comment fait-on pour bloquer un compte (suite à une décision de justice) ?
- comment fait-on pour récupérer son argent si on a perdu son mot de passe ?
- comment fait-on pour être remboursé s'il y a eu une opération frauduleuse ?
- comment fait-on pour débloquer un compte sans l'accord de son propriétaire (par exemple lors d'un héritage) ?
[^] # Re: Comme psycopg2
Posté par flan (site web personnel) . En réponse au journal Retour d'expérience sur l'empaquetage d'une bibliothèque native pour Python. Évalué à 2.
Cela a tout de même ses limites : tu ne peux pas dire (comme avec apt) que le projet psycopg2-binary fournit le package psycopg :(
Ou alors il faut mettre psycopg comme dépendance de psycopg-binary (alors que c'est le contraire d'un point de vue logique).
Après, comme le packaging Python utilise un fichier setup.py (script Python comme un autre), tu peux déclarer des dépendances dynamiquement : par exemple, setup.py peut tester le système sur lequel le paquet est en cours d'installation et va déclarer des dépendances en fonction de la version de Python, des libs déjà installées, etc.
Cet avantage vient avec son inconvénient miroir : tu ne peux pas faire de l'analyse statique pour déterminer les dépendances (alors qu'avec un paquet apt, il suffit de lire un fichier de contrôle pour avoir toutes les dépendances).
[^] # Re: Evite pip
Posté par flan (site web personnel) . En réponse au journal Retour d'expérience sur l'empaquetage d'une bibliothèque native pour Python. Évalué à 6.
J'aurais tendance à donner l'avis exactement contraire et d'utiliser pip malgré ses défauts.
Tout développeur Python est censé être habitué aux outils Python, alors qu'il y a de fortes chances qu'ils ne connaissent pas Guix ou équivalent.
[^] # Re: Trackers et permissions sur l'application mobile
Posté par flan (site web personnel) . En réponse au journal Lettre ouverte à La Banque Postale. Évalué à 6.
Tu es destinataire légitime du message, donc tu en fais ce que tu veux. Tu n’aurais pas eu le droit de le faire si tu n’avais pas été destinataire uniquement.
[^] # Re: D'excellentes ressources pour en savoir plus sur le sujet
Posté par flan (site web personnel) . En réponse au journal Impressions sur la campagne pour les européennes. Évalué à 1.
Je pense qu'il y a également beaucoup de lobbying derrière tout ça.
En France, par exemple, l'industrie nucléaire est détenue par quelques industriels publics (ou c'est tout comme).
Les énergies renouvelables (autres que l'hydraulique, qui de toute façon est à peu près saturé) sont au contraire poussé par des industriels purement privés, souvent chinois qui n'auront jamais accès au marché du nucléaire. Du tout, ils ont tout intérêt à pousser tout le monde à abandonner le nucléaire pour ramasser le gâteau.
[^] # Re: Ça tombe à pic
Posté par flan (site web personnel) . En réponse à la dépêche Gestion de volumes RAID avec LVM. Évalué à 3.
Petite question subsidiaire : peut-on LUKSer les partitions avant le LVM ?
# Ça tombe à pic
Posté par flan (site web personnel) . En réponse à la dépêche Gestion de volumes RAID avec LVM. Évalué à 3.
Merci pour ce billet, qui tombe à pic pour moi vu que j'avais du RAID à réinstaller.
Du coup, est-ce que Grub comprend tous les types de RAID LVM ? Je pense notamment au RAID 6 (de mémoire, ce n'est pas évident de faire du RAID6 mdadm pour /boot).
Je regrette qu'on ne puisse pas avoir plus de deux disques de parité en RAID6, mais ce n'est pas mieux avec mdadm.
[^] # Re: Migration complète sous Tails
Posté par flan (site web personnel) . En réponse au journal Ma journée en garde à vue.. Évalué à 5.
À vrai dire, j'ai surtout l'impression que l'objet du journal est surtout de se vanter d'utiliser les méthodes que tu penses être les plus extrêmes de se protéger informatiquement de l'État.
[^] # Re: Linuxfr est désormais un espace de diffusion proLGBT ?
Posté par flan (site web personnel) . En réponse au journal Agressions, insultes, harcèlement... Cinq mois de violences contre les LGBT en France. Évalué à 6.
Honnêtement, j'ai du mal à comprendre comment on peut trouver que la comparaison avec d'autres espèces animales peut avoir la moindre valeur, indépendamment de toute opinion sur ce sujet.
Plein d'animaux se bouffent entre eux, doit-on considérer que le cannibalisme comme normal ?
Plein d'animaux pratiquent le viol de façon industrielle, doit considérer le viol comme normal ?
On peut également continuer avec les gamins, voire les embryons…
[^] # Re: Outrance
Posté par flan (site web personnel) . En réponse au journal Ma journée en garde à vue.. Évalué à 5. Dernière modification le 17 mai 2019 à 19:11.
Personnellement, je trouve que ce n'est pas au gouvernement, ni au Parlement d'écrire l'Histoire (à travers les fameuses lois mémorielles), mais uniquement aux historiens.
Après, c'est le boulot du gouvernement d'avoir une Éducation nationale convenable (en dégageant ceux qui ne respectent pas les méthodes scientifiques ou le programme) tout en étant suffisamment digne de confiance pour que les gens préfèrent faire confiance à l'Histoire telle que racontée dans cette version officielle.
[^] # Re: Relativisons
Posté par flan (site web personnel) . En réponse au journal Ma journée en garde à vue.. Évalué à 9.
Très souvent (je ne sais pas si c'est le cas ici, en revanche), il faut traduire ça par ultra-minorité qui veut imposer par la force aux autres un modèle de société dont ces derniers ne veulent pas.
[^] # Re: Faites ce que vous voulez mais votez FI
Posté par flan (site web personnel) . En réponse au journal Élections européennes de 2019. Évalué à 4. Dernière modification le 14 mai 2019 à 19:06.
Les communistes ont déjà collaborés avec les Nazis, aussi…
[^] # Re: 1% du taf
Posté par flan (site web personnel) . En réponse au journal Élections européennes de 2019. Évalué à 3.
Ce n'est pas paradoxal si tu considères que le pouvoir est à la Commission (à Bruxelles également) et non au Parlement ;)
[^] # Re: Exemples concrets?
Posté par flan (site web personnel) . En réponse à la dépêche Pijul, contrôle de version et théorie des patchs, version 0.12. Évalué à 2.
Quand je me suis rendu compte de l’ambiguïté, il était trop tard pour changer :(
[^] # Re: Exemples concrets?
Posté par flan (site web personnel) . En réponse à la dépêche Pijul, contrôle de version et théorie des patchs, version 0.12. Évalué à 3. Dernière modification le 12 mai 2019 à 22:26.
Je voulais dire que l'exemple était toujours valide en remplaçant svn par git et darcs par Pijul ;) (donc que git se plante vu qu'il utilise le même algorithme que svn mais pas Pijul qui ressemble à Darcs)
[^] # Re: Exemples concrets?
Posté par flan (site web personnel) . En réponse à la dépêche Pijul, contrôle de version et théorie des patchs, version 0.12. Évalué à 4.
On m'a donné ce lien qui donne un exemple simple de fusion qui foire avec svn et qui fonctionne avec darcs.
Si je comprends bien, il devrait être valide avec git et Pijul.
https://tahoe-lafs.org/%7Ezooko/badmerge/concrete-good-semantics.html
[^] # Re: Doc ?
Posté par flan (site web personnel) . En réponse au journal L'increvable le retour. Évalué à 8.
Voici quelques infos manquantes :
[^] # Re: Bravo !
Posté par flan (site web personnel) . En réponse à la dépêche Pijul, contrôle de version et théorie des patchs, version 0.12. Évalué à 3.
Pas mieux !
J'aime beaucoup l'idée d'avoir des preuves mathématiques derrière les outils que j'utilise.
J'avoue que je suis pas mal tenu par git (GitHub et les IDE que j'utilise — ce sont d'ailleurs les seules raisons pour lesquelles j'utilise git), mais ça donne envie d'essayer.