태 a écrit 1743 commentaires

>> Le droit de reprise concerne la presse
et la télédiffusion. Pas internet.

J'aurais cru qu'internet c'était de la télédiffusion (diffusion à distance). Pour que ce soit de la télédiffusion, il faut que cela passe par les ondes hertziennes ? que le récepteur ait au plus 640 lignes ? que ce soit sur un media officiel avalisé par le ministère de la propagande ?

NB : wikipedia redirige télédiffusion vers télévision par satellite ! Ça veut dire que La chaine parlementaire n'a pas le droit de diffuser les débats par TNT ?

Ce que combattent les enseignants chercheurs n'est pas l'évaluation (nous sommes déjà évalués régulièrement de diverses façons), c'est la possibilité pour le président d'université de décider unilattéralement d'augmenter ou diminuer les services d'enseignements.

Cela dit, je suis personnellement pour la réforme du statut des enseignements chercheurs, à condition d'y mettre quelques gardes-fous pour éviter l'arbitraire. Entre autres, je suis pour parce qu'elle fera du bien à mon salaire, mais aussi parce qu'elle instaure des facilités. Il me semble que maintenant que la loi LRU est entrée en vigueur, ça n'a pas de sens de ne pas faire cette réforme. Par contre, j'étais fondamentalement contre la loi LRU...

> Le deuxième point important de la réforme est le fait que les recrutements ne se décideront plus à Paris mais au sein des universités.

Les recrutements se faisaient déjà de manière locale, avec un quota d'extérieurs dans la commission de spécialiste (quota qui augmente dans les comités de sélection nouvelle formule). Note, c'est la loi LRU qui a changé ce mode de recrutement (superficiellement, le seul véritable changement est que schématiquement, le président d'université peut nommer qui il veut indépendamment de ce que dit la CS). La réforme actuellement en cause n'y change rien.

> quid du PDF ? je ne veux pas de DVI, latex2pdf marchera-t-il ?

Pas latex2pdf, juste pdftex. le pdf est depuis quelques années le format destination par défaut.

> intégrer le résultat généré dans une appli Qt ? Qt ne peux lire le DVI ou le PDF...

D'où ton choix pour le html ?

> génération rapide du rapport. Même si le résultat actuel de mon soft est pas aussi rapide que je l'espérait, c'est tout de même mille fois plus rapide qu'une génération LaTeX.

Oui, LaTeX est lent. Je ne sais pas si du tex pur l'est moins, mais ça vaudrait le coup de tester.

> Une génération quasi immédiate me permettrai d'avoir un apperçu en temps réel du rapport (en faisant tourner la génération dans un thread à part). Chose qui manque cruellement à LaTeX.

Si texmacs arrive à le faire, c'est que c'est possible. Sinon, tu peux regarder TeXworks qui pourrait devenir la meilleure façon de faire du TeX.

> utiliser les fonts standards du système. Ne pas avoir a installer tout un tas de font METAFONT.

Regarde Context, c'est le LaTeX du futur, et il sait utiliser les polices du système.

> Je force de plus l'utilisation d'UTF8. Quid d'UTF-8?

Pas de problème. Et LaTeX supporte plusieurs jeux de caractères, pas uniquement utf-8...

> Ajout de portion HTML. HeVEA me permet d'ajouter de l'HTML (\html) ce qui me permet de mettre du code avec coloration syntaxique (kate permet un export html). Et ça, j'en ai parfois besoin dans mes rapports.

Il y a divers trucs pour insérer du code colorié dans LaTeX, et pas juste du html. Par exemple, python-pygments peut te produire une sortie TeX.

> support de tous les formats d'images? quid du SVG (auquel j'attache particulièrement d'importance) ?

Tous non, mais tout de même png, jpg, mais aussi pdf, eps, mps. Il y a aussi des environnement de "dessin" évolué (pgf/TikZ)

> Qt me permet à terme de faire des rapports multimedia (avec control, style bouton/tab widget/etc..., et son/video dedans). A voir si cela peut-être utile.

Ah, pour la vidéo, c'est un problème, seul acroread sait lire les pdf ayant des bouts de video dedans. Cependant, LaTeX sait en générer, ainsi que faire des boutons, des liens vers des pages webs, des fichiers, d'autres pages du rapport...

> je suis clairement prêt à sacrifier la "beauté" du rendu de tex pour simplifier tout ça. Je pense donc continuer dans la voie que j'ai choisie pour l'instant.

N'hésite pas, fais le truc qui te convient. De toute façon, tu es le premier utilisateur de ton projet. Si les pisse-froids (comme moi) veulent mieux ou différent, soit ils restent avec LaTeX et ses défauts, soit ils essaieront ton truc et proposeront éventuellement des améliorations.

Tu as essayé troff en plus de latex, lout et docbook ? Personnellement, je suis en train de l'adopter : écrire un truc quelconque est simple (pas d'accolades, d'antislashes ou d'arobases par exemple), ajouter des maths, de la bibliographie, des tableaux est prévu, la mise en page est soignée. Le gros problème est qu'il y a plusieurs "styles" qui définissent des macros et donc il faut choisir lequel utiliser au début. Je ne crois pas qu'il y ait d'éditeur dédié, mais il est reconnu par les bons éditeurs de texte, mais je ne connais pas grand monde qui préfère un éditeur pour chaque langage plutôt qu'un auquel il s'habitue.

Et enfin, même pour un rapport, il est important d'avoir des algorithmes de mise en page efficaces qui produisent un document joli. Ce n'est pas un hasard si lout a repris l'algo de mise en page que Knuth a fait pour latex. Quid de la mise ne page dans HeVEA ?

Un peu comme les assurances.

>>et par extension de déterminer si ce programme est conforme à sa spécification
>Il faut encore savoir ce qu'est une spec

D'après le théorème de Kleene, il n'existe pas d'algorithme capable de prouver qu'un algorithme vérifie une propriété non triviale.

Il n'y a pas à tortiller, si la "spec" est "le programme termine sur l'entrée 16 en temps 64", c'est trivial, si c'est "le programme calcule factorielle", c'est indécidable. Les specs que tu veux vérifier, c'est parce qu'elles sont non triviales, donc quoi qu'il arrive, tu auras des cas où ton programme se gourrera ou juste ne répondra pas, même si la spec est parfaitement claire.

> Dans le cas général.

Il y a heureusement des cas où un humain ou un programme est capable de prouver qu'un programme vérifie une propriété, mais ce sont juste des cas particuliers ;)

> Pour les 2 autres (kdm/gdm) ne peuvent être des options crédibles car ils ne peuvent pas vraiment fonctionner sans gnome /kde.

Chez moi, le seul morceau de gnome dont dépend gdm est libgnomecanvas. Ça ne fait pas une dépendance trop lourde je trouve, surtout vu que abiword, epiphany ou evince en dépendent aussi.
A moins que tu ne tiennes à n'avoir strictement aucune bibliothèque gnome, gdm ne peut fonctionner sans gnome.

Si tes mails sont sauvegardés sur ton disque (que ce soit une mbox, une arborescence maildir ou du mh), mairix saura les lire et indexer leur contenu pour te permettre de faire une recherche. Et bien sur, les clients mails normaux savent lire au moins un de ces formats. Pour rapatrier les mails, j'utilise offlineimap, mais je suppose que les clients graphiques qui conservent un cache gardent ce cache dans un format standard, non ?

http://www.rpcurnow.force9.co.uk/mairix/

Je n'aime pas les %. Pas plus que je n'aime l'utilisation d'accolades. Les %, je ne les aime pas parce que c'est une syntaxe absconse issue du C et que je déteste le C. Le string.format, je ne l'aime pas parce que c'est une syntaxe abstruse qui n'a pas sa place dans un langage élégant. Franchement, vous avez envie d'écrire "My name is {0:{1}}.".format(name, length)

Si jamais j'ai l'idée bizarre de faire un print, je préfèrais utiliser sa variadicité :
print "My name is ", name[:length], "."
Ou éventuellement (vu qu'en py3k, ça ne passera sans doute pas) faire des concaténations de chaînes.

> Encore plus stupide, vu le nombre de chèques volés qui se baladent.

Plus que de numéros de carte bleue que tu peux trouver au secrétariat de ta boîte, ou sur les fax d'hotel, ou sur un reçu de paiement égaré ?
Quand tu paies par chèque, le récipiendaire vérifie ton identité, donc pour utiliser un chèque volé, soit le voleur a des faux papiers (et à ce moment là, ce n'est pas plus difficile d'avoir une fausse CB) soit il a volé aussi les papiers (et à ce moment là, ce n'est pas difficile de voler aussi la CB (qui est utilisable sans code dans plusieurs situations)).

> Si jamais vous connaissez une bonne méthode pour tester le pilote graphique qui est fourni par NVidia sur son site, sans pourrir le système de tout un tas de fichiers impossible à retrouver quand on désinstalle, je suis preneur.

apt-get install -t experimental nvidia-kernel-source
m-a prepare
m-a build,install nvidia


> Par contre, aucun navigateur web n'a une extension aussi puissante que NoScript par exemple.

C'est différent de ce que proposent "Edit Site preferences" et "Block content" dans Opera ? L'un permet de dire que sur un site spécifique, tu actives ou non les plugins, le javascript, une css particulière..., l'autre de bloquer tout ce qui vient de certains sites.

> Ce que je disais au contraire, c'est que l'impact du langage est beaucoup moins important dans un contexte multi-thread : c'est l'algo mis en oeuvre par le programmeur qui fait le gros de la différence.

Dans le shootout, tous les langages utilisent le même algorithme.

Ils t'ont bien estampé avec cette imprimante.

La fonctionnalité d'annotation existe dans Okular et Skim.

Sur la bassesse du CNRS,
l'université ne compte pas les années de post-doc pour l'ancienneté des maîtres de conférence. Elle ne compte que les années où tu as enseigné en université française avec un vrai contrat (les vacations ne valent rien, le monitorat compte un peu). Sympa, non ?

C'était en 2005 ou 2006. En l'occurence, c'est un professeur dans une université américaine, il est reconnu dans son domaine, ce n'est certainement pas l'offre qu'ils font à tout le monde.

Mais en comparaison, pour un chercheur français même très reconnu qui a un poste à l'étranger, revenir en France lui fera baisser assez drastiquement son pouvoir d'achat.

Les "trouveurs", je ne sais pas, mais pour des chercheurs d'origine chinoise, l'état chinois offre des ponts d'or pour revenir. Et quand je dis des ponts d'or, ça veut dire nettement mieux payé qu'aux USA ou en Suisse, ce qui signifie un pouvoir d'achat faramineux.

> je n'ai jamais entendu parler d'un recrutement qui n'ait pas été confirmé même si le chercheur était pourri.

Moi si. Mais ce n'est pas sur les compétences ou incompétences du chercheur en question que ça s'est joué.

Ah si seulement la libwine marchait sur toutes les plateformes que supporte linux. A part x86, x86_64 et ppc, ça marche ailleurs ?

C'est pas faux. Néanmoins, la phrase originale ne précisait pas "à l'oeil nu" mais "de mémoire d'homme". L'argument était donc démontable.

Ce que je voulais souligner est que certes dans la vie d'un homme, les étoiles ne bougent pas, mais ça n'empêche pas leurs projections de s'aligner ou pas quand l'observateur se déplace.

Le fait que l'on ne puisse constater avec nos petits yeux la coplanarité des 6 corps célestes en question n'entre pas en ligne de compte, le Grand Dessein n'a pas à être visible. (j'ai oublié les balises ironie, mais tout le monde aura compris)

> « autour du 25 décembre, dans l'hémisphère nord, Sirius s'aligne avec les 3 rois de la constellation d'Orion pour désigner le soleil au plus bas à ce moment de l'année. »
> Mais que je sache, si Sirius est alignée avec les 3 rois le 25 décembre, elle l'est toute l'année, car les étoiles ne bougent pas entre elles (de mémoire d'homme, bien sur)...

Trois étoiles fixes non alignées peuvent paraître alignées depuis certains endroits de l'espace... Tout ce qui est dans leur plan les verra alignées. Il est possible que la Terre traverse ce plan le 25 décembre.

J'ai du mal à imaginer quelque chose de plus pratique que deux lecteurs différents qui diffusent chacun sur une sortie son différente. Les deux playlists côte à côte pour passer (glisser-déposer) une piste du casque vers la liste de lecture principale.

Qu'est-ce que tu trouves de pénible dans ta situation actuelle qui serait mieux avec un logiciel unique ?

> il y a fort à parier que cette techno ne soit implémentée que par les navigateurs libres

Non, opera a déjà du theora dans ses plans (et peut-être dans la version actuelle (?)). Donc pas uniquement des navigateurs libres. Et à terme, ça peut être intéressant pour nintendo, archos et les autres bidules ayant opera comme navigateur qui pourraient se passer de flash pour lire les vidéos (si ce n'était pas déjà trop tard, archos ayant fait le choix pragmatique de mettre ce que veulent les utilisateurs : flash).

MPlayer 1.0 ? Il est sorti ?