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

 

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

 Mot :   Pseudo :  
  Aller à la page :
 
 Page :   1  2  3  4  5  ..  5235  5236  5237  ..  26990  26991  26992  26993  26994  26995
Auteur Sujet :

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

n°861695
schnapsman​n
Zaford Beeblefect
Posté le 01-10-2004 à 01:52:45  profilanswer
 

Reprise du message précédent :
http://www.microserfs.net/HFR/petrus/petruskahn.gif


---------------
From now on, you will speak only when spoken to, and the first and last words out of your filthy sewers will be "Sir!"
mood
Publicité
Posté le 01-10-2004 à 01:52:45  profilanswer
 

n°861696
the real m​oins moins
Posté le 01-10-2004 à 01:53:12  profilanswer
 

LA PAGE 5500, J'Y ETAIS \o/
[:andre]


---------------
Hey toi, tu veux acheter des minifigurines Lego, non ?
n°861697
the real m​oins moins
Posté le 01-10-2004 à 01:53:26  profilanswer
 

(j'avais pas qu'on etait si pres [:gérard])


Message édité par the real moins moins le 01-10-2004 à 01:54:13

---------------
Hey toi, tu veux acheter des minifigurines Lego, non ?
n°861698
the real m​oins moins
Posté le 01-10-2004 à 01:53:54  profilanswer
 

nbre de réponses: 219964
c'est moi ou y'a une couille dans les calculs? [:francois]


Message édité par the real moins moins le 01-10-2004 à 01:54:04

---------------
Hey toi, tu veux acheter des minifigurines Lego, non ?
n°861699
schnapsman​n
Zaford Beeblefect
Posté le 01-10-2004 à 01:54:24  profilanswer
 

de toute façon ça va encore deleter [:joce]
 
[:dodo]


---------------
From now on, you will speak only when spoken to, and the first and last words out of your filthy sewers will be "Sir!"
n°861700
schnapsman​n
Zaford Beeblefect
Posté le 01-10-2004 à 01:55:12  profilanswer
 

the real moins moins a écrit :

nbre de réponses: 219964
c'est moi ou y'a une couille dans les calculs? [:francois]


 
splits, deletes et bugs mysql/joce?  :??:


---------------
From now on, you will speak only when spoken to, and the first and last words out of your filthy sewers will be "Sir!"
n°861704
the real m​oins moins
Posté le 01-10-2004 à 01:58:45  profilanswer
 

oh putain [:rofl2]
http://forum.hardware.fr/hardwaref [...] 4395-1.htm
topic hyper sérieux... jusqu'au post presqu'anodin de kunks. [:rofl]


---------------
Hey toi, tu veux acheter des minifigurines Lego, non ?
n°861706
d4rK 3Mpr0​R
fr33 Kevin
Posté le 01-10-2004 à 06:01:27  profilanswer
 

preums [:petrus75]

n°861707
skeye
Posté le 01-10-2004 à 06:58:31  profilanswer
 

mareek a écrit :

question stupide: c'est quoi exactement un SAN ? et un NAS ?


Ca a l'air assez complet là :
http://www.dataligence.com/storage_survey_nassan.htm


Message édité par skeye le 01-10-2004 à 07:01:10

---------------
Can't buy what I want because it's free -
n°861708
Profil sup​primé
Posté le 01-10-2004 à 07:05:31  answer
 

preusm :o [:antp:9]

mood
Publicité
Posté le 01-10-2004 à 07:05:31  profilanswer
 

n°861710
Verson-i3
AllenDiese3
Posté le 01-10-2004 à 07:11:18  profilanswer
 

Troise Iverson !

n°861711
Profil sup​primé
Posté le 01-10-2004 à 07:14:28  answer
 

VeRsOn-i3 a écrit :

Troise Iverson !

kestufoulatoi [:wam]

n°861712
black_lord
Truth speaks from peacefulness
Posté le 01-10-2004 à 07:35:01  profilanswer
 

[:zytra]
 
mon dur de passerelle est mort [:sisicaivrai] mais un pote à fait 80Km pour m'en apporter un [:jar jar]
 
Aujourd'hui paramétrage de debian [:dawa]


---------------
uptime is for lousy system administrators what Viagra is for impotent people - mes unixeries - github me
n°861714
WhatDe
Posté le 01-10-2004 à 07:52:23  profilanswer
 

:hello:

n°861715
Loom the G​loom
Even coders get the blues...
Posté le 01-10-2004 à 07:55:28  profilanswer
 

[:banguy] vie suxx à tous


---------------
Music|Market|Feed|Loom|DVD
n°861716
WhatDe
Posté le 01-10-2004 à 07:57:36  profilanswer
 

Loom the Gloom a écrit :

[:banguy] vie suxx à tous


+1  [:whatde]

n°861719
darklord
You're welcome
Posté le 01-10-2004 à 08:09:21  profilanswer
 

bjour :o


---------------
Just because you feel good does not make you right
n°861721
drasche
Posté le 01-10-2004 à 08:11:56  profilanswer
 

IWHP5500
 
draschke world
 


sympa ces pubs :)


Message édité par drasche le 01-10-2004 à 08:19:30

---------------
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°861722
Loom the G​loom
Even coders get the blues...
Posté le 01-10-2004 à 08:16:45  profilanswer
 


 
[:quoted]


---------------
Music|Market|Feed|Loom|DVD
n°861724
drasche
Posté le 01-10-2004 à 08:19:50  profilanswer
 


ah zut, dans l'empressement, j'ai perdu 500 pages :ange:


---------------
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°861727
R3g
fonctionnaire certifié ITIL
Posté le 01-10-2004 à 08:24:13  profilanswer
 

jesaispascombienz :o


---------------
Au royaume des sourds, les borgnes sont sourds.
n°861730
Moktar1er
No one replies...
Posté le 01-10-2004 à 08:54:04  profilanswer
 

bonjour

n°861737
Profil sup​primé
Posté le 01-10-2004 à 09:14:44  answer
 

@work :/

n°861743
skeye
Posté le 01-10-2004 à 09:20:28  profilanswer
 

kadreg a écrit :

Mon fichier de 5Go ne fait plus que 13Mo \o/


Kadreg 1 - 0 MoinsMoins [:ddr555]


Message édité par skeye le 01-10-2004 à 09:20:36

---------------
Can't buy what I want because it's free -
n°861744
Profil sup​primé
Posté le 01-10-2004 à 09:24:30  answer
 
n°861757
drasche
Posté le 01-10-2004 à 09:35:27  profilanswer
 


Ouin Ouin powah [:ddr555]


---------------
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°861771
stitch+
fais moi Plop !
Posté le 01-10-2004 à 09:59:09  profilanswer
 

Bonjour :hello:
 
quelle est la sous-cat pour poser une question sur Coq ?
(vu que ça risque d'arriver régulièrement :D )

n°861773
Moktar1er
No one replies...
Posté le 01-10-2004 à 10:00:12  profilanswer
 

[:rofl]

n°861774
R3g
fonctionnaire certifié ITIL
Posté le 01-10-2004 à 10:00:43  profilanswer
 

stitch+ a écrit :

Bonjour :hello:
 
quelle est la sous-cat pour poser une question sur Coq ?
(vu que ça risque d'arriver régulièrement :D )

skoi Coq ?


---------------
Au royaume des sourds, les borgnes sont sourds.
n°861775
Profil sup​primé
Posté le 01-10-2004 à 10:01:01  answer
 

R3g a écrit :

skoi Coq ?

x2

n°861778
skeye
Posté le 01-10-2004 à 10:01:50  profilanswer
 

http://www.inria.fr/recherche/equipes/coq.fr.html


Message édité par skeye le 01-10-2004 à 10:02:02

---------------
Can't buy what I want because it's free -
n°861780
Moktar1er
No one replies...
Posté le 01-10-2004 à 10:02:46  profilanswer
 

c'est quoi la différence avec le lambda-calcul?

n°861781
R3g
fonctionnaire certifié ITIL
Posté le 01-10-2004 à 10:02:56  profilanswer
 

bon ok, c'est encore un truc pour nraynaud ça.


---------------
Au royaume des sourds, les borgnes sont sourds.
n°861782
uriel
blood pt.2
Posté le 01-10-2004 à 10:03:39  profilanswer
 

comment ca fais du bien de dormir [:dawa]
 je viens de me lever... [:dawa]


---------------
IVG en france
n°861783
Profil sup​primé
Posté le 01-10-2004 à 10:04:23  answer
 

uriel a écrit :

comment ca fais du bien de dormir [:dawa]
 je viens de me lever... [:dawa]

ban [:antp:9]

n°861784
skeye
Posté le 01-10-2004 à 10:05:22  profilanswer
 

moktar1er a écrit :

c'est quoi la différence avec le lambda-calcul?


Là tu m'en demandes trop...perso j'ai vaguement entendu parler de Coq et Isabelle à la fac, mais à part ça...[:skeye]


---------------
Can't buy what I want because it's free -
n°861785
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:05:39  profilanswer
 

Coq est un assistant de preuves, utilisés quasiment que par des faqueux :D
 
Tu fais tes specifications en Gallina (le langage de coq) puis tu définis tes théorèmes et tu les prouves.
 
Ca ne me dit pas quelle sous-cat !

n°861786
skeye
Posté le 01-10-2004 à 10:06:11  profilanswer
 

stitch+ a écrit :

Coq est un assistant de preuves, utilisés quasiment que par des faqueux :D
 
Tu fais tes specifications en Gallina (le langage de coq) puis tu définis tes théorèmes et tu les prouves.
 
Ca ne me dit pas quelle sous-cat !


Divers...ou ADA, pour être sûr que nraynaud vienne te répondre... :whistle:


---------------
Can't buy what I want because it's free -
n°861787
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:08:46  profilanswer
 

skeye a écrit :

Divers...ou ADA, pour être sûr que nraynaud vienne te répondre... :whistle:

[:itm]
 
en fait il faudrait que je le mette dans la même section que du Ocaml vu que je vais faire de l'extraction coq->ocaml
 
nraynaud, il est branché sur quelle thématique ?


---------------
viendez broder, mon blog et à écouter : la Pause Bad, parlons badminton
n°861788
Profil sup​primé
Posté le 01-10-2004 à 10:09:27  answer
 

ET SINON SAVA? [:dawa]

n°861789
skeye
Posté le 01-10-2004 à 10:10:01  profilanswer
 

stitch+ a écrit :

[:itm]
 
en fait il faudrait que je le mette dans la même section que du Ocaml vu que je vais faire de l'extraction coq->ocaml
 
nraynaud, il est branché sur quelle thématique ?


Tous les trucs étranges du style ocaml, ADA, java...:o


---------------
Can't buy what I want because it's free -
mood
Publicité
Posté le   profilanswer
 

 Page :   1  2  3  4  5  ..  5235  5236  5237  ..  26990  26991  26992  26993  26994  26995

Aller à :
Ajouter une réponse
 

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


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