- Libriste / Privatiste ?
Libriste, du moment que le code est ouvert et modifiable. - Droitier / Gaucher ?
Droitier - Gauchiste / Madeliniste ?
Ni l'un ni l'autre, ni néolibéral, l'ennemi d'aujourd'hui, ni anticapitaliste, non pas que je pense que ce système est indépassable ou le meilleur, mais qu'il émerge assez naturellement (il a émergé à l'époque romaine, sous des formes différentes). En changer demanderait un gros gros coup de pied dans la fourmillière, que je ne suis pas sûr de voir de mon vivant..
- Gaucher / Droitier ?
Droitier. - De gauche / De droite ?
De centre gauche ;-) Antinéolibéral, c'est à dire en opposition totale à une certaine aile droite du PS ou encre du blairisme. - touche ctrl de gauche / touche ctrl de droite
de gauche. - Viiste / emacsien ?
Vim. J'ai rien contre emacs, mais après une heure d'utilisation, j'ai une tendinite à la main, à force de faire 5 combinaisons de touche. Et les commandes me paraissent plus "intuitive". Question de gout...
- trolleur / modérateur ?
Je suis trop coincé du c** pour être un bon trolleur
- secteur public monopoliste / concurenciste priviste (je l'aime bien celle là)
Je suis pour un secteur public monopoliste à condition qu'il soit européen. Je préférerai néanmoins des contrats à droit privés, avec une charte de qualité au niveau social, des niveaux de salaires satisfaisants, etc...
- plusseur / moinsseur
Les deux - GPListe / BSD
Je m'en fou. - Stallmaniste / Torvaliste
Torvaliste - Pengouin-iste ou Manchot-iste
??? - Bepoiste / Azertiste ?
Azertiste par fénantise pure.
- Gnomiste / Kdeiste
M'en fou, je suis sous mac
- Ligne de commande / GUI ?
Ligne de commande !!!
- Plusseur / Moinsseur ?
Les deux - Parisianiste / Provincialiste ?
Provincialiste
- Mer ou montagne ?
Les deux, mais comme j'habite près de la mer...
- Obiwan Kenobi ou Darth Vader ?
Obiwan, parce que c'est un gentil.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Normalement, au niveau des prud'hommes, tu as un avocat gratuit, en demandant au syndicat de ton choix (pas le besoin de prendre ta carte) de t'aider.
Si tu n'as toujours pas contacté de syndicat, je te conseille vivement de le faire, c'est leur métier, ils le connaissent très bien, et ça leur tiens beaucoup à coeur ;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
J'ai travaillé avec des députés il y a quelques années (assoc de lobbying), et il faut savoir que ces votes en petits comités le sont car seuls les spécialistes du sujet viennent voter.
Il y a plein de sujets très vastes et très variés qui sont discutés à l'AN, il est normal, heureux et humain que chaque députés se spécialisent sur quelques sujets. Quand on voit la complexité d'un sujet en particulier, c'est absolument impossible que tous les députés maîtrisent tous les sujets, d'où le vote d'un texte par la petite minorité qui comprend de quoi ça parle.
Et quand je dis comprend, c'est : passer des heures à avaler des milliers de pages, à connaitre le droit européen et français sur la question, intégrer les avis de pleins d'acteurs, etc...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
par exemple, on ne peut pas démissionner d'une SSII pour aller dans une autre pour le même client.
J'ai l'exemple d'une collègue qui l'a fait. Elle a démissionné, retrouvé un nouvel employeur, qui l'a staffé sur le même client, devant recetter le logiciel sur lequel elle développait quelques mois avant...
Elle n'a rien demandé en ce qui la concerne...
Mais je comprend pas les conséquences de cette réforme...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
L'intérêt des closures en ruby/smalltalk/etc... est qu'on peut créer ses propre structures de controle.
Dans la lib Lisaac, je me suis par exemple amusé à créer des foreach until, foreach while, foreach only if, bref des structures de controles sur toute sorte d'objet qui peuvent être vraiment utiles dans plein de cas.
Tu me diras que ça ne sert à rien parce que ton cerveau est conformé à la programmation avec des langages style C. Si tu prend ton pied avec ça, c'est très bien, j'aimerai des fois être comme toi, savoir me contenter et être heureux, voires prendre mon pied dans ces limites... mais après avoir pris une énorme claque de ma vie avec le caml à 20 ans (à l'époque je connaissais dans l'ordre Basic, Pascal, C), maintenant ça me frustre...
On peut définir des fonctions anonymes à l'aide de la construction function :
sigma (function x -> x * x) [1; 2; 3];;
- : int = 14
Polymorphisme et fonctions d'ordre supérieur permettent de définir la composition de fonctions sous sa forme la plus générale :
let compose f g = function x -> f (g x);;
val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b =
let square_o_fact = compose square fact;;
val square_o_fact : int -> int =
square_o_fact 5;;
- : int = 14400
Si t'as pris l'habitude de penser comme ça, et que ça te gonfle de revenir à des trucs porky ou faut planquer ta fonction dans une classe que tu créée à la volée ou des horreurs de ce genre, tu as besoin des closures. Si t'as jamais connu, ou que les fonctions de fonctions de fonctions te font pas triper, etc... bah passes ton chemin, et soit heureux avec ta façon de coder, c'est le principal !
Chacun ses gout :-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Euhh... Je vais encore prêcher ma chapelle, mais c'est seulement pour te donner un exemple.
La spec 0.3 de Lisaac, en cours d'implémentation démontre que tu peux avoir des fonctionalités très avancées, tout en ayant un langage beaucoup plus petit que Java (en taillle de grammaire et en nombre de primitives) :
- Existence du type block (le type fonction)
- listes (je peux écrire +(foo,bar) : (INTEGER,INTEGER) )
- templates à la c++
- Gestion de la concurrence intégré
- Tout est objet (comme en ruby/smalltalk/...) les entiers, les chars, etc...
- etc...
Et c'est valable pour plein de langages
Bref, il faut se défaire de l'idée que "beaucoup de fonctionalités = gros langage pléthorique".
Java est un gros langage : sa grammaire est énorme (40ko de texte tout de même), le nombre de mot clé est assez important, etc...
Bref, s'il était pas une sorte de C++ propre comme il a été pensé au début, il pourrait offrir plus de fonctionnalités et être moins gros...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Ca touche au fonctionnel. C'est très connu avec Smalltalk qui le permet depuis 72.
Un block est un objet fonction, qui peut prendre (ça dépend des langages) un ou plusieurs argument et en renvoyer plusieurs.
Le bloc permet par exemple de définir un test et les boucles, car dans les langages purement objet, le test n'est pas connu par le compilateur : if est juste un message de true et false qui héritent de boolean.
Cela apporte beaucoup de puissance, comme par exemple pouvoir créer tes propres structures de controle ou tu veux (et pas être limité à for/while).
Théoriquement, en smalltalk/ruby, tu faire la même chose que caml avec le type block, après, tu n'as évidemment pas le contrôle de typage.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
A part ça, je suis guitariste depuis 16 ans, autour de moi on me considère comme un "bon" guitariste, et je ne connais rien au solfège, je fais tout d'oreille.
Ma dernière session de travail a été par exemple de reprendre ça : http://www.dailymotion.com/search/since+I+ve+/video/x7s7wf_l(...)
6 mois de travail... Et de toutes façons, ça m'étonnerai qu'il y ait une partition de cette version ;-)
Je ne compte pas le nombre de type qui ont fait comme moi, il suffit de chercher les tuto sur youtube...
Donc effectivement, on peut.
J'avoue, que sur le tard, j'en aurai peut être parfois besoin. On verra un jour...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
En gros tu décris ton morceaux dans un langage quasi naturel, avec une organisation à respecter (tempo, clé, grille d'accords), et ça te génère ton accompagnement.
T'as plus qu'à prendre ta guitare, ton piano, whatever et improviser dessus pendant des heures...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
let rec toAttr = function
| Element( s , a , [] ) -> a
| Element( s , a , p::q ) -> fusion (fusion a (toAttr p)) (List.concat (List.map toAttr q))
| PCData s -> [] ;;
Evidemment ça fait 3 lignes....
12h d'arrachage de cheveux pour ça.
Moi pas doué :-(
Bon, c'était mon deuxième baptème du feu !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Ce que je ceux dire, c'est que tu ne peux pas relancer le code qui a provoqué une erreur.
Dans le lien que je donne ( http://fr.wikipedia.org/wiki/Syst%C3%A8me_de_gestion_d%27exc(...) ) dans le journal, il est montré comment on fait de la reprise d'erreur sur une exception en smalltalk : tu peux retenter l'exécution de ton code avec des params différents, après un appel, etc...
En java, tu catch ton erreur, mais à moins de rappeler la fonction (et donc pas le bout de code), tu est obligé d'assumer qu'il y a erreur et de donner une voie différente à ton flot... ou de faire un traitement, mais continuer..
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Pour le problème de la casse, tu peux analyser les résultats que renvoi google.
Une fois que tout cela est en place, tu pourrais faire une interface style www.goosh.org , agrémentée d'opérateur de filtrage texte.
Un beau sujet à creuser, mais tu risque d'y passer du temps...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Depuis la dernière modification de la constitution du 23 juillet 2008, les citoyens peuvent en principe saisir la constitution, en sus des mécanismes classique de 60 députés ou 60 sénateurs. http://www.conseil-constitutionnel.fr/conseil-constitutionne(...)
Malheureusement, la loi organique définissant les modalités n'est pas encore voté, comme par hasard.
Cette loi Hadopi viole de manière flagrante la constitution puisqu'il viole le rôle dévolu et exclusif de la justice de prononcer des sanctions.
Malgré tout, je pense que c'est un biais par lequel on pourrait un jour casser cette première brique de la dictature qu'est en train de mettre en place pierre après pierre le nain (On met la télé/radio publique aux ordres, puis la justice, puis l'éducation, etc...).
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Les cygnes font partit du monde réel, donc si on a une théorie (tous les cygnes sont blanc) on fait des expériences et des observations pour la vérifier (exemple: biologie, physique)
Tu raisonnes en médiocristan (de médio, milieu): le cygne a longtemps été perçu comme forcément de couleur blanche.
On en a donc établi une règle, par "expériences et observations".
Or un jour on a découvert l'existance de cygnes noirs (en 1790).
Moralité : faire attention au scientisme platonifiant, on effectue un peu trop vite de belle conclusions qui ont toutes le visage de la belle démonstration scientifique.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Tu vis en 1970 ?
Tu sais l'informatique d'entreprise a à peu près 30 à 40 ans de retard sur ce qui est au point en labo...
Regarde Java : ça a 42 ans de retard si tu regardes Simula 67 (sorti en 67 comme son nom l'indique) qui possède une très grande partie des fonctionalitées offertes par Java.
Surtout en France ou les théoriens sont perçu par mes collègues comme une bande de professeur nimbus incapable de proposer qq chose d'utile.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
A part ça, tu peux éviter de faire des journaux intéressants où j'ai envie de répondre à tout le monde pendant des heures ?
Ben oui, mais j'aie bien vous faire discuter pendant des heures, ça compense les cours de fac que j'ai jamais eu ;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Dans la boite où je bosse, les spécifications dont tu donnes l'exemple relève plus des tests fonctionnels ou de performances.
On utilise des logiciels spécifiques pour cela, qui vont automatiser l'expérience utilisateur dans le clickodrome, etc...
Là ou la preuve de code est intéressante, c'est en complément des tests unitaires (avec junit) qui font parti intégrantes de la procédure de compilation qu'on automatise avec maven (le make amélioré de java).
Effectivement l'intérêt de ce genre de logiciel est limité à une petite partie du processus de fabriquation du logiciel, mais ça peut avoir un intérêt en terme de coût non négligeable.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Puisqu'on est dans la série des questions stupides
Posté par Ontologia (site web personnel) . En réponse au journal Sondage. Évalué à 3.
Libriste, du moment que le code est ouvert et modifiable.
- Droitier / Gaucher ?
Droitier
- Gauchiste / Madeliniste ?
Ni l'un ni l'autre, ni néolibéral, l'ennemi d'aujourd'hui, ni anticapitaliste, non pas que je pense que ce système est indépassable ou le meilleur, mais qu'il émerge assez naturellement (il a émergé à l'époque romaine, sous des formes différentes). En changer demanderait un gros gros coup de pied dans la fourmillière, que je ne suis pas sûr de voir de mon vivant..
- Gaucher / Droitier ?
Droitier.
- De gauche / De droite ?
De centre gauche ;-) Antinéolibéral, c'est à dire en opposition totale à une certaine aile droite du PS ou encre du blairisme.
- touche ctrl de gauche / touche ctrl de droite
de gauche.
- Viiste / emacsien ?
Vim. J'ai rien contre emacs, mais après une heure d'utilisation, j'ai une tendinite à la main, à force de faire 5 combinaisons de touche. Et les commandes me paraissent plus "intuitive". Question de gout...
- trolleur / modérateur ?
Je suis trop coincé du c** pour être un bon trolleur
- secteur public monopoliste / concurenciste priviste (je l'aime bien celle là)
Je suis pour un secteur public monopoliste à condition qu'il soit européen. Je préférerai néanmoins des contrats à droit privés, avec une charte de qualité au niveau social, des niveaux de salaires satisfaisants, etc...
- plusseur / moinsseur
Les deux
- GPListe / BSD
Je m'en fou.
- Stallmaniste / Torvaliste
Torvaliste
- Pengouin-iste ou Manchot-iste
???
- Bepoiste / Azertiste ?
Azertiste par fénantise pure.
- Gnomiste / Kdeiste
M'en fou, je suis sous mac
- Ligne de commande / GUI ?
Ligne de commande !!!
- Plusseur / Moinsseur ?
Les deux
- Parisianiste / Provincialiste ?
Provincialiste
- Mer ou montagne ?
Les deux, mais comme j'habite près de la mer...
- Obiwan Kenobi ou Darth Vader ?
Obiwan, parce que c'est un gentil.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: La justice est comme ça
Posté par Ontologia (site web personnel) . En réponse au journal Prudh'ommes => conciliation. Évalué à 4.
Si tu n'as toujours pas contacté de syndicat, je te conseille vivement de le faire, c'est leur métier, ils le connaissent très bien, et ça leur tiens beaucoup à coeur ;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: voté par combien ?
Posté par Ontologia (site web personnel) . En réponse au journal HADOPI rejeté. Évalué à 6.
Il y a plein de sujets très vastes et très variés qui sont discutés à l'AN, il est normal, heureux et humain que chaque députés se spécialisent sur quelques sujets. Quand on voit la complexité d'un sujet en particulier, c'est absolument impossible que tous les députés maîtrisent tous les sujets, d'où le vote d'un texte par la petite minorité qui comprend de quoi ça parle.
Et quand je dis comprend, c'est : passer des heures à avaler des milliers de pages, à connaitre le droit européen et français sur la question, intégrer les avis de pleins d'acteurs, etc...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Démissioner pour le même client : habituel !
Posté par Ontologia (site web personnel) . En réponse au journal [emploi]"L'UMP veut favoriser le prêt de main-d'oeuvre". Évalué à 4.
J'ai l'exemple d'une collègue qui l'a fait. Elle a démissionné, retrouvé un nouvel employeur, qui l'a staffé sur le même client, devant recetter le logiciel sur lequel elle développait quelques mois avant...
Elle n'a rien demandé en ce qui la concerne...
Mais je comprend pas les conséquences de cette réforme...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Block ou closure ?
Posté par Ontologia (site web personnel) . En réponse au journal Où l'on en apprend un peu plus sur Java 7. Évalué à 2.
Dans la lib Lisaac, je me suis par exemple amusé à créer des foreach until, foreach while, foreach only if, bref des structures de controles sur toute sorte d'objet qui peuvent être vraiment utiles dans plein de cas.
Tu me diras que ça ne sert à rien parce que ton cerveau est conformé à la programmation avec des langages style C. Si tu prend ton pied avec ça, c'est très bien, j'aimerai des fois être comme toi, savoir me contenter et être heureux, voires prendre mon pied dans ces limites... mais après avoir pris une énorme claque de ma vie avec le caml à 20 ans (à l'époque je connaissais dans l'ordre Basic, Pascal, C), maintenant ça me frustre...
Depuis que j'ai vu ça :
http://caml.inria.fr/about/taste.fr.html
On peut définir des fonctions anonymes à l'aide de la construction function :
sigma (function x -> x * x) [1; 2; 3];;
- : int = 14
Polymorphisme et fonctions d'ordre supérieur permettent de définir la composition de fonctions sous sa forme la plus générale :
let compose f g = function x -> f (g x);;
val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b =
let square_o_fact = compose square fact;;
val square_o_fact : int -> int =
square_o_fact 5;;
- : int = 14400
Si t'as pris l'habitude de penser comme ça, et que ça te gonfle de revenir à des trucs porky ou faut planquer ta fonction dans une classe que tu créée à la volée ou des horreurs de ce genre, tu as besoin des closures. Si t'as jamais connu, ou que les fonctions de fonctions de fonctions te font pas triper, etc... bah passes ton chemin, et soit heureux avec ta façon de coder, c'est le principal !
Chacun ses gout :-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Block ou closure ?
Posté par Ontologia (site web personnel) . En réponse au journal Où l'on en apprend un peu plus sur Java 7. Évalué à 3.
La spec 0.3 de Lisaac, en cours d'implémentation démontre que tu peux avoir des fonctionalités très avancées, tout en ayant un langage beaucoup plus petit que Java (en taillle de grammaire et en nombre de primitives) :
- Existence du type block (le type fonction)
- listes (je peux écrire +(foo,bar) : (INTEGER,INTEGER) )
- templates à la c++
- Gestion de la concurrence intégré
- Tout est objet (comme en ruby/smalltalk/...) les entiers, les chars, etc...
- etc...
Et c'est valable pour plein de langages
Bref, il faut se défaire de l'idée que "beaucoup de fonctionalités = gros langage pléthorique".
Java est un gros langage : sa grammaire est énorme (40ko de texte tout de même), le nombre de mot clé est assez important, etc...
Bref, s'il était pas une sorte de C++ propre comme il a été pensé au début, il pourrait offrir plus de fonctionnalités et être moins gros...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Block ou closure ?
Posté par Ontologia (site web personnel) . En réponse au journal Où l'on en apprend un peu plus sur Java 7. Évalué à 2.
Un block est un objet fonction, qui peut prendre (ça dépend des langages) un ou plusieurs argument et en renvoyer plusieurs.
Le bloc permet par exemple de définir un test et les boucles, car dans les langages purement objet, le test n'est pas connu par le compilateur : if est juste un message de true et false qui héritent de boolean.
Cela apporte beaucoup de puissance, comme par exemple pouvoir créer tes propres structures de controle ou tu veux (et pas être limité à for/while).
Théoriquement, en smalltalk/ruby, tu faire la même chose que caml avec le type block, après, tu n'as évidemment pas le contrôle de typage.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Block ou closure ?
Posté par Ontologia (site web personnel) . En réponse au journal Où l'on en apprend un peu plus sur Java 7. Évalué à 1.
J'espère surtout qu'on aura enfin un vrai type block, comme en ruby/smalltalk/lisaac/whatever, ne serait-ce que pour rendre ce langage insuportable.
Cela dit, le temps qu'on puiss l'utiliser dans un projet en SSII et qu'on soit autorisé à utiliser les blocks...
http://www.javac.info/closures-v05.html
http://rickyclarkson.blogspot.com/2007/11/java-7-example-wri(...)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Heu...
Posté par Ontologia (site web personnel) . En réponse au journal Petit soft utile pour les musiciens. Évalué à 2.
Je te renvoi à http://sciencesetavenirmensuel.nouvelobs.com/hebdo/parution/(...) et
http://tempsreel.nouvelobs.com/actualites/sciences/homme_et_(...)
ou on peut même écouter les airs préférés de César ou Hadrien, sur instrument reconstitué..
Génial, non ?
A part ça, je suis guitariste depuis 16 ans, autour de moi on me considère comme un "bon" guitariste, et je ne connais rien au solfège, je fais tout d'oreille.
Ma dernière session de travail a été par exemple de reprendre ça : http://www.dailymotion.com/search/since+I+ve+/video/x7s7wf_l(...)
6 mois de travail... Et de toutes façons, ça m'étonnerai qu'il y ait une partition de cette version ;-)
Je ne compte pas le nombre de type qui ont fait comme moi, il suffit de chercher les tuto sur youtube...
Donc effectivement, on peut.
J'avoue, que sur le tard, j'en aurai peut être parfois besoin. On verra un jour...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Heu...
Posté par Ontologia (site web personnel) . En réponse au journal Petit soft utile pour les musiciens. Évalué à 4.
T'as plus qu'à prendre ta guitare, ton piano, whatever et improviser dessus pendant des heures...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: questions personnalisées
Posté par Ontologia (site web personnel) . En réponse au journal Linux semble intéresser (financièrement) les constructeurs. Évalué à 2.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# GRRRRRRRRR
Posté par Ontologia (site web personnel) . En réponse au message [OCAML] Descente d'un arbre xml. Évalué à 3.
let rec toAttr = function| Element( s , a , [] ) -> a
| Element( s , a , p::q ) -> fusion (fusion a (toAttr p)) (List.concat (List.map toAttr q))
| PCData s -> [] ;;
Evidemment ça fait 3 lignes....
12h d'arrachage de cheveux pour ça.
Moi pas doué :-(
Bon, c'était mon deuxième baptème du feu !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: pas possible ?
Posté par Ontologia (site web personnel) . En réponse au journal Contrats et exceptions. Évalué à 0.
Dans le lien que je donne ( http://fr.wikipedia.org/wiki/Syst%C3%A8me_de_gestion_d%27exc(...) ) dans le journal, il est montré comment on fait de la reprise d'erreur sur une exception en smalltalk : tu peux retenter l'exécution de ton code avec des params différents, après un appel, etc...
En java, tu catch ton erreur, mais à moins de rappeler la fonction (et donc pas le bout de code), tu est obligé d'assumer qu'il y a erreur et de donner une voie différente à ton flot... ou de faire un traitement, mais continuer..
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# ooups...
Posté par Ontologia (site web personnel) . En réponse au journal Téléphone sonne en ce moment sur France Inter. Évalué à 2.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: 5 gus
Posté par Ontologia (site web personnel) . En réponse à la dépêche L'April s'insurge face aux mouchards filtrants de l'HADOPI. Évalué à 6.
http://www.pcinpact.com/actu/news/49575-quadrature-gus-garag(...)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Fais un front-end à google
Posté par Ontologia (site web personnel) . En réponse au journal Un moteur de recherche aussi futé et précis que bash?. Évalué à 4.
2 liens pour explorer le problème :
http://www.perlmonks.org/index.pl?node_id=284513
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.2(...)
Pour le problème de la casse, tu peux analyser les résultats que renvoi google.
Une fois que tout cela est en place, tu pourrais faire une interface style www.goosh.org , agrémentée d'opérateur de filtrage texte.
Un beau sujet à creuser, mais tu risque d'y passer du temps...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Et c'est mieux que ça ?
Posté par Ontologia (site web personnel) . En réponse au journal Un module apache pour programmer des applis web en C++. Évalué à 2.
En tout cas bravo :)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Exception de constitutionalité ?
Posté par Ontologia (site web personnel) . En réponse au journal Hadopi, de plus en plus effrayant. Évalué à 4.
http://www.conseil-constitutionnel.fr/conseil-constitutionne(...)
Malheureusement, la loi organique définissant les modalités n'est pas encore voté, comme par hasard.
Cette loi Hadopi viole de manière flagrante la constitution puisqu'il viole le rôle dévolu et exclusif de la justice de prononcer des sanctions.
Malgré tout, je pense que c'est un biais par lequel on pourrait un jour casser cette première brique de la dictature qu'est en train de mettre en place pierre après pierre le nain (On met la télé/radio publique aux ordres, puis la justice, puis l'éducation, etc...).
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: prouveur automatique/assistant de preuve
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 1.
Tu raisonnes en médiocristan (de médio, milieu): le cygne a longtemps été perçu comme forcément de couleur blanche.
On en a donc établi une règle, par "expériences et observations".
Or un jour on a découvert l'existance de cygnes noirs (en 1790).
Moralité : faire attention au scientisme platonifiant, on effectue un peu trop vite de belle conclusions qui ont toutes le visage de la belle démonstration scientifique.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: prouveur automatique/assistant de preuve
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
Une review qui n'a pas l'air trop mal : http://www.bakchich.info/article2665.html
http://www.lesbelleslettres.com/livre/?GCOI=22510100957220
http://www.alternatives-economiques.fr/le-cygne-noir--la-pui(...)
Son site :
http://www.fooledbyrandomness.com/
Son itw sur France Culture (il est libano américain, mais il parle couramment français) :
http://www.fooledbyrandomness.com/franceculture.mp3
C'est le grand copain de Benoit Mandelbrot :)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: prouveur automatique/assistant de preuve
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Se passer des tests ...
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
Effectivement sur un OS desktop, on est pas dans le même monde, donc votre débat n'a pas lieu d'être en ces termes.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Se passer des tests ...
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
Tu sais l'informatique d'entreprise a à peu près 30 à 40 ans de retard sur ce qui est au point en labo...
Regarde Java : ça a 42 ans de retard si tu regardes Simula 67 (sorti en 67 comme son nom l'indique) qui possède une très grande partie des fonctionalitées offertes par Java.
Surtout en France ou les théoriens sont perçu par mes collègues comme une bande de professeur nimbus incapable de proposer qq chose d'utile.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Je te rassure
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
Ben oui, mais j'aie bien vous faire discuter pendant des heures, ça compense les cours de fac que j'ai jamais eu ;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Se passer des tests ...
Posté par Ontologia (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
On utilise des logiciels spécifiques pour cela, qui vont automatiser l'expérience utilisateur dans le clickodrome, etc...
Là ou la preuve de code est intéressante, c'est en complément des tests unitaires (avec junit) qui font parti intégrantes de la procédure de compilation qu'on automatise avec maven (le make amélioré de java).
Effectivement l'intérêt de ce genre de logiciel est limité à une petite partie du processus de fabriquation du logiciel, mais ça peut avoir un intérêt en terme de coût non négligeable.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker