#2426 Le 19/07/2009, à 15:32
- tshirtman
Re : Topic des couche tard (26).
la baignoire de rempli en 10 mn et se vide en 5mn ... si nous ne mettons pas le bouchon, en combien de temps la baignoire se remplit-elle
décidément tu l'aime ton +Ꝏ
sinon je comprends tout à fait
Hors ligne
#2427 Le 19/07/2009, à 15:39
- cyril_remy
Re : Topic des couche tard (26).
hélas non, surtout ne bosse jamais dans l'infos, tu serais sûr d'être déçus... le pro c'est celui qui rends un truc qui semble marcher, et qui touche de l'argent.
Ya une quote de bashfr comme ça :
-Aah ! Ya un bug dans mon programme
-Bah, vires-le..
-Voilà !
-Tu l'as viré ?
-Nan, j'ai enlevé le message d'erreur. Ce que le client de voit pas ne me dérange pas
-o_O tu bosses où ?
-Chez Microsoft.
Sinon, pour les matheux, et aussi d'ailleurs pour les non-matheux, le bouquin qui m'a réconcilié avec les maths, c'est le roman Le Théorème du Perroquet de Denis Guedj, que je vous conseille fortement.
Mieux vaut être une vraie croyante qu'une fausse sceptique.
Hors ligne
#2428 Le 19/07/2009, à 15:47
- seb_42
Re : Topic des couche tard (26).
coucou les gens
°0° {Le premier homme à jeter une insulte plutôt qu'une pierre est le fondateur de la civilisation.
'Those who are easily shocked should be shocked more often' Mae West
PSN: el_dubi
Hors ligne
#2429 Le 19/07/2009, à 16:08
- tshirtman
Re : Topic des couche tard (26).
@la tite: qu'il bosse chez microsoft ou pas c'est tout à fait possible qu'il ait fait ce qu'il dit...
pour le théorème de perroquet, je l'ai payé à mon dernier petit frère pour le réconcilier avec les maths, je sais pas si ça a un rapport, mais il a eu son année de 3eme, ce qui avait pas l'air gagné il y a quelques mois (et pourtant c'est pas la matière grise qui manque , famille de feignasse c'est relou), moi je l'ai pas encore lus par contre ^^. je vais lui piquer en passant la semaine prochaine je pense
.
Hors ligne
#2430 Le 19/07/2009, à 16:11
- Sir Na Kraïou
Re : Topic des couche tard (26).
Hé ! J'ai rien dit, moi !
Descendant de Charlemagne et de LUCA.
Bleu, en l'hommage d'un truc bleu. :'(
C'est pas du bleu.
C'est pas le lac de Genève, c'est le Lac Léman.
Hors ligne
#2431 Le 19/07/2009, à 16:13
- Sir Na Kraïou
Re : Topic des couche tard (26).
(jvois que je suis pas la seule à faire mumuse avec les titres, au passage )
Descendant de Charlemagne et de LUCA.
Bleu, en l'hommage d'un truc bleu. :'(
C'est pas du bleu.
C'est pas le lac de Genève, c'est le Lac Léman.
Hors ligne
#2432 Le 19/07/2009, à 16:24
- tshirtman
Re : Topic des couche tard (26).
@la tite: arf ce coup ci je me suis fait avoir avec l'avatar de cyril >_<
pour les titres (oui c'est toi qui m'y a fait penser ^^')
Hors ligne
#2433 Le 19/07/2009, à 16:32
- philarmonie
Re : Topic des couche tard (26).
hum, sans spécification je ne vois pas la difficulté de faire un programme qui fait ce qu'il veux (et qui le fait bien)
ça doit être pus subtile que ça ^^.
Bah l'idée c'est de traduire un énoncé de mathématique formelle en un lambda terme, et un lamba terme c'est du code.
Après j'en sais pas tellement plus, j'avais suivie une UE en M2 là dessus parce que je trouvais l'idée marrante mais je n'ai pas plus approfondi.
Le prof nous avait dit qu'un des ses anciens élèves (celui qui a fait Coq, un logiciel d'aide à la preuve) avait par exemple montré que le Théorème d'incomplétude de Gödel était une sorte de déboggueur.
Mais ce prof est un peu "fou" et excentrique (bon c'est pas le seule chez les matheux ), j'avais lu un article de lui où en gros il disait : notre cerveau c'est un microprocesseur et la théorie des espaces vectoriels c'est les pilotes pour les yeux et les modules de la vision
(bon, j'aurai plutôt choisi la géométrie projective pour ce rôle là).
Dernière modification par philarmonie (Le 19/07/2009, à 16:33)
#2434 Le 19/07/2009, à 16:33
- El Pensador
Re : Topic des couche tard (26).
Bonjour les gens
Je vous écris depuis Tolède où il y a 41°C dehors
M'enfin, y'a le wifi (pas très puissant....) dans l'hôtel climatisé
« À quoi je sers ? Sans doute à rien du tout... »
A Tunisian Girl
Hors ligne
#2435 Le 19/07/2009, à 16:35
- Sir Na Kraïou
Re : Topic des couche tard (26).
http://forum.ubuntu-fr.org/viewtopic.php?id=332961
Descendant de Charlemagne et de LUCA.
Bleu, en l'hommage d'un truc bleu. :'(
C'est pas du bleu.
C'est pas le lac de Genève, c'est le Lac Léman.
Hors ligne