Et si une appli de traçage du COVID-19 évitait de pister notre vie privée ? C’est possible avec le protocole https://t.co/haAwCnDtOi expliqué en BD sur le Framablog https://t.co/rElJh75o9J
With recorded COVID-19 cases (outside china) so eerily matching an exponential, I couldn't resist making a primer on exponential/logistic growth. At least 3 counterintuitive things about this kind of growth seem worth putting into the discussion.
https://t.co/UNqvsybiAL
Oui, aujourd'hui encore, le coronavirus tue quotidiennement 3x moins que la grippe.
Mais sa croissance exponentielle fait que, d'ici ~1 semaine, le coronavirus pourrait être la maladie LA PLUS MORTELLE au monde.
On peut éviter ça. Mais il faut agir maintenant.
#ResteChezToi
Interested by learning #formal#methods ? Just found this online free course by Eric Hehner https://t.co/gMaw0ZUfYZ video lectures are also available on youtube and it starts from the basics : https://t.co/FLzucvSKB4 #formalmethods
Bugs leave software vulnerable to attack. By treating code like a mathematical formula and proving that it’s bug-free, researchers have removed this threat.
https://t.co/DCoCi040Wn