J'ai un peu de mal à voir l'interet de Ada par rapport à des langages comme OCaml ou Haskell.
Qu'est-ce que cela peut apporter de plus ?
Ada semble lourd autant que C peut paramètre léger à écrire. Mais quelles sont les vérifications statiques que fait Ada, qui aident réellement le codeur ?
Oui et non. Il est plus sécurisé parce que l'on fait des preuves dessus. Mais il serait aussi sécurisé que n'importe quelle autre langage ayant le même genre de moteur de preuve formelle.
Il y a d'ailleurs une superbe BD fait par une université de droit américaine sur le "nettoyage" nécessaire des droits lors de reportage. C'est assez ignoble. (genre payer pour la musique enregistrer dans un bar en bruit de fond, etc...)
Les droits moraux n'appartiennent qu'à l'auteur (et ses ayants-droits après sa mort), sont perpétuels et ne peuvent pas être cédés. Ils concernent la paternité (personne d'autre ne peut se l'attribuer), le respect (on peut toujours s'opposer à une utilisation qui ne nous plaît pas), le repentir (on peut toujours revenir sur ses décisions) et la divulgation (on choisit quand on rend l'½uvre publique). Ceux-là, aucune licence ne pourra jamais les atténuer.
Tu oublis un point fondamental dans se droits. Si un auteur a le droit de revenir barbouiller une peinture chez un acheteur, il doit aussi le dédommager.
En gros, tu as le droit de faire exercer tout ses droits à condition de rémunérer les éventuels préjudices. Dans les faits, ces droits là ne servent quasiement à rien.
Tu peux t'opposer à ce que ta major vende ta musique pour une pub de tampax... Mais tu dois la payer pour cela...
Dans tout les cas, c'est parfaitement interdis de piquer des noms comme cela. Il doit exister des procédures au niveau de l'ICANN même pour gérer ce genre de vol.
Dans une boite, à moins d'avoir affaire à un chef direct ayant de trés large responsabilité : sois tu es bon et on fera tout pour te garder à ta place, sois tu es mauvais et on te filera les trucs chiants pour que tu démmissiones ou on te donnera une promotion pour que tu ailles ailleurs (edf, sncf,... mais je suis sur que les grosses boites privés c'est pareil).
Bref, si tu es bon personne n'aura envis de te faire monter. Au contraire...
Je suis totalement d'accord avec toi. Une connection entre 2 personnes en p2p est justement l'envoie de message qui n'a aucun carractère publique.
Le problème est :
- Souvent les juges et le legislateur aiment bien faire différent et plus liberticide sur le net qu'ailleurs (cf dadvsi sur l'interdiction de fournir des information ! Imagine-t-on interdire aux journaux de parler de défaut de voiture ?)
- Les lobbies poussent pour changer la loi elle-même !
Ca moins, mais meme aujourd'hui il ne l'est que rarement, tout comme Windows.
IBM le fait tourner sur ces Zseries tout de même. La trés grosse majorité des supercalculteurs de top 500 tournent sous linux. SGI vend maintenant ses grosses machines, sous Linux.
Il faut quand même l'intervention d'un tier pour être sur que le certificat vient bien de l'autre machine, pour éviter une attaque "man in the middle".
"Financement des retraites => 14 milliards d'euros sur nos impôts
Faux : les retraites sont financées par les salariés, l'entreprise et l'Etat. Les avantages spécifiques du régime spécial des cheminots sont financés en totalité par l'entreprise."
Euh en théorie... Je crois que la compensation est de 2.4milliard/ans. La scnf a plus de retraité que d'actif, c'est forcément compensé.
Horaires de travail => 25 h / semaine
Faux : la SNCF est aux 35 h / semaine.</>
Les 25h, c'est le temps en "tête de train" pour les conducteurs. Je comprends que "les a-cotés" prennent du temps mais quand même...
Disons que si le signal spdif attaque directement un DAC, oui, tu as un problème de jitter possible. Mais bon, j'ose imaginer que cela n'est pas si idiot...
[^] # Re: Le fortran
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Le fortran
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
http://isaacproject.u-strasbg.fr/download/Lisaac_RM_03.pdf
"La première sécurité est la liberté"
[^] # Re: Le fortran
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Le fortran
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 1.
"La première sécurité est la liberté"
[^] # Re: Jeune je veux bien...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Comment vendre 100 000 single et toucher 477¤.. Évalué à 10.
Mon petit doigt me dit que cela n'aurait rien changé du tout.
"La première sécurité est la liberté"
[^] # Re: Le fortran
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 3.
Important pourquoi ? Pour être rapide ? Pour pouvoir plus facilement optimiser son code ?
"La première sécurité est la liberté"
[^] # Re: …da sur mon bidet
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 3.
Qu'est-ce que cela peut apporter de plus ?
Ada semble lourd autant que C peut paramètre léger à écrire. Mais quelles sont les vérifications statiques que fait Ada, qui aident réellement le codeur ?
"La première sécurité est la liberté"
[^] # Re: personne ne parle
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 3.
"La première sécurité est la liberté"
[^] # Re: les economies de bouts de chandelles n'en valent pas la chandelle
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Du vol des visuels de Slyunix. Évalué à 3.
"La première sécurité est la liberté"
# Attention !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le domaine public et le droit d'auteur. Évalué à 4.
Tu oublis un point fondamental dans se droits. Si un auteur a le droit de revenir barbouiller une peinture chez un acheteur, il doit aussi le dédommager.
En gros, tu as le droit de faire exercer tout ses droits à condition de rémunérer les éventuels préjudices. Dans les faits, ces droits là ne servent quasiement à rien.
Tu peux t'opposer à ce que ta major vende ta musique pour une pub de tampax... Mais tu dois la payer pour cela...
"La première sécurité est la liberté"
[^] # Re: les economies de bouts de chandelles n'en valent pas la chandelle
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Du vol des visuels de Slyunix. Évalué à 5.
"La première sécurité est la liberté"
[^] # Re: cybersquat
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Du vol des visuels de Slyunix. Évalué à 1.
Le but est évidement pour éviter les gusses qui avaient acheté renault.com et qui voulait le revendre très chère.
"La première sécurité est la liberté"
# cybersquat
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Du vol des visuels de Slyunix. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: FireGL ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Du nouveau chez ATI. Évalué à 3.
"La première sécurité est la liberté"
[^] # Re: Ca m'étonnerait ...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Un exemple américain de promotion. Évalué à 6.
Bref, si tu es bon personne n'aura envis de te faire monter. Au contraire...
"La première sécurité est la liberté"
[^] # Re: Allez!
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le livre blanc du SNEP. Évalué à 2.
En gros, le noeud A a ses connections espionner avec du MiM mais il parle au noeud B et C. B et C pouvant communiquer entre eux.
Donc, si A veut établir une connection sur avec B, est-ce que C communiquant de façon sûr avec B peut devenir tier de confiance ?
"La première sécurité est la liberté"
[^] # Re: Windows Vista à peine huit fois plus utilisé que Linux
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Vista fait le carton. Évalué à 3.
Les machines Bull sur Itanium, les machines IBM zseries sous Power.
Je ne comprends pas vraiment ta remarque à moins que tu considères les SGI à 512 processeurs comme étant un ensemble de petites machines ?
A part Cray, je ne sais pas qui n'utilise pas encore Linux (chez les constructeurs).
"La première sécurité est la liberté"
[^] # Re: idée à la noix (?) : invoquer le secret des correspondances
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le livre blanc du SNEP. Évalué à 4.
Le problème est :
- Souvent les juges et le legislateur aiment bien faire différent et plus liberticide sur le net qu'ailleurs (cf dadvsi sur l'interdiction de fournir des information ! Imagine-t-on interdire aux journaux de parler de défaut de voiture ?)
- Les lobbies poussent pour changer la loi elle-même !
"La première sécurité est la liberté"
[^] # Re: Windows Vista à peine huit fois plus utilisé que Linux
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Vista fait le carton. Évalué à 4.
IBM le fait tourner sur ces Zseries tout de même. La trés grosse majorité des supercalculteurs de top 500 tournent sous linux. SGI vend maintenant ses grosses machines, sous Linux.
"La première sécurité est la liberté"
[^] # Re: Faut voir
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le livre blanc du SNEP. Évalué à 3.
"La première sécurité est la liberté"
[^] # Re: Prix groupé
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le téléchargement légal: la première cause des pertes de l'industrie musicale ?. Évalué à 2.
Une fois en salle, une fois en location de DVD, en achat de DVD puis en VOD ou sur une chaine payante premium de canal+.
Bref, tu ne payes qu'une seul fois le droit d'écouter ta musique. Il doivent réver de radio payante :)
"La première sécurité est la liberté"
[^] # Re: Pour ajouter un peu de sel sur les retraites
Posté par Nicolas Boulay (site web personnel) . En réponse au journal SNCF et prévisions de trafic. Évalué à 1.
Faux : les retraites sont financées par les salariés, l'entreprise et l'Etat. Les avantages spécifiques du régime spécial des cheminots sont financés en totalité par l'entreprise."
Euh en théorie... Je crois que la compensation est de 2.4milliard/ans. La scnf a plus de retraité que d'actif, c'est forcément compensé.
Horaires de travail => 25 h / semaine
Faux : la SNCF est aux 35 h / semaine.</>
Les 25h, c'est le temps en "tête de train" pour les conducteurs. Je comprends que "les a-cotés" prennent du temps mais quand même...
"La première sécurité est la liberté"
# 2 choses différentes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Comment "tracer" une application ?. Évalué à 3.
coté optimisation, gprof + les outils de code coverage donne une bonne idée des lignes de code qui prennent du temps.
Oprofile permet d'aller encore plus loin.
valgrind permet aussi de faire des statistiques sur l'utilisation du cache.
"La première sécurité est la liberté"
[^] # Re: Concrètement
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Creative dévoile ses premiers pilotes bêta pour Linux (64 bits...). Évalué à 3.
Au contraire !
C'est un protocole à trame complexe AES3
http://en.wikipedia.org/wiki/AES/EBU
Tout est dedans. L'intérêt de se caler sur l'horloge de transmission me parait inutile. Sauf pour synchroniser plusieurs sources.
"La première sécurité est la liberté"
[^] # Re: Concrètement
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Creative dévoile ses premiers pilotes bêta pour Linux (64 bits...). Évalué à 2.
Disons que si le signal spdif attaque directement un DAC, oui, tu as un problème de jitter possible. Mais bon, j'ose imaginer que cela n'est pas si idiot...
"La première sécurité est la liberté"