Aujourd'hui au Club, il y avait : - Noé - Gaétan - Jonathan Noé a travaillé sur son Pong pour Amstrad. Il veut ajouter des "pouvoirs". Gaétan et Jonathan ont d'abord joué avec un environnement de programmation avec la réalité augmentée : https://laboratoryforplayfulcomputation.github.io/arcadia/ (mais d'abord ils ont fait une //pull request// sur la documentation de cet outil : https://github.com/LaboratoryForPlayfulComputation/arcadia/pull/4). Puis ils ont fait de la logique sur http://incredible.pm/ . Ils ont bien galéré à démontrer que ''¬¬(A ∨ ¬A)'' est une tautologie, sans utiliser le tiers-exclu. Enfin, Gaétan avait un problème pour coller une grosse liste de nombres dans son programme Python. Il a appris que ''"""'' permettait de mettre une chaîne sur plusieurs lignes.