Contenu | Rechercher | Menus

Annonce

Ubuntu-fr vend de superbes t-shirts et de belles clés USB 32Go
Rendez-vous sur la boutique En Vente Libre

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#2426 Le 19/07/2009, à 16: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 +Ꝏ lol

sinon je comprends tout à fait wink

Hors ligne

#2427 Le 19/07/2009, à 16:39

cyril_remy

Re : Topic des couche tard (26).

tshirtman a écrit :

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.

sad

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 smile
-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, à 16: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, à 17: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 hmm, 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 wink.

Hors ligne

#2430 Le 19/07/2009, à 17:11

Sir Na Kraïou

Re : Topic des couche tard (26).

Hé ! J'ai rien dit, moi ! yikes


Descendant de Charlemagne.
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, à 17: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 tongue)


Descendant de Charlemagne.
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, à 17:24

tshirtman

Re : Topic des couche tard (26).

@la tite: arf ce coup ci je me suis fait avoir avec l'avatar de cyril >_<

tongue pour les titres (oui c'est toi qui m'y a fait penser ^^')

Hors ligne

#2433 Le 19/07/2009, à 17:32

philarmonie

Re : Topic des couche tard (26).

tshirtman a écrit :

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) wink ç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 tongue), 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 big_smile (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, à 17:33)

#2434 Le 19/07/2009, à 17:33

El Pensador

Re : Topic des couche tard (26).

Bonjour les gens smile

Je vous écris depuis Tolède où il y a 41°C dehors hmm
M'enfin, y'a le wifi (pas très puissant....) dans l'hôtel climatisé lol


« À quoi je sers ? Sans doute à rien du tout... »
A Tunisian Girl

Hors ligne

#2435 Le 19/07/2009, à 17:35

Sir Na Kraïou

Re : Topic des couche tard (26).

http://forum.ubuntu-fr.org/viewtopic.php?id=332961


Descendant de Charlemagne.
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