fmaz fmaz a écrit 494 commentaires

qu'il est bon de rire parfois!

Ceci dit, tu n'as rien compris. Ce qu'il voulait dire, c'est
s/correctionner/correctationager/

La réponse du genre:« ce que tu veux faire, c'est résoudre le problème de la HALT , or la HALT c'est indécidable t'es qu'un con fini» est complètement à côté de la plaque.
C'est du même genre que les gens qui disent que comme un problème est montré NP-complet, il ne sert à rien d'essayer de le résoudre.

Ce qu'il veux faire, ce n'est certainement pas resoudre le problème de la HALT en général. C'est résoudre le problème de la halt sur une classe la plus grande possible de programmes. Tu sais, moi je sais résoudre la halt pour les fonctions récursives primitives. Fondamentalement, quand un compilateur te sort un avertissement, c'est qu'il pense que tu es en train de faire une connerie.
« attention, t'es pas en train de confondre égalité et affectation dans ton if? »

Je ne sais pas si son approche est possible mais ce n'est à priori pas fondamentalement idiot.

J'aimerai savoir ce qu'il en est vraiment.

D'après ce que j'ai compris, les noyaux macOS X sont des noyaux hybrides. C'est à dire qu'ils sont entre les micro-noyaux genre hurd et les noyaux monoblocs à la linux.
Toujours d'après ce que j'ai compris un micro noyau, c'est propre, c'est modulaire mais c'est lent car à chaque appel système, il y a beaucoup plus de changements de contexte que dans un noyau monobloc.
Bref au boulot, j'ai un superbe mac G4 mais je trouve qu'il rame. L'interface est rapide mais il est beaucoup plus lent que mon portable intel+linux. Je n'ai pas eu le courage de le passer sous linux pour juger de l'impact de la conception noyau.

Donc si tu fais l'essai, je suis intéressé pas d'éventuels retours.

Il y a aussi toutes les polices LaTeX.

Une rapide recherche sur CTAN en donne une foulitude.

Bien sûr toutes ne sont pas forcément utilisables par autre chose que TeX and co mais ce sont des polices de caractères libres.

Ben pour moi, cela ne marche pas.

Il ne me crée pas certains périphériques: genre je n'ai plus de carte son et surtout plus de souris. Pour X, c'est un poil génant.

En fait pour la souris, j'ai un
/dev/input/event0 et c'est tout
pas de /dev/psaux ni rien d'approchant.

Pour débian, trouve qu'aptitude est un bon compagnon de deborphan.

Au lieu du bête:
> apt-get install toto
qui va m'installer 133436 dépendance qui resteront quand je ferai un
> apt-get purge toto

Je fais un
> aptitude install toto
qui lui aussi m'intallera les 133436 dépendances. Par contre, quand je ferai
> aptitude purge toto
il me virera aussi les 133436 dépendances.

C'est beau la vie.

P.S. il y a aussi debfoster

Je vais dire quelque chose de relativement méchant mais bon, j'assume.

À la fac, la grosse majorité des enseignants sont enseignants-chercheurs. Si certaines commissions de spécialistes avaient un peu les pieds sur terre, elles n'oublieraient pas qu'elles recrutent des personnes qui vont devoir enseigner et ce dans plusieurs matières. Normalement, un chercheur est quelqu'un qui apprend toute sa vie et qui est adaptable.

L'informatique n'est certainement pas assez vaste pour qu'un maître de conférences ne puisse pas maîtriser l'ensemble des domaines dans lesquels il va pouvoir enseigner jusqu'en licence/maitrise. La charge horaire d'un maître de conférences est de 192 heures d'équivalents TD. Ce qui corresponds (en se basant sur 32 semaiens de cours) à 6 heures de TD, à 4 heures de cours et à 9 heures de TP par semaines. Je veux bien que la recherche prenne du temps et que préparer un cours from scratch soit très lourd mais ne me faites pas croire qu'en 35 heures par semaines, on ne peut pas faire un cours potable.

Frédéric

En pratique, il est très fortement déconseillé aux métropolitains de demander un poste dans les DOM. Et pour ce que j'ai vu, si on le demande, c'est plutôt facile à obtenir.

Frédéric

Je n'ai pas lu tous les commentaires mais j'ai l'impression qu'il y a comme une confusion.

Le CAPES est un concours de recrutement de la fonction publique. Si on est titulaire d'un CAPES, on peut demander à être détaché ce qui permet de ne pas être prof mais ce n'est qu'un détachement temporaire. Si on ne VEUT pas être prof, on perd son CAPES. C'est tout.

Après, il semble qu'on puisse signer un contrat quinquénal pour ere financé pour faire des études qui mènent au CAPES. Le même genre de chose existe pour les polytechniciens, les normaliens et d'autres. Dans ce cas là, ben au début, on signe un contrat et tout est marqué dedans.

Pour revenir sur le CAPES (ou l'agrégation), si tu as une licence (ou une maitrise pour l'agreg), tu peux t'inscrire au concours et le passer. Tu n'as pas besoin de suivre de cours spécifiques dans une IUFM pour pouvoir le faire. J'ai passé l'agrégation de mathématiques en candidat libre pendant ma thèse et on ne m'a rien demandé.

wala wala wala

Frédéric

Non, je viens de faire le test, le problème est bien la gestion des font type T1.

Il faut virer le
« \usepackage[T1]{fontenc} »
qui doit se balader dans l'entête et compiler avec pdflatex normalement.

Frédéric

Acrobat reader est un produit adobe qui ne sais pas afficher des polices (type 1 je crois) qui ont été définies par adobe. Chercher l'erreur.
Par contre, tu peux l'imprimer sans problème ou bien utilier un vrai logiciel qui respecte les normes (gv, xpdf...)

Frédéric

Je n'ai pas de télévision en partie parce que je suis contre le principe de la redevance télévisuelle.

Le jour où la redevance télé est supprimée et qu'elle est remplacée par une augmentation de, disons, 3% de mes impots sur le revenu, j'en aurai une.

Le principe de l'impot sur le revenu est d'être plus ou moins équitable. Ce n'est absolument pas le cas avec la redevance télé.

Frédéric

En partant du principe qu'a un temps T donné, testing=stable.

Si a un temps T+k, pour passer de stable à testing, il faut faire un
dist-upgrade, alors à un moment, il faut faire un dist-upgrade pour
mettre à jour une testing.

Dist-upgrade permet d'ajouter des parquets qui sont devenu des dépendances ou d'en virer qui sont devenus incompatibles.

Le fait qu'il puisse virer des paquets fait qu'il faut faire très attention à ce qu'il ne vire pas des de choses importantes (genre libc6) mais sinon, c'est normal.

Tu n'utiliserais pas un noyau 2.6.machin?

Quelques distrib déclarent 2 souris dans XFreee86Config: une en /dev/psaux et un en /dev/input/mice. Ceci est un exemple biensûr.

Le problème est qu'avec le noyau 2.6, chacune des deux souris est reconnu simultanément. Donc, quand tu bouge ta souris, elle va deux fois plus vite et quand tu cliques, et bien en fait, tu double-cliques.

La solution est de virer l'une des deux souris.


J'espère que j'aurai fait avancé le schmilblickque

Frédéric

Et puis il faut arrêter de ne regarder que la complexité. Dans la vraie vie, la constante est importante.

Pour prendre un exemple bête,
Heapsort est un excellent algorithme de tri en place optimal (O(n.ln n)) dans le pire des cas.
Pourtant, tout le monde utilise quick-sort qui lui est aussi en place mais n'est certainement pas optimal puisqu'il peut avoir une execution quadratique.
Les gens seraient-ils complètement cons? Ben non parce que quick-sort est optimal en moyenne et que la constante est plus faible que pour heap-sort.

Et puis si on ne regarde que la complexité, on ne ferait pas de programmation linéaire puisque l'algorithme du simplexe est exponentiel non?

Frédéric.

De manière générale:« If it ain't broken, don't fix it. » (Si ce n'est pas cassé, ne le répare pas)

Un projet actif a beaucoup plus de chance d'introduire de nouveaux bug/trous de sécurité. Donc si un noyau 2.0 fait ce que je veux, je le garde. Si en plus, il est 25% plus rapide qu'un 2.6, je m'accroche encore plus à lui. Pour moi, mon bon vieux 2.0 est BEAUCOUP mieux qu'un 2.6.

Frédéric

Ce journal arrive à point. Je me disais que j'allais en faire un sur les sytèmes de fichiers...

Ces derniers temps, je me suis réintéressé aux softs updates.

Je trouve que d'un point de vue conceptuel, c'est vraiment très propre.
La lecture de http://www.usenix.org/publications/library/proceedings/usenix2000/g(...) est très interressante.

Une chose que je n'avais jamais vu et qui est pourtant évidente. C'est le mode d'accès au journal: synchrone où pas? Il semble que si le journal est synchrone alors on observe une très forte chute de performances. Donc on met le journal en asynchrone. Mais alors en cas de plantage, le journal peut être laissé dans un état incohérent ce qui doit pouvoir impliquer des pertes de données.

En plus, un gros avantage des softs updates est que c'est une surcouche à un système de fichier déjà existant. Il n'y a donc pas besoin de changer quoi que ce soit. Par exemple, ext3 est compatible ext2 mais il y a quand même au moins une différence: l'un des deux à un journal quelque part.

Bref, je me demande pourquoi personne n'a implémenté les soft updates sous linux (cela a peut-être déjà été fait mais je n'ai pas trouvé).

Un argument pourrait être les performances mais je n'ai trouvé personne qui a fait d'étude sous linux. Les seules études que j'ai trouvée sont sur des BSDs et leur conclusion, c'est que les deux se valent. Les softs updates l'emportent quand on crée et qu'on efface beaucoup de petits fichiers. Elles sont moins bien quand il y a beaucoup de « roll back » dans la queue.

Bref, je trouve que les softs updates sont beaucoup plus satisfaisantes. Les systèmes de fichiers journalisés n'étant à mon avis qu'un gros hack plus où moins crade. Le jour où quelqu'un porte les softs updates sous linux, j'abandonne mon ext3 pour un fs+softs updates.

P.S. Je sais, j'ai qu'à l'implémenter le machin. Mais je n'ai ni le temps ni le niveau technique pour le faire. Encore que, une fois que j'aurai soutenu ma thèse j'irai sans doute regarder comment c'est fait dans netBSD.

Frédéric

Ben prends un système de fichier en mode synchrone.

C'est ce qui existe de plus robuste en cas de plantage.

extrait de man mount.
"the sync option today has effect only for ext2, ext3 and ufs"

donc un ext2 en synchrone marche.

Frédéric

Il ne faut pas la migrer. Si elle ne fait que du traitement de texte et que sa configuration actuelle lui convient, pourquoi te faire chier!
"If it ain't broken, don't fix it!"

Maintenant si elle veut jouer au geek, essaye NetBSD. Vu leur objectif de pouvoir aussi tourner sur la processeur de ta machine à laver et sur ta calculette, la puissance (ou plutôt la non-puissance) de la machine leur est très important.

En plus, si tu ne connais pas, tu decouvriras autre chose.

Pour ce qui est des small cap, c'est juste une variante d'une police. Changer la taille et écrire en majuscules donne un résultat moche. Si je me souviens bien, il y a un gus qui a converti les polices conputer modern de Knuth en T1. Donc, un traitement de texte classique doit pouvoir les utiliser.

Mais de toute façon, comme d'autres l'ont dit:« LaTeX et BibTeX, c'est plus fort que toi! »


Frédéric

Je vais aussi me lancer dans une autre démo.

x=1 et y=0.99999999999999999999999999...

Si x!=y, alors x-y=e est strictement positif.

Il existe n tel que 10^{-n}<e.

Soit z=1-10^{-n}=0.9999999999999...99990000

y>z donc x-y<x-z or x-z=10^{-n}<e

donc e=x-y<e absurde donc x=y.

Comme quelqu'un l'a dit peut-être en blaguant, le code n'est pas sous GPL.

C'est un peu ridicule car ce script de 30 lignes ne va pas changer la face du monde mais pour gueuler contre les gens qui copient office, photoshop etc, je me dois d'être irréprochable. Donc non, je ne donnerais pas le code.

Ben justement non.

Un gros problème de pas mal de bibliothèques numériques et de processeurs, c'est qu'ils sont optimisés surtout pour la vitesse. Résultat, ils ne garantissent absolument rien sur la précision du résultat. Il est très fréquent de perdre 5 bits de précision sur une division. Il existe une norme IEEE qui spécifie l'addition, la soustraction, la multiplication et la division mais rien de plus et peu de processeurs l'implémentent parfaitement.

Exemple encore plus simple (à mon avis)

1/3=0.33333333333333333333333333.... en base 10
1/3=.1 en base 3

Mais non!!!!

C'est LPRINT qu'il faut utiliser.

J'ai du faire du java dans une vie antérieur.

Le morpion est en seconde.

Mais je ne peux rien dire. Quand j'étais en cinquième, j'avais fait un programme en basic pour faire une punition du genre:"recopier 200 fois..."