thoasm a écrit 9786 commentaires

Ouais, je pense que ça à un intérêt notable, pour la navigation dans la base de donnée de paquets, naviguer par tag, rechercher de manière interactive, par exemple.

En fait ce mec est bien le seul à "croire" en sa théorie et met son manque de notoriété et le rejet de ses travaux par la communauté scientifique sur le dos d'une théorie du complot ...

Dans mes souvenirs il a essayé de se "faire de la pub" (comprendre augmenter la notoriété de la théorie) sur wikipedia, qui est à peu prêt tout sauf l'endroit approprié.


Çela dit, visiblement il arrive à convaincre des gens ...

J'aime les gens aux idées bien arrêtées.

Pas comme ça, mais si tu veux découvrir "par la pratique" t'as pas mal de solveurs de contraintes en ligne, genre http://choco-solver.net/index.php?title=Main_Page avec le code
et un tuto sur le ... Sudoku entre autre :

- http://choco-solver.net/index.php?title=Sudoku_and_constrain(...)

Ce que tu décris, ça s'apelle grosso modo la propagation de contrainte.

Tu fais des déductions logiques en déduisant les valeurs impossibles dans chacune des cases, et quand il n'y a plus qu'une seule valeur possible, tu peux la prendre en compte dans tes déduction.

Et non, dans le cas du Sudoku, ça ne suffit pas pour résoudre la grille, en tout cas avec des méthodes de déductions "abordables" diront nous:
il y a des cas ou ta grille sera dans un état ou elle ne sera pas finie et ou tu ne pourra plus rien déduire avec les méthodes de déductions dont tu dispose.


Dans ces cas là, ce qu'on fait, c'est qu'on pose une hypothèse, genre on prend une case et on met un nombre encore possible arbitrairement (ou pas), et on vois ce qu'on peut en déduire. Si tu arrives dans un état impossible, genre t'as une case ou tu peux plus mettre de nombre, ton hypothèse est fausse, et tu peux retenter autre chose.

Si tu arrives de nouveau dans un état ou tu peux plus rien déduire, tu repose une hypothèse, etc.

PS: si on veut généraliser, en programmation par contrainte, pour tes cases, on utilise la notion de "variables", et pour tes boutons allumés/éteints, la notion de domaine d'une variable (l'ensemble des valeur que peux encore prendre une variable)

HS: Je crois que t'as pas la moindre chance de pouvoir espérer avoir raison dans ce débat précis, les opinions sont déja faites ... pas facile d'aller à contre courant ;)

Ouais, que de grands mots ... On est tous "asservis" aux moteurs de recherches sur le web, vu que sans eux on serait obligé de se débrouiller carrément autrement ?

Pour défragmenter la mémoire, il faut avoir un accès à tous les pointeurs et références des objets alloués et les modifier 'en live' non ? Genre un gc en C++, il doit pas pouvoir faire ça.

Pour faire un programme "solide" tu as deux stratégies:
1) Ne pas avoir de bugs ou de faille de sécu, ou au moins les minimiser
2) Gérer les bugs, les failles, de manière à minimiser leur impacts


Pour le 1, le gros soucis c'est qu'on a aucune méthode viable pour garantir le "zéro bugs", le testing ne peut pas tout couvrir sur des logiciels complexes, et les méthodes formelles, pour faire des programmes prouvés, sont lourdes et pas forcément complètes ... D'ailleurs je suis pas sûr qu'elles sont capables de gérer des problématiques comme celle de la gestion mémoire. Et qu'on ne peut pas garantir le code "externe", genre les plugins.


Conclusion, le point 1 est loin d'être trivial à atteindre en pratique ... donc le point 2 vient en complément. Est-ce une solution de facilité ? Je crois pas, c'est une méthode plutôt éprouvée pour minimiser l'impact d'une erreur d'isoler les choses ... appliquée dans l'embarqué par exemple.

'pour de vrais la personne dit la vérité absolue mais elle est victime d'un complot'

Ça arrive, certaines personnes sont parfois tellement aveuglées (par des sentiments, par une idéologie, par une mauvaise foi flagrante) ou persuadées d'avoir raison, que si on les contredit (avec ou sans arguments) ou si on les moinsse, c'est pas parce qu'ils racontent manifestement des choses fausses, elles sont forcément victime d'un complot ... Et parfois prétendent hargneusement qu'ils ont raison contre le reste du monde ...

Le risque, c'est que le débutant s'arrête à partie graphique, amha, qu'il ira de toute façon regarder en priorité il y a des chances.

Si tu mets la CLI en premier, tu as peut être des chances d'éveiller sa curiosité ...

Il a pas dit "windowsien neuneu", il a dit "windowsiens curieux" ... donc a priori qui sauront soit tourner les pages, soit regarder le sommaire, soit s'intéresser un minimum suffisamment sans être rebuté d'entrée, quoi.

À vérifier, quand même ;)

C'est lui qui développe Soya :)

Le principe, c'est de faire des interfaces bien pour le plus grand nombre, pas d'alimenter les trolls ;)

Ben c'est con, mais quand "les gens" ont des habitudes, ils réagissent pas forcément très bien au changement, au début.

Donc pour aller vers le mieux, c'est pas forcément top de tout révolutionner d'un coup, mais c'est mieux d'y aller par petite touche, ça passe mieux. S'appuyer sur les habitudes et les conaissances si il y a, c'est peut être un principe de l'ergonomie en soi (je dis ça en ignorant total ou presque du domaine) ...

... Pas mal de leurs remarques ont été bénéfiques pour l'application ...

Avant d'insulter les "pseudos experts" et de leur apprendre leur boulot, il est peut être bon de regarder un peu ce qu'en pensent les gens qui ont travaillés avec eux.


Pour Amaya, genre, t'es sûr que t'as vraiment testé l'appli récemment ?

Bof, la FAQ de CC fait environ quelques lignes à propos de l'usage commercial, en particulier la pub, je suis pas complètement sûr après lecture que Framasoft enfreigne les règles.


Cela dit la FAQ est en anglais, elle doit donc concerner le droit anglais. J'ai regardé le truc en Français aussi, et là encore je suis pas complètement sûr que Framasoft rentre dans les cases de l'usage commercial du document.


Au pire, il suffit sans doute de virer la pub sur les pages ou il y a des documents en NC pour être complètement sûr, de ce que j'ai compris des règles.

J'ai vu "vu du ciel" (dimanche 31 aout) aussi, et ils ont bien insisté sur le fait que la sauvegarde de la nature se ferait pas sans les populations locales, en particulier éviter de faire en sorte qu'elles en soient réduites ) détruire le milieu pour survivre.

C'était (en particulier) dans la partie sur les Chimpanzés je crois.

Tu peux en dire plus sur le contexte ? Genre qui étaient tes "spécialistes de l'ihm" ? des ergonomes ? quel logiciel, quel type d'interface, ...

Arrête moi si je me trompe, mais Launchpad c'est pas déjà sa propre infrastructure de dev déjà en place ?

En fait, tout ce temps, c'était juste la mise en place de "l'infrastructure et des outils", quoi :)

En fait Marillat c'est un peu une exception, genre par ailleurs il est développeur Debian, il sait ce qu'il fait, et il a par ailleurs l'utilité de permettre de lire sans effort une palanquée de formats de fichiers que ces intégristes de Debian n'incluent pas forcément par défaut.

Debian-multimedia c'est un truc qui tourne sans trop de soucis depuis quelques temps, genre ça a changé de nom et d'adresse il doit y avoir un ou deux ans, sinon j'y touche tellement rarement qu'il se fait oublier ...

Il m'est arrivé d'ajouter des dépots, mais c'est un peu le seul qui soit utile et pérenne pour ça ...

Pour être clair, il passera rapidement dans unstable / testing quand stable sortira ... Pa si à la traîne que ça, quoi.

Ça me rapelle qu'un pote avait créé un langage, le "C cool" et son compilateur était très court:
"Compile toi toi même". Le compilateur était écris en C cool bien entendu.

C'était un langage assimilable au langage naturel.

À l'époque, il s'attaquait au problème du bootstrap.


(Salut Gueben si tu passes dans le coin)

C'est l'effet "prix" qui joue aussi, on a tendance à se dire en première approximation que si c'est plus cher c'est forcément de meilleure qualité. Ce qui n'est évidemment pas forcément le cas.

Sid à tendance à "se figer" de temps en temps, genre un peu avant la sortie de la nouvelle stable. Peu de grosses nouveautés ou de gros changements sont effectués pendant cette période, et c'est moins "bleeding edge". Mais globalement c'est très à jour.