le wiki du gnan club

Aujourd'hui au Club, il y avait :

1. Noé
2. Gaétan
3. 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.