J'ai dis que la gestion des onglets est meilleure dans Firefox parce qu'il est possible d'avoir des onglets verticaux ce qui est impossible avec la référence des navigateurs.
Je ne comprends pas cette remarque, parce qu'on peut avoir des onglets verticaux ailleurs depuis 10-15 ans. C'était une fonctionnalité disponible dans Opera 12 (avant le rachat donc), ca l'est dans Vivaldi depuis sa création, etc.
Ils ont une meilleure gestion des onglets oui, et ? J'ai dis qu'un logiciel qui le permettait via onglet avait une meilleure gestion des onglets qu'un logiciel qui ne le permettait pas. Il va de soit qu'un logiciel qui le gère sans avoir besoin d'extension fait (encore mieux1).
C'est marrant, mais sur le site de Firefox il est indiqué que les extensions sont plutôt faites en JS, CSS et HTML. Je n'ai pas vu le passage indiquant l'intégration de langages fonctionnels dessus.
Ça signifie que tout langage qui compile vers JS peut le faire aussi.
Pour faire une démonstration, jsais pas, c'est un truc qu'on voit quand même en 1ere année d'info. Démontrer qu'un programme fonctionne comme attendu est sacrément plus facile avec un langage fonctionnel qu'avec autre chose pour lesquels la preuve a l'air de nécessiter des outils externes.
J'aurais dis que c'était en deuxième ou troisième année. Ça dépend de la méthode utilisée pour la preuve, mais je connais beaucoup plus de code C ou C++ prouvé que dans n'importe quel autre langage.
Relis bien ce fil sans déformer mes propos, je ne fais que parler de mon utilisation d'un navigateur web qui n'est déjà pas forcément celle de la majorité des gens, et visiblement pas la tienne. Dans le message que tu cites, justement, je ne dis pas que la majorité des gens a le même usage que moi, mais que la majorité des gens préfèrent utiliser un logiciel plutôt que de fouiller des addons pour le compléter, voir coder les leurs, et que c'est aussi mon cas.
Ces "gens" dont tu connais la pratique préfèrent donc utiliser un navigateur avec un blocage de pub intégré ? Je n'ai pas l'impression que les stats te donnent raison ou du moins que ce soit une règle. Les gens sont prêt à aller loin s'ils pensent que ça leur est nécessaire. Ça peut aller jusqu'à demander à la personne qui connait l'informatique dans son entourage par exemple. Demander de l'aide ça peut être difficile mais ça demande assez peu de baguage technique par exemple et c'est comme ça que Firefox a gagné en popularité.
Essentialiser des utilisateurs c'est forcément moins bien les comprendre2.
Néanmoins le problème de sécurité des addons est bien existant.
On est d'accord.
Note que certains navigateurs web permettent de désactiver les fonctionnalités qu'on ne souhaite pas utiliser. Ca tombe bien, c'est justement le cas de celui que j'utilise.
Ça dépend de comment c'est fait. Il arrive que si le code est toujours là la faille aussi.
même si en soit ce serait discutable puisqu'Opera ne permet du coup as de gestion à la tree style tab par exemple ↩
après perso je m'en fou des utilisateurs moyens/lambdas ou ce que tu veux. Je ne leur dis pas quoi faire et ils ne me disent pas quoi faire. Je suis très content pour eux s'ils sont satisfait de leur machine que ce soit en utilisant Chrome, Firefox ou lynx ↩
[^] # Re: Enfin des onglets utilisables ?
Posté par barmic 🦦 . En réponse à la dépêche Les prochaines fonctionnalités de Firefox dévoilées. Évalué à 2.
Ils ont une meilleure gestion des onglets oui, et ? J'ai dis qu'un logiciel qui le permettait via onglet avait une meilleure gestion des onglets qu'un logiciel qui ne le permettait pas. Il va de soit qu'un logiciel qui le gère sans avoir besoin d'extension fait (encore mieux1 ).
Ça signifie que tout langage qui compile vers JS peut le faire aussi.
J'aurais dis que c'était en deuxième ou troisième année. Ça dépend de la méthode utilisée pour la preuve, mais je connais beaucoup plus de code C ou C++ prouvé que dans n'importe quel autre langage.
Ces "gens" dont tu connais la pratique préfèrent donc utiliser un navigateur avec un blocage de pub intégré ? Je n'ai pas l'impression que les stats te donnent raison ou du moins que ce soit une règle. Les gens sont prêt à aller loin s'ils pensent que ça leur est nécessaire. Ça peut aller jusqu'à demander à la personne qui connait l'informatique dans son entourage par exemple. Demander de l'aide ça peut être difficile mais ça demande assez peu de baguage technique par exemple et c'est comme ça que Firefox a gagné en popularité.
Essentialiser des utilisateurs c'est forcément moins bien les comprendre2 .
On est d'accord.
Ça dépend de comment c'est fait. Il arrive que si le code est toujours là la faille aussi.
même si en soit ce serait discutable puisqu'Opera ne permet du coup as de gestion à la tree style tab par exemple ↩
après perso je m'en fou des utilisateurs moyens/lambdas ou ce que tu veux. Je ne leur dis pas quoi faire et ils ne me disent pas quoi faire. Je suis très content pour eux s'ils sont satisfait de leur machine que ce soit en utilisant Chrome, Firefox ou lynx ↩
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll