1 Comment calculer l'âge de son chat ?
À l'occasion de la journée mondiale du chat ce 8 août, nous nous sommes intéressés à l'espérance de vie des chats. Leur durée de vie moyenne oscille entre 13 et 17 années et dépend notamment de l'espèce et des conditions environnementales. C'est une longévité considérablement avancée en...
2 Rédaction, calcul... Les abonnés à ChatGPT vont avoir accès à une version de GPT-4 Turbo encore plus performante
GPT-4 Turbo est encore meilleur grâce à une mise à jour que vient de déployer OpenAI. ChatGPT excellera maintenant un peu plus dans plusieurs domaines d'importance.
3 Peut-on gagner une course grâce aux mathématiques ?
Un modèle mathématique calcule les conditions physiologiques et mentales optimales pour la course à pied, aux 1500 mètres et aux 400 mètres.
4 Commentaires sur Thèmes clair et sombre pour Home Assistant par o0o
Et l'aquarium ? Il rentre aussi dans le calcul ?
5 Les métamorphoses du calcul
Les mathématiques à la conquête de nouveaux espaces. On l’a beaucoup dit, le siècle qui vient de s’achever a été le véritable âge d’or des mathématiques : les mathématiques se sont davantage développées au cours du XXe siècle que pendant l’ensemble des siècles qui l’ont précédé.
6 Science décalée : tous les virus SARS-CoV-2 du monde tiendraient dans une canette de Coca
Le virus de la Covid-19 a beau être extrêmement agressif, il est vraiment très, très petit. Christian Yates, un mathématicien de l’université de Bath (Royaume-Uni), s’est ainsi amusé à calculer l’espace que prendraient tous les virus SARS-CoV-2 actuellement en circulation si on les compactait au...
7 DIAPO. Le "plus beau datacenter du monde" est à Barcelone
Sciences et Avenir a visité le Marenostrum 4, plus grand supercalculateur d'Espagne... mais aussi le plus atypique, puisqu'il a été installé dans une ancienne chapelle !
8 Le sens du Calcul
Cet exposé est la transcription d'un exposé au séminaire "Qu'est-ce qu'une logique ?" (le Mardi 9 Avril 1996). Il aborde un aspect de la démonstration automatique. La démonstration automatique est une branche de l'informatique consacrée à la construction de programmes qui cherchent à démontrer...