Vous aviez de gros doutes, Framatophe le confirme :
Les médias sociaux ne sont pas des espaces démocratiques.

À lire dans le framablog :
framablog.org/2021/05/15/les-m

Vu sur les zinternets.
Notre monde résumé en une image (ou presque).

Overall I'm pretty surprised how few gotchas, from a user experience, Racket's switch between its original C backend and the Chez Scheme backend was. Hats off to Matthew Flatt, couldn't have been easy.

#Programming #Book
> The #SoftwareFoundations series is a broad introduction to the #mathematical underpinnings of #reliable #software.
> The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the #Coq #ProofAssistant.
softwarefoundations.cis.upenn.

Campagne de vaccination en France, Doctolib, désobéissance civile 

Rappel: Doctolib est une entreprise privée dont le statut de monopole de facto pour gérer les données de santé est en train d'être confirmé par une «Start-up Nation» trop contente de pouvoir parler de «réussite» et de «croissance» plutôt que de développer une solution libre et publique (et donc moins chère… je croyais qu'il y avait pas d'argent pour le soin ? ah, si, y en a quand ça tombe dans la poche des copains…).

Doctolib n'a aucune habilitation à gérer des données aussi critiques que celles de santé (c.f. https://cyberveille-sante.gouv.fr/cyberveille-sante/1965-fuite-de-donnees-concernant-le-service-de-prise-de-rendez-vous-doctolib-2020) et utilise les services de google, donc vous savez très bien ce qui advient de *vos données de santé*.

Un petit extrait pris dans le premier script JS que j'ai regardé au pif parmi ceux chargés en visitant Doctolib : «oh ! des google analytics !». Bin oui, l'important c'est de faire de l'audience et de partager les données avec Google, pas de vous servir.

Autre rappel: Doctolib n'est pas l'état, les données que vous y renseignez n'ont aucun caractère légal. Donnez leur des fausses info, créez autant de comptes que possibles afin d'éviter le recoupement de vos données, si vous consultez par exemple pour une maladie chronique et si vous prenez maintenant rendez-vous pour un vaccin contre la COVID. J'ai testé pour vous, ça marche, je me suis pointée hier et ai été vaccinée avec succès en prenant rendez-vous sous un nom d'emprunt. Ça n'a fait broncher personne, je suis manifestement pas la seule à recourir à ce genre de tactiques.

RT @offlinemark@twitter.com

Here's my favorite git feature that no one knows about:

You can reference commits using the commit message instead of the hash. The ":/" syntax accepts a regex that matches any part of the commit message, returning the youngest matching commit.

git-scm.com/docs/revisions/2.2

🐦🔗: twitter.com/offlinemark/status

La seule bonne réponse concernant Doctolib à ce stade est sa nationalisation et l’intégration du service à l'assurance maladie. Avec les experts de l'ANSSI pour revoir la sécurité du machin.
#toobigtofail #cnr2021

"The Bootstrapped Compiler and the Damage Done" (2013-12-04, Laurence Tratt)

tratt.net/laurie/blog/entries/…

"""

In a sense, my fear is easily summarised: we language designers are all too often making languages which are much better for writing bootstrapped compilers than they are for writing other programs.

"""

/via gallium.inria.fr/~scherer/draf… (PDF)
/via alan.petitepomme.net/cwn/2021.…
/via framapiaf.org/@brab/1062171138…

Le podium complet des principaux bénéficiaires des dividendes versés par les sociétés du #CAC40 en 2021 👉bastamag.net/Avec-pres-de-1-7-

La campagne #AlloBercy continue! Mobilisez-vous pour forcer le pouvoir exécutif et les entreprises à rendre des comptes 👉kisskissbankbank.com/fr/projec

Show thread

1.3.0 is out, woohoo! 🎉

👉 guix.gnu.org/en/blog/2021/gnu-

Lots of good stuff in there: usability improvements, performance improvements, support, and more!

Bonjour @interhop

vous savez si une procédure pour « discrimination et rupture de service publique » (je mets des guillemets, je suis pas doué en droit) sur l'imposition de passer par Doctolib pour les rendez-vous vaccinaux à partir du 12 mai ?
Doctolib qui en plus l'annonce le 11 mai sans même que Ministre ni aucun pouvoir publique n'est annoncé une organisation nationale…

Une procédure collective / recourt collectif ?

Un peu dans l'esprit des droits de ce qu'avait déclaré le Défenseur des droits, Décision du Défenseur des droits n°2019-266
juridique.defenseurdesdroits.f

Avis bienvenus de juriste, avocat⋅e, personne spécialisée sur ce point de droit

Evidence: the less press freedom there is in a country, the less noise there is in the country's #SARSCoV2 daily infection counts. This is statistically significant at the p < 0.05 level.

Interpretation: less press freedom => more faking of "open" governmental data: SARS-CoV-2 counts.

Comments welcome on draft revision (81da1ae): upload.disroot.org/r/30FUcbz0#=

arXiv.org/abs/2007.11779 = zenodo.org/record/4432080 = codeberg.org/boud/subpoisson

#OpenData #OpenScience #FreePress #RSF #COVID19 #Epidemiology

J’ai découvert la « banque de dépannage linguistique », bien pratique, qui nous vient du Québec :
bdl.oqlf.gouv.qc.ca/bdl/gabari 👍

One of my favorite changes in this release is this optimization:
git.savannah.gnu.org/cgit/guil

Previously, the assembler would find itself doing lots of bignum arithmetic when processing large files, which performed very poorly (notably when compiling the Guix package cache).

This change makes a significant difference by specializing code in a way that allows for partial evaluation of the relevant bit masks!

Show thread
Show older
Mastodon (Aquilepouet)

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!