Le sens, c'est qu'on trouvera pas de prof si ça paye pas assez en comparaisons d'autres activités, c'est tout. Et ça risque pas d'être payé si les pauvres en questions n'ont pas les moyens. Faut trouver d'autres sources de financement.
Le conseil d'un prof de DUT à propos des styles de vérification du code :
* dans ton propre code : tu peux te permettre de donner les préconditions et supposer que tu les respecteras lors de l'appel
* si tu distribues ton codes : tu blindes les APIS et vérifies systématiquement que les préconditions sont respectées après les appels de fonctions.
Les fonctionnaires ont le pouvoir maintenant ... Non mais tu crois que ça se voit pas que tu essayes de détourner la conversation en ouvrant un nouveau troll approximatif et extrêmement clairement défini et pertinent ?
Si tu trouves des volontaires. Le marché, c'est pas aussi se tourner vers les offres plus lucratives qu'on peut te faire, les études qui offrent le plus de perspectives de ce point de vue ?
T'es extrêmement dogmatique dans ton genre. Le symptome : tu t'en réfère constamment à un mec mort depuis longtemps comme si plus rien n'avait été fait en économie ou en politique depuis ...
J'ai failli me répondre en redoutant que tu ne me réponde ça. Pourquoi un prof irait enseigner à des gens qui n'ont de toute façon pas assez d'argent pour vivre correctement, donc à fortiori pour le payer lui ?
On peut invoquer d'autres situations, comme celle du système social aux US, que tout le monde trouve génial, par exemple.
Le système d'école public est pas spécialement réputé là bas non plus, mais c'est le seul que certains aient à disposition. Il se trouve que malheureusement ta théorie de l'effet de seuil qui rend inaccessibles certaines prestations privées aux plus pauvres ne tiennent pas vraiment la route avec cet exemple.
Effectivement, on a pu constater par le passé que les mineurs de la grande époque pouvaient accéder aux mêmes services que ceux qui les payaient, quand ils ne crevaient pas dans la mine parce que les règles de sécurité à l'époque étaient inexistantes, dans l'indifférence génrale.
C'est un moteur de jeu fait spécifiquement pour faciliter la contribution et l'extensibilité si j'ai bien compris. Dans le but de créer une communauté de contributeurs qui pourraient s'investir dans le jeu sans y sacrifier la totalité de leurs weekends jusqu'à l'an pèbre avec des petites choses facilement intégrables.
Y a-t-il une démonstration sur l'incalculabilité/indécidabilité d'un langage naturel ?
Faudrait que tu précises ta question déja :) Una langage est un langage, ce qui est incalculable ou indécidable c'est un problème. Bien formalisé de préférence, sinon la notion n'a pas vraiment de sens?
Un problème qu'on peut voir avec le langage, déja, c'est de savoir extraire le sens à partir d'une phrase du langage. De trouver la sémantique d'une phrase en quelque sorte. Déja, pour une phrase prise hors contexte, ça ne va pas de soi : "la petite brise la glace", par exemple, est ambigue : tu peux lui associer plusieurs sens, et ce avant même qu'on ait défini formellement ce qu'est le "sens", la sémantique d'une phrase ... Ce problème ce serait
: associer une sémantique à une phrase, à un texte. Déja, on peut se rendre compte que le sens associé à la phrase dépend de tes connaissances.
Ou encore de trouver une grammaire formelle du langage (mais on sait qu'une telle grammaire produit des phrases qui n'ont pas de sens ...)
Les vidéos c'est un contenu qui fait parti intégrante du web moderne, comme les images. L'accélération matérielle, les drivers, ça n'a rien d'un contenu ...
Mieux vaut carrément les laisser s'engager sur la voie de l'obscurantisme le plus idiot que de leur envoyer le signal contradictoire d'un savoir qu'on a mis des siècles ou même des millénaires à construire et à vérifier, quoi.
Et les laisser s'enfermer dans leur famille ou leur communauté plutôt que de leur faire rencontrer des tas de gens de toutes origines et milieux social. Ça c'est une vertu de l'éducation publique qui n'a pas de prix, à mon avis.
Une éducation libre, ce serait une éducation ou la qualité varie en fonction des revenus des parents, et de ce qu'ils sont prêt à mettre, et aussi une éducation ou on enseigne exactement ce que veulent les parents, à savoir que Dieu à créé le monde en 7 jours et que les dinausaures n'ont jamais existé si ça leur chante ?
C'est facile, mais idiot, un journal sur linuxfr incendiaire de quelqu'un qui a testé et a vu que ça ne marche pas est vite arrivé. Et pas que sur linuxfr.
Si ça se trouve c'est un mot qui a déja été employé dans l'histoire mais avec un sens différent ou le même mais de manière fantasmatique et théorique, on peut pas être sur si on a pas le texte.
C'est un projet qui extrait et structure wikipedia de manière sémantique, j'ai vu des moteurs de requêtes qui permettaient de faire la requête que tu énonce, il doit y en avoir sur ce projet.
Pas vraiment, j'espérai être assez ouvert pour que les réponses ne soient pas spécialement limitées au strict cadre que j'ai mis (il y a certaines questions relativement ouverte, et il faut pas hésiter à ajouter des choses si ça te tient à coeur).
Après je cache pas que ce qui m'intéresse particulièrement là maintenant c'est plus le résultat final et comment l'encyclopédie est perçue que le côté "cuisine interne" de wikipedia. Je dis pas ça pour dévaloriser la contribution à wikipedia, je participe moi même à tout ça, mais à priori ce sont des moyens pour atteindre un but, pas le but en soi.
Mais effectivement, on pourrait rajouter des trucs pour les contributeurs : comment vivez vous votre implication au quotidien, quelles sont les tâches à accomplir aujourd'hui, celles que vous accomplissez.
Et pour les nons contributeurs, comment la communauté wikipedia est perçue de l'extérieur.
L'utilité c'est de pouvoir faire des trucs un peu plus malin qu'une recherche par mot clé.
Par exemple un des lien formel qui peut exister c'est le lien entre un document et son ou ses auteurs. Dans le cas ou tu cherche un document écrit par un auteur particulier, tu pourrait faire une requête du style "je cherche sur le web tous les document qu'a écrit cet auteur", sachant que l'auteur formel tu le connais par un de ses documents, ou tu peux le retrouver à partir de son nom.
Tu peux aussi faire des trucs plus évolués, par exemple, si tu cherches de la documentation, mettons sur une RFC qui parle du protocole http, et que tu cherche d'autre type de doc comme un tutoriel ou des exemples, en admettant que les concepts de tutoriel ou d'exemple ayant pour sujets le même que ta RFC, tu peux faire une requête assez précise.
Mais ça suppose que le web soit un peu plus organisé que des mots "à plat" comme actuellement.
D'ou les outils qui permettent d'essayer d'extraire automatiquement ce type d'info (c'est relativement jouable pour l'auteur, un peu plus dur pour détecter que c'est un tutoriel ou une doc de ref, et encore plus dur de dire que le tutoriel et la doc de ref portent sur le même sujet).
L'autre alternative c'est que les données soient générées à la création des documents, ce qui est jouable à condition que ça fasse pas chier l'auteur, donc que les outils soient adaptés.
Pour les auteurs c'est souvent dans les meta données des documents genre traitement de texte ou bloggeur, pour les sujets tu as des tags sur les posts de blogs, pour ce qui existe déja, mais c'est pas forcément très standardisé actuellement, ni accessibles dans les langages formels du w3c.
Surtout qu'il reprend la parfois facheuse habitude des politiciens à utiliser le "nous", ou "les français", alors qu'il ne parle dans le cas présent que pour lui même.
Encore une fois notre seul espoir de voir cette expérience aboutir, c'est de la faire connaître, de la soutenir, d'y contribuer.
Et c'est bien là le problème, à mon humble avis, comment élargir le public ? Les geeks, surtout les libristes, sont déja pas mal au courant de comment fonctionne l'ICANN.
N'y a t'il pas de contradiction entre une volonté de démocratisation et les barrières mises en place sur le "qui et pourquoi" et le contenu des sites adressé, et les barrières techniques de fait pour une majorité d'utilisateurs non geeks ?
En bref, en fait de démocratisation, ça risque d'être un TLD fait par et pour des geeks, dans le contenu et dans les faits ...
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
[^] # Re: À ne pas oublier ...
Posté par thoasm . En réponse à la dépêche Firefox 4 et pilotes de cartes graphiques sous Linux. Évalué à 2.
* dans ton propre code : tu peux te permettre de donner les préconditions et supposer que tu les respecteras lors de l'appel
* si tu distribues ton codes : tu blindes les APIS et vérifies systématiquement que les préconditions sont respectées après les appels de fonctions.
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 3.
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
T'es extrêmement dogmatique dans ton genre. Le symptome : tu t'en réfère constamment à un mec mort depuis longtemps comme si plus rien n'avait été fait en économie ou en politique depuis ...
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
Le système d'école public est pas spécialement réputé là bas non plus, mais c'est le seul que certains aient à disposition. Il se trouve que malheureusement ta théorie de l'effet de seuil qui rend inaccessibles certaines prestations privées aux plus pauvres ne tiennent pas vraiment la route avec cet exemple.
[^] # Re: Pas d'accord !
Posté par thoasm . En réponse au journal Watson, Jeopardy et le test de Turing. Évalué à 2.
[^] # Re: le logiciel libredansl'éducationnationale?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
[^] # Re: Fou, hein ?
Posté par thoasm . En réponse au journal Le jeux vidéo libre ... Un vaste sujet !. Évalué à 6.
[^] # Re: Pas d'accord !
Posté par thoasm . En réponse au journal Watson, Jeopardy et le test de Turing. Évalué à 2.
Faudrait que tu précises ta question déja :) Una langage est un langage, ce qui est incalculable ou indécidable c'est un problème. Bien formalisé de préférence, sinon la notion n'a pas vraiment de sens?
Un problème qu'on peut voir avec le langage, déja, c'est de savoir extraire le sens à partir d'une phrase du langage. De trouver la sémantique d'une phrase en quelque sorte. Déja, pour une phrase prise hors contexte, ça ne va pas de soi : "la petite brise la glace", par exemple, est ambigue : tu peux lui associer plusieurs sens, et ce avant même qu'on ait défini formellement ce qu'est le "sens", la sémantique d'une phrase ... Ce problème ce serait
: associer une sémantique à une phrase, à un texte. Déja, on peut se rendre compte que le sens associé à la phrase dépend de tes connaissances.
Ou encore de trouver une grammaire formelle du langage (mais on sait qu'une telle grammaire produit des phrases qui n'ont pas de sens ...)
[^] # Re: le logiciel libre dans l'éducation nationale ?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 2.
Oh mais si j'oserai dire ça à un croyant, et la plupart ne croient même pas que les dinosaures n'ont pas existé.
[^] # Re: Deux poids deux messures ?
Posté par thoasm . En réponse au journal Comparaison Firefox et Chromium avec un benchmark du web. Évalué à 2.
[^] # Re: le logiciel libre dans l'éducation nationale ?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 3.
Et les laisser s'enfermer dans leur famille ou leur communauté plutôt que de leur faire rencontrer des tas de gens de toutes origines et milieux social. Ça c'est une vertu de l'éducation publique qui n'a pas de prix, à mon avis.
[^] # Re: le logiciel libre dans l'éducation nationale ?
Posté par thoasm . En réponse à la dépêche Affichage éducation : "les logiciels libres à partager sans compter" sur enventelibre.org. Évalué à 7.
[^] # Re: near
Posté par thoasm . En réponse au journal Bing, un moteur de recherche puissant. Évalué à 1.
[^] # Re: Résultats intéressants
Posté par thoasm . En réponse à la dépêche Corpus Ngram Viewer de Google : évolution des termes utilisés dans la littérature. Évalué à 2.
[^] # Re: Votre utilisation de l'outil actuellement
Posté par thoasm . En réponse au journal Dans 3 jours, les 10 ans de wikipedia.. Évalué à 5.
C'est un projet qui extrait et structure wikipedia de manière sémantique, j'ai vu des moteurs de requêtes qui permettaient de faire la requête que tu énonce, il doit y en avoir sur ce projet.
http://en.wikipedia.org/wiki/Wikipedia:Semantic_Wikipedia est une page qui parle de ce genre de trucs.
[^] # Re: Votre utilisation de l'outil actuellement
Posté par thoasm . En réponse au journal Dans 3 jours, les 10 ans de wikipedia.. Évalué à 4.
Après je cache pas que ce qui m'intéresse particulièrement là maintenant c'est plus le résultat final et comment l'encyclopédie est perçue que le côté "cuisine interne" de wikipedia. Je dis pas ça pour dévaloriser la contribution à wikipedia, je participe moi même à tout ça, mais à priori ce sont des moyens pour atteindre un but, pas le but en soi.
Mais effectivement, on pourrait rajouter des trucs pour les contributeurs : comment vivez vous votre implication au quotidien, quelles sont les tâches à accomplir aujourd'hui, celles que vous accomplissez.
Et pour les nons contributeurs, comment la communauté wikipedia est perçue de l'extérieur.
[^] # Re: Lapin compris
Posté par thoasm . En réponse à la dépêche Plusieurs projets sémantiques incubés chez Apache. Évalué à 6.
Par exemple un des lien formel qui peut exister c'est le lien entre un document et son ou ses auteurs. Dans le cas ou tu cherche un document écrit par un auteur particulier, tu pourrait faire une requête du style "je cherche sur le web tous les document qu'a écrit cet auteur", sachant que l'auteur formel tu le connais par un de ses documents, ou tu peux le retrouver à partir de son nom.
Tu peux aussi faire des trucs plus évolués, par exemple, si tu cherches de la documentation, mettons sur une RFC qui parle du protocole http, et que tu cherche d'autre type de doc comme un tutoriel ou des exemples, en admettant que les concepts de tutoriel ou d'exemple ayant pour sujets le même que ta RFC, tu peux faire une requête assez précise.
Mais ça suppose que le web soit un peu plus organisé que des mots "à plat" comme actuellement.
D'ou les outils qui permettent d'essayer d'extraire automatiquement ce type d'info (c'est relativement jouable pour l'auteur, un peu plus dur pour détecter que c'est un tutoriel ou une doc de ref, et encore plus dur de dire que le tutoriel et la doc de ref portent sur le même sujet).
L'autre alternative c'est que les données soient générées à la création des documents, ce qui est jouable à condition que ça fasse pas chier l'auteur, donc que les outils soient adaptés.
Pour les auteurs c'est souvent dans les meta données des documents genre traitement de texte ou bloggeur, pour les sujets tu as des tags sur les posts de blogs, pour ce qui existe déja, mais c'est pas forcément très standardisé actuellement, ni accessibles dans les langages formels du w3c.
[^] # Re: Les chats, c'est vraiment des branleurs.
Posté par thoasm . En réponse au journal Revendication pour un net viable par le CCC. Évalué à 3.
[^] # Re: Le compte est bon !
Posté par thoasm . En réponse au journal Vous savez, là, HADOPI… Ah bon vous ne savez pas ?. Évalué à 3.
[^] # Re: "pour la première fois"
Posté par thoasm . En réponse au journal L'expérience .42 - Un TLD hors de la tutelle de l'ICANN. Évalué à 3.
Et c'est bien là le problème, à mon humble avis, comment élargir le public ? Les geeks, surtout les libristes, sont déja pas mal au courant de comment fonctionne l'ICANN.
[^] # Re: "pour la première fois"
Posté par thoasm . En réponse au journal L'expérience .42 - Un TLD hors de la tutelle de l'ICANN. Évalué à 5.
En bref, en fait de démocratisation, ça risque d'être un TLD fait par et pour des geeks, dans le contenu et dans les faits ...