eingrossfilou a écrit 90 commentaires

As-tu juste consulté l'état smart de ton disque, ou as-tu fait un test court/long?

Dans ton cas, je te dirais tout d'abord de changer la nappe (IDE/PATA/SATA ?) de ton disque. J'ai eu plusieurs fois des pb avec des nappes IDE défectueuses (genre bootloader introuvable de temps en temps).

Ensuite fait un backup de ton disque si ce n'est pas encore fait, puis lance un test long avec smartctl (smartctl -t long /dev/sdX).

Ça te permettra de déterminer si le problème viens du disque ou d'ailleurs.

Faire une TATA-box

(ne me cherchez plus, je suis déjà sorti :)

À propos de la déduplication de zpaq, il faut savoir que si deux blocs ont le même hash (SHA1) ils seront considérés comme identiques même en cas de collision (source). Même si c'est très peu probable, l'intégrité des fichiers n'est pas garantie et il n'y a pas d'option pour gérer la collision (pour des raisons de performance, ZFS procède aussi comme ceci quand la déduplication est activée, mais existe un mode de déduplication qui gère les collisions)

Niveau performance, zpaq a beaucoup de marge d'amélioration, en particulier sur le calcul du sha1 (toujours dans le même fil)

C'est bien que MAME soit passé à des licences plus ouvertes, mais les contraintes ajoutées autours font que ça n'a plus aucun sens.

http://www.emu-france.com/news/43320-www-mame-change-ses-conditions-8230/

Si quelqu'un a un équivalent à uPnP port mapper sur OpenWrt (pour l'utilisation en mode client), je suis preneur.

J'ai cherché ça il y a plusieurs mois de ça, et je n'avais rien trouvé à l'époque.

Je ne connaissait pas ASP, mais après une rapide recherche, c'est purement déclaratif, et donc c'est « l'interpréteur » qui s'occupe de faire la véritable exploration si j'ai bien compris, alors que mon objectif était de faire un parcours en largeur à gros coup de concat . map.

C'est à peu près ça, même si on va dire que la définition française proposée par Wikipédia est très limitée. La version anglaise est mieux.
L'idée ici était surtout de te proposer une autre manière de rechercher des solutions à ricochet robots (essentiellement à des fin de comparaison, mais aussi parce ricochet robots c'est cool et qu'il n'y a pas beaucoup d'IA pour ce jeu)

ASP est un formalisme qui permet de faire de la programmation par contrainte et de l'optimisation au travers de la programmation logique. Généralement, on s'en sert pour résoudre de problème NP-complet. Ton programme ASP est une description de ton problème sous forme logique. Ensuite cherche des solutions à ton problème en utilisant un solveur auquel tu donneras la définition du problème, les données, et éventuellement une stratégie de recherche (comme un parcours en largeur ou en profondeur de l'espace de recherche par exemple).

Si le sujet t'intéresse davantage, tu pourras consulter les cours disponibles ici quand sourceforge tombera en marche.

Du coup, quel est l'avantage d'ASP par rapport à une bibliothèque de résolution en python par exemple ? Parce qu'il y a quand même des désavantages :

ASP est prévu pour faire de la programmation logique, comme python est prévu pour faire de la programmation impérative. En fonction de ce que tu cherches à faire, l'un est plus adapté que l'autre, mais rien ne t'empêche de faire un solveur en python (ou haskell), c'est un bon exercice. D'ailleurs je trouve ta démarche super bien.

1. Pas d'interaction utilisateur possible en restant déclaratif

Alors, ça c'est hors de la partie résolution du problème. Généralement, tu branches le solveur à autre chose. Par exemple tu peux utiliser ASP (gringo et clasp) avec python. Après, en fonction de ton solveur, tu as des fonctions de contrôle pour interagir avec le solveur lui-même (par exemple interrompre le calcul ou obtenir un résultat intermédiaire suboptimal)

1. Le debug du programme se fait via les options fournies pas l'interpréteur

Normalement, ton programme est un ensemble de définitions mathématiques. Pour vérifier que tout fonctionne bien, tu fais des preuves. Au pire tu utilises des exemples représentatifs de tes différents cas de figure. Si tu as un soucis avec les résultats, c'est soit que qu'il y a un problème dans tes définitions, soit que le solveur contient une erreur. Il arrive aussi que tu te plantes dans le résultat attendu d'un de tes exemples.

1. Quid de l'intégration dans un véritable programme (par exemple en tant qu'IA dans un jeu interactif) ?

Là encore, ça ne dépend que de comment tu modélises ton IA. Le solveur est juste une brique à laquelle tu te branches à l'aide de bibliothèques ou de wrappers et à laquelle tu va faire des "requêtes". En fonction de tes contraintes, tu choisiras un solveur plutôt qu'un autre. Dans le cas de ricochet robots,tu peux visez un solveur qui, pour chaque cible, te donnes une réponse (1) optimale quand il a parcouru tout l'espace de recherche ou (2) une réponse suboptimale (et peut-être optimale) quand tu lui demandes (comme au bout des 50 secondes après la réponse du premier joueur).
Tu peux aussi envisager que ton solveur ne parcours pas tout l'espace de recherche, mais parcours juste ton espace de recherche de façon aléatoire. Dans ce cas, tu ne pourras jamais dire qu'il n'a pas de solution, mais dans le cas de ricochet robots, il me semble qu'il existe toujours une solution.

J'espère que c'est assez clair.

Si ça t'intéresse, tu as une modélisation de ton problème en Answer Set Programming (ASP) ici.

Sinon tu passes par la version mobile du site et tu as directement le lecteur de youtube qui te permet de récupérer le lien qui va bien, et ce sans désactiver uBlock et co.

J'ai aussi galérer pour trouver comment téléverser une image.

La réponse se trouve à la dernière ligne de la section image de l'aide à l'édition.

L'hébergement de l'image initiale reste à votre charge, elle est en cache sur img : en auto-hébergé, sur pix de toile-libre ou lutim selon votre préférence…

Je suis passé plusieurs fois à côté sans la voir et j'ai failli être découragé de poster mon commentaire. Je pense qu'il faudrait mettre ce point en évidence (en gras ou en début de section) ou dans une section à part (par exemple téléversement d'image).

Je ne suis pas fan des aplats gris, mais une fois passé à un autre thème, ggplot2 permet vraiment de faire de beaux graphes assez rapidement (à condition de bien préparer ses données).
Il y a de bons exemples ici

Version rapide avec gglot2 sous R.

    library("ggplot2")

    data <- read.csv("~/Downloads/hum-pop.csv")
    # On simplifie les noms de colonne (en particulier on élimine les espaces)
    names(data) <- c("Year", "Population")

    p <- ggplot(data=data, aes(x=Year, y=Population)) +
      geom_line() + # on veut une ligne
      geom_point() + # et les points
      ggtitle("Human population (Hyde 2007)") +
      theme_bw() # thème sans aplat gris
    print(p) # on affiche le graphe

Puis la version logarithmique:

    # on passe à l'échelle log10 et on reformate un peu l'affichage
    q <- p +
      scale_y_log10(breaks = trans_breaks("log10", function(x) 10^x),
                    labels = trans_format("log10", math_format(10^.x)))
    print(q)

Non ça parle du TOP 500 de Fun Radio

Un docteur en chef de projet, ca me parait etre un gachis de ressource phenomenal. Ou alors tu parles de team lead, en gros l'arbitre qui valide l'approche des gars de l'équipe/tranche en cas de discussion, et manage a la fois vers le haut (resources, delais etc) et vers le bas (brieffer son equipe, mettre en place des standards architecturaux et tout le tralala). Auquel cas, prendre un docteur qui a essentiellement travaile tout seul pendant 3 ans avec quasi aucune experience de la vraie vie (mise en production, gérer les partnaires et tout les trucs qu'on n'apprend nulle part ailleurs que sur le terrain), ca me parait un peu douteux comme choix.

Oui il s'agirait plus de ça. Pour l'aspect travail tout seul, ça dépend essentiellement du sujet de la thèse. Dans certaines thèses tu bosses sur des projets industriels et tu es confronté a toute cette problématique (ce qui est souvent le cas par définition dans les thèse avec bourses CIFRE). Bien sûr, il y a aussi beaucoup de thèses qui demandent un travail en autonomie. La période de deux ans de crédit d'impôts sert aussi dans ce cas au docteur de s'adapter à l'entreprise.

Sources : crédit impôt recherche, section Quelles sont les dépenses retenues ?, 3e puce. D'ailleurs je viens de me rendre compte que le pourcentage donné par mon encadrant de thèse n'est pas le bon: Il s'agit d'une aide sous la forme d'un crédit d'impôt de 200%.

Pour ceux qui veulent un truc plus compréhensible: voir ici

Bon c'est vrai que ça répondait plus au fait qu'un bac+8 c'est handicapant face à un bac+5. Que tu veuilles que coder OK, au moins tu as une partie de ta réponse. Une thèse c'est pas pour faire les ingénieurs. D'ailleurs, je vais dire qui n'a rien à voir avec la réalité (pas taper), mais normalement c'est pas le boulot d'un ingénieur de pisser le code, mais plus de faire les plans (comme dans le bâtiment par exemple). Donc tu serais déjà sur-qualifié (bien sûr en pratique c'est pas du tout ça).

Ensuite oui j'ai créé un compte aujourd'hui, parce que je juge que j'avais un truc intéressant à dire et que ce truc est souvent ignoré des doctorants eux-même. Il ne s'agit pas de s'égosiller (j'aurai écrit en majuscule et fait plusieurs posts à la limite je veux bien), mais pour dire quelque chose, il te faut un compte qu'il faut bien créer un jour, ce qui ne m'a pas empêché d'être lecteur depuis un certain temps.

Personnellement, je pense que ceux qui font une thèse en informatique n'ont pas plus de difficulté que les ingénieurs à se faire embaucher.

L'erreur que font beaucoup de gens qui veulent aller en entreprise après une thèse, c'est de postuler en temps qu'ingénieur débutant au lieu de chef de projets. Pourtant, une thèse c'est un projet de 3 ans qui a été mené à bien par le docteur (sinon il n'aurait pas eu son titre). C'est un point essentiel dans la gestion de projet. De plus, si le sujet n'est pas trop fermé, l'orientation de sa thèse dépend de ses choix.
L'aspect travail en équipe s'acquière quant-à-lui par les collaborations qu'un doctorant a durant sa thèse, et l'aspect gestion d'équipe se défend facilement si le doctorant "utilise" les ingénieurs de recherche de son équipe/labo. Ce dernier point n'est cependant pas systématique, mais dans le cadre d'une bourse CIFRE, il doit-être assez facile à mettre en place.

Il y a aussi un dernier détail très important à savoir pour le recrutement en entreprise après la thèse. L'état aide chaque entreprise qui embauchent un jeune docteur à hauteur de 120% du salaire du docteur pendant 2 ans. Tout ça pour que le transfert de technologie reste en France. C'est un argument imparable pour faire ses preuves en entreprise en tant que chef de projet, et ça permet également de se constituer une bonne expérience pour voler vers d'autres cieux.