Contributions de Gasche

25 février 2018

• 12:2225 février 2018 à 12:22 diff hist −3 m Élections parlementaires italiennes de 2018 correction d'une référence cassée par le changement du 10 février 2018 à 16:23 (oldid=145357926)

8 février 2018

• 18:138 février 2018 à 18:13 diff hist −34 Coq (logiciel) exemple de démonstration: amélioration du code (plus lisible) Balise : Éditeur visuel

12 mai 2013

• 16:4912 mai 2013 à 16:49 diff hist 0 Fontaine de Trevi Annulation des modifications 93019118 de 88.187.224.35 (d)

30 août 2011

• 10:3930 août 2011 à 10:39 diff hist +298 Pyramide du Louvre →Une idée datant du 18ème siècle : L'idée n'est pas non sourcée... puisque la source est contenue dans le texte !

29 août 2011

• 22:0829 août 2011 à 22:08 diff hist −52 Utilisateur:Gasche quelques modifications au passage du temps actuelle
• 07:4729 août 2011 à 07:47 diff hist −15 m OCaml →Industrie : mise à jour du lien Kalzium qui était périmé
• 07:2229 août 2011 à 07:22 diff hist +271 Discussion utilisateur:Speculos/2011 →Bandeau "À sourcer" sur l'article Georges Gonthier
• 07:1929 août 2011 à 07:19 diff hist +141 OCaml →Enseignement : reformulation plus constructive de la description de Caml dans l'enseignement, qui était douteuse ("Les enseignants apprécient Caml"...)
• 07:1029 août 2011 à 07:10 diff hist +109 OCaml →Recherche : ajout d'une référence pour "OCaml est assez utilisé dans le milieu de la recherche"
• 07:0129 août 2011 à 07:01 diff hist −572 OCaml →Performances : Le système de module n'a pas d'impact direct sur les performances, et la présentation qui en était faite n'était de toute façon pas du tout encyclopédique
• 06:5629 août 2011 à 06:56 diff hist +60 OCaml référence ajoutée pour les drivers microsoft + pas besoin de répéter "analyse statique" pour astrée
• 06:4929 août 2011 à 06:49 diff hist +52 OCaml →Performances : adoucissement de la différence de performances par rapport aux langages statiques à JIT : on passe de "plus rapide" à "comparable"
• 06:4629 août 2011 à 06:46 diff hist +140 OCaml →Performances : ajout d'une référence sur les performances comparées à .NET; elle utilise Mono plutôt que l'implémentation Microsoft car je n'ai pas trouvé de chiffres pour cette dernière
• 06:4229 août 2011 à 06:42 diff hist −1 m OCaml →Différentes cibles de compilation : correction lien "backend"
• 06:4129 août 2011 à 06:41 diff hist +79 OCaml →Différentes implémentations : les implémentations mentionnées dans cette partie ne sont pas "indépendantes", mais des modifications de backend par dessus l'implémentation standard
• 06:3329 août 2011 à 06:33 diff hist −20 m OCaml →Fonctions d'ordre supérieur : "renvoie une fonction" => "une fonction", plus simple et aussi clair

28 août 2011

• 22:4628 août 2011 à 22:46 diff hist +675 Discussion utilisateur:Speculos/2011 →Bandeau "À sourcer" sur l'article Georges Gonthier
• 22:3828 août 2011 à 22:38 diff hist +321 N Discussion:Georges Gonthier question sur le retrait du bandeau "À sourcer"
• 22:3728 août 2011 à 22:37 diff hist +181 Georges Gonthier Ajout de l'article des notices de l'AMS qui présente la preuve du théorème des quatre couleurs de façon accessible mais précise
• 22:3428 août 2011 à 22:34 diff hist +46 Discussion:Georges Gonthier/Admissibilité →Georges Gonthier : Ajout d'un modèle "référence" pour afficher les sources fournies dans les argumentaires
• 22:2228 août 2011 à 22:22 diff hist +1 470 Discussion:Georges Gonthier/Admissibilité →Conserver
• 22:0528 août 2011 à 22:05 diff hist +1 741 Georges Gonthier présentation plus détaillée des différents champs de recherche de Gonthier

11 juillet 2011

• 07:3411 juillet 2011 à 07:34 diff hist +199 Fonction d'Ackermann Aucun résumé des modifications

3 juillet 2011

• 14:333 juillet 2011 à 14:33 diff hist +1 114 Wikipédia:Demande de renommage de compte utilisateur →Requêtes à traiter
• 12:423 juillet 2011 à 12:42 diff hist +28 m Wilhelm Ackermann →Biographie : oubli d'un mot important "preuve de l'arithmétique" => "preuve de cohérence de l'arithmétique"
• 12:353 juillet 2011 à 12:35 diff hist +411 Fonction d'Ackermann Retravail de la section "Application pratiques" qui laissait beaucoup à désirer
• 11:503 juillet 2011 à 11:50 diff hist +1 356 Discussion:Fonction d'Ackermann →Grands systèmes

27 juin 2011

• 07:5327 juin 2011 à 07:53 diff hist +168 Langage de programmation de quatrième génération →Les différentes générations : clarification de la différence entre les deux premières générations

23 février 2011

• 11:3323 février 2011 à 11:33 diff hist +1 m Allemand →Spécificités de l'Autriche et de la Suisse alémanique : erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
• 11:3023 février 2011 à 11:30 diff hist +2 m Alchimie →Chine : erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
• 11:2923 février 2011 à 11:29 diff hist −1 m Bertrand Delanoë →Petite enfance : erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
• 11:2423 février 2011 à 11:24 diff hist +1 m Beaujolais Erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
• 11:2223 février 2011 à 11:22 diff hist −1 m Afrique →Tourisme : erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr

12 août 2010

• 08:1112 août 2010 à 08:11 diff hist +623 Discussion:Suite de Fibonacci →Algorithme "logarithmique" matriciel : nouvelle section
• 08:0912 août 2010 à 08:09 diff hist +611 Discussion:Suite de Fibonacci →Algorithme "linéaire" : nouvelle section

4 août 2010

• 10:254 août 2010 à 10:25 diff hist +43 Loi de Déméter clarification du sens du nom "Demeter"

6 février 2010

• 21:296 février 2010 à 21:29 diff hist 0 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article
• 21:296 février 2010 à 21:29 diff hist −571 Edgard Varèse →Biographie : retrait des remarques pseudo-scientifiques; cf. page de discussion
• 21:276 février 2010 à 21:27 diff hist −1 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article
• 21:266 février 2010 à 21:26 diff hist +1 191 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article
• 21:096 février 2010 à 21:09 diff hist +1 926 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article : nouvelle section
• 20:556 février 2010 à 20:55 diff hist −4 408 Edgard Varèse retrait des remarques pseudo-scientifiques; cf. page de discussion

2 février 2010

• 11:182 février 2010 à 11:18 diff hist +62 m Senso →Synopsis : détails de nature psychologique
• 11:122 février 2010 à 11:12 diff hist +25 m Senso →Synopsis : précision du lieu de l'opéra d'ouverture

21 décembre 2009

• 11:2921 décembre 2009 à 11:29 diff hist −412 OCaml Retrait de l'explication maladroite sur la récursion terminale, et traitement du cas plus général des appels terminaux.
• 11:0221 décembre 2009 à 11:02 diff hist +26 m OCaml →Manipulation de listes : balises code

6 décembre 2009

• 19:366 décembre 2009 à 19:36 diff hist −1 728 Problème des huit dames →Programme d'exemple en C : Fusion des deux codes proposés : il marche (comme le deuxième code), est plutôt court (comme le premier), et reprend les noms du code python pour plus de clarté.

8 novembre 2009

• 20:128 novembre 2009 à 20:12 diff hist +1 070 Discussion:OCaml →Critiques
• 19:128 novembre 2009 à 19:12 diff hist −96 m OCaml →Typage : Non, cette fonctionnalité est juste "comparable", et pas "meilleure" ou "moins bonne" que. Les distinctions sont plus subtiles et n'ont pas leur place dans un article hors-sujet.

29 août 2009

• 08:1029 août 2009 à 08:10 diff hist 0 m Naro-1 →Lien externe : typo