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

 
 

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

 Mot :   Pseudo :  
  Aller à la page :
 
 Page :   1  2  3  4  5  ..  5236  5237  5238  ..  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°861789
skeye
Posté le 01-10-2004 à 10:10:01  profilanswer
 

Reprise du message précédent :

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 01-10-2004 à 10:10:01  profilanswer
 

n°861791
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:10:49  profilanswer
 

[:xx_xx] je crois que je vais m'entendre avec lui


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

stitch+ a écrit :

[:xx_xx] je crois que je vais m'entendre avec lui

malheureux[:totoz]

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

stitch+ a écrit :

[:xx_xx] je crois que je vais m'entendre avec lui


et le lambda-calcul alors? non?
il me semblait pourtant qu'il n'y avait pas plus formel...

n°861794
skeye
Posté le 01-10-2004 à 10:12:57  profilanswer
 

moktar1er a écrit :

et le lambda-calcul alors? non?
il me semblait pourtant qu'il n'y avait pas plus formel...


Oui, mais tu te tapes tout à la mimine là non?:o


---------------
Can't buy what I want because it's free -
n°861797
uriel
blood pt.2
Posté le 01-10-2004 à 10:13:38  profilanswer
 

stitch+ a écrit :

[:xx_xx] je crois que je vais m'entendre avec lui


et vive le Haskell \o/


---------------
IVG en france
n°861799
black_lord
Truth speaks from peacefulness
Posté le 01-10-2004 à 10:13:46  profilanswer
 

stitch+ a écrit :

[:xx_xx] je crois que je vais m'entendre avec lui


 
pelle à clous spotted :o


---------------
uptime is for lousy system administrators what Viagra is for impotent people - mes unixeries - github me
n°861800
skeye
Posté le 01-10-2004 à 10:14:20  profilanswer
 

chacal_one333 a écrit :

malheureux[:totoz]


On dit : "Pauvre de nous! [:lacuna coil]"


---------------
Can't buy what I want because it's free -
n°861801
Profil sup​primé
Posté le 01-10-2004 à 10:14:55  answer
 

skeye a écrit :

On dit : "Pauvre de nous! [:lacuna coil]"

http://if-faw.com/alf/alf_tageule.gif

n°861802
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:15:36  profilanswer
 

moktar1er a écrit :

et le lambda-calcul alors? non?
il me semblait pourtant qu'il n'y avait pas plus formel...

je n'ai fait que ça sur les deux dernières années alors là je change un peu
 
de toute façon la spécif c'est [:mossieurpropre] !


---------------
viendez broder, mon blog et à écouter : la Pause Bad, parlons badminton
mood
Publicité
Posté le 01-10-2004 à 10:15:36  profilanswer
 

n°861803
Moktar1er
No one replies...
Posté le 01-10-2004 à 10:16:02  profilanswer
 

skeye a écrit :

Oui, mais tu te tapes tout à la mimine là non?:o


bah chais pas, quand tu formalises tes heuristiques, tu le fais à la main non? donc tant qu'à faire...
je ne critique pas hein, note le bien, j'essaie de comprendre l'interêt de la chose

n°861804
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:16:12  profilanswer
 

black_lord a écrit :

pelle à clous spotted :o

:??: avec les sous-titres plize


---------------
viendez broder, mon blog et à écouter : la Pause Bad, parlons badminton
n°861807
aozora
Posté le 01-10-2004 à 10:18:33  profilanswer
 

[:cupra]


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
n°861808
skeye
Posté le 01-10-2004 à 10:18:35  profilanswer
 

moktar1er a écrit :

bah chais pas, quand tu formalises tes heuristiques, tu le fais à la main non? donc tant qu'à faire...
je ne critique pas hein, note le bien, j'essaie de comprendre l'interêt de la chose


Joker...[:dawa]
J'ai bossé quelques mois sur de la preuve d'algos et des automates rigolos, mais c'est bien loin tout ça...[:skeye]


---------------
Can't buy what I want because it's free -
n°861809
skeye
Posté le 01-10-2004 à 10:18:57  profilanswer
 

aozora a écrit :

[:cupra]


[:banguy]


---------------
Can't buy what I want because it's free -
n°861811
aozora
Posté le 01-10-2004 à 10:22:51  profilanswer
 

skeye a écrit :

[:banguy]


 
c koi ctete tete de grognon?


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
n°861812
Profil sup​primé
Posté le 01-10-2004 à 10:23:45  answer
 

gron

n°861813
Moktar1er
No one replies...
Posté le 01-10-2004 à 10:23:48  profilanswer
 

bon, bah j'ai plus qu'à me palucher ça tout seul...
je connais le lambda-calcul car c'est rudement pratique pour exprimer les problèmes d'incertitude (d'ailleurs le théorème d'incomplétude de Gödel se démontre bien avec ça)
si quelqu'un fais ce genre de choses avec des outils éxotiques genre Coq etc. qu'il parle maintenant, ou se taise à jamais

n°861814
black_lord
Truth speaks from peacefulness
Posté le 01-10-2004 à 10:25:02  profilanswer
 

stitch+ a écrit :

:??: avec les sous-titres plize


 
http://forum.hardware.fr/profilebd [...] warefr.inc


---------------
uptime is for lousy system administrators what Viagra is for impotent people - mes unixeries - github me
n°861817
skeye
Posté le 01-10-2004 à 10:25:24  profilanswer
 

aozora a écrit :

c koi ctete tete de grognon?


Le vendredi, c'est long!:o


---------------
Can't buy what I want because it's free -
n°861818
black_lord
Truth speaks from peacefulness
Posté le 01-10-2004 à 10:25:42  profilanswer
 

aozora a écrit :

[:cupra]


 
 [:zytra]  [:kukron]


---------------
uptime is for lousy system administrators what Viagra is for impotent people - mes unixeries - github me
n°861820
aozora
Posté le 01-10-2004 à 10:27:03  profilanswer
 

skeye a écrit :

Le vendredi, c'est long!:o


 
plus c long plus c bon


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
n°861821
Profil sup​primé
Posté le 01-10-2004 à 10:27:32  answer
 

aozora a écrit :

plus c long plus c bon

[:kiki]

n°861823
skeye
Posté le 01-10-2004 à 10:28:00  profilanswer
 

aozora a écrit :

plus c long plus c bon


C'est quoi ton boulot?:o


---------------
Can't buy what I want because it's free -
n°861824
Profil sup​primé
Posté le 01-10-2004 à 10:28:36  answer
 

skeye a écrit :

C'est quoi ton boulot?:o

modo tient [:kiki]

n°861825
Moktar1er
No one replies...
Posté le 01-10-2004 à 10:29:21  profilanswer
 

j'adore [:mlc]
pour une fois qu'il y avait un sujet interressant... :o

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

moktar1er a écrit :

j'adore [:mlc]
pour une fois qu'il y avait un sujet interressant... :o


Je ne sais pas te répondre, là...dsl! [:skeye]


---------------
Can't buy what I want because it's free -
n°861829
aozora
Posté le 01-10-2004 à 10:31:48  profilanswer
 

skeye a écrit :

C'est quoi ton boulot?:o


 
graphiste (web/pao)


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
n°861831
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:32:06  profilanswer
 

moktar1er a écrit :

bon, bah j'ai plus qu'à me palucher ça tout seul...
je connais le lambda-calcul car c'est rudement pratique pour exprimer les problèmes d'incertitude (d'ailleurs le théorème d'incomplétude de Gödel se démontre bien avec ça)
si quelqu'un fais ce genre de choses avec des outils éxotiques genre Coq etc. qu'il parle maintenant, ou se taise à jamais

je m'amuser avec des sytèmes de récriture en lc
complétude et consistance étaient mes seules préoccupations maintenant je fais des objets géométriques :D


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

aozora a écrit :

graphiste (web/pao)

la moitiée de tout codeur null en graph :love:


Message édité par Profil supprimé le 01-10-2004 à 10:32:29
n°861834
aozora
Posté le 01-10-2004 à 10:32:22  profilanswer
 

chacal_one333 a écrit :

[:kiki]


 
bah ecoute spa de ma faute c t calibré petit hein :o


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
n°861837
Profil sup​primé
Posté le 01-10-2004 à 10:32:53  answer
 

aozora a écrit :

bah ecoute spa de ma faute c t calibré petit hein :o

[:kiki] ^2

n°861838
Moktar1er
No one replies...
Posté le 01-10-2004 à 10:33:01  profilanswer
 

stitch+ a écrit :

je m'amuser avec des sytèmes de récriture en lc
complétude et consistance étaient mes seules préoccupations maintenant je fais des objets géométriques :D


tu m'interresse là  [:zebra33]  
tu aurais des trucs sympas sur les problèmes d'incertitude, d'indécision etc.?

n°861840
antp
Super Administrateur
Champion des excuses bidons
Posté le 01-10-2004 à 10:33:27  profilanswer
 

chacal_one333 a écrit :

la moitiée de tout codeur null en graph :love:


 
ouais puis le côté web ça peut donner des sujets de débat/dispute avec un progueux :D


---------------
mes programmes ·· les voitures dans les films ·· apprenez à écrire
n°861841
skeye
Posté le 01-10-2004 à 10:33:30  profilanswer
 

chacal_one333 a écrit :

la moitiée de tout webeux null en graph :love:


[:aloy]


---------------
Can't buy what I want because it's free -
n°861842
Profil sup​primé
Posté le 01-10-2004 à 10:33:59  answer
 
n°861843
stitch+
fais moi Plop !
Posté le 01-10-2004 à 10:35:29  profilanswer
 

moktar1er a écrit :

tu m'interresse là  [:zebra33]  
tu aurais des trucs sympas sur les problèmes d'incertitude, d'indécision etc.?

pas vraiment, mais si j'en trouve, je te les offre :)


---------------
viendez broder, mon blog et à écouter : la Pause Bad, parlons badminton
n°861844
skeye
Posté le 01-10-2004 à 10:35:57  profilanswer
 

aozora a écrit :

graphiste (web/pao)


Mouais, c'est bien le style de boulot où les gens iraient jusqu'à bosser chez eux le week-end ça tiens...:o


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

stitch+ a écrit :

pas vraiment, mais si j'en trouve, je te les offre :)


bah j'aurais ptet pondu ma thèse d'ici là :D
je suis en train de rédiger un article qui devrait être sympa, d'ici la fin de l'année (soumission en Janvier), si ça te dit...

n°861846
aozora
Posté le 01-10-2004 à 10:36:53  profilanswer
 

antp a écrit :

ouais puis le côté web ça peut donner des sujets de débat/dispute avec un progueux :D


 
c clair surtout quand je dis que j'en ai rien a faire du code html propre que je m'en fou du XHTML
et que je monte mes pages sous dream  :whistle:


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
n°861847
aozora
Posté le 01-10-2004 à 10:37:07  profilanswer
 

chacal_one333 a écrit :

[:kiki] ^2


 
 [:toxin]


---------------
Flickr Neverends | Neverends | Landolfi : Un bucheron dans un corps de princesse
mood
Publicité
Posté le   profilanswer
 

 Page :   1  2  3  4  5  ..  5236  5237  5238  ..  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.092 secondes

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