patrick_g a écrit 6387 commentaires

Ou plutôt avec les prédictions des spécialistes du domaine mathématique traité par chacun des lauréats

Bien entendu ;-)
C'est simplement de la compilation de mes lectures sur la recherche en math (les blogs, les articles, etc). Et j'en ai des tonnes dans mes flux rss !

Le mérite n'existe pas vraiment.

C'est tellement absurde de dire ça. On se croirait revenu en 1968 avec une vision complètement idéologique de la réalité.

Les 50 meilleurs en maths vont à polytechnique.

Cela démontre que tu ne connais strictement rien au monde de la recherche en mathématiques. Aucun polytechnicien n'a jamais remporté la médaille Fields. Presque tous les lauréats français sont issus de l’École Normale supérieure (10 sur 12).

C'est très bien pour cette personne de recevoir ce prix et ça va surement l'aider (dans son pays, par exemple).

Elle a quitté l'Iran et vit aux USA.

On ne choisit qu'une ou trois personnes à chaque fois.

C'est entre deux et quatre personnes…mais bon et alors ?

Il n'y a pas de place pour tout le monde. Ce sont les "meilleurs".

C'est un peu le principe des médailles, qu'elles soient sportives ou académiques.

Même si la découverte de la personne est un réelle avancée, on nie complètement tous les autres.

Le but c'est au contraire d'encourager les autres en les incitant à se dépasser. De jouer le rôle d'un modèle pour les jeunes.

Il y a des gens qui refusent les médailles (comme Tardi, par exemple).

Et en mathématiques aussi. Voir Perelman par exemple.

Il y a une hiérarchie dans les personnes aussi.

Non. Il y a une hiérarchie dans la valeur des travaux de recherches des mathématiciens. Mais cela n'implique aucun jugement sur la valeur des personnes en elle-mêmes.

C'est pas pour dire mais je fais un 3 sur 4 avec mes prédictions !!!!
http://www.mathunion.org/general/prizes/2014

Bravo aux gagnants et surtout bravo à Maryam Mirzakhani.

Sacré coup de bol.

Sauf que :

1) Elle n'a pas encore la médaille. Les rumeurs peuvent être fausses. Et puis il y a des rumeurs sur d'autres femmes (les françaises Sophie Morel ou Laure Saint-Raymond).
2) Le milieu des mathématiques est très très très méritocratique. Si elle reçoit la médaille tu peux être certain qu'elle l'aura mérité et que ce ne sera pas pour d'autres raisons extra-scientifiques.

Belle analyse.
Et pour un exemple de données sauvées par un groupe de passionnés parce que la NASA n'a pas fait son travail : https://linuxfr.org/users/patrick_g/journaux/anomalie-pioneer-une-solution-en-vue

La partie importante du communiqué de la FSF (c'est moi qui met en gras):

The successes of the ISEE-3 Reboot project demonstrate the importance of developing, maintaining, and promoting free software. With dozens of contributors and thousands of users, GNU Radio is written to be shared, learned, and improved by anyone, anywhere…unlike the lost proprietary communications equipment used by NASA.

Merci pour le journal.
Je ne sais pas si les données récoltées par une sonde datant des années 70 vont vraiment être intéressantes, mais en tout cas ce programme est un bel hommage au logiciel libre.

Vous choisissez quel camp ?

Celui de Linux et du logiciel libre…comme ça les citoyens des USA et de l'Union Européenne gagnent dans les deux cas.

Quote of the week ;-)

À titre perso je préférerais que ça reste à Xfce…mais j'admets que Jordi à raison et qu'un changement de ce genre devrait être discuté sur la ML et ne pas faire l'objet d'un commit git unilatéral.

A propos du paragraphe sur "Problèmes avec GCC 4.9" il y a un mail rigolo de Linus ici.
Comme d'hab on améliore son vocabulaire anglais en lisant ses invectives colorées ;-)

Bien entendu la phrase "your compiler is pure and utter shit" est facile à traduire mais il y a des trucs plus cotons.

Par exemple sa phrase : For chrissake, that compiler shouldn't have been allowed to graduate from kindergarten. We're talking "sloth that was dropped on the head as a baby" level retardation levels here.

Je propose la traduction suivante (mais ça sonne moins marrant que l'original anglais) : Pour l'amour de Dieu, ce compilateur n'aurait pas du être autorisé à quitter la maternelle. Là on parle d'un niveau de retard mental du type "bébé paresseux ayant fait une chute sur la tête".

La citation d'origine est d'Edmund Burke :

"The only thing necessary for the triumph of evil is for good men to do nothing".

diminuer la surface d'attaque (…) méthodes formelles

Je te propose de nous écrire une belle news sur le passage en licence libre de seL4 ;-)
http://sel4.systems/

C'est exactement ce que tu veux : un micro-noyau GPLv2 dont le code est validé par des méthodes formelles.

Ce qui est sympa avec Capsicum, c'est que les gens d'OpenSSH et de Chrome s'y intéressent

Ben c'est pareil avec seccomp-bpf. Mieux même puisque c'est déjà utilisé par OpenSSH et Chrome.

https://wiki.qubes-os.org/wiki

Mais ça ose de redoutables problèmes d'ergonomie et d'interfaces. Les logiciels ont besoin de communiquer entre eux pour être efficaces.

Sur l'avis de Linus : il ne s'est pas exprimé de nouveau sur ces séries de patches, donc je ne sais pas quel est son avis et s'il est toujours le même.

A mon avis le fait que certaines personnes (Julien Tinnes ou Paolo Bonzini) se soient manifestés sur la LKML pour dire que Capsicum répondait à un vrai besoin est très positif pour l'acceptation par Linus et l'intégration future dans le noyau.
Linus est remarquablement constant dans ses exigences :

• Il veut que les patchs soient bien découpées et réutilisent au max les infrastructures présentes dans le noyau. Pas d'intégration en bloc d'un gros bouzin externe non pensé pour Linux.
• Il veut que ceux qui n'utilisent par une fonction particulière ne soient pas impactés par son existence. Pas question que ça réduise les perfs des gens qui ne l'utilisent pas.
• Il veut que l'utilité des patchs soit démontrés par des utilisateurs qui se manifestent sur la LKML. Pas question d'intégrer des trucs si ça ne répond pas vraiment à un besoin clair.

Exactement la même chose pour mon Clevo W550EU.
Très bonne machine, customisable à l'achat pour correspondre à mes besoins. Aucun problème depuis l'achat mais l'écran Full HD a un peu de clouding quand on regarde un écran noir.

En même temps est-ce que le calcul du score effectué par e4defrag est fiable ? J'ai une Ubuntu avec un / chiffré (donc y'a du LVM) et quand je lance e4defrag avec l'option -c il me dit que mon score est de zéro. Cela me semble louche.

Ce qui ne prouve potentiellement qu'une seule chose: FreeBSD serait plus sécurisé que Linux

Mouahahahahaha !
https://linuxfr.org/nodes/100028/comments/1515357

Un article pas mal de Hanno Böck qui explique ce qu'il a du faire pour faire marcher LibreSSL sur sa Gentoo :

https://blog.hboeck.de/archives/851-LibreSSL-on-Gentoo.html

Ces caméras ont été installées par un membre du staff

Mais c'était quoi le but derrière l'installation de ces caméras ? Pourquoi est-ce que ce membre du staff a pris la peine de les installer ?

Une interview de Tanenbaum publiée sur LinuxFR en 2011 : http://linuxfr.org/news/entretien-avec-andrew-tanenbaum-a-propos-de-minix

Ça permet de se souvenir que c'est quand même un sacré trolleur de compétition.

une librairie physique c'est dépassé

AMHA il reste quand même des cas d'utilisation ou une librairie physique est supérieure à un vendeur dématérialisé comme Amazon.

Par exemple tu ne sais pas vraiment quoi acheter et tu flânes entre les rayonnages et feuilletant un livre par-ci, un autre par-là et en attendant d'avoir le coup de coeur. Ce type de "vagabondage" littéraire est quasi impossible à reproduire sur un site web (en dépit de toutes les tentatives et suggestions automatiques).

Autre exemple sur les livres d'art. Si tu veux être certain de la qualité d'un livre d'art, il vaut mieux l'avoir en main et examiner les reproductions d'oeuvres. C'est quand même l’intérêt majeur de tels livres donc les acheter sur Amazon, même avec les options de prévisualisation et autres, ce n'est pas une bonne idée.

Dernier exemple avec les amoureux de "l'objet livre" en lui-même. Qu'il s'agisse de l'odeur du papier, de la qualité visuelle et tactile d'une reliure ancienne, etc etc. La décision d'achat dépend de la relation physique qui s'établit entre toi et le livre….relation qui n'existe pas quand tu passes par un vendeur dématérialisé. J'ai pas mal de livres anciens dans ma bibliothèque et très peu d'entre-eux ont été acheté sur le net.

Je suis conscient que ces trois exemples sont assez particuliers et que l'immense majorité des achats de livres (et de mes achats de livres) s’accommode parfaitement des prestations offertes par Amazon et consorts (surtout Amazon d'ailleurs, qui offre un service impeccable alors que j'ai à me plaindre de la FNAC).
J'achète toujours autant de livres, je fréquente moins les librairies qu'avant…mais dire qu'elles sont dépassées c'est un poil exagéré.

La porte de la cabine de pilotage n'est pas vraiment une porte blindée.

Il me semble que depuis le 11 septembre, l'OACI a édicté des nouvelles normes et que la porte d'accès à la cabine de pilotage doit désormais être blindée + système d'ouverture et de verrouillage depuis chaque siège pilote + système de surveillance de la zone d'entrée du cockpit.
Donc ton karatéka il va avoir du mal.

Si le portable ne s'allume pas, la totalité du boîtier est peut être utilisée pour contenir une bombe. Si il s'allume, seule une petite partie peut être utilisée.

Sauf que ça ne change rien puisqu'il suffit d'une quantité ridicule d'explosif pour faire péter la carlingue d'un avion pressurisé.

il est clair que tu es un extrémiste qui lutte contre les mesures de sécurité dans le but de mettre des bombes dans les avions

Sauf que cette affirmation entre en conflit avec une autre affirmation possible me concernant : "tu as un compte sur LinuxFR donc tu es un nerd hirsute qui se nourrit de pizzas et qui ne sort jamais de son antre…aucun risque que tu prennes jamais l'avion pour mettre une bombe" ;-)