Reprise du message précédent :

 
Il y a des mathématiciens qui ont essayé de partir de quelques notions concrètes pour établir un modèle théorique suffisant et valide des mathématiques, mais il ma semble que ça n'a pas donné grand chose.
Rien que la définition du zéro avec les modèles actuels des ordinaux est assez abstrait: zéro, c'est l'ensemble vide Ø (et 1, c'est l'ensemble {Ø}, 2 c'est l'ensemble {Ø, {Ø}} etc), bref, c'est assez éloigné de l'intuition que l'on a des nombres entiers.
 
Par contre, il me semble qu'il avait été établi par je ne sais plus quel logicien que l'arithmétique des entiers se comportait comme une science expérimentale.
 
A+,

 
Le statut des maths en tant que science, c'est un long débat, mais il a certainement plus de profondeur que ce qu'il vient généralement à l'esprit. Même la plus noble des sciences (la Physique) est une construction de l'esprit ; la pensée est un sens comme les autres, à moins que ce soit l'inverse.

MOUHAHAHAHA la carte HBA a repété  
Quelle sera l'inaction de l'admin cette semaine ?

Se plaindre à son supérieur du matériel de merde qu'il achete

 
Ou faire semblant que rien ne se passe ?

Suffit de tourner les yeux du bon coté pour rien voir
Ca merde souvent les cartes HBA?

Satan

je les préfère avec un peu de sucre et du lait

(désolé, pour une fois que je suis levé tot, j'en profite pour faire des blagues liées au petit-déjeuner )

Les mecs qui font des modifications le vendredi soir, sans avertir personne, pour activer une feature, mais en cassant les autres features  

joce ?

Un peu dans le même esprit, sauf que le client bosse le dimanche mais pas le vendredi/samedi donc qui c'est qui se fait appeler ?    
Et le truc fun, c'est qu'il y a aucun moyen pour l'instant de savoir ce qui a été fait comme modif  

pis Joce on est habitués, c'est marrant à force

ouais, Joce c'est le côté "cherchez quelle petite feature à la con ne marche plus" qui est fun, à chaque fois des petits détails bien tordus

Bon.  
 
Carte raid commandée, esperons qu'en PCI "normal" j'ai des taux de transfert correct.
 
Et en ce qui concerne l'update du vendredi, faudrait songer à bannir ce jour en fait, voir meme d'apprendre aux gamins à l'école qu'on ne fait jamais rien de critique un vendredi bordel !

 
Tu la trouves comment ? Tu me la vends pas cher ?  

a l'edf, c'est appliqué a la lettre

il la trouves pourrie si j'ai bien compris

Du lundi au dimanche

Z'allez arrêter de vous en prendre aux fonctionnaires?
 

 
J'ai regulierement des DD qui passent en failed sans raison, la reconstruction genere 1 fois sur 2 des bad stripes, j'ai déjà eu des lecteurs logiques completement inmontables apres un simple reboot de la machine alors que tous les durs étaient vu correctement, etc...
J'ai encore jamais perdu de donnée, et la seule fois ou j'ai vraiment eu un dur qui a laché ça a marché, mais franchement ça met pas vraiment en confiance

la même avec le RAID de l'ICH9 d'Intel, avec en prime un BSOD juste avant de passer en Failure

 
J'espere que ca ne sera pas si sport sur la mienne :|
 

 
Je me suis taté à virer ma CM, et prendre une CM avec un ICH9R ICH10R justement ...
 
D'ailleurs, sur un south ICH9R/ICH10R on peut expand son raid ?

me suis planté je parlais de l'Intel ICH10R avec lequel j'avais des merdes (sur une DFI JR P45-T2RS). Pour l'Intel ICH9R j'était sur une Asus P5E, pas trop eu de soucis.
Pour l'expand tu parles de passer de l'ICH9R à l'ICH10R sans avoir à recréer un array?

 
Non, genre tu as ton raid sur 3 disques, et tu souhaites rajouter un dur, et paf ! Tu passes à 4

J'y crois pas trop sur du Intel. Idéalement j'avais voulu passer à du Dell PERC 6i mais ça fait cheros (enfin j'en avais marre de rebuild tous les 2 jours). maintenant fini le RAID, pour la maison un backup sur HDD externe qui se fout en veille tout seul ça suffit

 
ICH9 et ICH10 sont identiques, le second est juste un die shrink bête et méchant du premier, donc pas de problèmes pour passer de l'un à l'autre.

bah oui, pour ça que je l'avais fait

Les serveurs qui se permettent de merder le dimanche

 
il me semble que sur un topic consacré à une mobo style P5B, ya des gens qui ont testé et ont dit que c'était impossible ...

Put*** mais c'est pas possible, ils nous informent seulement ce soir que cette nuit ils vont éteindre les serveurs un par un puis les rallumer, pour supprimer l'onduleur qui merde. Mais bordel faites pas ça le dimaaaaaaaanche

Les cartes HBA, c'est la première fois que je les vois merder.
Deux cartes de suite sur le même serveur, à mon avis spa la carte.

Jetage d'oeil sur le webmail :

Puis quelques heures après :

Ce que je trouve énorme, c'est que le backup se termine plusieurs heures en avance par rapport à d'habitude, mais ça n'étonne pas non plus l'admin.

 
il a fait du vidage dans le /tmp c'est pour ça

Tu crois qu'il connait autre chose que Windows ? Mouhahaha.  
Déjà que sous Windows c'est pas folichon, s'il manque une interface graphique ...  
Le dernier truc que je lui aie demandé (à celui qui a travaillé glandé aujourd'hui) sur un serveur Linux : assigner une ip fixe sur une carte réseau (eth1) d'une Debian. Le genre de truc de gueu-din pas du tout documenté, et supra complexe.  
Ben il ne l'a pas fait !

Bah au moins si ça merde, ça impactera pas les users, s'pas con

mais si y a une couille suite au reboot, bah lundi ils sont encore dessus. faut faire ça le samedi

S'pas faux

tu parles de l'onduleur ? ils pourraient très bien le bypasser un autre jour mais comme ils ont embauchés des mecs ponctuellement juste ce soir là, ils peuvent pas reporter l'opération. C'est de la téléphonie grand public donc quelque soit le jour, ya du monde dessus.  
Et vu le niveau technique des mecs, gros risque que ça merde  

ah téléphonie grand public, ok

La voip c'est de la balle, mangez-en

Oué super nous quand on perd un site on peut plus les joindre pour savoir ce qui se passe y'a plus le téléphone