Forum |  HardWare.fr | News | Articles | PC | S'identifier | S'inscrire | Shop Recherche
5199 connectés 

 
 

Sujet(s) à lire :
    - Who's who@Programmation
 

 Mot :   Pseudo :  
  Aller à la page :
 
 Page :   1  2  3  4  5  ..  12916  12917  12918  ..  26992  26993  26994  26995  26996  26997
Page Suivante
Page Précédente
Bas de page 
Auteur Sujet :

[blabla@olympe] Le topic du modo, dieu de la fibre et du monde

n°1654165
vapeur_coc​honne
Stig de Loisir
Posté le 06-12-2007 à 21:41:57  profilanswer
 

Reprise du message précédent :

verdoux a écrit :

C'est des bocaux d'urine en haut à gauche ?


gelée de poire


---------------
marilou repose sous la neige
mood
Publicité
Posté le 06-12-2007 à 21:41:57  profilanswer
 

n°1654166
schnapsman​n
Zaford Beeblefect
Posté le 06-12-2007 à 21:43:00  profilanswer
 

el muchacho a écrit :


Que des trucs vachement faciles à trouver à NY. [:moule_bite]


florangé muchacho [:sadnoir]

Message cité 2 fois
n°1654168
vapeur_coc​honne
Stig de Loisir
Posté le 06-12-2007 à 21:43:55  profilanswer
 

schnapsmann a écrit :


florangé muchacho [:sadnoir]


http://kscakes.com/LolCats/Uploads/Saved/lol-schnappsmann.jpg

Message cité 1 fois

---------------
marilou repose sous la neige
n°1654169
schnapsman​n
Zaford Beeblefect
Posté le 06-12-2007 à 21:46:49  profilanswer
 

vapeur_cochonne a écrit :


http://kscakes.com/LolCats/Uploads [...] psmann.jpg


tu fais le malin parce que t'as tes images, mais savapaduré [:di_canio]

n°1654179
el muchach​o
Comfortably Numb
Posté le 06-12-2007 à 22:43:11  profilanswer
 

vapeur_cochonne a écrit :


bonne fete  
si tu étais chez nous, tu aurais de la cugnôle de st nicolas avec du beurre et de la confiture  
 
d'ailleur j'y vais [:huit]


 :hello: Bon app, et sinon tant pis, buvez à la santé des Nicolas du topic !


---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien
n°1654180
el muchach​o
Comfortably Numb
Posté le 06-12-2007 à 22:43:56  profilanswer
 
n°1654184
FlorentG
Posté le 06-12-2007 à 22:53:46  profilanswer
 

schnapsmann a écrit :

florangé muchacho [:sadnoir]


[:sadnoir]

n°1654186
kadreg
profil: Utilisateur
Posté le 06-12-2007 à 23:00:56  profilanswer
 

ma vokda a geléeeeeee

Message cité 2 fois

---------------
brisez les rêves des gens, il en restera toujours quelque chose...  -- laissez moi troller sur discu !
n°1654187
el muchach​o
Comfortably Numb
Posté le 06-12-2007 à 23:03:24  profilanswer
 

schnapsmann a écrit :


pretty pingouining, indeed [:roane]


Tu m'étonnes, j'avais à une époque suivi un cours de preuve au CNAM avant de lâcher l'affaire au bout de 4 ou 5 leçons. Dans le genre rébarbatif, ça se pose là. [:mlc] Je me demande bien comment on peut construire un logiciel d'envergure par cette méthode.

Message cité 1 fois

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien
n°1654188
0x90
→
Posté le 06-12-2007 à 23:05:38  profilanswer
 

el muchacho a écrit :


Tu m'étonnes, j'avais à une époque suivi un cours de preuve au CNAM avant de lâcher l'affaire au bout de 4 ou 5 leçons. Dans le genre rébarbatif, ça se pose là. [:mlc] Je me demande bien comment on peut construire un logiciel d'envergure par cette méthode.


 
Surtout que le machin il sert à prouver que le programme corresponds aux specs, quand on voit la gueule des specs habituellement je vois pas trop à quoi ça peut servir à part se couvrir le cul le jour où on cherche un pigeon à accuser après un accident.

Message cité 2 fois

---------------
Me: Django Localization, Yogo Puzzle, Chrome Grapher, C++ Signals, Brainf*ck.
mood
Publicité
Posté le 06-12-2007 à 23:05:38  profilanswer
 

n°1654189
kadreg
profil: Utilisateur
Posté le 06-12-2007 à 23:08:06  profilanswer
 

ayé .... celib ....

Message cité 7 fois

---------------
brisez les rêves des gens, il en restera toujours quelque chose...  -- laissez moi troller sur discu !
n°1654190
gooopil
pfiew
Posté le 06-12-2007 à 23:08:25  profilanswer
 

kadreg a écrit :

ayé .... celib ....


:) ou :( ?

Message cité 1 fois
n°1654191
kadreg
profil: Utilisateur
Posté le 06-12-2007 à 23:09:04  profilanswer
 

gooopil a écrit :


:) ou :( ?


 
:cry:

Message cité 1 fois

---------------
brisez les rêves des gens, il en restera toujours quelque chose...  -- laissez moi troller sur discu !
n°1654193
Dion
Acceuil
Posté le 06-12-2007 à 23:11:34  profilanswer
 

kadreg a écrit :

ayé .... celib ....


 
[:calin]


---------------
When it comes to business/legal topics, just assume almost everyone commenting has no idea what they’re taking about and have no background in these subjects because that’s how it really is. Harkonnen 8-> Elmoricq 8====>
n°1654194
mIRROR
Chevreuillobolchévik
Posté le 06-12-2007 à 23:12:37  profilanswer
 

el muchacho a écrit :

Allez, une spéciale nraynal !


[:ddr555]


---------------
« The enemy is the gramophone mind, whether or not one agrees with the record that is being played at the moment. » — George Orwell
n°1654195
Shinuza
This is unexecpected
Posté le 06-12-2007 à 23:12:53  profilanswer
 

kadreg a écrit :

ayé .... celib ....


C'est vélib non?
 

Spoiler :

Qu'est ce que vous avez tous avec ça? Théoriquement ça se fait au printemps


---------------
Mains power can kill, and it will hurt the entire time you’re dying from it.
n°1654196
gooopil
pfiew
Posté le 06-12-2007 à 23:13:24  profilanswer
 

kadreg a écrit :


 
:cry:


:/
 
Faut voir le bon côté des choses, tu peux aller voir des putes sans pb de conscience maintenant [:tinostar]

n°1654197
kadreg
profil: Utilisateur
Posté le 06-12-2007 à 23:13:26  profilanswer
 

c'est pour faire des économies à noel :o

Message cité 1 fois

---------------
brisez les rêves des gens, il en restera toujours quelque chose...  -- laissez moi troller sur discu !
n°1654199
gooopil
pfiew
Posté le 06-12-2007 à 23:14:57  profilanswer
 

kadreg a écrit :

c'est pour faire des économies à noel :o


Mauvaise tactique alors :o
Tu attends noel, tu prends les cadeaux qu'elle t'offre, et tu te casses :p


Message édité par gooopil le 06-12-2007 à 23:21:21
n°1654200
drasche
Posté le 06-12-2007 à 23:18:58  profilanswer
 

kadreg a écrit :

ayé .... celib ....


Tu vas pouvoir t'en trouver une mieux maintenant! :o
 
([:calin])


---------------
Whichever format the fan may want to listen is fine with us – vinyl, wax cylinders, shellac, 8-track, iPod, cloud storage, cranial implants – just as long as it’s loud and rockin' (Billy Gibbons, ZZ Top)
n°1654201
beel1
Posté le 06-12-2007 à 23:20:55  profilanswer
 
n°1654208
vapeur_coc​honne
Stig de Loisir
Posté le 06-12-2007 à 23:34:45  profilanswer
 

kadreg a écrit :

ayé .... celib ....


:/
 
et bonne fete nraynaw :o


---------------
marilou repose sous la neige
n°1654209
vapeur_coc​honne
Stig de Loisir
Posté le 06-12-2007 à 23:35:30  profilanswer
 

beel1 a écrit :


[:pingouino]


bah ouaip  
smiroff eristoff etc ca gele  :pfff:

Message cité 1 fois

---------------
marilou repose sous la neige
n°1654210
gilou
Modérateur
Modosaurus Rex
Posté le 06-12-2007 à 23:35:55  profilanswer
 

vapeur_cochonne a écrit :


[:cerveau mlc]  
 

Citation :

vapeur_cochonne   Teletubbies   Ernestor   Discussions   27-11-2007 à 12:34   29-11-2007 à 12:34   Troll sur le topic "Villiers le Bel".
vapeur_cochonne  Teletubbies  black_lord  OS Alternatifs  28-10-2007 à 20:07  29-10-2007 à 20:07  Marre de tes trolls à 2 francs 6 sous
vapeur_cochonne  Teletubbies  Ryo357  Jeux Video  26-10-2007 à 16:37  25-11-2007 à 16:37  warez
vapeur_cochonne  Teletubbies  Fred999  Discussions  17-10-2007 à 15:19  01-11-2007 à 15:19  Troll topic Sarkozy
vapeur_cochonne  Teletubbies  Ernestor  Discussions  28-09-2007 à 18:48  29-09-2007 à 18:48  Pour ton festival de la journée et le beau troll sur le topic Sarko : on se calme là
vapeur_cochonne  Teletubbies  Fred999  Discussions  28-08-2007 à 14:49  02-09-2007 à 14:49  "embauché une femme de -30 ans qui n'a pas de gosses, pour un patron de PME c'est une faute professionnelle !" => troll + attaque perso = 5 jours.
vapeur_cochonne  Teletubbies  Fred999  Discussions  21-08-2007 à 15:07  23-08-2007 à 15:07  Pourrissage de sujet (trésor pubilc - cantine)
vapeur_cochonne  Banni  Sly Angel  Programmation  15-06-2007 à 01:23  15-08-2007 à 01:23  Goatse
vapeur_cochonne  Banni  Enzan  Discussions  27-04-2007 à 10:12  04-05-2007 à 10:12  A sa demande :D
vapeur_cochonne  Teletubbies  benou  Programmation  19-04-2007 à 14:32  19-04-2007 à 16:32  quote de spam
vapeur_cochonne  Teletubbies  dante2002  Discussions  27-02-2007 à 00:13  28-02-2007 à 00:13  Participation à un topic à la con...


 
C4ETAIT PAS MOIIIIII   §§§§§§§§§ [:natas]
 

Je suis pas dans la liste, c'est pas juste! Faudra que j'y remédie.
A+,

Message cité 1 fois
Message édité par gilou le 06-12-2007 à 23:36:37

---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Il ne faut plus dire Sarkozy, mais Sarkozon -- (╯°□°)╯︵ ┻━┻
n°1654211
uriel
blood pt.2
Posté le 06-12-2007 à 23:39:07  profilanswer
 

[:god]


---------------
IVG en france
n°1654213
schnapsman​n
Zaford Beeblefect
Posté le 06-12-2007 à 23:46:39  profilanswer
 

ça lurke grave [:zebra33]

n°1654214
el muchach​o
Comfortably Numb
Posté le 06-12-2007 à 23:47:11  profilanswer
 

0x90 a écrit :

 

Surtout que le machin il sert à prouver que le programme corresponds aux specs, quand on voit la gueule des specs habituellement je vois pas trop à quoi ça peut servir à part se couvrir le cul le jour où on cherche un pigeon à accuser après un accident.


Non, il me semble que la méthode est bcp plus sérieuse que ça. C'est un prouveur et un générateur de code.
En très grosses mailles, d'après ce que j'ai compris, la spec détaillée est écrite sous forme mathématique. Le langage B sert à faire cette traduction. D'une certaine manière, la spec EST donc le programme. Le travail des ingénieurs est de réaliser la preuve, avec l'aide du prouveur qu'elle ne contient aucune incohérence (donc bug), ni d'oubli. Une fois ce travail réalisé, l'atelier B est capable de générer du code compilable. C'est très long et sans doute très fastidieux, mais par rapport à un cycle développement + test, je ne sais pas si c'est bcp plus long. Et effectivement, à la fin on a prouvé que le produit ne contient aucun bug (si le générateur de code est correct).


Message édité par el muchacho le 06-12-2007 à 23:50:30

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien
n°1654218
gilou
Modérateur
Modosaurus Rex
Posté le 07-12-2007 à 00:04:11  profilanswer
 

Tiens, au fait, Elvis n'est pas mort...

Spoiler :

http://www.firebox.com/pic/p1740h.jpg


A+,


---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Il ne faut plus dire Sarkozy, mais Sarkozon -- (╯°□°)╯︵ ┻━┻
n°1654220
mIRROR
Chevreuillobolchévik
Posté le 07-12-2007 à 00:07:39  profilanswer
 

gilou a écrit :

Je suis pas dans la liste, c'est pas juste! Faudra que j'y remédie.
A+,

si jte fais un kitétoua jme fais mass delete ? [:robert de niro]

Message cité 1 fois

---------------
« The enemy is the gramophone mind, whether or not one agrees with the record that is being played at the moment. » — George Orwell
n°1654221
gooopil
pfiew
Posté le 07-12-2007 à 00:11:21  profilanswer
 

C'est nouveau le bouton ajouter aux contacts ou je débarque sévèrement ???


Message édité par gooopil le 07-12-2007 à 00:11:34
n°1654222
Dion
Acceuil
Posté le 07-12-2007 à 00:14:07  profilanswer
 

c'est nouveau


---------------
When it comes to business/legal topics, just assume almost everyone commenting has no idea what they’re taking about and have no background in these subjects because that’s how it really is. Harkonnen 8-> Elmoricq 8====>
n°1654223
gilou
Modérateur
Modosaurus Rex
Posté le 07-12-2007 à 00:16:17  profilanswer
 

mIRROR a écrit :

si jte fais un kitétoua jme fais mass delete ? [:robert de niro]

Je mass delete plus, vu comment le code de joce apprécie :whistle:  
A la place, je demande a Marc de mass deleter [:cosmoschtroumpf]
A+,


---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Il ne faut plus dire Sarkozy, mais Sarkozon -- (╯°□°)╯︵ ┻━┻
n°1654224
gilou
Modérateur
Modosaurus Rex
Posté le 07-12-2007 à 00:18:19  profilanswer
 

La liste de contacts se gere aussi au niveau du profil.
L'entrée "Chercher un smiley" avec un textbox, dans le formulaire de réponse, c'est nouveau aussi, ou j'avais pas fait gaffe ces derniers temps?
A+,

Message cité 1 fois
Message édité par gilou le 07-12-2007 à 00:19:37

---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Il ne faut plus dire Sarkozy, mais Sarkozon -- (╯°□°)╯︵ ┻━┻
n°1654226
drasche
Posté le 07-12-2007 à 00:19:38  profilanswer
 

gilou a écrit :

L'entrée "Chercher un smiley" avec un textbox, dans le formulaire de réponse, c'est nouveau aussi, ou j'avais pas fait gaffe ces derniers temps?
A+,


T'as pas fait gaffe ;)


---------------
Whichever format the fan may want to listen is fine with us – vinyl, wax cylinders, shellac, 8-track, iPod, cloud storage, cranial implants – just as long as it’s loud and rockin' (Billy Gibbons, ZZ Top)
n°1654227
gilou
Modérateur
Modosaurus Rex
Posté le 07-12-2007 à 00:22:27  profilanswer
 

Voila ce que c'est que d'utiliser la réponse rapide dans 95% des cas, et d'avoir mémorisé les codes des smilies utiles :/
A+,


---------------
There's more than what can be linked! --  Le capitaine qui ne veut pas obéir à la carte finira par obéir aux récifs. -- Il ne faut plus dire Sarkozy, mais Sarkozon -- (╯°□°)╯︵ ┻━┻
n°1654231
Loom the G​loom
Even coders get the blues...
Posté le 07-12-2007 à 00:36:18  profilanswer
 

B-


---------------
Music|Market|Feed|Loom|DVD
n°1654242
urd-sama
waste of space
Posté le 07-12-2007 à 07:27:47  profilanswer
 

preums [:benou]
 

drasche a écrit :


Fake, Harko n'invite que des filles ici.


harko je m'a jamais invitée moi, spa juste  [:islord]  
 

gfive a écrit :


Il est si gros que ça, Gatsu? [:petrus75]


[:huit]
 

el muchacho a écrit :

>>>> Moment foie grasde canard avec confits de figues et d'oignons <<<<


[:benou_miam]
 

xtof_83 a écrit :

(Juste un point léger, mais qui fait toutes la différence. Je suis toujours sur NY, et 10-12 des guests sont ricains  [:xgf] )


sans hésitation, des escargots et des cuisses de grenouilles [:huit]
(semi-grilled)
 

kadreg a écrit :

ayé .... celib ....


 [:grisemine1]


---------------
.: Clône de Drasche .:. Ebichuleys .:. Avec l'Aloe Vera je fais de beaux cacas [:dawa] .: www.oserselancer.com :.
n°1654243
Elmoricq
Modérateur
Posté le 07-12-2007 à 07:34:08  profilanswer
 

yo [:elmoricq]

n°1654244
Loom the G​loom
Even coders get the blues...
Posté le 07-12-2007 à 07:36:58  profilanswer
 

prems [:banguy]


---------------
Music|Market|Feed|Loom|DVD
n°1654245
beel1
Posté le 07-12-2007 à 07:39:52  profilanswer
 

vapeur_cochonne a écrit :

bah ouaip  
smiroff eristoff etc ca gele  :pfff:


Et ça s'appelle "vodka" ? Ou c'est juste des alcoopops de fillettes avec de la vodka dedans :??:
 
 
'me fait penser qu'un pote en vadrouille en pologne devait m'en ramener, de la vodka [:huit]

Message cité 1 fois
n°1654246
the real n​taichiel
Posté le 07-12-2007 à 07:58:49  profilanswer
 
mood
Publicité
Posté le   profilanswer
 

 Page :   1  2  3  4  5  ..  12916  12917  12918  ..  26992  26993  26994  26995  26996  26997
Page Suivante
Page Précédente
Haut de page 

Aller à :
Ajouter une réponse
 

Sujets relatifs
Plus de sujets relatifs à : [blabla@olympe] Le topic du modo, dieu de la fibre et du monde

Forum MesDiscussions.Net, Version 2010.2
(c) 2000-2011 Doctissimo
Page générée en 0.163 secondes

Copyright © 1997-2025 Groupe LDLC (Signaler un contenu illicite / Données personnelles)