Axioplase ıɥs∀ a écrit 3037 commentaires

  • # Faudrait savoir

    Posté par  (site web personnel) . En réponse au journal Linux, ce méconnu. Évalué à 4.

    Si tu voulais investir, pourquoi écrire « non-chaland » et pas simplement « acheteur » ?
    Ou est-ce un jeu de mot ? Ou une erreur en voulant écrire « nonchalant » (ou plutôt, « nonchalamment ») ?

  • [^] # Re: En effet.

    Posté par  (site web personnel) . En réponse au journal Faire faillite en 1h grâce à un bug logiciel ^^. Évalué à 3.

    Il y a aussi le critère "l'état du marché a changé depuis que j'ai passé mon ordre, je dois donc l'annuler avant qu'il soit exercé".

    Et aussi, si les banques ont des clients, de nombreux fonds n'en ont pas et jouent donc leur propre argent.

  • # En effet.

    Posté par  (site web personnel) . En réponse au journal Faire faillite en 1h grâce à un bug logiciel ^^. Évalué à 3.

    Je viens de lire un article sur le monde à propos du THF, dont vous devez être un peu familier si vous suivez DLFP régulièrement, voir même si vous travaillez dans le THF.

    Oui, quand on travaille dans le THF, c'est utiles d'être un peu familier avec :)

    Cela dit, c'est pas fastoche non plus, le code du THF, et les bugs ne pardonnent pas. Il faut avoir une approche pas mal défensive pour pallier les risques de programme qui s'emballe…

  • [^] # Re: Bof du sucre syntaxique sans grand intéret

    Posté par  (site web personnel) . En réponse au journal De tout, de rien, des bookmarks, du bla bla. Évalué à 2.

    Ben voilà ! Utilise Scheme ou Lisp !
    T'as un comportement sain des entiers, la fonctionnalité requise et même mieux :

    (apply < '(1 2 3 4 5))

    Et ça existe en plein de variations (Gambit, Racket, Gauche, SBCL, Clojure, ), avec au moins une qui te plaira !

  • [^] # Re: Tous les logiciels closed source sont des rootkits potentiels

    Posté par  (site web personnel) . En réponse au journal Ubisoft fait mieux que Sony. Évalué à 2.

    1. J'avais pas vu
    2. J'avais oublié ; c'est con, car j'avais bien aimé la dissertation quand je l'avais lue.
    3. Je doute que même les gens d'OpenBSD fassent leurs ISOs en utilisant un tel stratagème.
  • [^] # Re: Tous les logiciels closed source sont des rootkits potentiels

    Posté par  (site web personnel) . En réponse au journal Ubisoft fait mieux que Sony. Évalué à 3. Dernière modification le 31 juillet 2012 à 11:27.

    Mouais… "Trusting Trust", toussa… http://cm.bell-labs.com/who/ken/trust.html

  • [^] # Re: J'aime pas ce comportement

    Posté par  (site web personnel) . En réponse au journal Python et valeurs par défaut des paramètres. Évalué à 4.

    Pas du tout.
    Un type option permet de distinguer "None" de "Just None" (ou de "Some None"), alors que là, c'est impossible.

  • [^] # Re: Bof

    Posté par  (site web personnel) . En réponse à l’entrée du suivi Afficher le choix du clic "pertinent inutile". Évalué à 3 (+0/-0).

    Je suggère donc qu'on passe par la CSS !

    Ça laisse à l'utilisateur le choix et le moyen d'indiquer le vote qu'il a fait, et ça n'encombre que ceux qui veulent être encombrés.
    (Perso, j'aime l'idée de savoir ce qu'on a choisi.)

  • [^] # Re: WM_HINTS

    Posté par  (site web personnel) . En réponse au journal De l'art de la notification. Évalué à 1.

    Pareil, mais xmonad au lieu d'i3

  • [^] # Re: Taille

    Posté par  (site web personnel) . En réponse au journal La guérilla contre les TMS. Évalué à 2. Dernière modification le 24 juillet 2012 à 02:50.

    Y a plein de gens qui ne me croient pas qu'on est plus grand le matin que le soir (enfin, au réveil qu'au coucher).
    Dans une de mes anciennes maisons, je me cognais contre une poutre le matin, mais jamais le soir :)

  • [^] # Re: Doute

    Posté par  (site web personnel) . En réponse au journal La guérilla contre les TMS. Évalué à 3.

    Si si, mon Kinesis est en bépo : http://pastebin.com/xHBYLT1L
    Et merci pour le lien du Trly Ergonomic. Je tenterai d'en essayer un, et si c'est bien, de m'en acheter un. Ça a l'air vraiment pas mal (sauf que j'aime pas du tout les flèches en bas… Le kinesis et mon layout par dessus m'ont offert une alternative très agréable en tant que VIMiste…

  • # Doute

    Posté par  (site web personnel) . En réponse au journal La guérilla contre les TMS. Évalué à 6.

    Claviers Typematrix et souris ergonomique

    J'utilise depuis plus de quatre ans des claviers Kinesis Advantage, et j'en suis ravi. Ils sont beaucoup plus encombrants qu'un typematrix, ce qui est assez gênant quand on se déplace avec, mais sinon, très agréables et ergonomiques. D'ailleurs, étant habitué au Kinesis, j'ai un gros doute concernant l'ergonomie du typematrix : comment un typematrix peut-il être agréable sachant qu'on a les poignets cassés pour l'utiliser ? En effet, l'utiliser, c'est un peu comme programmer avec des menottes, non ? J'ai 50 cm d'espacement entre mes deux coudes, et mes deux pouces parallèles à 1 cm d'écart… Avec le Kinesis, au moins, j'ai quasiment les bras parallèles, et donc les poignets dans l'alignement des bras pour taper, ce qui me parait bien plus agréable et ergonomique.

    Alors, le TM, vraiment ergonomique, ou seulement à moitié ?

  • [^] # Re: Patch

    Posté par  (site web personnel) . En réponse à l’entrée du suivi Garder une trace des bornes du karma. Évalué à 3 (+0/-0).

    Cool !
    Je suis très fier :)

  • [^] # Re: Trop facile

    Posté par  (site web personnel) . En réponse au journal Typage statique versus typage dynamique. Évalué à 8.

    Je pense surtout que le présupposé est faux : python n'a rien essayé de résoudre du point de vue typage. Ils ont pris ce qu'ils pouvaient, et basta. Les communautés Haskell, OCaml ou Scheme sont des communautés où il y a de la recherche en typage, depuis longtemps, et encore activement. En python, j'en doute.

  • [^] # Re: Mettre la complexité dans le typage

    Posté par  (site web personnel) . En réponse au journal Typage statique versus typage dynamique. Évalué à 4.

    C'est plus du pattern matching que du type checking.
    En typant, il va voir que t'as un objet de type A. Il a accès statiquement à la structure des objets de type A, et sait donc toutes les formes qu'ils peuvent avoir. Il vérifie ensuite que ton code couvre bien tous les cas possibles pour ton type.

  • [^] # Re: Boutique

    Posté par  (site web personnel) . En réponse à la dépêche Version finale d'ultracopier 0.3. Évalué à 5.

    La loi de Godwin généralisée est présentée ainsi sur Wikipedia :
    > Pour tout groupe, il existe un unique thème tel que, pour toute discussion au sein de ce groupe, la probabilité que ce thème soit abordé tende vers 1.
    Sur linuxfr le thème c'est les utilisateurs finaux et le temps pour aborder ce thème est généralement très court.

    Vilain nazi de la généralisation !

  • [^] # Troll detected.

    Posté par  (site web personnel) . En réponse au journal Typage statique versus typage dynamique. Évalué à 8.

    De par sa nature même, un langage à typage dynamique interdit toute complétion automatique ou assistance à la refactorisation digne de ce nom. Cela ralenti énormément le développement.

    ROFLCOPTER ! T'as jamais utilisé slime pour faire du Common Lisp toi.

    Tiens, et aussi, de par sa nature même, un langage à typage statique interdit tout débuggage dynamique digne de ce nom. Cela ralenti énormément le développement.

    Ne te méprend pas sur mon opinion, ma précédente job, c'était du Common Lisp, et ma job actuelle, c'est du Haskell. J'aime les deux approches, je connais leurs points forts et faibles, et je ne verse pas dans le trolls statique/dynamique. Mais là, tes premières phrases, c'est des FOUTAISES !

  • [^] # Re: Lenteur

    Posté par  (site web personnel) . En réponse à la dépêche GRUB 2.00 est enfin sorti. Évalué à 0.

    Je pense qu'il faut prendre en compte l'ordre de grandeur.

    Démarrer n0% plus vite pour n entre 1 et 9, c'est intéressant ; démarrer 0.0n% plus lentement, c'est négligeable. Alors, justement, se plaindre de perdre des pouillèmes quand on gagne tant, ça me fait lever les yeux au ciel.

  • [^] # Re: Lenteur

    Posté par  (site web personnel) . En réponse à la dépêche GRUB 2.00 est enfin sorti. Évalué à -1.

    En pratique, la lenteur insupportable de grub 2, c'est quoi ? 2 minutes ? 5 minutes ?

    Je reste persuadé que les moules qui ont commenté « c'est trop lent » ne sont pas des gens pour qui 5 secondes de plus ou de moins à des conséquences qu'on saurait noter. Je veux bien faire des concessions s'il s'agit du système de secours d'un avion de ligne, mais même si grub met 10 secondes (ce que je ne crois pas), l'impact réel sur la vie d'une moule qui reboote plusieurs fois par jour ou bien est au téléphone est certainement négligeable.
    Je suis même sûr que grub 2 met moins de temps à faire son travail que l'emacs à la configuration bien chargée d'un certain nombre de gens que je connais met à démarrer…

  • [^] # Re: Lenteur

    Posté par  (site web personnel) . En réponse à la dépêche GRUB 2.00 est enfin sorti. Évalué à -1.

    Je le démarre zéro (il tourne déjà) à deux fois (j'ai installé un plugin qui demande redémarrage, ou il a planté). Donc, ouais, sur une journée de 8 à 10 heures, c'est toujours négligeable. Le navigateur et le bootloader d'une machine de bureau ne sont pas du tout des logiciel critiques en terme de temps de démarrage. D'autant que j'imagine que la lenteur de grub 2 est loin d'être de l'ordre de la dizaine de secondes.

    Pouvoir booter rapidement, c'est du confort, et c'est surtout une frivolité négligeable comparé au reste de "l'user experience". Mon téléphone met plus d'une minute à démarrer, ça ne m'a jamais posé de problème. Il redémarre une fois par mois, suffit de le faire quand t'as pas besoin de téléphoner. Le démarrage du PC, c'est pareil: je peux le faire en même temps que je prépare mon café, enlève mes vêtements, range mon bureau, etc… i.e., avant d'avoir une quelconque activité sur l'ordi.

  • # Lenteur

    Posté par  (site web personnel) . En réponse à la dépêche GRUB 2.00 est enfin sorti. Évalué à 5.

    Je vois des commentaires qui parlent de la lenteur du bootloader. Vous démarrez votre ordinateur combien de fois par minutes pour que la lenteur soit gênante ? Le bootloader mettrait quinze secondes que je m'en ficherais toujours pas mal…

  • [^] # Re: Parsing compilation

    Posté par  (site web personnel) . En réponse au journal Détection de la syntaxe d'un langage informatique via un analyseur statistique naïf de type Bayésien. Évalué à 3.

    Tu sais, c'est à mon avis pas long de vérifier qu'un lexeur/parseur n'est pas le bon…

  • [^] # Re: xpdf

    Posté par  (site web personnel) . En réponse au sondage Quel lecteur PDF (Portable Document Format) utilisez vous et dans quelle circonstance ?. Évalué à 9.

    C'est un gros hack¹ qui m'a énormément rendu service.

    xpdf a un mode client-serveur qui permet d'envoyer des commandes.
    Quand j'édite toto.latex, je crée un serveur xpdf avec le nom "toto".
    Puis, dans vim, j'ai associé à xpdf --remote toto -exec nextPage et ainsi de suite.

    Par ailleurs, j'ai aussi une commande qui s'exécute dès que je sauve mon fichier texte. Ça lance une compilation du fichier, et parse l'affichage de latex. En cas d'erreur,ça met le curseur de vim à la ligne fautive, et en cas de succès, ça rafraichit xpdf.
    Pour déplacer le curseur dans vim, mon vim est en fait lancé en mode serveur lui aussi, avec le nom "toto". Quand le parseur de la sortie de latex lit une erreur, ça un setpos dans vim grâce à vim --remove-expr.

    Le code n'a jamais été libéré car il a des limitations, mais je pense le faire dès que je me serai décidé à créer un compte sur un site comme github ou bitbuckets…

    ¹: Autre gros hack que j'avais utilisé autrefois, je liais les entrées et sorties standard d'un interprète à des buffers dans vim, en passant par des pipes. Puis j'avais des commandes qui copiaient/collaient entre ces buffers. Ça me permettait ainsi l'intégration d'un interprète dans vim (pour faire du Scheme ou du Common Lisp par exemple). Je n'ai plus le code en revanche…

  • # Similaire :

    Posté par  (site web personnel) . En réponse à l’entrée du suivi Problème d'affichage lors du changement du seuil. Évalué à 3 (+0/-0).

    Ptêt même identique, je ne sais plus…
    http://linuxfr.org/suivi/dynamique-du-seuil-de-la-toolbar

  • # xpdf

    Posté par  (site web personnel) . En réponse au sondage Quel lecteur PDF (Portable Document Format) utilisez vous et dans quelle circonstance ?. Évalué à 2.

    Que je contrôle avec vim pour aller page suivante/précédente, pour et pour rafraichir mes PDFs en quasi-temps-réél quand j'édite du (La)TeX.

    Mais xpdf rame beaucoup quand il doit lire certains fichiers avec des grosses images (genre, de mémoire, un plan de la RATP). Dans ce cas la, Acroread.