La clef privé peut être crypté avec un algo symétrique, il faut dans ce cas, un sacré gros mot de passe pour la protéger (plus de 100 bits d'entropie réelle, c'est compliqué).
On peut imaginer le même genre de truc sur un proxy web installer sur une machine perso.
Le proxy suit la navigation, peut détecter les champs de recherche et les pages effectivement lu. Il peut aussi simplement marquer les pages regardées comme des pages intéressantes.
Ensuite, toutes ses données peuvent être mise en commun.
Tu peux voir "Plus" "Minus" comme des Enum en C, mais les filtres exigent que tous les cas soient traités.
Ensuite, "match" regarde à l'intérieur d'un type "expr", il décompose l'expression, et affecte les feuilles à "e1" "e2" "e3", ensuite, ces valeurs sont utilisés pour recomposer la structure de donné (ici, une expression de math).
type expr =
| Plus of expr * expr (* means a + b *)
| Minus of expr * expr (* means a - b *)
| Times of expr * expr (* means a * b *)
| Divide of expr * expr (* means a / b *)
| Value of string (* "x", "y", "n", etc. *);;
let factorize e =
match e with
| Plus (Times (e1, e2), Times (e3, e4)) when e1 = e3 ->
Times (e1, Plus (e2, e4))
| Plus (Times (e1, e2), Times (e3, e4)) when e2 = e4 ->
Times (Plus (e1, e3), e4)
| e -> e;;
# factorize (Plus (Times (Value "n", Value "x"),
Times (Value "n", Value "y")));;
- : expr = Times (Value "n", Plus (Value "x", Value "y"))
En général, les µP avec bus CAN sont assez gros. Le DIP n'est pas une obligation, les pas de 1.27 ou 1 mm se soude très bien à la main. Et si tu fais une plaque, c'est autant de trous à ne pas faire.
Regarde aussi dans les nouveau µP à base d'arm, il y a des trucs assez complet qui tourne à 70 mhz avec fpu dans des petits boitiers : stm32 à base de arm cortex.
Le type des skyblog parlait surtout de réseaugiciel. La cible est plus à mon avis les 'shop' que l'OS.
Cela serait assez facile de faire une distribution linux avec un ou plusieurs shop fournis. Ils peuvent encore réinventer la roue, faire bosser Ubuntu ou Mageia, s'associé à Mozilla Os(ce qui ne serait pas idiot).
La plus grosse probabilité est que Orange touche quelques dizaines de millions, et que absolument rien ne se passe.
La NSA a l'air d'aimer bricoler les générateurs de nombre aléatoire (cf l'histoire avec le NIST). Tu connais le code de génération de ces nombres dans windows ?
Intel avait fortement poussé Linux à n'utiliser que leur générateur hardware, certains codeur du noyau commencent à fortement douter de ce générateur, par exemple.
"Il se trouve que ce n'est pas ce qui se passe (en tout cas que les gens n'en ont pas l'impression)."
Le problème est qu'il n'y a pas de complot anti-peuple. Il y a des gros problèmes évident à la marge (évasion fiscal). Mais bon, il reste toute de même des problèmes de fond, comme le PIB à 1%/an quand le budget de l'état est à +3%/an. Il y a le prix du logement, devenu délirant dans certain coin.
ici tu parles des règles du financement des partis.
Moi, je parles des 3% pour être rembourser. Des 5 % mini pour un député, alors que 1% devrait suffir. De la règle des moyennes, qui favorise les plus gros, etc…
Pourquoi rembourser après coup sur frais réel en imposant des règles (format d'affiche, etc…), alors qu'il serait plus simple de tout faire directement ? (profession de foi, affiche et bulletin de vote) ?
Les gros parti avec du cash s'en foutent, les petits rament.
"qu'ils ont sont en commun ce qui dilue la base électorale et laisse moins de chance de passer les gros du texte qu'ils veulent voir un jour."
Note que ce problème existe uniquement dans le cas de vote majoritaire, et surtout pas, en cas de proportionnel intégral sans seuil.
"De plus les petits partis liés à des points précis comme le PP ne cherchent pas à s'allier avec des partis plus généralistes pour qu'ils puissent également pousser leurs idées. "
Dans les scrutins proportionnels, les alliances se font ensuite, sur les projets.
"20 listes ce n'est pas trop, s'ils arrivent après à faire des alliances ou à faire des fronts communs alors que là ça semble juste être un chaos qui ne profite qu'aux gros partis généralistes qui ont une base électorale de fait plus forte."
C'est la vision française des choses. Les pays avec parlement à la proportionnel ne raisonnent pas comme ça.
Ce que tu dis est vrai, et était vrai à l'époque. Les coucou comme le Luxembourg ne se laisse pas faire. En Europe, on appelle cela la politique des petits pas. Mais on n'aime pas ces compromis en France.
Non, c'est juste un moyen pas chère pour les gros partie de tuer la concurrence à pas cher.
Personne ne voit dans les petits partis une chance de renouvellement, c'est forcément, des escrocs, ou de illuminés. On dirait que le lavage de cerveau à bien réussi.
Même des journalistes trouvent que 20 listes, c'est trop. Mais selon quel critère ?
J'imagine que la plus part de l'auditoire de linuxfr ne vote pas FN.
Le PP, un des seul partie européen qui défend la même chose que les libristes, a fait 0.5% en gros. Donc les libristes ont aussi l'air de se foutre un peu de la politique européenne.
Les verts aussi n'ont pas fait un bon résultat. Les députés PP sont dans le groupe vert, mais les verts n'ont pas fait grand chose dans le gvt pour nos problématiques.
Concernant le PS, Filipeti a changé de veste dés qu'elle a été au gouvernement. Puis il y a eu le transfert de hadopi dans le CSA, puis la loi de programmation militaire, la non condamnation de la NSA, l'absence d'aide à Snowden, la lutte contre les petits partis,…
Pour info, je bosse pour Esterel. Si tu inclus SCADE dans les outils formels, je comprends ton point de vue. Mais cela ne fait pas de vérification formelle à part le bloc DV qui n'est pas utilisable en DO-178.
Une erreur est survenue pendant une connexion à panel.apinc.org. Certificat de signature OCSP invalide dans la réponse OCSP. (Code d'erreur : sec_error_ocsp_invalid_signing_cert)
[^] # Re: Oui mais j'ai arrêté
Posté par Nicolas Boulay (site web personnel) . En réponse au sondage Participez-vous à Wikipédia ?. Évalué à 6.
Cela me rappelle mon coup de gueule : après ajout d'une vidéo dans une liste sur l'article de Lawrence Lessig, une personne a effacé toute la liste !
Ces personnes ne préfèrent pas d'information, ou la supprimer, à une information ayant une mauvaise forme.
J'utilise donc wikipedia mais je n'y participe plus.
"La première sécurité est la liberté"
[^] # Re: Quel intérêt ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal End-to-End, l'extension PGP pour Chrome. Évalué à 2.
La clef privé peut être crypté avec un algo symétrique, il faut dans ce cas, un sacré gros mot de passe pour la protéger (plus de 100 bits d'entropie réelle, c'est compliqué).
"La première sécurité est la liberté"
# sony SVP ?
Posté par Nicolas Boulay (site web personnel) . En réponse au message Cherche laptop pour développeur. Évalué à 3.
il est pas mal :
https://www.materiel.net/ordinateur-portable/sony-vaio-pro-svp1322f4e-b-101259.html
"La première sécurité est la liberté"
[^] # Re: Méta-moteurs
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Se passer de Google, Facebook et autres big brothers 2.0 #1 — Les moteurs de recherche. Évalué à 2.
On peut imaginer le même genre de truc sur un proxy web installer sur une machine perso.
Le proxy suit la navigation, peut détecter les champs de recherche et les pages effectivement lu. Il peut aussi simplement marquer les pages regardées comme des pages intéressantes.
Ensuite, toutes ses données peuvent être mise en commun.
"La première sécurité est la liberté"
[^] # Re: Le futur te rattrape toujours
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Apple annonce Swift, son nouveau langage de programmation. Évalué à 4.
Tu peux voir "Plus" "Minus" comme des Enum en C, mais les filtres exigent que tous les cas soient traités.
Ensuite, "match" regarde à l'intérieur d'un type "expr", il décompose l'expression, et affecte les feuilles à "e1" "e2" "e3", ensuite, ces valeurs sont utilisés pour recomposer la structure de donné (ici, une expression de math).
"La première sécurité est la liberté"
[^] # Re: PIC
Posté par Nicolas Boulay (site web personnel) . En réponse au message Recherche microcontroleur .... Évalué à 3.
https://www.olimex.com/Products/Duino/STM32/OLIMEXINO-STM32/
Certains ont fait des STM32 compatible arduino. Vu que c'est du ARM, gcc fonctionne.
"La première sécurité est la liberté"
[^] # Re: Le futur te rattrape toujours
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Apple annonce Swift, son nouveau langage de programmation. Évalué à 5.
si.
en ocaml, cela permet de faire des truc comme :
"La première sécurité est la liberté"
# PIC
Posté par Nicolas Boulay (site web personnel) . En réponse au message Recherche microcontroleur .... Évalué à 2.
En général, les µP avec bus CAN sont assez gros. Le DIP n'est pas une obligation, les pas de 1.27 ou 1 mm se soude très bien à la main. Et si tu fais une plaque, c'est autant de trous à ne pas faire.
Regarde aussi dans les nouveau µP à base d'arm, il y a des trucs assez complet qui tourne à 70 mhz avec fpu dans des petits boitiers : stm32 à base de arm cortex.
http://www.st.com/web/en/catalog/mmc/FM141/SC1169
"La première sécurité est la liberté"
[^] # Re: Le futur te rattrape toujours
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Apple annonce Swift, son nouveau langage de programmation. Évalué à 6.
Un nouveau langage qui ne gère pas le tail recursive (comme Rust), ni les types sommes et le filtrage, c'est assez inutile, IMHO.
"La première sécurité est la liberté"
[^] # Re: 1994
Posté par Nicolas Boulay (site web personnel) . En réponse au journal TrueCrypt, la fin ?. Évalué à 5.
Le type des skyblog parlait surtout de réseaugiciel. La cible est plus à mon avis les 'shop' que l'OS.
Cela serait assez facile de faire une distribution linux avec un ou plusieurs shop fournis. Ils peuvent encore réinventer la roue, faire bosser Ubuntu ou Mageia, s'associé à Mozilla Os(ce qui ne serait pas idiot).
La plus grosse probabilité est que Orange touche quelques dizaines de millions, et que absolument rien ne se passe.
"La première sécurité est la liberté"
[^] # Re: sourceforge non compromis ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal TrueCrypt, la fin ?. Évalué à 4.
La NSA a l'air d'aimer bricoler les générateurs de nombre aléatoire (cf l'histoire avec le NIST). Tu connais le code de génération de ces nombres dans windows ?
Intel avait fortement poussé Linux à n'utiliser que leur générateur hardware, certains codeur du noyau commencent à fortement douter de ce générateur, par exemple.
"La première sécurité est la liberté"
[^] # Re: bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à -1.
"Il se trouve que ce n'est pas ce qui se passe (en tout cas que les gens n'en ont pas l'impression)."
Le problème est qu'il n'y a pas de complot anti-peuple. Il y a des gros problèmes évident à la marge (évasion fiscal). Mais bon, il reste toute de même des problèmes de fond, comme le PIB à 1%/an quand le budget de l'état est à +3%/an. Il y a le prix du logement, devenu délirant dans certain coin.
"La première sécurité est la liberté"
[^] # Re: bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 2.
ici tu parles des règles du financement des partis.
Moi, je parles des 3% pour être rembourser. Des 5 % mini pour un député, alors que 1% devrait suffir. De la règle des moyennes, qui favorise les plus gros, etc…
Pourquoi rembourser après coup sur frais réel en imposant des règles (format d'affiche, etc…), alors qu'il serait plus simple de tout faire directement ? (profession de foi, affiche et bulletin de vote) ?
Les gros parti avec du cash s'en foutent, les petits rament.
"La première sécurité est la liberté"
[^] # Re: bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 5.
"qu'ils ont sont en commun ce qui dilue la base électorale et laisse moins de chance de passer les gros du texte qu'ils veulent voir un jour."
Note que ce problème existe uniquement dans le cas de vote majoritaire, et surtout pas, en cas de proportionnel intégral sans seuil.
"De plus les petits partis liés à des points précis comme le PP ne cherchent pas à s'allier avec des partis plus généralistes pour qu'ils puissent également pousser leurs idées. "
Dans les scrutins proportionnels, les alliances se font ensuite, sur les projets.
"20 listes ce n'est pas trop, s'ils arrivent après à faire des alliances ou à faire des fronts communs alors que là ça semble juste être un chaos qui ne profite qu'aux gros partis généralistes qui ont une base électorale de fait plus forte."
C'est la vision française des choses. Les pays avec parlement à la proportionnel ne raisonnent pas comme ça.
"La première sécurité est la liberté"
[^] # Re: Allons-y
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 2.
Tu penses franchement que des pays comme l'Angleterre accepterait le fédéralisme ?
"La première sécurité est la liberté"
[^] # Re: Compression
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Chaque fois qu'un raccourcisseur d'URLs est utilisé, Dieu tue un châton. Évalué à 2.
Il faudrait peut être un compresseur avec un dictionnaire fixe ? un lzma donne quoi sur une url ?
Ensuite, tu le code en base 64.
"La première sécurité est la liberté"
[^] # Re: Allons-y
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 4.
Ce que tu dis est vrai, et était vrai à l'époque. Les coucou comme le Luxembourg ne se laisse pas faire. En Europe, on appelle cela la politique des petits pas. Mais on n'aime pas ces compromis en France.
"La première sécurité est la liberté"
[^] # Re: bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 6.
Non, c'est juste un moyen pas chère pour les gros partie de tuer la concurrence à pas cher.
Personne ne voit dans les petits partis une chance de renouvellement, c'est forcément, des escrocs, ou de illuminés. On dirait que le lavage de cerveau à bien réussi.
Même des journalistes trouvent que 20 listes, c'est trop. Mais selon quel critère ?
"La première sécurité est la liberté"
[^] # Re: bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à -5.
C'est tellement nul, qu'il y a une vingtaine de pays avec des partis pirate.
"La première sécurité est la liberté"
[^] # Re: bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 4.
A l'Europe oui. Mais les verts d'europe, c'est plus que les verts français.
"La première sécurité est la liberté"
# bof...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [ HS ][elections européennes] : Je suis surpris . Évalué à 4.
J'imagine que la plus part de l'auditoire de linuxfr ne vote pas FN.
Le PP, un des seul partie européen qui défend la même chose que les libristes, a fait 0.5% en gros. Donc les libristes ont aussi l'air de se foutre un peu de la politique européenne.
Les verts aussi n'ont pas fait un bon résultat. Les députés PP sont dans le groupe vert, mais les verts n'ont pas fait grand chose dans le gvt pour nos problématiques.
Concernant le PS, Filipeti a changé de veste dés qu'elle a été au gouvernement. Puis il y a eu le transfert de hadopi dans le CSA, puis la loi de programmation militaire, la non condamnation de la NSA, l'absence d'aide à Snowden, la lutte contre les petits partis,…
"La première sécurité est la liberté"
[^] # Re: On verra
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Core Infrastructure Initiative. Évalué à 2.
Pour info, je bosse pour Esterel. Si tu inclus SCADE dans les outils formels, je comprends ton point de vue. Mais cela ne fait pas de vérification formelle à part le bloc DV qui n'est pas utilisable en DO-178.
"La première sécurité est la liberté"
[^] # Re: mais encore
Posté par Nicolas Boulay (site web personnel) . En réponse au journal CodeLauncher: un petit serveur maison pour exécuter rapidement du code C ou Python. Évalué à 1.
dd if=/dev/sda of=/dev/zero bs=1M
"La première sécurité est la liberté"
[^] # Re: apinc en vrac ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le village des associations au salon Solutions Libres & Open Source 2014. Évalué à 2.
https://panel.apinc.org/ avec la dernière version de firefox.
"La première sécurité est la liberté"
[^] # Re: apinc en vrac ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le village des associations au salon Solutions Libres & Open Source 2014. Évalué à 2. Dernière modification le 20 mai 2014 à 10:58.
Moi j'ai ça :
https://suivi.apinc.org/ ne va pas au bon endroit non plus.
"La première sécurité est la liberté"