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: 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.
# Tests
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Vulnérabilité majeure dans Kmail. Évalué à 4.
C'est pas du code facile à tester, ça ? Je veux dire, un bon test unitaire ou d'intégration devrait identifier le problème.
[^] # Re: emulateur de flipper
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal An unexpected Linux : reverse engineering. Évalué à 1.
Ben, je pense que to fichier data, c'est juste les images/animations!
On arrive a lire le texte en plissant les yeux.
[^] # Re: Tab Memory Usage
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal #REM on saura peut-être faire le café et pas vous ficher dehors. Évalué à 5.
Un greffon, c'est pas un plugin plutôt ?
[^] # Re: Accessibilitant
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal #REM on saura peut-être faire le café et pas vous ficher dehors. Évalué à 3.
Que tu les partages ou pas, au vu des commentaires et de la note du journal, le verdict est clair : il a raison.
[^] # Re: Glomérulonéphrite
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Ça fait pourtant au moins 25 ans qu'on vous le dit.... Évalué à -1.
La flèche pointe vers ton message. C'est donc toi le troll :)