La Pierre de Tear fait peau neuve ! L'aventure continue sur www.pierredetear.fr !
L'ancien site est a présent archivé pour la postérité et en mode "lecture seule". Vous pouvez consulter l'ensemble du contenu et des anciennes discussions du forum,
mais plus créer de nouveaux topics ni écrire de nouvelles réponses.
Ahahha il est un peu limité ce gars Y'a vraiment qu'en amerique que l'on voit cela...
POur les unilingues un petite traduction:
Un gars a essayé de refourguer de la drogue a deux flics qui etaient en mission dans son bahut de Stanford ( Elann si je me trompe tu me corriges hein ) Et donc il est allé leur proposer de la dope alors que les deux flics avaient ecrit en lettres capitales POLICE dans le dos...
La declaration du mariol a été que ces deux gars " ressemblaient a des poulets"
Ils avaient des gilets d'intervention avec marqué POLICE dessus dans le dos (le gars est monté derrière eux dans leur voiture) et sur les bras pour ne pas être confondus avec des malfrats dans l'opération qu'ils menaient.
http://jeunechercheur.jexiste.fr/?ref=selection_tem,
les chercheurs francais s expatrient.
la c est la page web d un ami qui vient de creer sa boite: Je trouve que le site web et superbe? qu est que vous en pensez? si vous avez des idees pour ameliorer?
http://www.garden-paris.com/index.html
et pour finir, a quoi sert le domaine de recherche de mon frerot (comme elann nous avait montre son projet de these et aime les trucs techniques...)
http://www.astree.ens.fr/
Mouarf Caramon ! Il bosse vraiment sur ce truc ? Je croyais que l'indécidabilité de l'arrêt ou de la correction d'un programme aurait arrêté toute tentative sérieuse. Bon si c'est pour piquer du fric à une boîte qui pense vendre des outils de vérification automatique de code, moi je dis rien
Donc... message pour Elann de mon frero... (attention c est du trash):
"ton ami informaticien n'a rien compris a ses cours sur l'indecidabilite.
Le theoreme sur les langages turing complet dit qu'il est impossible de
fabriquer un programme qui va te trouver toutes les erreurs de tous les
programmes ecrit dans ce langage.
Il ne dit jamais que c'est impossible de construire un programme qui va
trouver certaines erreurs pour certains programmes ecrit dans ce langage.
C'est justement l'idee d'approximation (et la theorie de mon professeur
Cousot) qui permet de dejouer l'indecidabilite.
C'est aussi pour ca que ce que nous faisons est dur !
Oh mais ça ne m'intéresse pas C'est juste que je suis surpris qu'il y ait encore des gens qui bossent là dessus Tant qu'ils ne croient pas à la complétude de leur outil OK.
arf, je suis déçue...seulement 19% avec mon chien.
J'aurai peut être pas du mettre son nom de famille...ca fait peut être aussi en fonction des liens de consanguinuité et puis comme c'est le même nom que moi ils ont peut être cru que.....oups
Tant qu'ils ne croient pas à la complétude de leur outil OK.
