Contributions de Psaxl
Un utilisateur avec 779 modifications. Compte créé le 9 mai 2006.
4 avril 2022
- 09:004 avril 2022 à 09:00 diff hist 0 Airbus A320neo Termes incorrects (distance franchissable se dit après passage des 50ft en course à l'atterrissage) Balises : Éditeur visuel Modification par mobile Modification par le web mobile
1 avril 2022
- 10:291 avril 2022 à 10:29 diff hist +105 Tezos Reformulation introduction Balise : Éditeur visuel
17 février 2022
- 13:0017 février 2022 à 13:00 diff hist +181 m Tezos →Certification et identité Balise : Éditeur visuel
16 février 2022
- 19:4016 février 2022 à 19:40 diff hist +507 NFT Vulgarisation des NFT en introduction. Balise : Éditeur visuel
- 19:3216 février 2022 à 19:32 diff hist +283 NFT Reformulation de l'introduction. Différences entre les types de blockchains et leurs impacts environnementaux. Balise : Éditeur visuel
- 19:1016 février 2022 à 19:10 diff hist −6 m Tezos →NFTs Balise : Éditeur visuel
- 19:1016 février 2022 à 19:10 diff hist +1 607 Tezos Smart contracts Balise : Éditeur visuel
14 février 2022
- 18:2614 février 2022 à 18:26 diff hist +952 m Tezos Annulation retrait infobox Balise : Liens d’homonymie
- 18:2414 février 2022 à 18:24 diff hist +2 099 Tezos Conception et impact environmental Balise : Éditeur visuel
- 16:1614 février 2022 à 16:16 diff hist +35 m NFT Aucun résumé des modifications Balise : Éditeur visuel
12 février 2022
- 18:2312 février 2022 à 18:23 diff hist −30 m Tezos Aucun résumé des modifications Balise : Éditeur visuel
- 18:2312 février 2022 à 18:23 diff hist +32 m Tezos Aucun résumé des modifications
- 18:0212 février 2022 à 18:02 diff hist +3 451 Tezos Description dans la gouvernance Balise : Éditeur visuel
9 février 2022
- 17:249 février 2022 à 17:24 diff hist +2 274 Tezos Ajout de détails sur la gouvernance Balise : Éditeur visuel
- 15:189 février 2022 à 15:18 diff hist +329 Tezos Typos et mises à jour de valeurs Balises : Éditeur visuel Liens d’homonymie
29 septembre 2021
- 11:5529 septembre 2021 à 11:55 diff hist +3 Tezos Mise à jour de la fréquence
6 février 2021
- 00:016 février 2021 à 00:01 diff hist +2 m Rouleau de printemps Aucun résumé des modifications Balise : Éditeur visuel
18 décembre 2020
- 12:3818 décembre 2020 à 12:38 diff hist +384 Tezos Reformulation Balise : Éditeur visuel
17 décembre 2020
- 10:4917 décembre 2020 à 10:49 diff hist +50 m Tezos terminologie
12 novembre 2020
- 10:3812 novembre 2020 à 10:38 diff hist +16 m Tezos Tezos est un nom propre Balise : Éditeur visuel
14 octobre 2020
- 10:1314 octobre 2020 à 10:13 diff hist +2 Tezos Incorrect symbol
7 octobre 2020
- 12:177 octobre 2020 à 12:17 diff hist +633 Tezos Sources Balise : Éditeur visuel
29 septembre 2020
- 12:0929 septembre 2020 à 12:09 diff hist +33 Modèle:Palette Crypto-monnaie Ajout de Tezos à la palette
22 septembre 2020
- 17:3422 septembre 2020 à 17:34 diff hist +490 Tezos Sources Balise : Éditeur visuel
- 13:2822 septembre 2020 à 13:28 diff hist +762 Tezos Quelques références Balise : Éditeur visuel
- 11:0022 septembre 2020 à 11:00 diff hist +4 904 Tezos À propos du protocole et des principes fondamentaux. Balise : Éditeur visuel
8 août 2020
- 09:128 août 2020 à 09:12 diff hist +456 Arash Derambarsh →Biographie : Ajout de référence externe. Balises : Modification par mobile Modification par le web mobile
21 mars 2020
- 20:2221 mars 2020 à 20:22 diff hist −18 Caml PolyAML ne descent pas de Caml mais de Standard ML Balise : Éditeur visuel
31 octobre 2018
- 16:2431 octobre 2018 à 16:24 diff hist +19 Nœud (unité) Distincition entre valeurs exactes et approximatives Balise : Éditeur visuel
5 juillet 2016
- 10:245 juillet 2016 à 10:24 diff hist −456 Utilisateur:Psaxl Aucun résumé des modifications actuelle
29 octobre 2014
- 10:2429 octobre 2014 à 10:24 diff hist 0 Laboratoire de recherche en informatique erreur dans les coordonnées GPS
- 10:2029 octobre 2014 à 10:20 diff hist +672 Laboratoire de recherche en informatique mise à jour de données, manque encore des références, à travailler
14 octobre 2014
- 22:2614 octobre 2014 à 22:26 diff hist −50 Utilisateur:Psaxl Aucun résumé des modifications
- 22:1214 octobre 2014 à 22:12 diff hist +548 Monade (informatique) petite description informelle d'une monade Balise : Éditeur visuel
9 septembre 2014
- 10:359 septembre 2014 à 10:35 diff hist +1 415 Méthode formelle (informatique) →Catégories : Rajout de la notion de "typage" dans les méthodes formelles possibles et autres corrections Balises : Nowiki dans un article Éditeur visuel : basculé
10 juin 2014
- 11:2410 juin 2014 à 11:24 diff hist +174 Terminaison d'un système de réécriture présentation de l'article remaniée Balise : Éditeur visuel
21 mars 2014
- 14:5221 mars 2014 à 14:52 diff hist +330 Machine virtuelle Rappel historique plus profond Balise : Éditeur visuel
- 14:3921 mars 2014 à 14:39 diff hist +1 214 Satisfiability modulo theories AJout de la partie sur solveur SMT Balise : Éditeur visuel
- 14:2321 mars 2014 à 14:23 diff hist +139 Vérification de modèles précisions sur l'utilisation du solveur SMT →Résolution SAT, SMT
7 janvier 2014
- 21:467 janvier 2014 à 21:46 diff hist −83 Georges Mandel incohérences →Jeunesse
- 17:437 janvier 2014 à 17:43 diff hist +68 Utilisateur:Psaxl Aucun résumé des modifications
- 16:587 janvier 2014 à 16:58 diff hist +1 309 Correspondance de Curry-Howard un isomorphisme avant tout, et principalement travaillé par de Bruijn, utile en déduction modulo
3 septembre 2013
- 13:053 septembre 2013 à 13:05 diff hist +1 459 La Voix lycéenne Annulation des modifications 96324058 de Cattzy (d) : affirmation « éléments non sourcés » incorrecte
9 août 2013
- 23:259 août 2013 à 23:25 diff hist +592 La Voix lycéenne ajout de références @ →Congrès et scission du 24 janvier 2009
5 août 2013
- 22:095 août 2013 à 22:09 diff hist +28 Aymeric Chauprade ref nécessaire sur grade universitaire dans une discipline
26 juillet 2013
- 13:4726 juillet 2013 à 13:47 diff hist +529 Problème de décision Ajouts dans la partie calculabilité Balise : Éditeur visuel
25 juillet 2013
- 22:4725 juillet 2013 à 22:47 diff hist +314 Problème de décision Réécriture d'une introduction plus claire. Article à réapprofondir Balises : Nowiki dans un article Éditeur visuel
- 22:0225 juillet 2013 à 22:02 diff hist +2 Satisfiability modulo theories Anglicisme
16 juillet 2013
- 14:0916 juillet 2013 à 14:09 diff hist +422 Virus polymorphe quelques rajouts sur les moteurs de (dé)codage
- 14:0216 juillet 2013 à 14:02 diff hist +165 Polymorphisme ajout du polymorphisme associé aux codes viraux en informatique