Les démos du problèmes d'arrêt que j'ai vu utilise l'oracle et produise une boucle infinie en cas d'arrêt du programme. Celui-ci se mange lui-même ce qui démontre le problème par l'absurde.
Je trouve cette démonstration débile car si le programme est f(a), on doit lui faire manger f(f(f(f(f...)))) ce qui tourne à l'infini. Qu'il n'y ai pas de solution à une récursion infinie n'a pas l'air très étonnant.
Au lieu de générer tous les états possibles et ensuite vérifier les propriétés qui t'intéressent, je partirais des propriétés puis je remonterais le flot de programmes pour en vérifier la propriété. La taille du problème est beaucoup plus faible. Tu remontes le cônes d'influences.
Le halting problem, c'est juste le fait de ne pas pouvoir savoir (dans tout les cas) si on programme s'arrête sans connaitre par avance ses entrées. Bref, c'est tellement évident, que cela n'a pas d'utilité pratique.
Mieux, le fait qu'ils soient contre l'interopérabilité semble surtout prouver qu'ils ne comptent pas faire plus d'effort que ça sur la mise en place du fameux logiciel.
Non, cela veut juste dire que les éditeurs proprio lui ont dit que cela allait être très cher, qu'il vaut mieux rester en 100% windows. (+ 1% Mac, aussi sans doute)
Cela peut être aussi l'obligation d'acheter un logiciel qui fait le minimum mais qui est le seul moyen de prouver sa bonne fois. Il faut juste que le logiciel est le bon tampon, pas qu'il ait une quelconque efficacité.
Je ne vois pas comment un mouchard peut prouver effectivement quoi que se soit. Il suffit de monter un proxy, de monter une machine virtuel (sauf si tout le PC est verrouillé façon Palladium) et même, comment simplement détecter un deuxième PC branché sur un deuxième port Ethernet ? Les eeetop ont un belle avenir pour faire tourner ses mouchard... (ou la mule d'ailleurs)
Si on veut vraiment aider les artistes et non les industriels de la musique (pardon pour les autres industriel), il suffit protéger leur revenues. Par exemple que les 7% soient totalement incompressible et non soumis à paiement pour prestation de pub ou autre demande signer pour passer à 3.5%...
Voir encore mieux, interdire tout contrat d'exclusivité, les marchand de disque ne serait plus que des marchands de disques... Et il y aurai une vrai concurrence.
La conclusion étant que pour un gain réel en fiabilité, il faut du raid5 dupliqué sur deux sites. Et là, bonjour la facture en matériel info et en électricité.
Le raid5 ne sert quasiment à rien. Il ne gère que trop peu de cas de panne des disques.
Je me fout de perdre 4Ko ou 1To : je ne veux rien perdre du tout.
Je vais me répéter. Si on stocke des données, c'est a priori parce qu'on souhaite les conserver. Partant de là, les disques posent un problème majeur, qui s'accentue avec leur capacité : ils peuvent mourir d'un seul coup, là comme ça, sans prévenir. Genre, le soir il marche, le lendemain tu te lèves et il marche plus.
Il n'y aucune différence avec un DVD ! Sauf que tu mettras plus de temps pour l'apercevoir.
Pour résumer : un disque peut aussi lâcher en silence.
Lacher en silence ne veut pas dire d'un coup mais sans que tu t'en aperçois. Là, l'OS t'insulte assez copieusement.
Tu n'as pas compris, c'est que tout les supports peuvent tomber en panne. La différence majeur et fondamental entre un DVD et un HD, c'est que le DVD va creuver en silence. Donc, il te faudra des mois pour te rendre compte qu'un DVD est mort, ce qui permet pendant ce laps de temps que la 2ième copie meurt aussi. Si un HD meure il faut immédiatement le remplacer.
Un raid n'est absolument pas suffisant même un raid1. Cela ne couvre pas la foudre, ni tous problème qui touche les 2 disques ('rm' ?! ou panne d'alim), ni le feu, ni les inondations, ni le vol, ...
Non, c'est à cause de la structure hypercomplexe des fichiers word .doc qui fonctionne à coup de patch dans tous les sens. Il faut voir que le save rapide, ne fait qu'un append des modifications à la fin de fichiers à la différence du save as.
De plus, historiquement, les fichiers binaires de document était des dumps mémoire pour gagner du temps. Le format doit vivre encore avec ce genre d'archaïsme.
D'où le risque de d'avoir des fichiers qui se dégrade !
Vu la différence de prix entre un support passif (cassette, DVD) et actif (HD, SSD), a moins d'avoir des besoins en Peta octet, j'aurais tendance à virer les supports passifs car ils meurent "en silence".
Un HD meurent en le signalant ce qui permet de faire une nouvelle copie (car évidement toutes les données sont présentes au moins en double).
Il est facile aussi de faire du "scrubbing", de lire périodiquement les données pour les vérifier (cela permet de mettre en œuvre les corrections d'erreurs interne au disque dur et de vérifier toutes erreurs d'IO signaler par le kernel). C'est bien plus pénible et long de le faire sur un support passif même avec un robot.
Ce site, une sorte de vitrine du service publique à la française, dont la boite fait rouler le TGV qui est aussi une source de fierté, ne peut pas être une merde sans nom. Ne doit pas l'être.
# Création
Posté par Nicolas Boulay (site web personnel) . En réponse au journal boycotter les industries de la musique et du cinéma ?. Évalué à 2.
http://www.warninglabelgenerator.com/
"La première sécurité est la liberté"
[^] # Re: Oui, mais...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal boycotter les industries de la musique et du cinéma ?. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Halting problem
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 1.
halt(halt,halt(halt, halt(halt ...))) ?
"La première sécurité est la liberté"
[^] # Re: Halting problem
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à -1.
Je trouve cette démonstration débile car si le programme est f(a), on doit lui faire manger f(f(f(f(f...)))) ce qui tourne à l'infini. Qu'il n'y ai pas de solution à une récursion infinie n'a pas l'air très étonnant.
"La première sécurité est la liberté"
# back track
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Tiens c'est drôle
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Halting problem
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à -2.
"La première sécurité est la liberté"
[^] # Re: Ce n'est pas un problème d'interopérabilité
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Riposte graduée : le rapporteur s'oppose à l'interopérabilité, l'April appelle à la mobilisation. Évalué à 2.
Non, cela veut juste dire que les éditeurs proprio lui ont dit que cela allait être très cher, qu'il vaut mieux rester en 100% windows. (+ 1% Mac, aussi sans doute)
"La première sécurité est la liberté"
[^] # Re: que sont les "moyens de sécurisation" ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Riposte graduée : le rapporteur s'oppose à l'interopérabilité, l'April appelle à la mobilisation. Évalué à 2.
Je ne vois pas comment un mouchard peut prouver effectivement quoi que se soit. Il suffit de monter un proxy, de monter une machine virtuel (sauf si tout le PC est verrouillé façon Palladium) et même, comment simplement détecter un deuxième PC branché sur un deuxième port Ethernet ? Les eeetop ont un belle avenir pour faire tourner ses mouchard... (ou la mule d'ailleurs)
"La première sécurité est la liberté"
# Aidé les artistes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal L'abus de droit d'auteur commencerait-il à intéresser la population?. Évalué à 6.
Voir encore mieux, interdire tout contrat d'exclusivité, les marchand de disque ne serait plus que des marchands de disques... Et il y aurai une vrai concurrence.
"La première sécurité est la liberté"
# évaluation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Pour l'ouverture d'une enquête parlementaire contre Christine Albanel !. Évalué à 3.
Même pas besoin d'être lié au lobby, c'est l'intitulé du poste !
"La première sécurité est la liberté"
[^] # Re: Remerciement
Posté par Nicolas Boulay (site web personnel) . En réponse au message Son de "mitraillette" vient se rajouter sur le son normal du système. Évalué à 3.
"La première sécurité est la liberté"
[^] # Re: Laisser tomber les supports passifs
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 2.
Le raid5 ne sert quasiment à rien. Il ne gère que trop peu de cas de panne des disques.
Si tu as 2 sites séparés, le raid est inutile.
"La première sécurité est la liberté"
[^] # Re: Laisser tomber les supports passifs
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 3.
Je vais me répéter. Si on stocke des données, c'est a priori parce qu'on souhaite les conserver. Partant de là, les disques posent un problème majeur, qui s'accentue avec leur capacité : ils peuvent mourir d'un seul coup, là comme ça, sans prévenir. Genre, le soir il marche, le lendemain tu te lèves et il marche plus.
Il n'y aucune différence avec un DVD ! Sauf que tu mettras plus de temps pour l'apercevoir.
Pour résumer : un disque peut aussi lâcher en silence.
Lacher en silence ne veut pas dire d'un coup mais sans que tu t'en aperçois. Là, l'OS t'insulte assez copieusement.
"La première sécurité est la liberté"
[^] # Re: Laisser tomber les supports passifs
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 2.
Un raid n'est absolument pas suffisant même un raid1. Cela ne couvre pas la foudre, ni tous problème qui touche les 2 disques ('rm' ?! ou panne d'alim), ni le feu, ni les inondations, ni le vol, ...
"La première sécurité est la liberté"
[^] # Re: Langage ?!
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Gérer des seuils d'alerte qualité sur le code source avec Sonar 1.6. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Laisser tomber les supports passifs
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 3.
Quel soit ton choix, le support doit être au moins doublé dans 2 lieux différents.
"La première sécurité est la liberté"
[^] # Re: Word
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 3.
De plus, historiquement, les fichiers binaires de document était des dumps mémoire pour gagner du temps. Le format doit vivre encore avec ce genre d'archaïsme.
D'où le risque de d'avoir des fichiers qui se dégrade !
"La première sécurité est la liberté"
[^] # Re: Laisser tomber les supports passifs
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 1.
C'est le mieux. Mais gérer un serveur demande du temps et c'est chiant surtout si on ne veut qu'un HD distant et l'upload a 128ko/s est très limitant.
A quand un serveur partageant un disque sata à sois exportable sous ssh avec rsync ou autre ? (pas de sauvegarde, c'est beaucoup trop cher)
"La première sécurité est la liberté"
# Laisser tomber les supports passifs
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 4.
Un HD meurent en le signalant ce qui permet de faire une nouvelle copie (car évidement toutes les données sont présentes au moins en double).
Il est facile aussi de faire du "scrubbing", de lire périodiquement les données pour les vérifier (cela permet de mettre en œuvre les corrections d'erreurs interne au disque dur et de vérifier toutes erreurs d'IO signaler par le kernel). C'est bien plus pénible et long de le faire sur un support passif même avec un robot.
"La première sécurité est la liberté"
[^] # Re: J'ai rien compris...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal han les salauds, ils ont tué Colargol !. Évalué à -2.
Il suffirait de refaire un peu le montage des épisodes.
"La première sécurité est la liberté"
[^] # Re: Word
Posté par Nicolas Boulay (site web personnel) . En réponse au journal « Ordinateurs : attention au trou de mémoire ». Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Langage ?!
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Gérer des seuils d'alerte qualité sur le code source avec Sonar 1.6. Évalué à 4.
"La première sécurité est la liberté"
# Langage ?!
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Gérer des seuils d'alerte qualité sur le code source avec Sonar 1.6. Évalué à 7.
(ps: j'aime beaucoup la voie anglaise avec un super accent français :)
"La première sécurité est la liberté"
[^] # Re: aie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal voyages-sncf semble meme avoir un probleme avec Léa !. Évalué à 5.
C'est pour cela que cela interpelle autant !
"La première sécurité est la liberté"