Tu parles de traducteurs et relecteurs spécialisés, est-ce que tu penses à quelque chose en particulier ?
J'ai des amis qui sont traducteurs dans le jeu-vidéo, et je ne leur donnerais pas à traduire ni à relire un document légal. Inversement, je ne donnerais pas un document sur le jeu vidéo à un interprète de l'ONU.
C'est pareil pour la traduction automatique. Nos systèmes sont spécialisés pour les besoins du client. On les entraine avec des données pertinentes en fonction de leurs besoins. C'est en partie pour ça que, par exemple, Google Translate n'est pas top: c'est un système générique. Ça fait un peu de tout, mais pas grand chose de bien. Mais les boîtes de traduction automatique, leur business, c'est la traduction spécialisée pour le client.
La traduction, c'est bien, mais c'est pas tout. Tu dois plutôt faire la "localization" de ton logiciel, pour prendre en compte les dates, comment trier les données, choisir les bon symboles, etc.
Sinon, ben, j'utilise pas d'outils de traduction… Je les crée :)
Pour info, généralement, les gens utilisent de la "traduction machine avec post édition". En gros, tu files ton texte à un logiciel, puis tu envoies l'original et la traduction à un relecteur professionel qui corrige. C'est moins cher, plus rapide, et ça te permet aussi d'améliorer ton système de traduction. Et tu utilises souvent des traducteurs (même logiciels) et relecteurs spécialisés pour un domaine (eg, légal, médical, informatique, etc).
J'ai utilisé eclipse pendant deux ou trois ans. C'était abominable. Puis j'ai découvert Intellij avec le plugin vim, et depuis, je me porte mieux.
J'ai aussi utilisé pendant un temps Eclim, qui permet d'interagir dans vim avec un Eclipse en mode serveur. C'était bien, mais j'ai dû arrêter pour des raisons de license au travail.
Un souci que j'ai avec les plugins pour IDE/éditeur est que le système de build au travail est un truc fait-maison, et donc que généralement, y'a pas moyen de compiler les projects. (On a un plugin spécial pour intellij et eclipse qui est développé activement par la boîte.)
J'habite loin (tm), et donc je lis des quotidiens en ligne régulièrement depuis une dizaine d'années. Ça ne s'améliore pas. Du côté contenu, les Français sont toujours en grève, en manif, ou bien trouvent que l'opposition est nauséabonde, et du côté contenant, il semble que savoir ècrirre korektment ou savoir faire une synthèse ne soient plus des critère décisifs pour devenir journaliste.
le chercheur écrit un article à destination de ses collègues pour expliquer sa démonstration.
Ou plutôt "le chercheur écrit un article à destination d'une conférence où le nombre de pages de chaque publication est limité et la taille de la police est imposée." Même certains journaux ont des limites de pages…
D'une manière générale, l'équivalence de programme est indécidable, donc ça limite énormément les choses.
Cependant, de mémoire, il existe des languages de niches avec des propriétés de sorte que certaines équivalences soient décidables. Je dis bien "certaines équivalences", car les définitions d'équivalence ne manquent pas.
Dans d'autres cas, tu dois toi-même fournir ta preuve, et utiliser un assistant pour la vérifier. Aucun souvenir du nom de telles applications, mais je me souviens vaguement d'un outil calculant des bisimulations pour le langage LOTOS.
Enfin, ça fait des années que je n'ai plus mis les pieds dans ce domaine, et quand j'y étais encore mon labo était plus théorique qu'appliqué en terme d'équivalence…
Mon labo avait des imprimantes Oki (évidemment, vu que c'était au Japon), et j'imprimais gaiment dessus aussi bien à partir de Linux que de FreeBSD, de mémoire avec un driver de base. (On imprimait surtout du pdf et du postscript…).
Paradoxalement, mon imprimante Brother à la maison ne marche pas sous windows (où elle s'emballe et vide mon réservoir sans rien imprimer après quelques cm de la première page), mais marche bien sous Linux :)
Mais en anglais, on ne dit pas «information science», on dit «computer science»
Ça dépend vraiment d'où tu vas. J'étais dans la faculté d'« Information Science » de l'école de « Génie », et mon labo faisant de la preuve. Difficile de faire plus "l'informatique c'est des maths" que ça. Et à côté, l'école de « Sciences » avait un autre labo bossant sur des sujets très proches. Et deux équipes faisaient des compilateurs, dans deux écoles différentes de l'université.
Au final, ça dépend beaucoup de quel département avait de l'argent quand le programme a été fondé, plus que de la réponse subjective à la question "l'info est elle une branche des maths ?".
Oui, probablement que winamp doit lire les nouveaux formats. Probablement que "ls" doit comprendre les nouveaux systèmes de fichier. Mais il y a tout plein de logiciels qui n'ont pas besoin de mises à jour fréquentes car ils ont toutes les features nécessaires à leur bon fonctionnement, et n'ont pas de bugs détectés pendant longtemps:
http://alpha.gnu.org/gnu/bc/ 12 ans que ça n'a pas bougé ?! Inutilisable ! Vite, faisons une calculette graphique en J2EE/Swing pour pallier ce problème !
Tu vois le truc. Quand ça marche, ça marche. Pas besoin d'un dev qui pousse des commits toutes les 2 semaines pour être un logiciel utile et "fini". Et là, on pare des coreutils de linux, hein. Un truc sacrément répandu et utilisé…
Ton argument ne tient pas la route : on voit régulièrement ici-même plein de moules qui réinventent la roue juste parce qu'elles en avait envie, ou parce qu'elles ne connaissaient pas les logiciels qui répondaient déjà à leur besoins. Il y a aussi ceux qui réinventent la roue parce qu'ils n'aiment pas la licence de base. Tant qu'il y aura des gens qui découvrent l'informatique, la roue sera réinventée.
Un logiciel est fini quand il résout le problème pour lequel il a été conçu. Mon ~/bin est rempli de programmes que j'ai écrits il y a des années et qui n'ont aucun besoin de mise à jour. Oui, on peut probablement rajouter des features à un logiciel à tout moment. Mais pour moi, ls, grep, awk, sed, ou winamp étaient finis il y a 15-20 ans, et je n'ai pas l'impression d'avoir eu des manques terribles à combler quand je les utilisais alors.
Je ne comprends pas pourquoi tu as ce smiley. Quand un logiciel est fini, on arrête de le modifier…
Certes, tu as trouvé un bug, et c'est bien d'envoyer un correctif, mais d'une manière générale, les produits stables n'ont pas besoin de mise à jour. (Commentaire similaire.)
Comment as-tu fait pour le parler de façon acceptable ?
J'étais (et je suis toujours) motivé. J'ai un niveau de locuteur natif et un vocabulaire plus large qu'en français (ça, ça fait mal :/).
Comment tu fais pour ne pas être stressé avant/pendant un call ?
L'habitude ? Enfin, je n'ai jamais stressé en anglais (sauf sur les bonnes syllabes !).
Est-ce que tu pourrais être dans l'entreprise où tu es aujourd'hui si tu ne parlais pas anglais ?
Non. Boîte américaine, j'habite aux USA.
Est-ce que tu as dû te farcir des séries américaines en VO alors que tu détestes ça ?
Non. Mais je ne farcis des séries coréennes en VO alors que c'est d'une niaiserie insondable.
Pour toi, si tu veux améliorer ton anglais, laisse tomber les séries qui ne sont pas pédagogiques. À la place, utilise http://www.bbc.co.uk/learningenglish/ ou https://www.englishclass101.com/ (ou les deux)
L'intérêt de la formalisation mathématique n'est pas forcément visible pour le programmeur. Ca peut être utilisé pour prouver qu'une nouvelle syntaxe sera transformée en du code qui se comporte bien. Toi, tout ce que tu fais, c'est utiliser la nouvelle syntaxe. T'as pas besoin de faire de maths ni de logique…
Ca peut aussi être utilisé dans le compilateur pour prouver que ton code marche bien. Les systèmes de types, par exemple, font ça. T'as pas besoin de comprendre les types. Si ça passe pas le typage, c'est que t'avais un bug de toute façon et t'aurais été obligé de réfléchir…
Quand le manager est a un niveau eleve', non, c'est pas si rare. Apres tout, on demande pas au manager de savoir faire le taf de son manage', mais de savoir obtenir le maximum de sa part.
[^] # Re: Localization
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal On ne contribue pas que du code. Évalué à 2.
J'ai des amis qui sont traducteurs dans le jeu-vidéo, et je ne leur donnerais pas à traduire ni à relire un document légal. Inversement, je ne donnerais pas un document sur le jeu vidéo à un interprète de l'ONU.
C'est pareil pour la traduction automatique. Nos systèmes sont spécialisés pour les besoins du client. On les entraine avec des données pertinentes en fonction de leurs besoins. C'est en partie pour ça que, par exemple, Google Translate n'est pas top: c'est un système générique. Ça fait un peu de tout, mais pas grand chose de bien. Mais les boîtes de traduction automatique, leur business, c'est la traduction spécialisée pour le client.
# Localization
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal On ne contribue pas que du code. Évalué à 2.
La traduction, c'est bien, mais c'est pas tout. Tu dois plutôt faire la "localization" de ton logiciel, pour prendre en compte les dates, comment trier les données, choisir les bon symboles, etc.
Sinon, ben, j'utilise pas d'outils de traduction… Je les crée :)
Pour info, généralement, les gens utilisent de la "traduction machine avec post édition". En gros, tu files ton texte à un logiciel, puis tu envoies l'original et la traduction à un relecteur professionel qui corrige. C'est moins cher, plus rapide, et ça te permet aussi d'améliorer ton système de traduction. Et tu utilises souvent des traducteurs (même logiciels) et relecteurs spécialisés pour un domaine (eg, légal, médical, informatique, etc).
# Java+Intellij
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Quel IDE pour quel langage. Évalué à 4.
J'ai utilisé eclipse pendant deux ou trois ans. C'était abominable. Puis j'ai découvert Intellij avec le plugin vim, et depuis, je me porte mieux.
J'ai aussi utilisé pendant un temps Eclim, qui permet d'interagir dans vim avec un Eclipse en mode serveur. C'était bien, mais j'ai dû arrêter pour des raisons de license au travail.
Un souci que j'ai avec les plugins pour IDE/éditeur est que le système de build au travail est un truc fait-maison, et donc que généralement, y'a pas moyen de compiler les projects. (On a un plugin spécial pour intellij et eclipse qui est développé activement par la boîte.)
# Oui, et je le vis mal.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Presse en ligne. Évalué à 7.
J'habite loin (tm), et donc je lis des quotidiens en ligne régulièrement depuis une dizaine d'années. Ça ne s'améliore pas. Du côté contenu, les Français sont toujours en grève, en manif, ou bien trouvent que l'opposition est nauséabonde, et du côté contenant, il semble que savoir ècrirre korektment ou savoir faire une synthèse ne soient plus des critère décisifs pour devenir journaliste.
[^] # Re: Math
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 4.
Ou plutôt "le chercheur écrit un article à destination d'une conférence où le nombre de pages de chaque publication est limité et la taille de la police est imposée." Même certains journaux ont des limites de pages…
[^] # Re: Perl6
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 2.
D'une manière générale, l'équivalence de programme est indécidable, donc ça limite énormément les choses.
Cependant, de mémoire, il existe des languages de niches avec des propriétés de sorte que certaines équivalences soient décidables. Je dis bien "certaines équivalences", car les définitions d'équivalence ne manquent pas.
Dans d'autres cas, tu dois toi-même fournir ta preuve, et utiliser un assistant pour la vérifier. Aucun souvenir du nom de telles applications, mais je me souviens vaguement d'un outil calculant des bisimulations pour le langage LOTOS.
Enfin, ça fait des années que je n'ai plus mis les pieds dans ce domaine, et quand j'y étais encore mon labo était plus théorique qu'appliqué en terme d'équivalence…
# Oui
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Une imprimante laser multifonction qui juste (presque) marche. Évalué à 4.
Mon labo avait des imprimantes Oki (évidemment, vu que c'était au Japon), et j'imprimais gaiment dessus aussi bien à partir de Linux que de FreeBSD, de mémoire avec un driver de base. (On imprimait surtout du pdf et du postscript…).
Paradoxalement, mon imprimante Brother à la maison ne marche pas sous windows (où elle s'emballe et vide mon réservoir sans rien imprimer après quelques cm de la première page), mais marche bien sous Linux :)
[^] # Re: Il faut bien lire ce qu'on lit!
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le retour de la vengeance de la virgule flottante. Évalué à 3.
Ça dépend vraiment d'où tu vas. J'étais dans la faculté d'« Information Science » de l'école de « Génie », et mon labo faisant de la preuve. Difficile de faire plus "l'informatique c'est des maths" que ça. Et à côté, l'école de « Sciences » avait un autre labo bossant sur des sujets très proches. Et deux équipes faisaient des compilateurs, dans deux écoles différentes de l'université.
Au final, ça dépend beaucoup de quel département avait de l'argent quand le programme a été fondé, plus que de la réponse subjective à la question "l'info est elle une branche des maths ?".
[^] # Re: Dernier commit
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal ZIP et fcrackzip. Évalué à 7.
Oui, probablement que winamp doit lire les nouveaux formats. Probablement que "ls" doit comprendre les nouveaux systèmes de fichier. Mais il y a tout plein de logiciels qui n'ont pas besoin de mises à jour fréquentes car ils ont toutes les features nécessaires à leur bon fonctionnement, et n'ont pas de bugs détectés pendant longtemps:
Tu vois le truc. Quand ça marche, ça marche. Pas besoin d'un dev qui pousse des commits toutes les 2 semaines pour être un logiciel utile et "fini". Et là, on pare des coreutils de linux, hein. Un truc sacrément répandu et utilisé…
[^] # Re: Dernier commit
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal ZIP et fcrackzip. Évalué à 4.
Ton argument ne tient pas la route : on voit régulièrement ici-même plein de moules qui réinventent la roue juste parce qu'elles en avait envie, ou parce qu'elles ne connaissaient pas les logiciels qui répondaient déjà à leur besoins. Il y a aussi ceux qui réinventent la roue parce qu'ils n'aiment pas la licence de base. Tant qu'il y aura des gens qui découvrent l'informatique, la roue sera réinventée.
Un logiciel est fini quand il résout le problème pour lequel il a été conçu. Mon ~/bin est rempli de programmes que j'ai écrits il y a des années et qui n'ont aucun besoin de mise à jour. Oui, on peut probablement rajouter des features à un logiciel à tout moment. Mais pour moi, ls, grep, awk, sed, ou winamp étaient finis il y a 15-20 ans, et je n'ai pas l'impression d'avoir eu des manques terribles à combler quand je les utilisais alors.
# Dernier commit
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal ZIP et fcrackzip. Évalué à 1.
Je ne comprends pas pourquoi tu as ce smiley. Quand un logiciel est fini, on arrête de le modifier…
Certes, tu as trouvé un bug, et c'est bien d'envoyer un correctif, mais d'une manière générale, les produits stables n'ont pas besoin de mise à jour. (Commentaire similaire.)
[^] # Re: Tu ne résous pas le problème.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal L’écriture neutre. Évalué à 3.
Si tu dis "Jean-Jacques est folle", bonjour les malentendus !
[^] # Re: Tu ne résous pas le problème.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal L’écriture neutre. Évalué à 3.
Après "parent 1" et "parent 2", v'la-t'y pas qu'on a "parent y"? Mais "Y", c'est le chromosome qui permet de distinguer les hommes des femmes !
[^] # Re: Je suis sûr qu'il y aurait un gros pourcentage pour...
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Travailler pour les GAFAM. Évalué à 2.
Entretiens d'Amazon. J'en fais passer depuis des années, sans grand succès.
# Réponses
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Votre rapport à l’anglais ?. Évalué à 4.
42
J'étais (et je suis toujours) motivé. J'ai un niveau de locuteur natif et un vocabulaire plus large qu'en français (ça, ça fait mal :/).
L'habitude ? Enfin, je n'ai jamais stressé en anglais (sauf sur les bonnes syllabes !).
Non. Boîte américaine, j'habite aux USA.
Non. Mais je ne farcis des séries coréennes en VO alors que c'est d'une niaiserie insondable.
Pour toi, si tu veux améliorer ton anglais, laisse tomber les séries qui ne sont pas pédagogiques. À la place, utilise http://www.bbc.co.uk/learningenglish/ ou https://www.englishclass101.com/ (ou les deux)
[^] # Re: Je suis sûr qu'il y aurait un gros pourcentage pour...
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Travailler pour les GAFAM. Évalué à 2.
C'est vrai que le taux de succès aux entretiens est pas élevé…
[^] # Re: Ça dépend
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Travailler pour les GAFAM. Évalué à 5.
J'arrive le matin à 8h, je prends 1 heure pour déjeuner, et je pars le soir à 17h. Je ne travaille pas le week end. J'ai eu pire, comme vie.
# Scrinchotte
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal BEd : un éditeur graphique pour Beamer (présentations LaTeX). Évalué à 10.
Pas de captures d'écran pour voir à quoi ça ressemble ?
[^] # Re: Et OCaml ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Tous les parsers JSON sont mauvais. Évalué à 5.
Le style CP, oui.
Le CPS, oui.
Le style CPS, non ! Pas de "style continuation-passing style" !
[^] # Re: D'autres versions
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Tous les parsers JSON sont mauvais. Évalué à 2.
Trop go, passera pas.
[^] # Re: Le cerveau n'est pas logique
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 4.
L'intérêt de la formalisation mathématique n'est pas forcément visible pour le programmeur. Ca peut être utilisé pour prouver qu'une nouvelle syntaxe sera transformée en du code qui se comporte bien. Toi, tout ce que tu fais, c'est utiliser la nouvelle syntaxe. T'as pas besoin de faire de maths ni de logique…
Ca peut aussi être utilisé dans le compilateur pour prouver que ton code marche bien. Les systèmes de types, par exemple, font ça. T'as pas besoin de comprendre les types. Si ça passe pas le typage, c'est que t'avais un bug de toute façon et t'aurais été obligé de réfléchir…
# CSS
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Les entrailles d’un interpréteur CSS très rapide : Quantum CSS (alias Stylo). Évalué à 2.
Ma CSS ne redimensionne pas les images… L'article est donc illisible :'(
--> []
[^] # Oui de oui !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Troops, Trolls & Troublemakers : inventaire mondial de la manipulation organisée des réseaux sociaux. Évalué à 1.
Et les sacres, nom de nom ?!
# CJC
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Unicode - pédagogique - vue d'ensemble ! ? .. Évalué à 3.
Chinois-Japonais-Coreen, ou Coreen-Japonais-Chinois ? :D
Il m'a fallu quelques instants pour comprendre que tu parlais de CJK…
[^] # Re: Peter & Dilbert
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Ça y est, je suis manager :(. Évalué à 2.
Quand le manager est a un niveau eleve', non, c'est pas si rare. Apres tout, on demande pas au manager de savoir faire le taf de son manage', mais de savoir obtenir le maximum de sa part.