patrick_g a écrit 6397 commentaires

ça le fait même avec le Tor Browser ?

L'intelligence artificielle ne peut pas exister merci Gödel

Pff. Encore une fois Gödel mis a toutes les sauces.
Quel rapport entre un énoncé technique sur la formalisation de l'arithmétique et une possibilité d'existence d'une "intelligence" artificielle (avec toutes les ambiguïtés sur la notion d’intelligence) ?
Tiens ça me fait penser à ce post récent de David Monniaux.

Le développement de l'informatique aussi bien en terme matériel que logiciel devrait aboutir dans un délais de 20 à 50 ans à la création d'une intelligence supra humaine

Devrait aboutir ? Qui dit ça ? Les mêmes qui observent un bambou grandir et qu'ils disent qu'il devrait atteindre la lune en 2028 ?
L'extrapolation à l'infini d'une courbe de tendance c'est le mal.

Comme les autres je ne peux que dire merci pour cette belle dépêche.
Pour les plus courageux il y avait eu un numéro spécial des Notices de l'American Mathematical Society qui était consacré aux preuves formelles et à Coq/HOL/Isabelle :

http://www.ams.org/notices/200811/index.html

Je recommande particulièrement l'article "Formal Proof - Getting Started".

Voici un commentaire de Spender qui dit lui aussi que ce n'est pas aussi critique qu'annoncé et que Qualys a choisi de gonfler l'importance du truc pour se faire mousser :

https://lwn.net/Articles/630854/

J'imagine qu'il voulait dire "Ubuntu va devenir une distro basé sur Arch".

C'est corrigé.

malheureusement je ne vois pas le graphique… est-ce normal ?

Voir la FAQ : https://linuxfr.org/aide#aide-imgcertificatssl

Il est cadencé à combien ton i5 ? Parce que si le code utilise les instructions AES du CPU alors je pense seule la fréquence compte.

patrick@laptop:~$ openssl speed aes
Doing aes-128 cbc for 3s on 16 size blocks: 25222932 aes-128 cbc's in 3.00s
Doing aes-128 cbc for 3s on 64 size blocks: 6864741 aes-128 cbc's in 3.00s
Doing aes-128 cbc for 3s on 256 size blocks: 1749058 aes-128 cbc's in 3.00s
Doing aes-128 cbc for 3s on 1024 size blocks: 441017 aes-128 cbc's in 3.00s
Doing aes-128 cbc for 3s on 8192 size blocks: 55257 aes-128 cbc's in 2.99s
Doing aes-192 cbc for 3s on 16 size blocks: 21354382 aes-192 cbc's in 3.00s
Doing aes-192 cbc for 3s on 64 size blocks: 5729297 aes-192 cbc's in 3.00s
Doing aes-192 cbc for 3s on 256 size blocks: 1456925 aes-192 cbc's in 3.00s
Doing aes-192 cbc for 3s on 1024 size blocks: 367010 aes-192 cbc's in 3.00s
Doing aes-192 cbc for 3s on 8192 size blocks: 45965 aes-192 cbc's in 3.00s
Doing aes-256 cbc for 3s on 16 size blocks: 18602240 aes-256 cbc's in 3.00s
Doing aes-256 cbc for 3s on 64 size blocks: 4926959 aes-256 cbc's in 3.00s
Doing aes-256 cbc for 3s on 256 size blocks: 1249472 aes-256 cbc's in 2.99s
Doing aes-256 cbc for 3s on 1024 size blocks: 314234 aes-256 cbc's in 3.00s
Doing aes-256 cbc for 3s on 8192 size blocks: 39342 aes-256 cbc's in 3.00s
OpenSSL 1.0.1f 6 Jan 2014
built on: Wed Oct 15 17:43:26 UTC 2014
options:bn(64,64) rc4(16x,int) des(idx,cisc,16,int) aes(partial) blowfish(idx) 
compiler: cc -fPIC -DOPENSSL_PIC -DOPENSSL_THREADS -D_REENTRANT -DDSO_DLFCN -DHAVE_DLFCN_H -m64 -DL_ENDIAN -DTERMIO -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -Wl,-Bsymbolic-functions -Wl,-z,relro -Wa,--noexecstack -Wall -DMD32_REG_T=int -DOPENSSL_IA32_SSE2 -DOPENSSL_BN_ASM_MONT -DOPENSSL_BN_ASM_MONT5 -DOPENSSL_BN_ASM_GF2m -DSHA1_ASM -DSHA256_ASM -DSHA512_ASM -DMD5_ASM -DAES_ASM -DVPAES_ASM -DBSAES_ASM -DWHIRLPOOL_ASM -DGHASH_ASM
The 'numbers' are in 1000s of bytes per second processed.
type             16 bytes     64 bytes    256 bytes   1024 bytes   8192 bytes
aes-128 cbc     134522.30k   146447.81k   149252.95k   150533.80k   151393.09k
aes-192 cbc     113890.04k   122225.00k   124324.27k   125272.75k   125515.09k
aes-256 cbc      99211.95k   105108.46k   106978.20k   107258.54k   107429.89k

Je pense qu'il appuyait ton raisonnement.
Il est tenté de réagir à vif puis se ressaisit.

Oui à la relecture tu as sans doute raison.
Désolé.

Attend nan merde attend une seconde…

Qu'est-ce que tu n'as pas compris dans la phrase ou je dit qu'il faut "s’accrocher à ses convictions anti-peine de mort" ?
C'est justement un appel à ne pas laisser la rage nous submerger ! Ce n'était pas assez clair ?

Toutes mes condoléances aux familles des victimes courageuses qui ont toujours mis la liberté d’expression avant leur sécurité.

Et aussi aux policiers tués.
La vidéo de l'assassin qui trottine tranquillement pour s'approcher du policier blessé qui gît par terre et lui logeant à bout portant une balle dans la tête…putain faut serrer les dents et s’accrocher à ses convictions anti-peine de mort parce que quand on voit ça on a la rage.

Pour la dépêche noyau, c'est pas parfait mais on peut nettement voir une différence depuis l'instauration du concept de "mainteneur"

L'autre solution c'est de tout faire soi-même. C'est ce que j'ai fait sur les dépêches noyau pendant quelques années…mais au bout d'un moment ta vie pro et perso change, tu as soudain beaucoup moins de temps (et peut-être aussi un peu moins de motivation) et il est alors nécessaire de passer la main.

Je te dis bravo et merci d'avoir repris le flambeau aussi brillamment. Les news noyau sont excellentes et c'est grâce à ton boulot et à celui des autres contributeurs.

Dans le cas de Turing je trouve que c'est plus grave que dans d'autres films (comme pour U-571 par exemple ou les ricains tiraient ridiculement la couverture à eux).
Selon l'article du Guardian sur "Imitation Game", ils font passer Turing pour un traître qui cède au chantage de l'espion soviétique car il a peur que soit révélée son homosexualité. C'est quand même un comble ! Le vrai Turing se décarcasse toute la guerre pour sa patrie et il peut à bon droit être considéré comme un héros…et là dans le biopic on le fait passer pour un traître ! Et en plus on justifie a posteriori le préjugé sexiste des années 50 disant que les homos ne sont pas fiables puisqu'on peut les faire chanter.
N'importe quoi.

De sacrés chamboulements en perspectives.

Une vidéo absolument brillante et même géniale au sujet sujet de cette transformation technique qui arrive et de ses conséquences en terme d'emploi => https://www.youtube.com/watch?v=7Pq-S557XQU

Je n'ai pas vu le film et je n'ai pas très envie de le voir après avoir lu plusieurs critiques cinglantes sur son niveau de véracité historique. C'est quand même bête qu'un biopic sur Turing raconte une tonne de conneries alors que la réalité à son sujet est si fascinante. On dirait qu'Hollywood ne peut pas s'empêcher de rajouter des histoires d'espions à la con.

Voir par exemple cet article du Guardian => http://www.theguardian.com/film/2014/nov/20/the-imitation-game-invents-new-slander-to-insult-alan-turing-reel-history

la syntaxe de scripting n'est pas du tout compatible POSIX

Mais AMHA elle est vachement plus cohérente et logique.

on aura des applis qui ne fonctionneront pas de manière aléatoire

Pourquoi ? On ne parle pas de refuser l'accès (ce qui pourrait effectivement générer des plantages de l'appli). On parle juste de renvoyer un résultat vide. Après tout il y a bien des gens qui effacent périodiquement leurs SMS ou qui n'ont personne dans leur carnet d'adresse non ? Pourquoi l'appli se vautrerait dans ce cas là ?

Merci. J'ai ajouté une NdM au journal avec le lien qui explique les actions de LQDN.

les images n'apparaissent pas chez moi

Peut-être que ceci t'aidera : https://linuxfr.org/aide#aide-imgcertificatssl

C'est fait.

Fait.

J'ai installé GCompris pour mes neveux à partir des dépots d'une Lubuntu 14.04.
Ils sont contents et tout marche bien…sauf le jeu d'échecs. Chaque fois qu'on clique sur l'icône ça se vautre. J'ai installé GNUchess en plus, pensant que ça résoudrait le problème, mais même résultat.

J'ai regardé sur le bugzilla mais il n'y a rien à ce sujet. C'est peut-être un bug spécifique à la version présente dans les dépôts Ubuntu 14.04 ?

La référence pour moi c'est ce message de Ted Unangst : http://marc.info/?l=openbsd-misc&m=139819485423701&w=2
En gros FIPS c'est pire qu'inutile, c'est néfaste.