Contributions de Gasche
Un utilisateur avec 222 modifications.
25 février 2018
- 13:2225 février 2018 à 13: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
- 19:138 février 2018 à 19:13 diff hist −34 Coq (logiciel) exemple de démonstration: amélioration du code (plus lisible) Balise : Éditeur visuel
12 mai 2013
- 17:4912 mai 2013 à 17:49 diff hist 0 Fontaine de Trevi Annulation des modifications 93019118 de 88.187.224.35 (d)
30 août 2011
- 11:3930 août 2011 à 11: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
- 23:0829 août 2011 à 23:08 diff hist −52 Utilisateur:Gasche quelques modifications au passage du temps actuelle
- 08:4729 août 2011 à 08:47 diff hist −15 m OCaml →Industrie : mise à jour du lien Kalzium qui était périmé
- 08:2229 août 2011 à 08:22 diff hist +271 Discussion utilisateur:Speculos/2011 →Bandeau "À sourcer" sur l'article Georges Gonthier
- 08:1929 août 2011 à 08: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"...)
- 08:1029 août 2011 à 08:10 diff hist +109 OCaml →Recherche : ajout d'une référence pour "OCaml est assez utilisé dans le milieu de la recherche"
- 08:0129 août 2011 à 08: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
- 07:5629 août 2011 à 07: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
- 07:4929 août 2011 à 07: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"
- 07:4629 août 2011 à 07: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
- 07:4229 août 2011 à 07:42 diff hist −1 m OCaml →Différentes cibles de compilation : correction lien "backend"
- 07:4129 août 2011 à 07: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
- 07:3329 août 2011 à 07: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
- 23:4628 août 2011 à 23:46 diff hist +675 Discussion utilisateur:Speculos/2011 →Bandeau "À sourcer" sur l'article Georges Gonthier
- 23:3828 août 2011 à 23:38 diff hist +321 N Discussion:Georges Gonthier question sur le retrait du bandeau "À sourcer"
- 23:3728 août 2011 à 23: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
- 23:3428 août 2011 à 23: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
- 23:2228 août 2011 à 23:22 diff hist +1 470 Discussion:Georges Gonthier/Admissibilité →Conserver
- 23:0528 août 2011 à 23:05 diff hist +1 741 Georges Gonthier présentation plus détaillée des différents champs de recherche de Gonthier
11 juillet 2011
- 08:3411 juillet 2011 à 08:34 diff hist +199 Fonction d'Ackermann Aucun résumé des modifications
3 juillet 2011
- 15:333 juillet 2011 à 15:33 diff hist +1 114 Wikipédia:Demande de renommage de compte utilisateur →Requêtes à traiter
- 13:423 juillet 2011 à 13: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"
- 13:353 juillet 2011 à 13:35 diff hist +411 Fonction d'Ackermann Retravail de la section "Application pratiques" qui laissait beaucoup à désirer
- 12:503 juillet 2011 à 12:50 diff hist +1 356 Discussion:Fonction d'Ackermann →Grands systèmes
27 juin 2011
- 08:5327 juin 2011 à 08: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
- 12:3323 février 2011 à 12: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
- 12:3023 février 2011 à 12:30 diff hist +2 m Alchimie →Chine : erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
- 12:2923 février 2011 à 12:29 diff hist −1 m Bertrand Delanoë →Petite enfance : erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
- 12:2423 février 2011 à 12:24 diff hist +1 m Beaujolais Erreur de grammaire repérée par LanguageTool : http://community.languagetool.org/?lang=fr
- 12:2223 février 2011 à 12: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
- 09:1112 août 2010 à 09:11 diff hist +623 Discussion:Suite de Fibonacci →Algorithme "logarithmique" matriciel : nouvelle section
- 09:0912 août 2010 à 09:09 diff hist +611 Discussion:Suite de Fibonacci →Algorithme "linéaire" : nouvelle section
4 août 2010
- 11:254 août 2010 à 11:25 diff hist +43 Loi de Déméter clarification du sens du nom "Demeter"
6 février 2010
- 22:296 février 2010 à 22:29 diff hist 0 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article
- 22:296 février 2010 à 22:29 diff hist −571 Edgard Varèse →Biographie : retrait des remarques pseudo-scientifiques; cf. page de discussion
- 22:276 février 2010 à 22:27 diff hist −1 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article
- 22:266 février 2010 à 22:26 diff hist +1 191 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article
- 22:096 février 2010 à 22:09 diff hist +1 926 Discussion:Edgard Varèse →Pseudo-scientifisme de l'article : nouvelle section
- 21:556 février 2010 à 21:55 diff hist −4 408 Edgard Varèse retrait des remarques pseudo-scientifiques; cf. page de discussion
2 février 2010
- 12:182 février 2010 à 12:18 diff hist +62 m Senso →Synopsis : détails de nature psychologique
- 12:122 février 2010 à 12:12 diff hist +25 m Senso →Synopsis : précision du lieu de l'opéra d'ouverture
21 décembre 2009
- 12:2921 décembre 2009 à 12: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.
- 12:0221 décembre 2009 à 12:02 diff hist +26 m OCaml →Manipulation de listes : balises code
6 décembre 2009
- 20:366 décembre 2009 à 20: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
- 21:128 novembre 2009 à 21:12 diff hist +1 070 Discussion:OCaml →Critiques
- 20:128 novembre 2009 à 20: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
- 09:1029 août 2009 à 09:10 diff hist 0 m Naro-1 →Lien externe : typo
|