keyser.dyson a écrit 270 commentaires

l'ADN aussi est recopié avec des erreurs

C'est un avantage pour l'évolution du vivant.

J'étais tombé sur un article de calcul des erreurs en informatique liées aux rayons cosmiques. C'est de l'ordre de un octet par minute sur un PC de base.

C'est un gros boulot hyper-compliqué.

J'ai expérimenté avec Firefox.

On peut aussi tout mettre dans /dev/shm si on a de la mémoire. Ca booste.

Tout ça pour le "trombone" …

Ca a du capoter. Ca ne doit pas être fini.

Oui, je connais.

La mise en avant ce langage QML le mets, de facto, en concurrence avec JS.

Si c'est compilé directement en C++, c'est surement beaucoup plus rapide.

Si c'est parsé et interprété, ça n'a d'intérêt que dans QT.

C'est parcequ'il n'y a pas de "valeur" puisque c'est gratuit.

C'est le problème de la macro-économie. On peut faire des calculs mais on en tient pas compte.

On sait quand même qu'ils mettent des battons dans les roues pour des raisons commerciales.

Ils ont une philosophie.

Tu veux dire que le JSON est traduit en C++?

Alan Kay parle beaucoup.

C'est toujours les mêmes idées. "Tout dynamique".

En même temps, heureusement: de la morale de qui devrait-il dépendre ?

Ca pose des problème parce que c'est aussi culturel.

Mais bon, dans la pratique, au final la loi dépend de la morale de celui qui va l'écrire, la seule garantie théorique étant le fait que la loi est censée respecter un ensemble de normes.

Au final, c'est bien "enfermant" quand même.

Pour info, il y a moyen de le faire:

http://blog.famillecollet.com/post/2014/04/01/Switch-to-CentOS-6.5

…et moins avouable de rendre le P2P non gênant pour la connectivité.

J'aimerais bien pouvoir faire ça aussi. Je suis obligé d'arrêter transmission pour regarder une video YT.

J'ai vu qu'on pouvait piloter transmission en ligne de commande. Mon idée est de mettre régler les quotas de transmission quand une page YT est ouverte dans Firefox.

La notion de hiérarchie des normes a d'abord été formulée par le théoricien du droit Hans Kelsen (1881-1973), auteur de la Théorie pure du droit, fondateur du positivisme juridique, qui tentait de fonder le droit sans faire appel à la morale et au jusnaturalisme.

J'ai appris quelque chose. Merci.

Le droit ne dépend pas de la morale.

Donc tu es modeste.

J'était persuadé que c'était fait en Java aussi.

Chez moi, ça dépends du JDK.

Tu parles de ça ?

http://www.vpri.org/pdf/tr2011004_steps11.pdf

We set a limit of 20,000 lines of code to express all of the “runnable meaning” of personal computing.

C'est une très bonne idée de se fixer une limite mais c'est un peu irréaliste.

Autant passer au Javascript directement avec un moteur de rendu style Blink.

Comme la culture et la confiture.

En arrêtant de mettre ses données personnelles n'importe où et en se prenant en charge soi-même le plus possible.

En le disant aux autres aussi. Les occasions sont nombreuses.

La sécurité a un coût réel, et notre monde n'a jusque la pas considéré que le coût en valait la chandelle.

On n'en tiens pas compte encore car il n'y a pas encore assez de demande.

On ne donne de valeur que à ce qui est "rare".

Ce qui est dommage c'est que la communauté Linux s'intéresse très peu à ces sujets-là.

Parce que ce sont des bricoleurs. Ce n'est pas péjoratif pour moi.

ACSL, que tu cites, semble parfaitement utilisable et très intéressant. On pourrait même générer certaines descriptions à partir des "asserts" déjà dans le code.

J'ai vu une conférence sur sqlite. Ils font des choses assez poussées dans ce domaine mais ce n'est pas du "formel" (des tests de couverture).

En fait, il faudrait utiliser clang et LLVM pour faire des choses en automatique sur l'AST directement. Les projets dont tu parles sont antérieurs. Ca va arriver.

J'ai découvert que Google à bloqué la possibilité de téléchargement de fichiers depuis code.google.com.

J'ai vu ça aussi. On ne peut définitivement pas leur faire confiance.

Il y a eu une étude sur la durée de vie de leurs produits. Elle ne dépasse pas trois ans en moyenne.

Je n'utilise plus du tout ce qu'ils font. Dès que je vois une libraire ou un langage qu'ils font, c'est "niet" pour moi.

C'était très bien fait "code.google.com". Je trouve ça mieux que Github même si le paradigme n'est pas le même.

Spécifiquement pour "transmission", il existe un patch pour choisir la carte réseau:

https://trac.transmissionbt.com/ticket/2313

La scientologie procède de cette façon aussi. Ils ont une liste de personnes dites "suppressives" (des ennemis).