tu pourra dire que l'informatique est une science exacte quand tu auras réussi à démontrer que tout programme est fini. (manque de pot, ce cher Turing a fait en sorte que ca reste indéfini...) En attendant ca reste une science assez inexacte (celà dis mon raisonnement est peut être totalement faux...)
Oui, je crois que ton raisonnement est faux.
La simplicité des machines de Turing permet au contraire de faire des raisonnements mathématiques 100% rigoureux sur des "programmes" qui n'ont, il est vrai, rien à voir avec les logiciels de la vie réelle.
Recherche incrémentielle :
au fur et à mesure que tu tapes ta recherche, le texte défile jusqu'à la prochaîne
occurence. Exemple : le Type Ahead Find dans Mozilla.
Pour info, j'ai écrit à cabrisoux.nospam.airfrance.fr et yvmelisse.nospam.airfrance.fr
Consacrez-vous à d'autres personnes si vous voulez être efficace.
20 10/28 @stake Advisori (3,4K) Mac OS X Arbitrary File Overwrite via Core Files
-> 21 10/28 @stake Advisori (4,7K) Mac OS X Systemic Insecure File Permissions
22 10/28 @stake Advisori (3,3K) Mac OS X Long argv[] buffer overflow
Fix : Update to Panther
Pour l'instant, Apple ne semble pas vouloir délivrer de bugfixes pour la version 10.2 . Ils se permettent de faire ce que Microsoft n ose plus faire.
C'est clair que rhythmbox rame actuellement pour les grandes collections.
Ils essaient d'utiliser gnome-db pour les prochaines versions.
Des améliorations massives sont peut-être à espérer
Il y en a au moins 1 de libre : $apt-cache show tex4ht
[jmfayard]# apt-cache show tex4ht
Package: tex4ht
Priority: optional
Section: tex
Installed-Size: 9944
Maintainer: Andrew Gray <ajpg@debian.org>
Architecture: i386
Version: 20030426-2
Depends: tetex-bin, libc6 (>= 2.3.1-1), libkpathsea3 (>= 2.0.2-3)
Recommends: imagemagick | netpbm, gs
Filename: pool/main/t/tex4ht/tex4ht_20030426-2_i386.deb
Size: 908746
MD5sum: c058cfcd8e87915fcb30e63f9c0b95d0
Description: LaTeX and TeX for Hypertext (HTML)
TeX4ht is a highly configurable TeX-based authoring system for producing
hypertext. It interacts with TeX-based applications through style files and
postprocessors, leaving the processing of the source files to the native TeX
compiler. Consequently, TeX4ht can handle the features of TeX-based systems
in general, and of LaTeX in particular.
.
TeX4ht can be used both for authoring HTML using TeX/LaTeX input files, or
for converting existing TeX input files (in any format) into HTML, with
(usually) only minor modifications. Other varieties of hypertext can also be
produced, including XML, XHTML, MathML and the openoffice.org format of XML.
.
You will need ghostscript plus the imagemagick suite of programs to convert
from graphics in DVI files, as output by TeX (via postscript) to GIF, PNG or
JPEG files. Alternatively, you could use ghostscript and programs from the
netpbm package after adjusting TeX4ht's configuration.
Package: tex4ht
Priority: optional
Section: tex
Installed-Size: 8700
Maintainer: Andrew Gray <ajpg@debian.org>
Architecture: i386
Version: 20011214-2
Depends: tetex-bin, libc6 (>= 2.2.4-4), libkpathsea3 (>= 1.0.7+20011202-5)
Suggests: imagemagick
Filename: pool/main/t/tex4ht/tex4ht_20011214-2_i386.deb
Size: 732006
MD5sum: c3bb8b1b237a63f63c84d083aaa20510
Description: LaTeX and TeX for Hypertext (HTML)
TeX4ht is a highly configurable TeX-based authoring system for producing
hypertext. It interacts with TeX-based applications through style files and
postprocessors, leaving the processing of the source files to the native TeX
compiler. Consequently, TeX4ht can handle the features of TeX-based systems
in general, and of LaTeX in particular.
.
TeX4ht can be used both for authoring HTML using TeX/LaTeX input files, or
for converting existing TeX input files (in any format) into HTML, with
(usually) only minor modifications.
.
You will need imagemagick suite of programs to convert from graphics in DVI
files, as output by TeX (via postscript) to GIF, PNG or JPEG files.
Alternatively, you could use ghostscript and programs from the netpbm package after adjusting TeX4ht's configuration.
De toute façon, il n'y a honnêtement pas mieux que \latex{} pour écrire facilement les formules de maths.
Si MathML veut avoir un peu de succès, je pense qu'un bon convertisseur latex2mathml est un premier pas.
Au, fait, il suffit d'utiliser <pre> et d'enlever les retours chariots et d'utiliser
sed s/</\</g << EOF
Oui, et c'est très moche : autant que je me souvienne, il y avait des trous blancs béants de partout.
En même temps, on s'en fout, IE pour macosX est mort, et a des successeurs largement plus à la hauteur : Mozilla, Mozilla-Firebird (encore jeune), Camino et Safari.
Peu importe le rôle de Microsoft là-dedans.
Regarde ce que dit la news : Microsoft avait indiqué qu'il faisait appel mais qu'il modifierait Internet Explorer en conséquence avec évidemment le risque de s'éloigner du standard. Le W3C, consortium chargé d'établir et de promouvoir les standards
Le W3C est parfaitement dans son rôle en dénonçant ce brevet.
A titre personnel, je suis d'ailleurs et pour une fois pleinement solidaire de Microsoft dans cette sombre affaire.
En revanche, cette histoire de David contre Goliath semble démonter un argumentaire largement avancé ici contre les brevets : il serait illusoire pour une PME d'espérer une protection avec ses brevets contre un géant comme IBM qui trouvera bien dans son immense besace une petite dizaine de brevets à opposer en retour pour menacer l'activité de la petite PME téméraire.
Avec Eolas, on voit la parade à cette contre-attaque : il suffit que la société ne produise absolument rien ( Il y a d'autres employés que le patron dans la société ? ).
Norlmalement :
Tu changes tes sources avec http://plf.zarb.org/~nanardon(...)
ou avec le programme adéquat du MandrakeControlCenter si tu sais où sont les répertoires ftp et les fichiers htdlist*.cz
$ urpmi urpmi
$ urpmi --auto-select
Je découvre slrn.
C'est sympa, ca ressemble à mutt, mais je n'arrive pas à lui faire afficher les accents.
Une autre suggestion que
set charset isolatin ?
J'ai fait de la programmation système l'année dernière (compilateur, assembleur, noyau, shell, driver, ...) et très franchement, pour cet usage, le C est parfaitement adapté, assimilable entièrement (important ça !) assez rapidement, et tend à être assez lisible, quelles qu'aient été mes apphrensions avant.
Donc si personne ne cherche plus loin, il y a peut-être une raison.
Par contre c'est clair que le C est sur-utilisé. Pour les applications graphiques
à la GNU solfege[1], un langage comme Python est beaucoup moins boulet.
Maintenant, RMS préfère ses machines du MIT qui comprennent directement le LISP, donc il y a d'autres possibilités que le C.
Quant à moi, j´utilise mutt pour lire mes courriers (Texte only donc, même si on peut lire les html avec links), et près de 100% des mails HTML que je recois sont du spam. De plus l´HTML ouvre de grandes possibilités aux spammeurs :
entre autre écrire V/*xhsitkxms*/I/*zzwtx*/A/*yeupou*/GR/*xhdk*/A/*sjkx*/ pour échapper aux logiciels anti-spams.
Si on avait voulu utiliser sérieusement l´HTML dans les mails, on en aurait pris un sous-ensemble très limitès ( comme par exemple celui autorisé pour écrire les commentiares sur linuxfr, pas de scripting,... ), et on aurait standardisé tout ca.
courriels aux formats html ou xhtml ne sont pas très lisibles
Tant mieux, c´est l´occasion d´abandonner (ou de faire abandonner si tu migres quelqu´un) cette absurdité.
Prépare juste une petite explication claire (scripting==>virus, images de 1 pixel qui permettent aux spammeurs de confirmer que ton adresse existe, non standard, ...) pour les gens qui te diront que ca ne marche pas.
# Re: Les moteurs de recherche
Posté par jmfayard . En réponse au journal Les moteurs de recherche. Évalué à 1.
http://dmoz.org/about.html(...)
Tu recherches Linux, tu trouves un lien
Kategorie: Computers > Software > Operating Systems > Linux
qui te mène vers ceci http://directory.google.com/Top/Computers/Software/Operating_System(...)
[^] # Re: critiques pour critiquer => justement NON
Posté par jmfayard . En réponse au journal critiques pour critiquer. Évalué à 1.
Oui, je crois que ton raisonnement est faux.
La simplicité des machines de Turing permet au contraire de faire des raisonnements mathématiques 100% rigoureux sur des "programmes" qui n'ont, il est vrai, rien à voir avec les logiciels de la vie réelle.
[^] # Re: Kile 1.6 est sorti !
Posté par jmfayard . En réponse à la dépêche Kile 1.6 est sorti !. Évalué à 2.
au fur et à mesure que tu tapes ta recherche, le texte défile jusqu'à la prochaîne
occurence. Exemple : le Type Ahead Find dans Mozilla.
# Re: Planquer les pubs de google...
Posté par jmfayard . En réponse au journal Planquer les pubs de google.... Évalué à 2.
[^] # Re: Rions un coup : réponse Air France pour incompatibilité avec Mozilla
Posté par jmfayard . En réponse au journal Rions un coup : réponse Air France pour incompatibilité avec Mozilla. Évalué à 3.
Consacrez-vous à d'autres personnes si vous voulez être efficace.
[^] # Re: Rions un coup : réponse Air France pour incompatibilité avec Mozilla
Posté par jmfayard . En réponse au journal Rions un coup : réponse Air France pour incompatibilité avec Mozilla. Évalué à 3.
C'est par ici ==> http://airfranceindustries.airfrance.com/fr/ressources/contact.htm(...)
J'envoie à l'un des gars la lettre type de http://w3blacklist.tuxfamily.org(...)
[^] # Re: Bluetooth et linux
Posté par jmfayard . En réponse au journal Bluetooth et linux. Évalué à 2.
Je ne dirais jamais ceci de Linux.
[^] # Re: Rencontre technique sur Mac OS X
Posté par jmfayard . En réponse à la dépêche Rencontre technique sur Mac OS X. Évalué à 3.
20 10/28 @stake Advisori (3,4K) Mac OS X Arbitrary File Overwrite via Core Files
-> 21 10/28 @stake Advisori (4,7K) Mac OS X Systemic Insecure File Permissions
22 10/28 @stake Advisori (3,3K) Mac OS X Long argv[] buffer overflow
Fix : Update to Panther
Pour l'instant, Apple ne semble pas vouloir délivrer de bugfixes pour la version 10.2 . Ils se permettent de faire ce que Microsoft n ose plus faire.
[^] # Re: lecteur ogg vorbis
Posté par jmfayard . En réponse au journal lecteur ogg vorbis. Évalué à 1.
Ils essaient d'utiliser gnome-db pour les prochaines versions.
Des améliorations massives sont peut-être à espérer
# Re: lecteur ogg vorbis
Posté par jmfayard . En réponse au journal lecteur ogg vorbis. Évalué à 1.
[^] # Re: Les normes sai bien...
Posté par jmfayard . En réponse au journal Les normes sai bien.... Évalué à 9.
Il y en a au moins 1 de libre :
$apt-cache show tex4ht
[jmfayard]# apt-cache show tex4ht
Package: tex4ht
Priority: optional
Section: tex
Installed-Size: 9944
Maintainer: Andrew Gray <ajpg@debian.org>
Architecture: i386
Version: 20030426-2
Depends: tetex-bin, libc6 (>= 2.3.1-1), libkpathsea3 (>= 2.0.2-3)
Recommends: imagemagick | netpbm, gs
Filename: pool/main/t/tex4ht/tex4ht_20030426-2_i386.deb
Size: 908746
MD5sum: c058cfcd8e87915fcb30e63f9c0b95d0
Description: LaTeX and TeX for Hypertext (HTML)
TeX4ht is a highly configurable TeX-based authoring system for producing
hypertext. It interacts with TeX-based applications through style files and
postprocessors, leaving the processing of the source files to the native TeX
compiler. Consequently, TeX4ht can handle the features of TeX-based systems
in general, and of LaTeX in particular.
.
TeX4ht can be used both for authoring HTML using TeX/LaTeX input files, or
for converting existing TeX input files (in any format) into HTML, with
(usually) only minor modifications. Other varieties of hypertext can also be
produced, including XML, XHTML, MathML and the openoffice.org format of XML.
.
You will need ghostscript plus the imagemagick suite of programs to convert
from graphics in DVI files, as output by TeX (via postscript) to GIF, PNG or
JPEG files. Alternatively, you could use ghostscript and programs from the
netpbm package after adjusting TeX4ht's configuration.
Package: tex4ht
Priority: optional
Section: tex
Installed-Size: 8700
Maintainer: Andrew Gray <ajpg@debian.org>
Architecture: i386
Version: 20011214-2
Depends: tetex-bin, libc6 (>= 2.2.4-4), libkpathsea3 (>= 1.0.7+20011202-5)
Suggests: imagemagick
Filename: pool/main/t/tex4ht/tex4ht_20011214-2_i386.deb
Size: 732006
MD5sum: c3bb8b1b237a63f63c84d083aaa20510
Description: LaTeX and TeX for Hypertext (HTML)
TeX4ht is a highly configurable TeX-based authoring system for producing
hypertext. It interacts with TeX-based applications through style files and
postprocessors, leaving the processing of the source files to the native TeX
compiler. Consequently, TeX4ht can handle the features of TeX-based systems
in general, and of LaTeX in particular.
.
TeX4ht can be used both for authoring HTML using TeX/LaTeX input files, or
for converting existing TeX input files (in any format) into HTML, with
(usually) only minor modifications.
.
You will need imagemagick suite of programs to convert from graphics in DVI
files, as output by TeX (via postscript) to GIF, PNG or JPEG files.
Alternatively, you could use ghostscript and programs from the netpbm package after adjusting TeX4ht's configuration.
# Re: Les normes sai bien...
Posté par jmfayard . En réponse au journal Les normes sai bien.... Évalué à 8.
# Re: Linuxfr.org sur IE MAC OS X
Posté par jmfayard . En réponse au journal Linuxfr.org sur IE MAC OS X. Évalué à 2.
En même temps, on s'en fout, IE pour macosX est mort, et a des successeurs largement plus à la hauteur : Mozilla, Mozilla-Firebird (encore jeune), Camino et Safari.
[^] # Re: Nouveauté IE + réponse à des journaux..
Posté par jmfayard . En réponse au journal Nouveauté IE + réponse à des journaux... Évalué à -1.
[^] # Re: Le rôle de Microsoft ?
Posté par jmfayard . En réponse à la dépêche Le W3C demande que soit ré-examiné le brevet logiciel "eolas". Évalué à 10.
Regarde ce que dit la news : Microsoft avait indiqué qu'il faisait appel mais qu'il modifierait Internet Explorer en conséquence avec évidemment le risque de s'éloigner du standard. Le W3C, consortium chargé d'établir et de promouvoir les standards
Le W3C est parfaitement dans son rôle en dénonçant ce brevet.
A titre personnel, je suis d'ailleurs et pour une fois pleinement solidaire de Microsoft dans cette sombre affaire.
En revanche, cette histoire de David contre Goliath semble démonter un argumentaire largement avancé ici contre les brevets : il serait illusoire pour une PME d'espérer une protection avec ses brevets contre un géant comme IBM qui trouvera bien dans son immense besace une petite dizaine de brevets à opposer en retour pour menacer l'activité de la petite PME téméraire.
Avec Eolas, on voit la parade à cette contre-attaque : il suffit que la société ne produise absolument rien ( Il y a d'autres employés que le patron dans la société ? ).
# La vérité en image sur Longhorn
Posté par jmfayard . En réponse au journal Visions de Billou pour 2006. Évalué à 1.
[^] # Re: Update mandrake 9.2
Posté par jmfayard . En réponse au journal Update mandrake 9.2. Évalué à 1.
How to Slipstream Updated Packages into the Installation CD's
http://qa.mandrakesoft.com/twiki/bin/view/Main/SlipStreamUpdates(...)
# Re: Update mandrake 9.2
Posté par jmfayard . En réponse au journal Update mandrake 9.2. Évalué à 2.
Tu changes tes sources avec http://plf.zarb.org/~nanardon(...)
ou avec le programme adéquat du MandrakeControlCenter si tu sais où sont les répertoires ftp et les fichiers htdlist*.cz
$ urpmi urpmi
$ urpmi --auto-select
Tu as fait ça ?
# [boulet]
Posté par jmfayard . En réponse à la dépêche Retour de la passerelle usenet de DLFP. Évalué à 0.
C'est sympa, ca ressemble à mutt, mais je n'arrive pas à lui faire afficher les accents.
Une autre suggestion que
set charset isolatin ?
[^] # Re: Réponse d'un gars qui n'y connaît pas rien mais très peu
Posté par jmfayard . En réponse au journal 1er journal, et plein de petites questions. Évalué à 0.
Donc si personne ne cherche plus loin, il y a peut-être une raison.
Par contre c'est clair que le C est sur-utilisé. Pour les applications graphiques
à la GNU solfege[1], un langage comme Python est beaucoup moins boulet.
Maintenant, RMS préfère ses machines du MIT qui comprennent directement le LISP, donc il y a d'autres possibilités que le C.
--
[1] Un must
http://solfege.sourceforge.net/index.php?article=screenshots(...)
# Re: Page de démarrage du navigateur
Posté par jmfayard . En réponse au journal Page de démarrage du navigateur. Évalué à 1.
/home/jmfayard/.phoenix/default/q5nt2atx.slt/bookmarks.html
Mes bookmarks, c'est une page HTML !
Qu'est-ce qu'il y a comme liste plus à jour des sites que je visite souvent ?
En plus, avec le "Type Ahead Find", un petit "/linuxfr" et hop j'y suis
[^] # Re: Migration vers Thunderbird
Posté par jmfayard . En réponse au journal Migration vers Thunderbird. Évalué à 1.
Quant à moi, j´utilise mutt pour lire mes courriers (Texte only donc, même si on peut lire les html avec links), et près de 100% des mails HTML que je recois sont du spam. De plus l´HTML ouvre de grandes possibilités aux spammeurs :
entre autre écrire V/*xhsitkxms*/I/*zzwtx*/A/*yeupou*/GR/*xhdk*/A/*sjkx*/ pour échapper aux logiciels anti-spams.
Si on avait voulu utiliser sérieusement l´HTML dans les mails, on en aurait pris un sous-ensemble très limitès ( comme par exemple celui autorisé pour écrire les commentiares sur linuxfr, pas de scripting,... ), et on aurait standardisé tout ca.
# Re: Migration vers Thunderbird
Posté par jmfayard . En réponse au journal Migration vers Thunderbird. Évalué à 1.
Tant mieux, c´est l´occasion d´abandonner (ou de faire abandonner si tu migres quelqu´un) cette absurdité.
Prépare juste une petite explication claire (scripting==>virus, images de 1 pixel qui permettent aux spammeurs de confirmer que ton adresse existe, non standard, ...) pour les gens qui te diront que ca ne marche pas.
# Re: Prière du jour
Posté par jmfayard . En réponse au journal Prière du jour. Évalué à 2.
-Que Ta Volonté soit faite au bar comme au comptoir,
+Que Ta Volonté soit faite au comptoir comme au bar,
Ca passe mieux avec la version chantée.
[^] # Re: MacosX Panther
Posté par jmfayard . En réponse au journal MacosX Panther. Évalué à 1.