Chez moi, le symptôme "mais sur certains films ou vidéo sur internet, j'ai la musique, mais pas les paroles qu'on entend faiblement et hachées" indique que le câble de mon casque audio s'est détérioré. Comme c'est un casque à câble interchangeable, c'est facile à réparer.
Si ce n'est pas ça car tu utilises un casque/hp usb, ou que tu as testé avec plusieurs périphériques audio, mais que tu utilises pulseaudio comme serveur audio, tu peux regarder de ce côté:
Je ne connaissais pas les Slimbooks, et ils ont l'air intéressants. Le slimbook pro 13" me fait particulièrement de l'oeil.
Quelqu'un ici serait capable d'en faire un retour ici? En particulier sur sa solidité, son évolutivité (mémoire soudée ou non et bricoles du genre), et son confort général (écran mat?, touchpad, clavier, …)
Au passage si quelqu'un sait s'il y a des revendeurs en France, je suis preneur (mais j'en doute).
Le problème des parcages des têtes des disques WD ne concernait qu'une sorte de disques, bien large, des green et des black. WD n'a sorti des patch que pour les blacks, mais heureusement applicables sur les green (je trouve ça discutable de ne pas fournir de patch pour tous les disques concernés).
J'ai un black, mais pas de problème avec. Je ne sais plus si j'ai du réglé un problème de parcage avec ou s'il est suffisamment récent pour ne pas avoir le problème.
Le problème des parkages des têtes des disques WD ne concernait qu'une sorte de disques, bien large, des green et des black. WD n'a sorti des patch que pour les blacks, mais heureusement applicables sur les green (je trouve ça discutable de ne pas fournir de patch pour tous les disques concernés).
Comme Nicolas R., j'ai eu des Red dont j'ai dû régler le parcage.
Le problème n'apparaissait que sous Linux, parce que Linux n'est pas tout le temps en train de toucher aux disques, comme le fait Windows.
J'ai aussi eu le pb sous FreeNAS avec des Green. Le problème du parcage des têtes est lié à une optimisation pour réduire la consommation du disque, mais elle n'a été pensée qu'en considérant le cas où l'utilisateur utilise Windows. J'ai aussi lu que c'était lié au fait que Linux (et autres Unix) vérifie régulièrement que le matériel est toujours connecté, ce qui provoque de déparcage des têtes à chaque solicitation (mais je n'ai jamais vérifié si c'était bien ça)
Pour couronner le tout, le patch n'était applicable que sous windows ou avec une clef USB spécialement préparée pour ça.
D'un autre côté tu ne bidouilles le firmware de ton disque tout les jours. Tu le fais un fois et c'est bon.
idle3-tool est un outil DOS et il fonctionne avec FreeDOS d'après mes souvenirs.
J'ai pas assez confiance en Windows ou Linux pour flasher directement depuis lui-même. Un système simple et mono-tâche me parait plus sûr pour mettre à jour un firmware de disque dur ou carte mère.
Bref, WD à fait de la merde à une époque (2012 de mémoire), et je ne sais pas ce qu'il est est actuellement. Mais, pour moi, c'est fini.
C'est vrai qu'à l'époque ils sont entêtés à ne rien changer alors que cela pouvait provoquer une usure prématurée du disque et peut-être rendre la garantie inapplicable (nombre de parcage trop important - même pas sûr qu'il aurait vraiment pu vu que c'est plus ou moins un vice de conception). Mais ils ont quand même changé leur fusil d'épaule. Peut-être la démocratisation des NAS sous base Linux et peut-être une pression de leur constructeur les a fait réfléchir.
Bouder WD pour autant, c'est pas forcément malin. Toutes les marques font de la merde à un moment ou un autre. L'exemple le plus récent est le Seagate ST3000DM001 (3To) qui n'est toujours pas fiable alors que ça fait des années qu'il est fabriqué.
Certains vont peut être me dire que les problèmes de disques que j'ai actuellement avec mes WD est causé par l'application d'un patch qui n'était pas spécialement prévu pour ce type de disques… mais WD ne fournissait pas d'autres patchs.
D'un autre côté, tu tente le diable.
Je regrette que Samsung ne fasse plus de disques durs.
Je regrette que le marché du disque dur soit consolidé, et j'attends avec impatience le moment où le cout du SSD au €/Go deviendra inférieur à celui du disque mécanique.
Depuis 1 ou 2 ans, le parcage des têtes sur les disques WD est réglé par défaut à 300s (5min) au lieu de 8s. C'est un délais suffisant pour ne plus avoir le parcage des têtes incessant sous linux. Néanmoins, c'est toujours bien de vérifier si le parcage est bien configuré.
argh, je l'avais oublié mais aussi très bonne source, +1.
C'est une très bonne source, sauf au niveau des disques durs. En effet, la méthode de comptage de hardware.fr est basée sur le nombre de retour (pour quelque raison que ce soit) auprès de leur partenaire (LDLC). Les retours des disques durs défectueux/en panne se font directement auprès des constructeurs de disques eux-même (sauf Toshiba) et ne peuvent pas être comptés dans les stats de hardware.fr
De mon point de vue, pour un particulier, tous les disques se valent niveau fiabilité jusqu'à preuve du contraire (IBM DeathStar, Seagate ST3000DM001, …) Le prix et la durée de garantie sont les première chose que je regarde. Les sauvegardes sont là pour faire face aux pannes.
Le test long teste l'électronique du disque et fait un test de surface du disque.
C'est assez long (2h/To sur un disque récent).
Pour la commande, c'est bien à taper dans ton terminal en tant que super utilisateur (donc soit avec un sudo avant la commande, soit en passant en root):
smartctl -t long /dev/sdX
avec X à ajuster en fonction de ton disque.
Tu peux faire un test rapide (<5 min) en utilisant 'smartctl -t short /dev/sdX', mais tu n'auras pas le test de surface.
Le test est autonome et te rend la main tout de suite dans le terminal. Tu auras un message du temps estimé pour l'analyse et tu pourras consulter la progression et le résultat du test en faisant un :
smartctl -a /dev/sdX
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.
À 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)
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.
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)
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.
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.
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.
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)
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.
# Change de câble
Posté par eingrossfilou . En réponse au message Pb de son. Évalué à 3.
Chez moi, le symptôme "mais sur certains films ou vidéo sur internet, j'ai la musique, mais pas les paroles qu'on entend faiblement et hachées" indique que le câble de mon casque audio s'est détérioré. Comme c'est un casque à câble interchangeable, c'est facile à réparer.
Si ce n'est pas ça car tu utilises un casque/hp usb, ou que tu as testé avec plusieurs périphériques audio, mais que tu utilises pulseaudio comme serveur audio, tu peux regarder de ce côté:
https://wiki.archlinux.org/index.php/PulseAudio/Troubleshooting#Audio_quality
De mon côté j'ai eu le problème de son haché avec certains jeux que j'ai résolu avec les sous-sections
- Laggy sound
- Choppy/distorted sound
[^] # Re: tant que c'est libre
Posté par eingrossfilou . En réponse au message Cherche matériel : routeur ethernet/wifi. Évalué à 1.
C'est plutôt le modèle RB962UiGS-5HacT2HnT qui me fait de l'oeil chez Mikrotik
https://mikrotik.com/product/RB962UiGS-5HacT2HnT
A la base surtout pour son form-factor compact qui passerai nickel dans la partie communication exiguë de mon armoire électrique, mais aussi pour cette bonne surprise qui semble prometteuse:
https://forum.openwrt.org/t/installing-lede-on-mikrotik-rb962uigs-5hact2hnt/5117
[^] # Re: Pas possible
Posté par eingrossfilou . En réponse au journal Comment occuper une soirée: mettre à jour son GPS. Évalué à 7. Dernière modification le 29 juillet 2019 à 09:35.
Si tu veux des fichiers images, tu peux toujours prendre ceux-ci:
http://garmin.openstreetmap.nl/
[^] # Re: Slimbook
Posté par eingrossfilou . En réponse à la dépêche Nouvelles de KDE (saison 2016-2017). Évalué à 1.
Bon vu l'autonomie annoncée du pro, si quelqu'un as des info sur la version kde, je suis preneur aussi.
# Slimbook
Posté par eingrossfilou . En réponse à la dépêche Nouvelles de KDE (saison 2016-2017). Évalué à 8.
Je ne connaissais pas les Slimbooks, et ils ont l'air intéressants. Le slimbook pro 13" me fait particulièrement de l'oeil.
Quelqu'un ici serait capable d'en faire un retour ici? En particulier sur sa solidité, son évolutivité (mémoire soudée ou non et bricoles du genre), et son confort général (écran mat?, touchpad, clavier, …)
Au passage si quelqu'un sait s'il y a des revendeurs en France, je suis preneur (mais j'en doute).
Merci à celles et ceux qui répondront
[^] # Re: Et en nomade ?
Posté par eingrossfilou . En réponse au journal Un outil fort pratique : apt-cacher-ng. Évalué à 0.
J'utilise la même méthode avec un script de détection un peu plus évolué piqué ici:
https://askubuntu.com/questions/53443/how-do-i-ignore-a-proxy-if-not-available
[^] # Re: WD
Posté par eingrossfilou . En réponse au message Les marques des disques durs : grosse lotterie ?. Évalué à 2.
J'ai un black, mais pas de problème avec. Je ne sais plus si j'ai du réglé un problème de parcage avec ou s'il est suffisamment récent pour ne pas avoir le problème.
Comme Nicolas R., j'ai eu des Red dont j'ai dû régler le parcage.
J'ai aussi eu le pb sous FreeNAS avec des Green. Le problème du parcage des têtes est lié à une optimisation pour réduire la consommation du disque, mais elle n'a été pensée qu'en considérant le cas où l'utilisateur utilise Windows. J'ai aussi lu que c'était lié au fait que Linux (et autres Unix) vérifie régulièrement que le matériel est toujours connecté, ce qui provoque de déparcage des têtes à chaque solicitation (mais je n'ai jamais vérifié si c'était bien ça)
D'un autre côté tu ne bidouilles le firmware de ton disque tout les jours. Tu le fais un fois et c'est bon.
idle3-tool est un outil DOS et il fonctionne avec FreeDOS d'après mes souvenirs.
J'ai pas assez confiance en Windows ou Linux pour flasher directement depuis lui-même. Un système simple et mono-tâche me parait plus sûr pour mettre à jour un firmware de disque dur ou carte mère.
C'est vrai qu'à l'époque ils sont entêtés à ne rien changer alors que cela pouvait provoquer une usure prématurée du disque et peut-être rendre la garantie inapplicable (nombre de parcage trop important - même pas sûr qu'il aurait vraiment pu vu que c'est plus ou moins un vice de conception). Mais ils ont quand même changé leur fusil d'épaule. Peut-être la démocratisation des NAS sous base Linux et peut-être une pression de leur constructeur les a fait réfléchir.
Bouder WD pour autant, c'est pas forcément malin. Toutes les marques font de la merde à un moment ou un autre. L'exemple le plus récent est le Seagate ST3000DM001 (3To) qui n'est toujours pas fiable alors que ça fait des années qu'il est fabriqué.
D'un autre côté, tu tente le diable.
Je regrette que le marché du disque dur soit consolidé, et j'attends avec impatience le moment où le cout du SSD au €/Go deviendra inférieur à celui du disque mécanique.
[^] # Re: WD
Posté par eingrossfilou . En réponse au message Les marques des disques durs : grosse lotterie ?. Évalué à 1.
Depuis 1 ou 2 ans, le parcage des têtes sur les disques WD est réglé par défaut à 300s (5min) au lieu de 8s. C'est un délais suffisant pour ne plus avoir le parcage des têtes incessant sous linux. Néanmoins, c'est toujours bien de vérifier si le parcage est bien configuré.
[^] # Re: Taux calculé par moi (à 100% près)
Posté par eingrossfilou . En réponse au message Les marques des disques durs : grosse lotterie ?. Évalué à 2.
C'est une très bonne source, sauf au niveau des disques durs. En effet, la méthode de comptage de hardware.fr est basée sur le nombre de retour (pour quelque raison que ce soit) auprès de leur partenaire (LDLC). Les retours des disques durs défectueux/en panne se font directement auprès des constructeurs de disques eux-même (sauf Toshiba) et ne peuvent pas être comptés dans les stats de hardware.fr
De mon point de vue, pour un particulier, tous les disques se valent niveau fiabilité jusqu'à preuve du contraire (IBM DeathStar, Seagate ST3000DM001, …) Le prix et la durée de garantie sont les première chose que je regarde. Les sauvegardes sont là pour faire face aux pannes.
[^] # Re: smartctl
Posté par eingrossfilou . En réponse au message Disques qui se mettent HS. Évalué à 1. Dernière modification le 14 novembre 2016 à 18:46.
Salut,
Le test long teste l'électronique du disque et fait un test de surface du disque.
C'est assez long (2h/To sur un disque récent).
Pour la commande, c'est bien à taper dans ton terminal en tant que super utilisateur (donc soit avec un sudo avant la commande, soit en passant en root):
smartctl -t long /dev/sdX
avec X à ajuster en fonction de ton disque.
Tu peux faire un test rapide (<5 min) en utilisant 'smartctl -t short /dev/sdX', mais tu n'auras pas le test de surface.
Le test est autonome et te rend la main tout de suite dans le terminal. Tu auras un message du temps estimé pour l'analyse et tu pourras consulter la progression et le résultat du test en faisant un :
smartctl -a /dev/sdX
En espérant que ça te dépanne bien.
[^] # Re: smartctl
Posté par eingrossfilou . En réponse au message Disques qui se mettent HS. Évalué à 1. Dernière modification le 14 novembre 2016 à 14:46.
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.
# L'avenir?
Posté par eingrossfilou . En réponse à la dépêche Alsace Réseau Neutre : l'association, présentation et objectifs. Évalué à 1.
Faire une TATA-box
(ne me cherchez plus, je suis déjà sorti :)
# Collision
Posté par eingrossfilou . En réponse au journal zpaq : backup incrémental avec déduplication . Évalué à 5.
À 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 mais ...
Posté par eingrossfilou . En réponse au journal MAME libéré pour de vrai. Évalué à 0. Dernière modification le 05 mars 2016 à 16:34.
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/
[^] # Re: Changement de port
Posté par eingrossfilou . En réponse au message Alternative a SSH?. Évalué à 1.
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.
[^] # Re: Version ASP (Answer Set Programming)
Posté par eingrossfilou . En réponse au journal Résolution naïve d'un jeu de société. Évalué à 4.
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.
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.
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)
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.
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.
# Version ASP (Answer Set Programming)
Posté par eingrossfilou . En réponse au journal Résolution naïve d'un jeu de société. Évalué à 2.
Si ça t'intéresse, tu as une modélisation de ton problème en Answer Set Programming (ASP) ici.
[^] # Re: Télécharger les vidéos
Posté par eingrossfilou . En réponse au journal PSES 2015, c'est fini !. Évalué à 2.
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.
[^] # Re: R
Posté par eingrossfilou . En réponse au journal Faire des graphiques à partir de données : comparaison. Évalué à 3.
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.
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).
[^] # Re: R
Posté par eingrossfilou . En réponse au journal Faire des graphiques à partir de données : comparaison. Évalué à 6.
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.
Puis la version logarithmique:
[^] # Re: Troldi du jeudi
Posté par eingrossfilou . En réponse à la dépêche Si Linux m'était conté. Évalué à -1.
Non ça parle du TOP 500
de Fun Radio[^] # Re: La vraie question : que veux-tu faire après ta thèse ?
Posté par eingrossfilou . En réponse au journal Thèse or not thèse, that is the question.... Évalué à 2.
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.
[^] # Re: La vraie question : que veux-tu faire après ta thèse ?
Posté par eingrossfilou . En réponse au journal Thèse or not thèse, that is the question.... Évalué à 3.
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
[^] # Re: La vraie question : que veux-tu faire après ta thèse ?
Posté par eingrossfilou . En réponse au journal Thèse or not thèse, that is the question.... Évalué à 5. Dernière modification le 15 avril 2013 à 22:38.
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.
[^] # Re: La vraie question : que veux-tu faire après ta thèse ?
Posté par eingrossfilou . En réponse au journal Thèse or not thèse, that is the question.... Évalué à 5.
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.