Bonjour, je me demandais, concernant l'impossibilité d'avoir une démonstration de la consistance d'une théorie T dans T.
Est-ce qu'il y a besoin d'un raisonnement aussi complexe ? Ou bien il y a quelque chose qui m'échappe. Dans un système inconsistant il est possible de montrer le faux, et une fois le faux montré, on peux montrer n'importe quoi, comme la consistance par exemple. Donc pour toute théorie T, « T est consistant » est vrai.

Quand on dit "la cohérence est indémontrable (…)

Bonjour,
j'aimerai simplement savoir quel sont les bonnes pratique du sous-titrage.
Faut-il d'abord écrire tous les dialogues pour ensuite les positionner ?
Faut-il utiliser les codes couleurs, et dans ce cas, quel est le meilleur format libre ?

Apparement le simple fait de mettre des sous titres, ça modifie l'oeuvre original : même quand c'est un fichier à pars ?

Et n'existe-t-il pas un format qui permet de regrouper plusieurs sous-titres mais de différentes langue ?

Merci d'avance.

J'ai pour projet d'offrir à ma mère, qui passe beaucoup de temps dans à travailler son jardin, une vidéo "timelaspe" de son jardin.

L'idée serait de faire quelques prises de vues par jour, pour permettre de conserver une bonne luminosité. Et de couvrir ainsi toute l'année. A la fin de l'année je peux ainsi monter la vidéo.

Contrainte principale: Il faut que le matériel ne nécessite aucune intervention sur place, je ne visite mes parents que 2 fois par (…)

bonjour,

je suis en train de réparer un ordinateur portable à grand coup de lance flamme, enfin, plutôt à coup de décapeur thermique. Il y a quelques articles sur ce sujet sur le grand Internet. Certains le font avec le four, d'autres au décapeur thermique. Pour ma part, j'ai utilisé le second, à 350°, temps de chauffe de 30 à 45 secondes. J'ai ciblé en particulier la puce graphique et les mémoires associées. J'ai même pas pris la peine d'enlever (…)

Salut le forum, voici ma question du jour: j'ai envie de tester pour voir si les logiciels éducatifs peuvent avoir 10% du succès des jeux vidéos :)

En bref, comment faire pour que http://pedagogicbundle.com/ fasse 10 fois moins bien que http://humblebundle.com/ :o) Bien entendu tout ceci est au 2° degrés, il y a peu de chance qu'on fasse aussi bien qu'eux pour plein de raisons et la 1ère c'est qu'ils ont réussi à faire un buzz monstrueux.

Alors comment pouvons (…)

Bonjour,

au cas où, je poste ici le besoin d'une mairie dont je m'occupe.

Nous nous séparons du prestataire qui gère le serveur email de cette mairie. Il est au triple du prix habituel, et service franchement moyen (bien qu'aucune panne, à ce prix ce serait dommage).

Le besoin :
- 250 boîtes emails, plus environ 100 alias
- trafic tout à fait habituel
- les clients POP sont configurés pour effacer les emails du serveur au bout de 5 (…)

Bonjour,

Je me permet de poster sur ce forum car je suis à la recherche d'une idée cadeau lié à linux pour mon papa :) il est fan & pratique depuis de nombreuse années il a testé & test en permanence pleins de distributions, sachant qu'il vient d'avoir 71 ans je ne cherche pas trop des "gadgets" (style tshirt ect…)
je cherchais plus un truc sur lequel il pourrait bidouiller, un truc à programmer via linux ou je ne sais (…)

Bonjour,

Je vais bientôt déménager (incroyable, non ?) dans un immeuble où la fibre est installée (par Neuf telecom).

J'ai fouillé un peu le forum, il y a très longtemps que le thème n'a pas été abordé, donc, je pose ma (mes) question(s) :

• qui a la fibre chez lui ?
• quel FAI ?
• comment ça marche ?

Parce que j'ai essayé de prendre des renseignements chez Free pour faire une migration ADSL vers Fibre, mais franchement, la réponse a été évasive et en (…)

Bonjour tous le monde,

je suis développeur et je m’interroge sur les salaires pratiqués de nos jours. J'ai eu un entretien pour un boulot qui parlait de 1450 net par mois. Cela en ville (1 de voiture de chez moi), 2 ans d'expérience requises, connaissances spécifiques de certains language & IDE pour une boite qui développe des logiciels de gestions.
Bref la chouette surprise à l'entretien: les 1450€ c'est pour 39h semaine et non 35h donc c'est le smic…

Avec (…)

Il y a quelques temps j'ai eu au téléphone un technicien Free qui m'a donné les informations de connexion ADSL : débit, affaiblissement, etc.
- ces informations sont disponibles uniquement en connectant un téléviseur sur le boîtier vidéo fourni avec la FreeBox
- il était dans une entreprise cliente de Free, qui n'a pas de téléviseur
- pour me donner les infos, il m'a demandé l'identifiant correspondant à cet abonnement
- sur le coup je n'ai pas pensé à lui (…)

Bonsoir,

J'ai un serveur web en https (J'utilise GNUTls). Mon site est indisponible depuis un téléphone Android (version 2.3). Le navigateur me dit qu'il n'arrive pas à se connecter. Sur le serveur, j'ai la trace suivante:
GnuTLS: Handshake Failed (-21) 'Could not negotiate a supported cipher suite.'

Quelqu'un aurait-il une idée ? J'ai cherché en vain sur Google…

Merci

Philippe

Bonjour,
youtube reposant essentiellement sur une technologie propriétaire, je poste dans H.S.

J'ai tenté ce matin de me faire une idée de ce que représentent le nombre de visionnages d'une vidéo sur ledit site.
J'ai d'abord pris connaissance des différentes informations officielles :
ici et là. Desquelles je retiens qu'ils ont des algos / programmes spécifiques pour détecter "l'autopromotion".
Je me dis donc : une ip = un visionnage.

Je me rends sur une vidéo dont le "nombre de (…)

Bonjour,
J'aimerais savoir comment enlever mes contenus de linuxfr.org ou les modifier?

Bonjour,

Pour pouvoir (charger | communiquer avec) mon Motorola Defy plus, dois-je obligatoirement passer par le câble microusb "authentique" ou je peux utiliser sans risque à un câble microusb classique ?

En vous remerciant !

Bonjour, je poste ici ce message car des membres de ce forum dont j'ai malheureusement oublié les noms sont venus début mai en Bretagne pour une Install Party lors de laquelle ils ont pu goûter mon saucisson.

J'annonce donc fièrement que j'ai enfin déposé la recette sur le forum Linux Quimper

Bon appétit à tous.

Salut tout le monde,

Voilà, je pense à faire construire notre maison, mais nous ne connaissons personne dans le domaine et je me pose un tas de questions, donc si des personnes parmi vous sont passées par là, je suis preneur de tous vos avis!

Donc voilà les questions qui me font cogiter le plus depuis qqs jours:

- Pourquoi les constructeurs se basent avant tout sur la surface pour donner leur prix?
Nous avons vu 3 constructeurs différents, et (…)

Bonjour,

J'ai plusieurs fois fait un drôle de constat, suite à quelques commentaires sur les forums de DLFP, et j'aimerais bien savoir si d'autres l'ont remarqué, ou si je développe juste une névrose quelconque.

Voilà, je remarque que de façon quasi-systématique, quelques jours après la parution d'une entrée dans le forum, les notes de tous les commentaires baissent spontanément d'un ou 2 points.

Alors non, en soit c'est pas super gênant, mais je me demande quand même ce qui se (…)

Bonsoir, ce post concerne une 'mésaventure' qu'il m'arrive de vivre au quotidien et pour laquelle vos avis m'aideraient beaucoup.

Il m'est donné de déployer des postes dans le cadre de mon activité professionnelle.
Le parc est sur un domaine et le déploiement concerne 10 postes pour lesquels je dois successivement sortir la machine du domaine et remettre une nouvelle pour l'utilisateur.

Cette manip nécessite un accès admin que mon employeur ne veux pas me donner.
J'ai essayer d'évoquer le sujet (…)