Aldoo a écrit 2794 commentaires

En l'occurrence, mauvais exemple.
Il est en effet parfaitement prouvable mathématiquement que les nombres entiers ne suffisent pas à exprimer le rapport entre le périmètre d'un cercle et son rayon.
Vu que cette notion de rapport à un sens physique (ou du moins géométrique), et pour peu qu'on décide d'appeler cette chose un nombre, l'existence de nombres non entiers est nécessaire.

Maintenant, si tu es capable d'une telle démonstration visant à montrer la nécessité de l'existence de Dieu…

Malin comme technique pour faire faire son exo de maths en le faisant passer pour énigme :-p.
La présentation (l'escargot, le géant, l'élastique) est en effet plutôt originale, mais l'exercice est vraiment un des cas de base du cours sur la convergence des séries.

Les universités ne sont pas des organes du gouvernement (ou du parlement). C'est normal qu'elles ne soient pas en .gouv.fr.
Maintenant, pourquoi n'avons-nous pas notre .edu.fr ? (comme le font de nombreux autres pays)

C'est long surtout vers la fin, mais comme toujours avec Neal Stephenson, il y a de bon moments et des personnages vraiment hauts en couleur.

Ouais, c'est du Stephenson tout craché, quoi :).
Heureusement que c'est un de ces rares auteurs avec lesquels on se sent un peu plus intelligent après avoir lu un de ses livres. Vraiment un auteur à recommander au public geek en fait (geeks de tout poil, pas seulement informatique).

Reamde est en attente sur ma "pile" en tout cas.

Mais si les contrats sont vraiment tous simples, même sans le source, ça ne doit pas être si méchant de vérifier quelques dizaines d'opcodes. Quels sont les ordres de grandeur typiques ?

Ok, oui je commençais à réaliser mon erreur :).

Le risque de "processus fou" avec une boucle qui tourne à l'infini est quant à lui limité par sa consommation en "essence". Il ne peut exister de tel processus fou que si quelqu'un est disposé à payer indéfiniment pour son exécution. C'est bien ça ?

D'après ce que j'ai compris, mais je viens de découvrir Ethereum, le cœur du protocole est peu ou prou la même chose que celui de Bitcoin.
La différence, c'est que dans la blockchain, on ne stocke pas que des transactions monétaires, mais aussi des programmes, appelés aussi "contrats" (appartenant à un langage Turing-complet) : leur code, d'une part, et leurs données d'autre part (dans une autre entité, une par instance du contrat). Toute modification des données est enregistrée sous forme de transaction dans la blockchain.
D'après ce que j'ai compris, la mémoire du contrat est distribuée (stockée dans la blockchain), mais l'exécution d'un appel de méthode se fait, de façon classique, sur la machine qui s'en sert en appelant une des méthodes du contrat (avec effets de bords sur la blockchain éventuellement).
Il ne me semble pas avoir vu qu'un contrat pouvait continuer à s'exécuter "tout seul" et avoir une espèce de boucle infinie distribuée sans qu'un utilisateur n'appelle lui-même une méthode en boucle.

Ok tout ça me semble en rapport avec le sujet de discussion de l'article cité dans le 2e message de Zaurus sur la ML.
Donc des gens intelligents ce sont sans doute déjà penchés plus sérieusement sur cet aspect du problème.

À vue de pif, (encryption_symmetrique(dictionnaire, cle_secrete), texte_compresse) me semble aussi très vulnérable aux attaques statistiques.
En effet, vu que le texte compressé est en clair, il ne me semble pas impossible (1) d'essayer de segmenter les différents codons(?) et (2) d'utiliser des techniques statistiques pour en déduire un dictionnaire plausible.

La partie (1) me semble plus difficile et doit sans doute pas mal dépendre de l'algorithme de compression. À voir en pratique.

Ça fait plusieurs fois que je vois le terme "mort" sur ce site et je ne comprends pas ce que cela signifie.
Quelqu'un aurait-il l'amabilité de m'éclairer sur ce point ?

Dans ce cas oui.
Mais en général, ǝpɐןƃu∀ nǝıɥʇʇɐW-ǝɹɹǝıԀ a raison : de trop nombreuses pages sur le net n'affichent pas de date alors même que la nature de leur contenu est très périssable.

Mon commentaire était un peu provocateur.
Mais force est de constater que le marché de la calculatrice est bien moins compétitif que celui de la tablette.

L'évolution technique a été quasi-nulle ces 15 dernières années et les prix ont stagné (je me base par exemple sur la comparaison de la TI-89 de l'année de mon bac et celle d'aujourd'hui).
La situation contraste énormément avec le reste du marché de l'électronique.

Je soupçonne que la marge sur une TI-89 aujourd'hui doit être gigantesque (R&D amortie depuis des lustres, et fabrication matérielle qui n'a aucune raison d'être plus onéreuse que celle d'une tablette tactile. Ne me dites pas que c'est le clavier physique qui est cher: les calculatrices premier prix ne coutent que quelques euros.).

Une raison possible de cette situation est que la calculatrice scientifique est un marché de niche comparé à celui des smartphones et des tablettes. Certes tous les lycéens en filière S et les élèves de prépas doivent en avoir une, mais j'ai cru comprendre que la situation était un peu particulière à la France : dans d'autres pays, on fait le choix plus logique d'apprendre à utiliser de vrais ordinateurs (à vérifier, si quelqu'un a des infos sur les conditions dans les autres pays ?).

[EDIT] Oui, bien vu le XKCD, ça dit plus ou moins la même chose que ce que je dis :). Je crois que je l'avais déjà lu, ce qui a dû un peu influencer mon discours :).

La calculatrice hardware serait aujourd'hui de toute façon un non-sens… si on ne vivait pas dans un monde où les candidats bacheliers ont droit de les utiliser, mais n'ont pas le droit aux smartphones où à quoi que ce soit de connecté.

Cela pourrait expliquer les prix scandaleusement élevés des calculatrices scientifiques, comparés à ceux de tablettes tactiles capables de faire bien plus pour moins cher.

La michu-compliance est une chose, mais le fait d'avoir à laisser tourner un serveur chez soi en permanence empêchent de considérer OwnCloud et équivalents comme alternatives à DropBox & Co, niveau éco-compliance. Donc ça m'agace un peu qu'on cite systématiquement ces logiciels en tant que tel.

En réalité, il faudrait parler de OwnCloud + service d'hébergement de serveur virtuel. Au final on se retrouve aussi dépendant du cloud, même si on a légèrement plus de contrôle et qu'on utilise du logiciel libre (mais on perd la gratuité, et une belle part de michu-compliance.).

Je peste souvent contre le fait que les touches de fonction copier/couper/coller du clavier TM envoie les codes des touches physiques ctrl+c, ctrl+x, ctrl+v plutôt que les codes sémantiques XF86Copy, XF86Cut, XF86Paste d'ailleurs…

Pardon, je n'ai pas été clair.
J'ai sauté le pas vers le bépo depuis quelques années déjà.
Ce que je voulais me dire, c'est que je n'arrivais pas à me résoudre à passer à une variante de Bépo, que j'aurais à installer partout où je passe.

Évidemment que j'ai dû me faire aux z, w, m, ç tout à droite, n'empêche que ça reste sous-optimal, notamment en anglais (et en français, j'ai encore du mal entre le j et le z, au bout du petit doigt… ).
Quand je suis à mon poste de travail avec mon clavier TM, au moins je n'ai pas le problème d'appuyer par erreur sur entrée, mais il m'arrive encore d'activer le verrouillage majuscule… grr.

Ma dispo custom ne mettrait dans ces touches de droite que des choses pas trop courantes. Mais concrètement l'exercice est difficile. Idéalement, pour l'alternance des mains, toutes ces consonnes devraient rester sous la main droite… et en accès direct (vu que alt+gr est à droite… et que je ne me sens pas encore prêt à ajouter un alt-gr gauche !)… mais les places sont chères.

… ou pas.
J'avais cru avoir zappé la news sur la MAJ d'IPOT qui peut modifier le passé et supprimé tout un paquet de versions du noyau, en particulier les versions longterm 3.4 et 3.10, toutes deux distribuées en bz2, et toutes deux avec un numéro de version supérieur à 3.2.54.

Donc juste pour la gouverne de tous ceux qui comme moi auraient pu être surpris: des mises à jour de la branche 3.2 sont susceptibles d'êtres publiées jusqu'à l'année 2016: [https://www.kernel.org/category/releases.html].

Ça me semble une plutôt bonne idée (le cloisonnement par utilisateur… la VM, c'est limite parano… mais bon, pourquoi pas, aux grands maux, les grands remèdes).
J'utilise déjà plusieurs utilisateurs dans ma session, et je n'ai pas de troubles de la personnalité multiple.
Cela dit, il faut plutôt réfléchir par groupes d'applications et périmètres de sécurité. Beaucoup d'applis ne servent pas à grand chose toutes seules.

Le Z et le W me défrisent aussi en bépo. Bien trop près de la touche "entrée" sur un clavier non-typematrix… et bien trop loin sur la droite de toute façon. Pareil pour le Ç.

Je n'ai pas sauté le pas parce que l'idée d'installer ma disposition custom partout où je passe me rebute encore.

Personnellement, quand j'ai un souci, je trouve que c'est quand-même un confort très appréciable de pouvoir se concentrer sur la résolution du problème, sans en plus avoir à chercher ses touches pour cause de disposition clavier différente de celle à laquelle on est habitué.

Espérons que yast propose maintenant le bépo dans la liste des dispositions, je suppose que c'est l'absence de bépo en console qui était la cause de cette désagréable omission, tant d'années après l'intégration de la version finale de bépo à Xorg.

Désagréable, parce que ça veut dire que tous les endroits où une disposition clavier doit être choisie doivent être configurés manuellement et séparément (VT, kdm, session X). Pire, quand j'entre par mégarde dans la section clavier de yast, ça me déconfigure le clavier de Xorg vers azerty.

Ben… j'aimerais bien :).
Mais visiblement, ce n'est pas le cas pour tous les hardware.

Je suis bien d'accord, i8kmon est une plaie.
Déjà ce n'est pas installé par défaut par les distribs, alors que c'est indispensable à un usage normal d'un PC (le but d'un PC n'étant pas de créer un courant d'air dans la pièce ou de faire un bruit d'ambiance).
Ensuite, une fois qu'on le met en place, le comportement est hasardeux. Après un peu d'utilisation et quelques réveils de veille, le contrôle automatique du ventilateur ne semble plus fonctionner du tout (ça marche en relançant i8kmon, et le contrôle manuel continue à fonctionner de toute façon).

Bon ça ne sert à rien de râler, il faudrait que je rapporte les bugs. M'enfin ça me semblait quand-même un truc de base. Là ça fait un peu… brouillon, le PC avec le ventilateur à fond en permanence par défaut.

Sinon il y a le couple tableau blanc+feutre Velleda (ou tableau vert+craie).
Bien plus pratique quand on est plusieurs participants sur une réflexion/un brouillon.

Ah au passage, comment dire Velleda sans citer de marque ? Wikipédia propose feutre effaçable, ça me semble un peu léger.

Vérification faite… c'est bien un accent aigu : ´
Il existe aussi une apostrophe courbe censée être plus correcte que l'apostrophe droite (artefact des habitudes de clavier, au même titre que la guillemet droite " et l'absence de majuscules accentuées) : ’ (c'est sur le clavier bépo). Malheureusement, par manque d'habitude, ça fait aussi bizarre de voir une telle apostrophe que de voir un accent aigu à la place de '.