Y a-t-il des profils/sessions ? Aujourdhui, je travaille sur tel projet, donc je veux tel état immédiatement. Demain, je serai de retour sur un autre projet, donc je veux pas devoir tout lui réapprendre et être directement avec des scores adaptés.
Un journaliste qui a de la culture générale, c'est comme un footballeur avec un doctorat de philosophie…
Faudrait vraiment être con pour dire "tiens, et si je devenais journaliste ?". Si encore y avait un diplôme "idiot du village", on pourrait appeler un chat un chat, et tout le monde saurait interpréter correctement les dires de ces abrutis… J'en viens même à trouver le salaire des footballers justifié: eux au moins, ils donnent l'impression de faire des efforts (physiques, certes)…
C'était sans doute mieux avant. Mais aujourd'hui, les narrateurs sont les doubleurs des feux de l'amour, et les rédacteurs ont tous échoué au brevet des collèges.
Idéalement:
- tu n'aurais pas à convertir car ton document serait déjà dans un format standard.
- la conversion serait gratuite grace à une représentation uniforme du document en mémoire
- mettre 20s pour convertir un document mériterait sérieusement de réécrire l'algo (cela dit, mon OOo sur un P4 1.8Ghz met dans les 10s ou 15s à démarrer. Je testerai MS-Office sous wine si je trouve une version à emprunter…)
Le temps de boot est un point positif quand on est obligé de se taper l'utilisation d'un criss de traitement de texte (libre ou non, peu importe). C'est déjà insupportable en soi, alors si en plus faut attendre que monsieur ait fini de se charger et de calculer Ack(5,5), merci non…
> Je peux te sortir une liste de gens sur ce site, qui sont loin d'etre des fans de MS qui disent clairement que oui Office est meilleur qu'OOo , ca veut pas dire qu'ils vont acheter Office demain, ni qu'ils n'utilisent pas OOo.
Moi moi moi !
Après un journal (très moinssé) contre OOwriter, je me plains aujourd'hui des parties "presentation", "draw", et "charts"… L'un me fait souvent des puces pas indentées et pas alignées (pour une même profondeur), me redimensionne des objets et m'empêche de les redimmensionner ensuite… l'autre me fait des boites avec des dimensions précises au centimètre près, et le dernier est infoutu de me faire une échelle logarithmique ou de me tronquer des valeurs…
Alors, oui, patch, utilise pas si t'es pas content, etc, etc.
Mais en répandant OOo, vous répandez aussi mes problèmes.
J'ai laissé tomber Latex+Beamer ce mois-ci pour faire une présentation, et je morfle avec cet OOo… Heureusement, je n'ai pas à utiliser OOwriter (car là, hors de question d'abandonner Latex).
Tout ça pour dire qu'OOo, c'est pas pire, loin de là. Mais ça reste toujours aussi agréable à utiliser qu'une rape à fromage pour se faire masser. Je n'ai pas utilisé MsOffice2007, mais (à l'époque, pour mes besoins) la version 97 (98?) répondait à mes besoins, et rien qu'elle me soulagerait…
Je ne suis pas juriste non plus mais, si moi, client, je sais que je passe par eux et je connais les conditions, je ne me sens pas fraudé.
Et comme c'est bidirectionnel, je dois pouvoir répondre à la place de mon partenaire en disant "rien de ce que j'ai reçu n'était contraire à ma volonté ou mes attentes."
Donc je dis "pas de fraude en entrée, pas de fraude en sortie" -> pas de fraude tout court.
Sinon quoi, je pourrais (si j'étais client) porter plainte contre Free, Wanadoo ou autre car je considère que je ne voulais *pas* que leur routeur/box accède à mes communications, et ce de manière opaque qui plus est, car j'ai pas le code source, non ?
Et aussi, quand je reboote la box, les condensateurs ont encore de l'information valide, et je peux de nouveau porter plainte car j'avais éteint "en croyant qu'il n'allait pas maintenir les données".
Bref, le chat, c'est du P2P, donc je passe par où je veux, sans que les passerelles n'aient à me craindre. Cela étant, j'ai pas lu les CGU d' MSN (me faut-il acheter quoi que ce soit pour les lire ?)
Je serais curieux de voir ce que ça donne avec un bon JIT vers un langage de programmation (par opposition à la va-vite avec un langage de scripting) comme http://www.vlam.ca/compyle
Pour troller un bon dernier coup, je crois qu'il y a encore trop peu de langages qui offrent la facilité du scripting avec l'efficacité. Alors qu'on était conscient dès le début qu'un programme Perl ne serait pas une formule 1, j'ai l'impression qu'aujourd'hui les gens se plaignent que leur Ruby ou Python soit trop lent, et qu'ils ne se sont jamais rendu compte que c'est leur cerveau qui a été trop lent lors du choix du langage¹
¹: j'opte toujours pour le langage adapté au problème ; je crois que j'y gagne plutôt qu'à utiliser le même tout le temps "parceque c'est le meilleur".
bind a pour type
bind :: monade a -> (a -> monade b) -> monade b
C'est a dire que ca prend un objet dans sa monade et une fonction qui sait manipuler l'objet et le mettre dans une boite. Et ca retourne l'objet modifié dans la boite.
return a pour type
return :: a -> monade a
Ca prend un objet, ca le met dans la boite.
Pour manipuler un objet dans une monade (dans une boite), t'es *obligé* de passer par bind, sinon ca type pas.
Et c'est tout, en fait…
Exemple: j'ai une boite avec un nombre, et je veux incrémenter le nombre:
-- le nombre
n = 41
-- le nombre dans sa boite
nDansUneBoite = return n
-- la fonction qui incrémente
incremente x = x+1
-- incremente nDansUneBoite
-- ca marche pas ! incrémente ne manipule pas des boites !
-- faut utiliser bind pour que ca type bien
-- incrementeDansUneBoite xDansUneBoite = bind xDansUneBoite incremente
-- zut ! incremente a pas le bon type, ca doit rendre une boite !
incrementeDansUneBoite xDansUneBoite = bind xDansUneBoite (\x -> return (incremente x))
Ca y est !
Tout ce que j'ai fait, c'est faire en sorte que ca type.
Ici, ma boite est une simple boite, mais on peut en fait *embarquer* plein de calculs dans la boite qui se feront quand la boite sera passée a bind. Par exemple, elle peut garder 2 valeurs et s'utiliser comme buffer (et elle te filera la valeur du tour d'avant), ou alors stocker plein de valeurs (et représenter une liste), etc, etc.
C'est vraiment une interface, et le code derrière, tu fais ce que tu veux. Mais c'est bien (tm) car *beaucoup* de concepts collent à cette interface, et on peut les combiner…
Euh, y a *rien* de dur avec les monades en haskell pour le coup.
La théorie derrière est pas fastoche, certes, mais dans la pratique, c'est juste une factorisation de code. Un design pattern, mais qui sert à rendre le code effectivement plus simple, concis, agréable…
Si tu comprends pas les monades en haskell, c'est juste que tu n'est pas fait pour les langages statiquement et fortement typés (car en pratique, si tu comprend le type des 2 fonctions "return" et "bind", ça va tout seul après…)
Ouais, je crois qu'elle va remplacer ma chère kaiska cette CSS…
Je ne me souviens plus, elles sont accessibles à long terme les CSS événementielles?
Je crois qu'elles sont mélangées avec les "usuelles". Ca pourrait valoir le coup de les séparer (sur 2 colonnes); les normales et les surprises.
Puis, tant qu'à faire, une capture d'écrans…
Bon, j'ai compris ce qu'il me reste à faire. Un rapport de bug, et un patch…
Ouais, enfin Haskell, je lis beaucoup d'âneries dessus…
Du code efficace en haskell, c'est loin d'être facile à écrire. Les programmes sur alioth sont souvent imbitables et super bas-niveau… Je code en OCaml et haskell depuis pas mal de temps, et même si GHC s'améliore sans cesse, je crois un bon programme haskell n'est pas à la portée du premier venu… Il sera certes pas dramatiquement lent, mais bien plus toutefois que l'on croyait, à cause de la paresse du langage qui va accumuler des données qu'il pourrait réduire comme on s'y attendait… (à tel point qu'il y a des fonctions pures non paresseuses fournies comme foldl'…)
Il manque surtout le côté aléatoire de l'échantillon…
Linuxquestions, ça fait peu de BSDiste, de windowsiens, et encore moins de "je me fous de l'OS".
Je serais plus tenté par ce sondage auprès des lecteurs de Lambda The Ultimate. Au moins, je me dirais que les gars savent pourquoi ils votent pour tel ou tel langage (en dépit du biais usuel genre "et en plus, je fais un doctorat sur telle propriété de ce langage")
Je ne suis pas sûr que l'âge d'un langage justifie le passage outre l'effet de mode.
Certes, python est vieux (1991 d'après wp), mais j'ai l'impression qu'il est célèbre et répandu depuis, disons, 5 ans ? J'ai connu Ruby avant, par exemple (avec un vieux GLMF).
J'ai un peu cette image de "Python c'est mieux car"
- C'est objet
- L'indentation ca limite les bugs
- Contrairement à Perl, j'arrive à lire du code
Ce à quoi je suis tenté de répondre
- et si j'aime pas *cette* approche de l'objet ? Je veux (ou pas) héritage multiple, multiple dispatch…
- Les parenthèses aussi, et en plus ça détermine l'indentation
- Pour lire Perl, faudrait l'apprendre aussi, avant d'en dire du mal comme ça.
Je trolle pas mal langage, et je reste persuadé que beaucoup de gens choisissent Python, Ruby, autre… avec de faux arguments. Souvent, le choix du langage pour ses facilités devrait se tourner vers Perl (facilité de traitement) ou Scheme (facilité de prise en main et d'extensibilité).
Si encore tu disais "J'aime python, car toutes les libs dont j'ai besoin sont déjà là", ca ferait sérieux. Mais sur le langage lui même, non, faut pas pousser. Pas de quoi casser trois pattes à un canard.
Ceci étant, il est probable que Python ne fasse que commencer son ascension ; après tout, java a bien percé lui aussi…
Allez, deux/trois petits rappels qui payent pas de mine:
!! : la dernière commande
!$ : le dernier paramètre de la commande précédente
!f : la dernière commande de l'historique qui commence par f
Et sinon, je propose (comme d'autres) à chacun de lire un peu les pages info de son shell pour découvrir des trucs géniaux (ou alors d'installer zsh si y a justement pas de trucs géniaux).
J'avais pas remarqué que tu t'étais répondu.
Bon, la théorie qui s'applique à elle même, c'est une démarche co-inductive, mais pas forcément inutile.
Si on omet le spi-calcul dont tu parles (pour les protocoles cryptographiques), sache que les techniques de preuves d'equivalence dans le pi-calcul (et CCS avant), les bisimulations (quis sont construites par co-induction justement), sont utilisées aussi pour prouver l'intégrité de programmes au sens cryptographique, mais aussi l'equivalence de deux programmes (l'un optimisé l'autre non), ou encore te garantir qu'un programme marchera sur ton linux comme sur mon BSD (par des preuves de congruence). Et ces techniques de preuves découvertes grace aux "calculs de processus" s'appliquent aussi au lambda-calcul et à des languages de plus haut-niveau (genre haskell).
Je crois vraiment qu'on retouche terre. Pas tout le temps, certes. Puis tous les chercheurs ne sont pas d'excellents génies, donc t'as des publis moins bien que d'autres (et des gars qui *veulent* prouver leur conjecture dont on sait qu'elle ne mène à rien).
Pour moi, le PI calcul (avec ses variantes) est un modèle, et il y a encore pas mal à y étudier. Il y a beaucoup de demande ces temps-ci, car justement, ca modélise vachement bien des trucs en biologie et pas mal de bio-informaticiens ou simple biologistes s'y mettent. J'ai pas plus de détails car c'est pas mon trip…
Enfin, une invitation récente que j'ai reçue par une ML à laquelle je suis abonné:
** CMSB 2009
** The 7th Conference on Computational Methods in Systems Biology
** http://cmsb09.cs.unibo.it/
The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists (from fields such as language design, concurrency theory, program verification) with molecular biologists, physicians and neuroscientists interested in a systems-level understanding of cellular physiology and pathology.
J'étais loin de penser à ça quand j'étudiais le PI-calcul en classe…
en mode normal, j'ai mappé "hjkl" sur "tsrn" et inversement. Le reste, j'ai gardé de base.
J'ai aussi mappé en mode commande W sur w! et Q sur qa! ce qui permet de gagner un peu de temps.
Je pense que je vais utilser les touches "pas gwerty" comme "éè«»" pour mapper dessus d'autres raccourcis.
En tout cas, garder la position hjkl est le plus important.
Ensuite, je ne sais pas si vim (ou son utilisateur) a plutôt intérêt à être consistant et mapper telle commande sur telle touche (azerty vs qwerty), ou à être consistant et mapper telle commande à telles position du clavier ("azerty over bépo")
Le pi-calcul, c'est un modèle, pas un langage de prog. Comme le lambda-calcul. Certes, c'est Turing-complet, mais l'intéret est pas de faire des programmes mais de comprendre la sémantiques de langages, pratiques eux, qui reposent sur ces concepts.
Ensuite de quoi, il y a deux niveaux de théorie: celle qui s'applique à la pratique et qui te semble justifiée, et celle dont les résultats s'appliquent à leur tour à la théorie, que tu appelles (à tort) un échec.
Je dis à tort, car l'étude du pi-calcul (et des nombreux autres modèles de la concurrence) ont apporté de nombreux résultats intéressants et utilisables dans la vie de tous les jours. Mais, encore une fois, force est de constater qu'ils ne sont pas à la portée de tout le monde. C'est un fait, et c'est comme ça.
Trod de gens considèrent les résultats en informatique (et en maths) comme "dûs". 1+1=2 "bah oui". Et bien non, pas "bah oui". (et pour la petite note, des algèbres simples comme ça (groupes, idéaux, etc), ca s'utilise en info aussi, sauf qu'on a des programmes entiers à la place des nombres…)
Autant les pros ne se plaignent pas, autant je pense que ceux qui visent la recherche ne demandent pas mieux que plus de théorie et de pédagogie plus tôt. C'est malheuresement pas 4 mois de cours et un stage qui t'apprennent bien la rédaction d'articles, la lecture (!!) d'articles, qui te font apprendre en détail des théories poussées (qu'on n'a pas vu avant car les cours étaient communs avec les pros)…
Bon après, j'ai toujours le biais de l'informatique.
Je crois en efeet pertinemment qu'un M2 pro en physique est bien plus balèze qu'un pro en info… mais sans doute est-ce parceque la physique, j'avais du mal…
Toujours est-il que, quand tu commences un doctorat en France, t'es pas super formé (et tu passes ta première année sur internet ou dans les bars…)
Au US et Japon, le doctorat, donc la recherche, c'est la suite d'une licence, et pas un nouveau truc après un master (même si on peut s'arrêter en cours de route et sortir avec un master). C'est la différence gradué/ sous-gradué. Et tu sens bien la différence car le gars a déja fait 2 ou 3 ans de recherche quand il commence son doctorat (comme on l'entend en France).
Je suis donc d'accord avec toi, mais je pose un bémol en disant que le M2 Recherche (ne) forme (pas assez) au métier de chercheur.
Une filière de merde, c'est une filière qui incite les étudiants à venir juste pour justifier la présence du prof.
Une filière de merde, c'est une filière qui te fait miroiter un emploi alors que tout le corps professoral est conscient qu'au plus un étudiant par promo aura un travail en relation avec sa formation (genre "DESS histoire de l'art qui commente dans les cars de touristes").
Une filière de merde c'est une filière où les gens vont "car ils ont le droit", mais dont ces même gens, 10 ans plus tard, disent que c'est la faute du gouverenement (quel qu'il soit) s'ils n'ont pas de travail. Car en effet, un filière de merde ne te dis *jamais* qu'elle ne te refile aucun outil pour ton intégration dans la vie active.
Enfin, une filière de merde, c'est une filière défendue par des lycéens qui rèvent d'y aller sans même savoir ce que c'est.
La filière pas de merde, quand tu y rentres, t'es vite fixé sur ce qui t'attend après…
Et je sais de quoi je parle, j'ai fait une filière de merde, mais contrairement aux autres étudiants là bas, j'ai fait un double cursus (en fait plusieurs, même) avec des filières pas de merde, et dans plusieurs pays. Et aujourd'hui, je suis dans la recherche. Et je regrette que la fac ait un niveau de merde (faudrait déjà qu'elle arrête d'accepter tous les bacheliers…)
Alors, selon moi, deux solutions:
1/ On ferme la section ou on fait sélection à l'entrée pour former des gens qui veulent non pas profiter bètement, mais s'investir après une réflexion mûre. L'année propédeutique me semble obligatoire en tout cas. "Tout le monde a le droit d'essayer, mais on ne peut pas forcer la nature et ralentir les autres si t'es une brêle (et une conne, car t'insiste pour faire chier les autres au lieu de t'acheter un bouquin et de retenter plus tard)."
2/ On laisse ouvert à tout le monde, on supprime les exams, et on fait PETER le niveau vers le haut \o/. Moi ça me convient, j'ai majoré sans rien glander. Alors si le diplôme ne vaut plus rien, au moins j'aurais des compétences que vraiment peu auront (déja qu'ils sont pas nombreux) et ça sera encore mieux pour moi, et pire pour eux (« bien fait », donc.)
Soyons clairs, je ne dénigre pas l'enseignement de la théorie abstruse à l'université (c'est mon domaine justement). Je dénigre les connivences internes de pas mal de départements non scientifiques, et la connerie/naïveté/candeur/politisation de nombre de leurs étudiants.
Je ne me plaindrais pas ainsi si ces mêmes étudiants faisaient un BTS avant ou après (ou mieux, pendant).
PS: y'avait épistémologie en DEUG1 dans ma fac de sciences, et "sciences et techniques" au même niveau de ma fac de lettres (mais c'était pas scientifique pour deux sous).
PS2: c'est toujours un commentaire extrême et vulgaire, mais il résume pas trop mal ma définition de "filière de merde" comme tu le demandais.
Le logiciel libre de merde, personne l'utilise, et personne ne se plaint qu'il disparaisse. C'est aussi la notion de concurrence. Je suis pas content, alors je code le mien ou j'en utilise un autre. À part peut-être (et même "sans doute") son développeur, personne ne délplorera la disparition de Kaka ou Gpasdinteret. C'est la vie.
Inversement, des filières de merde, que personne n'utilise, branle-bas de combat ! C'est la liberté qu'on assassine. Et là, c'est le prof qui donne le cours qui s'en plaint (et ses camarades qui le soutienne, car il est drôle et sympa quand on va à la cafète).
Mettre LL et départements sous la même bannière, c'est ridicule, et ça donne du poids (en apparence) à ceux qui ne devraient pas. Comme pour les LL, les filières de merdes devraient soit fermer, soit forker en quelque chose de complet, exigent, avec de la valeur ajouté. Alors, certains crieront au scandale assassino-despotico-totalitaro-liberticido-nazi, avec leurs tshirts à l'effigie d'un (vrai) assassin en noir sur fond rouge. Mais cette révolution de l'université, servira à ceux qui échapperont à ces enseignements sans débouchés, au lieu de l'actuel système népotique qui dessert les actuels étudiants (dont facilement 90% sont en pleine illusion sur la fac).
Bref, je regrette l'ajout du LL à cette cause stupide qui vise à promouvoir l'abrutissement des générations futures en refusant d'ouvrir les yeux
Le comportement le l'UPMF, lui, est plus qu'appréciable d'autant plus qu'il semble indépendant des événements sus-cités, et réfléchi, avec un constat des bienfaits du LL.
--
Nota: je viens du système universitaire, et j'y suis encore pour longtemps. Ca me concerne aussi.
T'es académique, tu devrais savoir qu'il y des gens qui planchent sur ces travaux depuis avant la naissance des créateurs de PHP et RoR.
Le problème et la solution ne sont pas dans les langages (Erlang, mais avant encore, Multilisp), mais bien dans l'industrie qui n'a rien du tout à foutre des progrès de la recherche. Et c'est pas seulement la faute du département marketing qui serait bien incapable de lire ne serait-ce qu'un abstract d'une publication potable, mais aussi de l'inertie délétère de ces sociétés (entreprises) qui refusent de faire des choix éthiques et moraux, au regard de l'avenir de la société (humaine, cette fois).
Et c'est aussi, selon moi, la faute de la banalisation de l'informatique. On laisse n'importe qui en faire et obtenir un diplôme, et 5 ans plus tard, le gars est chef de projet. C'est foupoudav là… Des formation courtes de techniciens (qui sont techniques) au longues d'ingénieurs (qui peuvent ensuite apprendre une fois employés), aucune ne donne de vision des problèmes de l'informatique. Et pire, ni les uns ni les autres ne vont en fait approfondir et aller fouiller dans les publications scientifiques, parfois vieilles de 10 ou 20 ans, pour trouver la solution qui existe. A la place, les uns vont demander aux autres de coder de la merde car de toute façon, faudra tout récrire dans 5 ans, alors la bonne solution, hein…
Bref. Je milite pour la reconnaissance de l'informatique comme d'une science à l'instar des maths, et pour qu'on scinde clairement les domaines et compétences de ce fourre-tout afin qu'on ait enfin des bons choix faits par les bonnes personnes (et que ma grand-mère arrête de me téléphoner quand son ordi tombe en panne)
--
pas de troll dans le message ci-dessus. Juste de l'exaspération, et un peu d'extrème (car tout le monde sait que PHP n'a pas été créé. C'est une abomination apparue spontanément. Quel humain voudrait un tel langage ?)
Bienvenue dans le monde des gens qui auraient du prendre des précautions avec leur ordi (j'en fais partie).
Pour ma part,
Hardware:
- clavier kinesis advantage (pour l'instant, un seul, donc je voyage avec tous les jours)
- tablette graphique Wacom Bamboo A6. Le paradis !! Ca remplace ma souris tellement bien ! Plus aucune douleur ! (et faut la prendre petite, genre A6, sinon quoi elle passe trop loin du clavier)
Je projette d'acheter en double ce matériel pour en avoir au lab et à la maison… C'est pas que le clavier est gros, mais…
Software:
- bépo lègèrement modifié pour le kinesis qui a un layout bizarre
- tiling manager (wmii et xmonad) pour ne pas utiliser la souris
- xwrits pour faire des pauses de 10 minutes toutes les 50 minutes
- vimperator pour le web et vim pour le code (avec un remapping pour le bépo, et les directions sur les touches de repos, à savoir "tsrn".) (pour l'anecdote, je suis sous vim depuis plus de 10 ans, et 3 semaines de Lisp avec emacs m'ont causé(?) le TMS.)
Continue à propager la bonne parole des bonnes habitudes!
[^] # Re: Flemme de lire le code source
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Autojump - avec l'auto-complétion maintenant!. Évalué à 2.
for i in `ls *`: do echo $i; done
ça compte pour 1 ?
Y a-t-il des profils/sessions ? Aujourdhui, je travaille sur tel projet, donc je veux tel état immédiatement. Demain, je serai de retour sur un autre projet, donc je veux pas devoir tout lui réapprendre et être directement avec des scores adaptés.
# - soit il y a comme un problème de culture générale
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Gloire aux journalistes. Évalué à 1.
Faudrait vraiment être con pour dire "tiens, et si je devenais journaliste ?". Si encore y avait un diplôme "idiot du village", on pourrait appeler un chat un chat, et tout le monde saurait interpréter correctement les dires de ces abrutis… J'en viens même à trouver le salaire des footballers justifié: eux au moins, ils donnent l'impression de faire des efforts (physiques, certes)…
C'était sans doute mieux avant. Mais aujourd'hui, les narrateurs sont les doubleurs des feux de l'amour, et les rédacteurs ont tous échoué au brevet des collèges.
[^] # Re: Le probleme
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Microsoft, marketing et éducation. Évalué à 2.
- tu n'aurais pas à convertir car ton document serait déjà dans un format standard.
- la conversion serait gratuite grace à une représentation uniforme du document en mémoire
- mettre 20s pour convertir un document mériterait sérieusement de réécrire l'algo (cela dit, mon OOo sur un P4 1.8Ghz met dans les 10s ou 15s à démarrer. Je testerai MS-Office sous wine si je trouve une version à emprunter…)
Le temps de boot est un point positif quand on est obligé de se taper l'utilisation d'un criss de traitement de texte (libre ou non, peu importe). C'est déjà insupportable en soi, alors si en plus faut attendre que monsieur ait fini de se charger et de calculer Ack(5,5), merci non…
[^] # Re: Le probleme
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Microsoft, marketing et éducation. Évalué à 5.
Moi moi moi !
Après un journal (très moinssé) contre OOwriter, je me plains aujourd'hui des parties "presentation", "draw", et "charts"… L'un me fait souvent des puces pas indentées et pas alignées (pour une même profondeur), me redimensionne des objets et m'empêche de les redimmensionner ensuite… l'autre me fait des boites avec des dimensions précises au centimètre près, et le dernier est infoutu de me faire une échelle logarithmique ou de me tronquer des valeurs…
Alors, oui, patch, utilise pas si t'es pas content, etc, etc.
Mais en répandant OOo, vous répandez aussi mes problèmes.
J'ai laissé tomber Latex+Beamer ce mois-ci pour faire une présentation, et je morfle avec cet OOo… Heureusement, je n'ai pas à utiliser OOwriter (car là, hors de question d'abandonner Latex).
Tout ça pour dire qu'OOo, c'est pas pire, loin de là. Mais ça reste toujours aussi agréable à utiliser qu'une rape à fromage pour se faire masser. Je n'ai pas utilisé MsOffice2007, mais (à l'époque, pour mes besoins) la version 97 (98?) répondait à mes besoins, et rien qu'elle me soulagerait…
[^] # Re: Que va-t-il rester à Jabber et la centralisation des protocoles?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal L'APINC ferme les passerelles Jabber/XMPP vers les systèmes d'IM proprios. Évalué à -1.
Et comme c'est bidirectionnel, je dois pouvoir répondre à la place de mon partenaire en disant "rien de ce que j'ai reçu n'était contraire à ma volonté ou mes attentes."
Donc je dis "pas de fraude en entrée, pas de fraude en sortie" -> pas de fraude tout court.
Sinon quoi, je pourrais (si j'étais client) porter plainte contre Free, Wanadoo ou autre car je considère que je ne voulais *pas* que leur routeur/box accède à mes communications, et ce de manière opaque qui plus est, car j'ai pas le code source, non ?
Et aussi, quand je reboote la box, les condensateurs ont encore de l'information valide, et je peux de nouveau porter plainte car j'avais éteint "en croyant qu'il n'allait pas maintenir les données".
Bref, le chat, c'est du P2P, donc je passe par où je veux, sans que les passerelles n'aient à me craindre. Cela étant, j'ai pas lu les CGU d' MSN (me faut-il acheter quoi que ce soit pour les lire ?)
[^] # Re: Que va-t-il rester à Jabber et la centralisation des protocoles?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal L'APINC ferme les passerelles Jabber/XMPP vers les systèmes d'IM proprios. Évalué à 2.
Pour troller un bon dernier coup, je crois qu'il y a encore trop peu de langages qui offrent la facilité du scripting avec l'efficacité. Alors qu'on était conscient dès le début qu'un programme Perl ne serait pas une formule 1, j'ai l'impression qu'aujourd'hui les gens se plaignent que leur Ruby ou Python soit trop lent, et qu'ils ne se sont jamais rendu compte que c'est leur cerveau qui a été trop lent lors du choix du langage¹
¹: j'opte toujours pour le langage adapté au problème ; je crois que j'y gagne plutôt qu'à utiliser le même tout le temps "parceque c'est le meilleur".
[^] # Re: Effet de mode
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Python, langage de l'année pour la seconde année consécutive. Évalué à 3.
bind a pour type
bind :: monade a -> (a -> monade b) -> monade b
C'est a dire que ca prend un objet dans sa monade et une fonction qui sait manipuler l'objet et le mettre dans une boite. Et ca retourne l'objet modifié dans la boite.
return a pour type
return :: a -> monade a
Ca prend un objet, ca le met dans la boite.
Pour manipuler un objet dans une monade (dans une boite), t'es *obligé* de passer par bind, sinon ca type pas.
Et c'est tout, en fait…
Exemple: j'ai une boite avec un nombre, et je veux incrémenter le nombre:
-- le nombre
n = 41
-- le nombre dans sa boite
nDansUneBoite = return n
-- la fonction qui incrémente
incremente x = x+1
-- incremente nDansUneBoite
-- ca marche pas ! incrémente ne manipule pas des boites !
-- faut utiliser bind pour que ca type bien
-- incrementeDansUneBoite xDansUneBoite = bind xDansUneBoite incremente
-- zut ! incremente a pas le bon type, ca doit rendre une boite !
incrementeDansUneBoite xDansUneBoite = bind xDansUneBoite (\x -> return (incremente x))
Ca y est !
Tout ce que j'ai fait, c'est faire en sorte que ca type.
Ici, ma boite est une simple boite, mais on peut en fait *embarquer* plein de calculs dans la boite qui se feront quand la boite sera passée a bind. Par exemple, elle peut garder 2 valeurs et s'utiliser comme buffer (et elle te filera la valeur du tour d'avant), ou alors stocker plein de valeurs (et représenter une liste), etc, etc.
C'est vraiment une interface, et le code derrière, tu fais ce que tu veux. Mais c'est bien (tm) car *beaucoup* de concepts collent à cette interface, et on peut les combiner…
[^] # Re: Effet de mode
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Python, langage de l'année pour la seconde année consécutive. Évalué à 1.
La théorie derrière est pas fastoche, certes, mais dans la pratique, c'est juste une factorisation de code. Un design pattern, mais qui sert à rendre le code effectivement plus simple, concis, agréable…
Si tu comprends pas les monades en haskell, c'est juste que tu n'est pas fait pour les langages statiquement et fortement typés (car en pratique, si tu comprend le type des 2 fonctions "return" et "bind", ça va tout seul après…)
[^] # Re: ENFIN ...
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Debian GNU/Linux 5.0 : Lenny. Évalué à 3.
Je ne me souviens plus, elles sont accessibles à long terme les CSS événementielles?
Je crois qu'elles sont mélangées avec les "usuelles". Ca pourrait valoir le coup de les séparer (sur 2 colonnes); les normales et les surprises.
Puis, tant qu'à faire, une capture d'écrans…
Bon, j'ai compris ce qu'il me reste à faire. Un rapport de bug, et un patch…
[^] # Re: Effet de mode
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Python, langage de l'année pour la seconde année consécutive. Évalué à 5.
Du code efficace en haskell, c'est loin d'être facile à écrire. Les programmes sur alioth sont souvent imbitables et super bas-niveau… Je code en OCaml et haskell depuis pas mal de temps, et même si GHC s'améliore sans cesse, je crois un bon programme haskell n'est pas à la portée du premier venu… Il sera certes pas dramatiquement lent, mais bien plus toutefois que l'on croyait, à cause de la paresse du langage qui va accumuler des données qu'il pourrait réduire comme on s'y attendait… (à tel point qu'il y a des fonctions pures non paresseuses fournies comme foldl'…)
[^] # Re: bonheur
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Python, langage de l'année pour la seconde année consécutive. Évalué à 3.
Linuxquestions, ça fait peu de BSDiste, de windowsiens, et encore moins de "je me fous de l'OS".
Je serais plus tenté par ce sondage auprès des lecteurs de Lambda The Ultimate. Au moins, je me dirais que les gars savent pourquoi ils votent pour tel ou tel langage (en dépit du biais usuel genre "et en plus, je fais un doctorat sur telle propriété de ce langage")
# Effet de mode
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Python, langage de l'année pour la seconde année consécutive. Évalué à 3.
Certes, python est vieux (1991 d'après wp), mais j'ai l'impression qu'il est célèbre et répandu depuis, disons, 5 ans ? J'ai connu Ruby avant, par exemple (avec un vieux GLMF).
J'ai un peu cette image de "Python c'est mieux car"
- C'est objet
- L'indentation ca limite les bugs
- Contrairement à Perl, j'arrive à lire du code
Ce à quoi je suis tenté de répondre
- et si j'aime pas *cette* approche de l'objet ? Je veux (ou pas) héritage multiple, multiple dispatch…
- Les parenthèses aussi, et en plus ça détermine l'indentation
- Pour lire Perl, faudrait l'apprendre aussi, avant d'en dire du mal comme ça.
Je trolle pas mal langage, et je reste persuadé que beaucoup de gens choisissent Python, Ruby, autre… avec de faux arguments. Souvent, le choix du langage pour ses facilités devrait se tourner vers Perl (facilité de traitement) ou Scheme (facilité de prise en main et d'extensibilité).
Si encore tu disais "J'aime python, car toutes les libs dont j'ai besoin sont déjà là", ca ferait sérieux. Mais sur le langage lui même, non, faut pas pousser. Pas de quoi casser trois pattes à un canard.
Ceci étant, il est probable que Python ne fasse que commencer son ascension ; après tout, java a bien percé lui aussi…
[^] # Re: Tant pis pour les décourageurs...
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Autojump : une manière plus rapide de naviguer dans le système de fichiers avec la ligne de commande. Évalué à -3.
Mal ?
Désolé, c'était trop tentant. :)
Allez, deux/trois petits rappels qui payent pas de mine:
!! : la dernière commande
!$ : le dernier paramètre de la commande précédente
!f : la dernière commande de l'historique qui commence par f
Et sinon, je propose (comme d'autres) à chacun de lire un peu les pages info de son shell pour découvrir des trucs géniaux (ou alors d'installer zsh si y a justement pas de trucs géniaux).
[^] # Re: Tu devrais savoir ça
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 1.
Erlang et le "message passing", c'est plus des Acteurs que du Pi-calcul, mais bon.
[^] # Re: Tu devrais savoir ça
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 2.
Bon, la théorie qui s'applique à elle même, c'est une démarche co-inductive, mais pas forcément inutile.
Si on omet le spi-calcul dont tu parles (pour les protocoles cryptographiques), sache que les techniques de preuves d'equivalence dans le pi-calcul (et CCS avant), les bisimulations (quis sont construites par co-induction justement), sont utilisées aussi pour prouver l'intégrité de programmes au sens cryptographique, mais aussi l'equivalence de deux programmes (l'un optimisé l'autre non), ou encore te garantir qu'un programme marchera sur ton linux comme sur mon BSD (par des preuves de congruence). Et ces techniques de preuves découvertes grace aux "calculs de processus" s'appliquent aussi au lambda-calcul et à des languages de plus haut-niveau (genre haskell).
Je crois vraiment qu'on retouche terre. Pas tout le temps, certes. Puis tous les chercheurs ne sont pas d'excellents génies, donc t'as des publis moins bien que d'autres (et des gars qui *veulent* prouver leur conjecture dont on sait qu'elle ne mène à rien).
Pour moi, le PI calcul (avec ses variantes) est un modèle, et il y a encore pas mal à y étudier. Il y a beaucoup de demande ces temps-ci, car justement, ca modélise vachement bien des trucs en biologie et pas mal de bio-informaticiens ou simple biologistes s'y mettent. J'ai pas plus de détails car c'est pas mon trip…
Enfin, une invitation récente que j'ai reçue par une ML à laquelle je suis abonné:
** CMSB 2009
** The 7th Conference on Computational Methods in Systems Biology
** http://cmsb09.cs.unibo.it/
The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists (from fields such as language design, concurrency theory, program verification) with molecular biologists, physicians and neuroscientists interested in a systems-level understanding of cellular physiology and pathology.
J'étais loin de penser à ça quand j'étudiais le PI-calcul en classe…
[^] # Re: disposition clavier et élimination de la souris
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Santé et usage de l'ordinateur. Évalué à 2.
J'ai aussi mappé en mode commande W sur w! et Q sur qa! ce qui permet de gagner un peu de temps.
Je pense que je vais utilser les touches "pas gwerty" comme "éè«»" pour mapper dessus d'autres raccourcis.
En tout cas, garder la position hjkl est le plus important.
Ensuite, je ne sais pas si vim (ou son utilisateur) a plutôt intérêt à être consistant et mapper telle commande sur telle touche (azerty vs qwerty), ou à être consistant et mapper telle commande à telles position du clavier ("azerty over bépo")
[^] # Re: Tu devrais savoir ça
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 2.
Ensuite de quoi, il y a deux niveaux de théorie: celle qui s'applique à la pratique et qui te semble justifiée, et celle dont les résultats s'appliquent à leur tour à la théorie, que tu appelles (à tort) un échec.
Je dis à tort, car l'étude du pi-calcul (et des nombreux autres modèles de la concurrence) ont apporté de nombreux résultats intéressants et utilisables dans la vie de tous les jours. Mais, encore une fois, force est de constater qu'ils ne sont pas à la portée de tout le monde. C'est un fait, et c'est comme ça.
Trod de gens considèrent les résultats en informatique (et en maths) comme "dûs". 1+1=2 "bah oui". Et bien non, pas "bah oui". (et pour la petite note, des algèbres simples comme ça (groupes, idéaux, etc), ca s'utilise en info aussi, sauf qu'on a des programmes entiers à la place des nombres…)
[^] # Re: Tu devrais savoir ça
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 3.
[^] # Re: Oui mais
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche L'Université souhaite continuer à jouer un rôle actif dans l'écosystème du logiciel libre. Évalué à 4.
Bon après, j'ai toujours le biais de l'informatique.
Je crois en efeet pertinemment qu'un M2 pro en physique est bien plus balèze qu'un pro en info… mais sans doute est-ce parceque la physique, j'avais du mal…
Toujours est-il que, quand tu commences un doctorat en France, t'es pas super formé (et tu passes ta première année sur internet ou dans les bars…)
Au US et Japon, le doctorat, donc la recherche, c'est la suite d'une licence, et pas un nouveau truc après un master (même si on peut s'arrêter en cours de route et sortir avec un master). C'est la différence gradué/ sous-gradué. Et tu sens bien la différence car le gars a déja fait 2 ou 3 ans de recherche quand il commence son doctorat (comme on l'entend en France).
Je suis donc d'accord avec toi, mais je pose un bémol en disant que le M2 Recherche (ne) forme (pas assez) au métier de chercheur.
[^] # Re: Oui mais
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche L'Université souhaite continuer à jouer un rôle actif dans l'écosystème du logiciel libre. Évalué à 6.
Une filière de merde, c'est une filière qui te fait miroiter un emploi alors que tout le corps professoral est conscient qu'au plus un étudiant par promo aura un travail en relation avec sa formation (genre "DESS histoire de l'art qui commente dans les cars de touristes").
Une filière de merde c'est une filière où les gens vont "car ils ont le droit", mais dont ces même gens, 10 ans plus tard, disent que c'est la faute du gouverenement (quel qu'il soit) s'ils n'ont pas de travail. Car en effet, un filière de merde ne te dis *jamais* qu'elle ne te refile aucun outil pour ton intégration dans la vie active.
Enfin, une filière de merde, c'est une filière défendue par des lycéens qui rèvent d'y aller sans même savoir ce que c'est.
La filière pas de merde, quand tu y rentres, t'es vite fixé sur ce qui t'attend après…
Et je sais de quoi je parle, j'ai fait une filière de merde, mais contrairement aux autres étudiants là bas, j'ai fait un double cursus (en fait plusieurs, même) avec des filières pas de merde, et dans plusieurs pays. Et aujourd'hui, je suis dans la recherche. Et je regrette que la fac ait un niveau de merde (faudrait déjà qu'elle arrête d'accepter tous les bacheliers…)
Alors, selon moi, deux solutions:
1/ On ferme la section ou on fait sélection à l'entrée pour former des gens qui veulent non pas profiter bètement, mais s'investir après une réflexion mûre. L'année propédeutique me semble obligatoire en tout cas. "Tout le monde a le droit d'essayer, mais on ne peut pas forcer la nature et ralentir les autres si t'es une brêle (et une conne, car t'insiste pour faire chier les autres au lieu de t'acheter un bouquin et de retenter plus tard)."
2/ On laisse ouvert à tout le monde, on supprime les exams, et on fait PETER le niveau vers le haut \o/. Moi ça me convient, j'ai majoré sans rien glander. Alors si le diplôme ne vaut plus rien, au moins j'aurais des compétences que vraiment peu auront (déja qu'ils sont pas nombreux) et ça sera encore mieux pour moi, et pire pour eux (« bien fait », donc.)
Soyons clairs, je ne dénigre pas l'enseignement de la théorie abstruse à l'université (c'est mon domaine justement). Je dénigre les connivences internes de pas mal de départements non scientifiques, et la connerie/naïveté/candeur/politisation de nombre de leurs étudiants.
Je ne me plaindrais pas ainsi si ces mêmes étudiants faisaient un BTS avant ou après (ou mieux, pendant).
PS: y'avait épistémologie en DEUG1 dans ma fac de sciences, et "sciences et techniques" au même niveau de ma fac de lettres (mais c'était pas scientifique pour deux sous).
PS2: c'est toujours un commentaire extrême et vulgaire, mais il résume pas trop mal ma définition de "filière de merde" comme tu le demandais.
# Oui mais
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche L'Université souhaite continuer à jouer un rôle actif dans l'écosystème du logiciel libre. Évalué à 1.
Inversement, des filières de merde, que personne n'utilise, branle-bas de combat ! C'est la liberté qu'on assassine. Et là, c'est le prof qui donne le cours qui s'en plaint (et ses camarades qui le soutienne, car il est drôle et sympa quand on va à la cafète).
Mettre LL et départements sous la même bannière, c'est ridicule, et ça donne du poids (en apparence) à ceux qui ne devraient pas. Comme pour les LL, les filières de merdes devraient soit fermer, soit forker en quelque chose de complet, exigent, avec de la valeur ajouté. Alors, certains crieront au scandale assassino-despotico-totalitaro-liberticido-nazi, avec leurs tshirts à l'effigie d'un (vrai) assassin en noir sur fond rouge. Mais cette révolution de l'université, servira à ceux qui échapperont à ces enseignements sans débouchés, au lieu de l'actuel système népotique qui dessert les actuels étudiants (dont facilement 90% sont en pleine illusion sur la fac).
Bref, je regrette l'ajout du LL à cette cause stupide qui vise à promouvoir l'abrutissement des générations futures en refusant d'ouvrir les yeux
Le comportement le l'UPMF, lui, est plus qu'appréciable d'autant plus qu'il semble indépendant des événements sus-cités, et réfléchi, avec un constat des bienfaits du LL.
--
Nota: je viens du système universitaire, et j'y suis encore pour longtemps. Ca me concerne aussi.
[^] # Re: Intéressant !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Santé et usage de l'ordinateur. Évalué à 2.
[^] # Re: Bienvenue !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Santé et usage de l'ordinateur. Évalué à 2.
# Tu devrais savoir ça
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 9.
Le problème et la solution ne sont pas dans les langages (Erlang, mais avant encore, Multilisp), mais bien dans l'industrie qui n'a rien du tout à foutre des progrès de la recherche. Et c'est pas seulement la faute du département marketing qui serait bien incapable de lire ne serait-ce qu'un abstract d'une publication potable, mais aussi de l'inertie délétère de ces sociétés (entreprises) qui refusent de faire des choix éthiques et moraux, au regard de l'avenir de la société (humaine, cette fois).
Et c'est aussi, selon moi, la faute de la banalisation de l'informatique. On laisse n'importe qui en faire et obtenir un diplôme, et 5 ans plus tard, le gars est chef de projet. C'est foupoudav là… Des formation courtes de techniciens (qui sont techniques) au longues d'ingénieurs (qui peuvent ensuite apprendre une fois employés), aucune ne donne de vision des problèmes de l'informatique. Et pire, ni les uns ni les autres ne vont en fait approfondir et aller fouiller dans les publications scientifiques, parfois vieilles de 10 ou 20 ans, pour trouver la solution qui existe. A la place, les uns vont demander aux autres de coder de la merde car de toute façon, faudra tout récrire dans 5 ans, alors la bonne solution, hein…
Bref. Je milite pour la reconnaissance de l'informatique comme d'une science à l'instar des maths, et pour qu'on scinde clairement les domaines et compétences de ce fourre-tout afin qu'on ait enfin des bons choix faits par les bonnes personnes (et que ma grand-mère arrête de me téléphoner quand son ordi tombe en panne)
--
pas de troll dans le message ci-dessus. Juste de l'exaspération, et un peu d'extrème (car tout le monde sait que PHP n'a pas été créé. C'est une abomination apparue spontanément. Quel humain voudrait un tel langage ?)
# Bienvenue !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Santé et usage de l'ordinateur. Évalué à 2.
Pour ma part,
Hardware:
- clavier kinesis advantage (pour l'instant, un seul, donc je voyage avec tous les jours)
- tablette graphique Wacom Bamboo A6. Le paradis !! Ca remplace ma souris tellement bien ! Plus aucune douleur ! (et faut la prendre petite, genre A6, sinon quoi elle passe trop loin du clavier)
Je projette d'acheter en double ce matériel pour en avoir au lab et à la maison… C'est pas que le clavier est gros, mais…
Software:
- bépo lègèrement modifié pour le kinesis qui a un layout bizarre
- tiling manager (wmii et xmonad) pour ne pas utiliser la souris
- xwrits pour faire des pauses de 10 minutes toutes les 50 minutes
- vimperator pour le web et vim pour le code (avec un remapping pour le bépo, et les directions sur les touches de repos, à savoir "tsrn".) (pour l'anecdote, je suis sous vim depuis plus de 10 ans, et 3 semaines de Lisp avec emacs m'ont causé(?) le TMS.)
Continue à propager la bonne parole des bonnes habitudes!