• Les traces d’une ancienne tempête solaire inquiètent les scientifiques | Slate.fr
    http://www.slate.fr/story/222857/les-traces-dune-ancienne-tempete-solaire-inquietent-les-scientifiques

    Notre Étoile est pleine de surprise. Alors que l’on pensait que les éruptions solaires majeures avaient lieu lors de périodes d’activité intense du Soleil, une récente découverte montre que ce n’est pas toujours le cas. Il y a environ 9.200 ans, un gigantesque « tsunami » solaire s’est déchaîné au moment même où son activité était faible, rapporte Science Alert.

    Cet important événement a laissé des traces enfouies sous la glace du Groenland et de l’Antarctique : des isotopes radioactifs de béryllium-10 et de chlore-36. Ces derniers sont notamment produits par l’arrivée de particules cosmiques de haute énergie issues d’une éruption solaire et propulsées jusqu’à la Terre. En analysant ces traces, les chercheurs de l’université de Lund, en Suède, ont pu dater et évaluer l’intensité de cette tempête. Et ce qu’ils ont découvert ne les rassure pas.

    Leur analyse a en effet montré qu’un énorme « tsunami » solaire, bien plus important que tout ce qui a été enregistré dans l’histoire récente, s’est écrasé contre l’atmosphère terrestre il y a environ 9.200 ans. Une période pourtant connue comme étant l’une des moins actives de notre Étoile, ce qui chamboule totalement nos connaissances sur ces éruptions.

    Pourquoi cette découverte inquiète-t-elle les scientifiques ? Si ces derniers n’ont toujours pas compris comment prédire ces événements dévastateurs, ils pensaient néanmoins qu’ils se produisaient lors d’activités intenses du soleil. Cette découverte montre que les éruptions majeures peuvent en fait avoir lieu à n’importe quel moment, ce qui les rend encore plus imprévisibles et dangereuses.

    Ce type de tempête n’est pas à prendre à la légère. Elles sont une véritable menace pour notre société, selon les auteurs de l’article, qui mettent en avant la nécessité de mieux les prévoir pour s’en défendre. Pannes mondiales de courant et d’internet, satellites perturbés, effondrement des communications : les scénarios sont multiples si jamais l’une d’entre elles aussi intense venait à frapper la terre aujourd’hui.

    Pour l’heure, un événement du genre fait office de référence : l’événement connu sous le nom de Carrington, survenu en 1859, rapporte Live Science. À l’époque, les fils télégraphiques avaient pris feu. Plus proche de nous, en mars 1989, une autre de ces éruptions solaires avait plongé pendant neuf heures six millions de Québecois et Québécoises dans le noir et dans le froid. Ça promet.

    • Le risque de blackout est-il réel ?​ — Grégoire Chambaz - YouTube
      https://www.youtube.com/watch?v=u9sau9f1FCM

      « Le risque de blackout est-il réel ? »​

      Conférence de Grégoire Chambaz donnée le 16/05/2019 à l’Inria Grenoble dans le cadre du cycle « Comprendre et Agir » :
      https://team.inria.fr/steep/les-confe...
      S’abonner à la « newsletter » du cycle : https://sondages.inria.fr/index.php/2...

      00:16 Prologue
      09:52 Introduction
      12:35 Definition du blackout
      14:58 Mécanismes du blackout
      17:57 Déclencheurs possible d’un blackout
      19:53 Durée et persistance d’un blackout
      26:44 Conséquences d’un blackout
      30:12 Effet domino
      34:35 Risques et dangers
      37:11 Un risque terminal ?
      41:04 De la science fiction ?
      42:30 Le risque de tempête solaire
      47:24 Le risque d’impulsion électromagnétique
      51:21 Le risque des cyberattaques coordonnées
      53:26 Le risque d’attaques coordonnées
      56:01 Pourquoi n’en parle-t-on pas plus ?
      59:58 A Retenir

      Bio : Grégoire Chambaz est rédacteur adjoint à la Revue Militaire Suisse (RMS), membre du Centre d’histoires et de prospectives militaires et officier dans l’armée suisse (capitaine).
      Spécialiste de la durabilité, ses recherches actuelles portent sur les processus d’effondrement des sociétés complexes, les risques et dangers existentiels (dont le blackout) et les impacts sécuritaires des trajectoires anthropocèniques.
      Il a rédigé pour la RMS plusieurs dossiers (entre autres) sur les réactions des institutions et des individus après les catastrophes, les impacts du changement climatique sur la sécurité ainsi que sur le risque de blackout.

      Résumé : Le blackout désigne l’interruption de l’alimentation d’une région en courant électrique. Il s’agit d’un phénomène méconnu du grand public, mais craint chez les spécialistes. Les conséquences d’une telle interruption sont variables, selon l’aire touchée, la durée de l’interruption et les capacités de résilience de la zone affectée. De la perturbation et du choc des premiers temps, le manque d’électricité peut rapidement se transformer en risque très dangereux à pratiquement tous les niveaux. Parler de ce risque, c’est reconnaître la dépendance vitale de nos sociétés à un approvisionnement électrique ininterrompu. Cela indique aussi la vulnérabilité croissante de nos activités et infrastructures, alors que nous nous engouffrons dans le tout-numérique. Face au risque de blackout, nos sociétés sont-elles résilientes, durables même ?

  • Automatic theorem proving for mathematicians
    A webibliography (in progress)

    Automatic theorem provers are computer programs that can assert the validity of a mathematical proof, help to build mathematical proofs, and can even prove some proofs themselves. They recently had great success by allowing to certify proofs of the 4-colour theorem and the Feit-Thompson theorem (Gonthier and his collaborators) or Hales’s proof of the Kepler conjecture (Hales himself). Even more recently, a team around Kevin Buzzard embarked in computer-checking Scholze’s theory of perfectoid spaces.

    Which theorem prover to chose ?

    A description of some of them by Thomas Hales, https://jiggerwit.wordpress.com/2018/04/14/the-architecture-of-proof-assistants

    Lean

    A review of the Lean theorem prover, by Thomas Hales, https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover

    Theorem proving in Lean, https://leanprover.github.io/theorem_proving_in_lean

    Coq

    Winter school on Coq and Mathematical components, https://team.inria.fr/marelle/en/coq-winter-school-2018-2019-ssreflect-mathcomp

    A book on Mathematical components, by Assia Mahboubi and Enrico Tassi, https://math-comp.github.io/mcb

  • Disabling Wi-Fi is not always enough to avoid tracking – Privatics
    https://team.inria.fr/privatics/disabling-wi-fi-is-not-always-enough-to-avoid-tracking

    Les utilisateurs d’un appareil équipé du Wi-Fi sont potentiellement exposés au traçage Wi-Fi dans le monde physique. La désactivation du Wi-Fi semble être une solution pour échapper à ce traçage. Certains traceurs Wi-Fi suggèrent même de d’éteindre le Wi-Fi si l’on ne souhaite pas être géolocalisé.
    En fait, la désactivation du Wi-Fi sous Android n’est pas nécessairement suffisante pour empêcher le traçage. En effet, l’appareil peut effectuer des scans Wi-Fi même si le Wi-Fi a été désactivé. Notre étude confirme que d’autres paramètres doivent être configurés afin de bloquer totalement l’émission de signaux Wi-Fi. En particulier, l’option “recherche toujours disponible”, qui n’est pas accessible sur certains appareils, doit être désactivée pour empêcher ce comportement.

  • Paris Metro Tracks and Trackers: Why is the RATP App leaking my private data? (Continued…) » Privatics
    https://team.inria.fr/privatics/paris-metro-tracks-and-trackers-why-is-the-ratp-app-leaking-my-private-da

    The RATP App, both the iOS and Android versions, is a good illustration of bad privacy practices of some companies, in particular A&A companies:

    - many kinds of private data are collected and sent, and in this example, even if the “legal terms” of the RATP App claims the contrary;
    - A&A companies have found ways and started using techniques to bypass the restrictions imposed by Apple. The fact that the user can reset the Advertising ID as often as he wants is annoying from a tracking point of view (that’s the goal), and as a result, certain tracking companies started using permanent (or at least long-term) identifiers to track the user;

    A mettre en parallèle avec ce billet, pardon, cette apologie du #marketing intelligent, précisément pondue par un vice -président de Faber Castel, le développeur des applications #iOS et #Android de la #RATP :
    Smart advertising is finally on its way – and we should all be grateful
    http://www.fabernovel.com/blog/2013/02/18/smart-advertising-is-finally-on-its-way-and-we-should-all-be-grateful

    But most of all, I think it is a win for readers, for us. I do not
    dislike advertising, at all. Advertising is information, and I like
    being informed.

    Alleluia, l’exploitation dévergognée de nos #données_personnelles va illuminer notre vie - enfin.

    #vie_privée #confidentialité

    (via @tsailly sur twitter)

  • Paris Metro Tracks and Trackers: Why is the RATP App leaking my private data?
    https://team.inria.fr/privatics/paris-metro-tracks-and-trackers-why-is-the-ratp-app-leaking-my-private-da

    The RATP is the French public company that is managing the Paris subway (metro). It provides a dedicated and very useful smartphone App. In particular, privacy policy of RATP’s iOS App (version 5.4.1) claims: “The services provided by the RATP application, like displaying geo-targeted ads, does not involve any collection, processing or storage of personal data” (translated from their privacy policy, in French). Below is the screenshot of RATP’s In-App privacy policy (in French):

    Now, having read above the privacy policy of the App, would you believe the fact that MAC Address of your iPhone’s WiFi chip, your iPhone’s name, and the list of processes running on it (which potentially reveals a subset of Apps installed on the smartphone) among other things, are being sent over the network to a remote third-party by RATP App? Well, if you don’t believe it; here you go. Below are two instances of data we captured on our iPhone while being sent over the network by the RATP App. One good news, though: this data is sent through SSL, not in clear, which avoids eavesdropping.

    But wait! It might be possible that RATP doesn’t even know of this behavior of their App (but in any case, this can’t be an excuse for RATP to get rid of their responsibility). This App is, in fact, developed and maintained by FaberNovel according to In-App “Legal mentions”

    #inria #fabernovel #surveillance