gUI a écrit 5515 commentaires

Formaliser ce que l'on ne sait que l'on ne comprend pas

Heu… j'avoue ne pas comprendre tout court.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Il ne faut pas tomber dans un biais cognitif lié à notre propre culture.

Non mais c'était une boutade. De toutes façons comme tu dis justement, si tu t'adresses à une culture complètement différente, ces détails n'ont strictement aucune importance puisque l'interprétation a toutes les chances d'être fondamentalement différente.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Formaliser ce que l'on ne sait pas sous-entend qu'il y a des trucs qu'on sait. Hors même ça c'est compliqué comme concept.

En effet "en sciences on ne démontre rien" (dixit Aurélien Barrau). Tout ce que l'on sait peut être remis en cause ultérieurement par une nouvelle découverte (la théorie de la gravité de Newton qui est restée vraie pendant 250 ans est un cas d'école).

Donc mis à part lister l'immensité des connaissances potentielles, je ne vois pas où peut mener ce projet.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Le message c'est qu'une femme ça a les cheveux longs, ça se place un pas derrière l'homme, et ça le laisse parler.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

on n'échange plus les points de vue avec l'objectif

dans le cas de la situation en Ukraine c'est flagrant : actuellement on n'a plus de sessions parlementaires (fin de la session du mandat de l'assemblée avant les présidentielles), le conseil des ministres est juste un conseil de défense : bref le Président décide tout sans rendre compte à qui que ce soit.

pour la gestion du COVID on avait au moins les questions au gouvernement, ça servait pas à grand chose puisque les décisions étaient déjà prises, mais au moins on pouvait avoir des explications.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Il faut donc que le re-conditionneur décrive clairement sur son site qu'il faut que l'utilisateur efface lui-même son compte avant expédition.

Et aussi que le re-conditionneur pourrait vérifier ensuite si il a été bien effacé avant (et éventuellement le cracker si nécessaire), et ainsi ne vendre que des téléphones prêts à l'emploi.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Comme d'habitude avec ces mesures de sécurité, ce sont les honnêtes gens qui sont emm.rdés

Non, ce sont ceux qui font mal leur travail qui emmerdent les honnêtes gens. D'ailleurs rien ne dit que ce téléphone n'est pas un téléphone volé du coup.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Exactement, ce n'est pas du tout la faute à FRP, mais bien au revendeur qui t'a vendu un téléphone inutilisable.

Ce n'est en rien une fonctionnalité destinée à éviter la revente d'occasion des téléphones, mais juste contre le vol : l'effacement doit être fait par la personne précédente (depuis la UI et pas depuis le Recovery OS).

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Merci pour ce joli hommage aux femmes de science !

Au passage ce que je trouve éblouissant avec Marie Curie et les Nobel c'est que :

• elle est la première femme à avoir reçu un prix Nobel
• elle est la seule femme (jusqu'à présent) à en avoir reçu deux

Mais surtout :

• elle est la seule personne (jusqu'à présent) à en avoir reçu deux dans deux domaines scientifiques différents (physique en 1903 et chimie en 1911)

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Heureusement que tu es là pour nous rappeler les vrais événements de la tech. La journée va être longue en attendant, mais il faut se dire que le bonheur est à quelques heures seulement !

En attendant je vais reprendre des moules je crois.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

il manquait un saut de ligne avant mes deux listes

C'est bon comme ça ?

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Décidément !

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Corrigé, merci

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

ils disent de se "deconnecter de l'environnement de bureau" et je n'ai aucune espece d'idee de ce qu'est un "environnement de bureau"

les droits d'un utilisateur sont évalués à la connexion. donc quand tu les changes, tu dois te déconnecter et te reconnecter pour profiter des nouveaux droits.

si tu es dans un environnement de bureau (c'est à dire environnement graphique, le cas le plus général), tu cherches dans les menus le "se déconnecter".

si tu es en mode console seulement (par exemple en SSH à distance) tu tapes exit et tu te reconnectes.

évidemment si tu rebootes la machine ça aura le même effet.

pas simple linux

c'est comme tout, quand tu sais pas… bin tu sais pas :)

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

La doc du kernel est une bonne source d'information générales :
https://linux-kernel-labs.github.io/refs/heads/master/labs/block_device_drivers.html

Rien que l'introduction donne une partie de la réponse :

Block devices are characterized by random access to data organized in fixed-size blocks. Examples of such devices are hard drives, CD-ROM drives, RAM disks, etc. The speed of block devices is generally much higher than the speed of character devices, and their performance is also important. This is why the Linux kernel handles differently these 2 types of devices (it uses a specialized API).

Working with block devices is therefore more complicated than working with character devices. Character devices have a single current position, while block devices must be able to move to any position in the device to provide random access to data. To simplify work with block devices, the Linux kernel provides an entire subsystem called the block I/O (or block layer) subsystem.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Pas de pb, c'est fait !

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Je vois mal ce genre de truc figurer dans la loi

Oui alors ce sera pas la première idiotie :) mais j'ai ça en tête (je cherche la ref). De même la copie par HDMI n'est pas censée être possible (voir HDCP)

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Et en plus il n'y aurait pas une loi contre le reverse engineering qui t'interdirait même toute tentative ?

EDIT : Mais de toutes façons il me semble bien que tous les enregistreur TNT chiffrent, et c'est très sûrement une obligation légale.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

En fait c'est surtout que le type string n'existe pas. Faut déjà en prendre bien conscience.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

C'est vrai que l'overflow en général est en UB, et là j'avoue on peut le regretter (surtout que spécifier que tu tombes sur un modulo n'était pas très dur, et il me semble que c'est ce que fait à peu près tout le monde).

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Le + célèbre: https://news.ycombinator.com/item?id=26296339

Je ne connaissais pas c'est très intéressant , merci pour le lien. Cela dit j'ai du mal à attaquer le langage lui-même qui est simple (pour pas dire simpliste), et justement ce style de "bug" est censé être facile à anticiper (strlen sur des chaînes de plusieurs Mo…).

Au passage je suis allé voir le code de strlen dans la libc. C'est amusant de voir tout de même l'optimisation 32/64 bits qui a été faite (et pas une simple boucle char par char).

Le C restant bas niveau il implique une connaissance de l'architecture de la machine, et du fonctionnement en général d'un ordinateur. Ça peut être un avantage ou un inconvénient selon les situations, mais c'est une propriété fondamentale du langage qu'on ne peut ignorer.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Aussi curieux que ça puisse paraître je penserais presque que /bin/bash n'existe pas chez toi. Tu es sur un Linux standard ? Ou un truc plus "limité" ?

ls -l /bin/bash stp pour être certain de ce côté là :)

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Trop d'UB qui ne servent à rien

Perso je trouve que c'est l'inverse. Tu as peu d'assurances de comportement, si tu t'y tiens, tu seras peinard au lieu de tenter des trucs chelou qui optimisent soi-disant le code (ou la vie du codeur). Quand je vois les exemples d'UB c'est à chaque fois du code qui à la base est incompréhensible.

Pour moi le C reste de l'ASM de haut niveau et il faut vraiment s'y tenir. À chaque ligne une instruction (ok, le i++ reste une exception acceptable).

Mais quand je vois des appels de fonctions qui eux-même castent des pointeurs pré-incrémentés… ouais non, c'est indéterminé et c'est tant mieux. Qu'ils séparent clairement les lignes, qu'ils utilisent des variables intermédiaires et l'ordre des instructions sera parfaitement connu. Surtout que avec les compilateurs actuels, ça ne changera sûrement rien au code final.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

ont finis par le repousser

Je ne suis pas certain que ces langages aient "repoussé" le C. Le C est resté dans les domaines d'applications qui existaient avant ces langages. Ces langages sont arrivés pour combler de nouveaux besoins, pas pour remplacer le C.

le hardware est digne des années 80

C'est pas le hardware qui est digne des années 80, c'est le logiciel (et il n'y a rien de péjoratif à ça, c'est mon métier).

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

Pour les vidéos j'utilise une extension Firefox Video DownloadHelper. Ça marche avec plus ou moins de bonheur selon les sites.

Je pense que tu peux tenter de prendre juste la partie https://… et de voir si tu tombes sur la video en question.

En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.