scand1sk a écrit 300 commentaires

Raaah saletés d'erreurs 500 !

Disons que pour ma part, je conjecture pas mal le 3, et ce parce qu'il y a quand même de grandes différence intrinsèques entre un ordinateur et le cerveau humain : le numérique, et le déterminisme (en gros, un ordinateur ne sait que « dérouler » un programme).

Disons que pour ma part, je conjecture pas mal le 3, et ce parce qu'il y a quand même de grandes différence intrinsèques entre un ordinateur et le cerveau humain : le numérique, et le déterminisme (en gros, un ordinateur ne sait que « dérouler » un programme).

En ce qui concerne les problèmes des classes non polynomiales sur machine déterministe, il s'agit bien de problèmes décidables, mais pas en temps/espace raisonnables (au moins l'un des deux croit exponentiellement avec la taille du problème). Ceci dit, on est quand même bien contents qu'ils existent, ces problèmes, pour la cryptographie.

Il s'agit d'un combat de bots pré-programmer, incapable d'apprendre de s'adapter .... Donc c'est un combat d'intelligence des programmeur par programme interposé.

On peut voir ça comme ça, mais développer une « vraie » intelligence, personne n'est sûr que ce soit : 1. faisable 2. utile (quid des applications industrielles, même dans le domaine du loisir ?) 3. une bonne idée (cf. le fameux « syndrome de frankenstein » qui nous a valu tant de romans/films de SF apocalyptiques)

Le travail de recherche en IA est très fragmenté, entre l'optimisation/aide à la décision (qui se heurte finalement toujours aux classes de complexité algorithmiques non-polynomiales, semble-t-il insolvables avec des machines déterministes), classification automatique (ce qui se rapproche le plus de l'apprentissage), représentation des connaissances (forcément limitée quand finalement tout se résume à des suites de 0 et de 1), traitement des images… et quelques projets comme Flowers dont les objectifs paraissent un peu utopistes.

De mon expérience, une formation d'ingénieur, c'est plutôt technique + management, pas particulièrement de la théorie. Mon école d'ingénieurs, pourtant spécialisée en informatique, ne va pas beaucoup plus loin d'un point de vue technique & théorique qu'un DUT info. La différence, c'est plutôt le management et une formation un peu plus générale (automatique, électricité, électronique et informatique industrielle, dans mon cas).

Ah, mais je parle en connaissance de cause : j'ai fait une école d'ingénieurs (et une de celles les plus spécialisées en informatique encore) avant de me réorienter vers un DEA et la recherche. Et en plus, c'est récent, vu que je suis sorti d'école en 2004. Alors OK, j'ai réussi puisque je suis aujourd'hui en poste et je ne renie pas ma formation d'ingénieur (je pense être meilleur programmeur que mes collègues et je pense apporter quelque chose de différent aux étudiants qui se retrouvent aujourd'hui face à moi). Mais n'empêche que j'ai eu énormément de mal, en thèse, et encore aujourd'hui, avec certains des concepts les plus théoriques (je n'ai jamais eu de formation sérieuse en théorie des graphes, par exemple, et j'ai beaucoup de mal à écrire ou comprendre des preuves).

Quand à cette voie « désignée comme la plus prestigieuse et qui mène aux meilleurs postes et aux meilleures carrières », on en revient toujours à ces histoires d'image, de réputation (et de cooptation, en plus), pas forcément corrélée avec une qualité de formation (tout au plus une certaine qualité de sélection).

Les ENS, c'est un peu un cas à part, dans la mesure où le concours exige une certaine créativité (questions ouvertes…), et la formation vraiment différente de l'école d'ingénieurs moyenne (théorie…)

On peut être déconcerté par une autre observation. Les élèves les plus brillants de la série S s’orientent vers les CPGE où ils retrouvent un encadrement très pesant avec un système de « colles » quasi permanent. On peut être inquiet par le fait que les futures « élites » de la Nation ne cherchent nullement à quitter les certitudes de l’adolescence.

C'est pourtant très vrai. D'ailleurs, on constate souvent, dans la recherche, que les meilleurs chercheurs, les plus créatifs, sont plutôt issus du milieu universitaire que du diptyque CPGE/Grandes Écoles. Je suis de plus en plus persuadé que les jeunes se complaisent de plus en plus à être mis sur des « rails » de la maternelle au Bac (15 ans d'ingurgitation et régurgitation de cours et d'exercices-procédures, avec pour tout choix en fin d'année que d'aller dans l'année suivante), et cherchent à y rester le plus longtemps possible. Ils sont déjà tout perdus au moment de choisir un lycée (qu'on finit par choisir à la proximité, ou à la « réputation »), puis un bac (en fait, forcément S quand on a pas trop pris de retard avant), mais alors face aux choix d'études supérieures et de carrière, c'est le grand flou artistique…

En plus, faire CPGE/Grande École pour faire de l'informatique, c'est pas vraiment idéal : les formations en informatique des Grandes Écoles, c'est quand même plus une vague initiation qu'autre chose (à quelques exceptions près, notamment dans les écoles spécialisées, le plus souvent privées d'ailleurs). J'ai travaillé dans un laboratoire d'informatique chez Thales. Le responsable (pas né de la dernière pluie) avait depuis longtemps arrêté de prendre des stagiaires de chez X/Centrale, qui passaient 6 mois de stage à ne faire que de l'auto-formation, en faveur des DEA/DESS (à l'époque).

Hum, dans mon IUT, au moins 60% des jeunes envisagent une poursuite d'études vers le Bac+5… Le reflet de la crise, c'est aussi profiter des bourses pour poursuivre ses études… En informatique, une bonne partie des recrutements se font quand même à Bac+5…

Je crois que tu noircis un peu le tableau, là, quand même.

• Le copinage, ça doit plutôt être dans les 20% que dans les 80%. C'est toujours facile quand on rate un concours d'invoquer le copinage… Après, évidemment, les comités ne recrutent pas des candidats sur foi des 10 minutes d'audition, il faut déjà s'être fait connaitre avant…
• Les postes (de chercheur fonctionnaire) sont certes rares (mais quand même moins que dans les matières littéraires ou en maths pures), mais la reconversion en R&D dans le privé très faisable (pour l'informatique), et on peut, comme tu dis, enchainer les CDD de deux ans pendant longtemps sans problème (sous-payés, et ça reste des CDD qui font voyager un peu partout dans le monde),
• Si l'informatique évolue aussi vite, ce n'est pas qu'avec du flan…

Pour tout le reste, c'est encore une fois une histoire d'image. Je ne vois pas pourquoi un Bac +8 serait moins compétent qu'un Bac +5 avec 3 ans d'expérience. Une thèse, c'est aussi un job comme un autre (et sous-payé, en plus, ce qui montre qu'on est capable de travailler pour autre chose que de l'argent), pendant lequel on améliore aussi sa technique de programmation, sa capacité d'auto-formation, d'auto-gestion, de transmission du savoir (séminaires, conférences, enseignement), d'anglais technique.

Et en ce qui concerne la pression, c'est amusant, mais je constate que les chercheurs qui réussissent le mieux leur carrière, c'est ceux qui sont constamment sous pression… C'est sûr qu'on peut lever le pied quand on veut sans craindre de retour de flammes à court terme, mais c'est aussi le meilleur moyen de faire stagner sa carrière.

L'industrie ne peut pas être « plus à la pointe » que la recherche, puisque les développements innovants faits dans l'industrie, c'est de la recherche, et ce d'autant plus si les produits industriels sont open-source. Après, si les reviewers des revues sur les systèmes d'exploitation laissent passer tout et n'importe quoi, c'est un autre problème.

A priori, c'est quand même plus une histoire de « culture de labo » que d'une politique nationale. J'ai fréquenté trois labos CNRS : le premier utilisait quasi-exclusivement du logiciel libre, le second tournait plutôt sous MacOS, et dans le troisième, beaucoup de collègues utilisent Windows. Dans les trois labos, chaque personne était totalement libre du système installé sur son poste de travail. Et avec l'évolution du financement de la recherche (projets…), chacun sera bientôt également responsable du financement de son propre poste et des logiciels installés dessus…

Sauf erreur, c'est plutôt Debian Unstable (Sid) qui est là pour ça. Testing est une distribution « bâtarde » qui subit les défauts des deux mondes (unstable et stable) pour seulement une partie des bénéfices de chacun.

Et Unstable n'est pas à prendre au sens de « ça plante tout le temps » (en fait, pas plus que n'importe quelle Rolling Release), mais plutôt « ça change tout le temps ». C'est le but, en même temps.

En Swing, non, ce n'est pas possible. Swing parvient à emprunter le L&F de certains WM, mais ce n'est pas encore ça. Dans Java6, on peut avoir un L&F… GTK1, bien moche.

SWT par contre (développé pour Eclipse à la base), utilise des widgets natifs, et là c'est bien plus joli et performant. Par contre, ce n'est pas vraiment bien documenté, et pas tout à fait portable (il faut un binaire par OS).

Y a que moi que ça choque de voir écrire 1 Po = 1 024 000 To ?

Récemment il y a eu une renormalisation de l'écriture des multiples, elle a le mérite de lever pas mal d'ambigüités… Cf http://fr.wikipedia.org/wiki/Préfixe_binaire

Ainsi, 1 To (téraoctet) = 10¹² octets, mais 1 Tio (tébioctet) = 2⁴⁰ octets…

Donc 1 Pio (pébioctet) = 1 024 Tio, et 1 Po (péraoctet) = 1 000 To.

Sauf erreur, si on reprend ton code GPL, ils sont obligés de donner le code et leurs modifs à leurs clients, mais pas à toi. Pas sûr que tu en profites, donc.

typographie : un espace de chaque côté des « deux-points » (insécable si possible). Et il faudrait utiliser des « » au lieu des "", même si c'est chiant à faire avec un clavier AZERTY…

Effectivement, je connais surtout Youssef Hammadi, et un peu Lucas Bordeaux, quoique pas personnellement ;)

Je l'ai côtoyé essentiellement pour ses travaux sur SAT. Il y a des solveurs SAT en recherche locale et en recherche systématique effectivement, j'ai été un peu vite, mais ils sont tous autonomes. En programmation par contraintes, c'est loin d'être le cas, et la recherche systématique est à peu près… systématique.

Pour autant que je sache, Microsoft travaille surtout sur SAT en ce qui concerne la combinatoire, c'est à dire de la résolution systématique et autonome. Maintenant, je ne connais que deux chercheurs de Cambridge.

Typematrix ou pas, la disposition est purement logicielle. Si tu branches un Typematrix Bépo sur un PC quelconque, ça donnera la disposition par défaut de l'OS, soit AZERTY ou QWERTY le plus souvent…

Le site clavier-dvorak.org indique comment installer les nouvelles dispositions de clavier. Cela semble possible même sans les privilèges administrateur sur la plupart des OS. Après, un admin système sera sûrement compréhensif sur ce genre de détails, d'autant que l'ergonomie du poste de travail peut représenter un intérêt particulier pour l'employeur.

À l'IUT où j'enseigne actuellement, Linux est utilisé presque exclusivement depuis la création du département. Étrangement, les étudiants ne font pas preuve d'un enthousiasme débordant et se laissent vite dépasser... Impossible de leur faire lâcher Nautilus, même en cours de SE où on explique le fonctionnement de ls, cd et mkdir... À peine la moitié a formulé le voeu de faire installer Linux sur leur machine (une Install Party a été organisée en début d'année), et pour la plupart c'était uniquement pour avoir "la même chose qu'en cours" (à savoir une Fedora 6 ou 7) et en aucun cas par curiosité personnelle. À noter que la plupart des profs ont presque complètement déconnecté de Windows et savent vaguement s'en servir...

Ça viendra peut être avec le temps, mais ça serait bien aussi que les étudiants soient "éclairés" sur le sujet, avant même les formations...

Ah, mais ça, techniquement, c'est aussi possible sur Terre... Pour quand y aura plus de place sur les zones émergées...

Ah non, tu as beau débarquer avec tous les diplômes que tu veux, tu débarques là pour "démontrer" qu'une machine de vote ne peut être sécurisée. Ça n'a rien à voir avec les audits menées par des "personnes de confiance".

Euh, c'est sûrement très joli, mais j'ai comme l'impression que le fond d'écran y est pour beaucoup, le reste me semblant très, très classique, et réalisable avec n'importe quel desktop venu...