chimrod a écrit 1101 commentaires

Il faut aussi savoir ce qu'on installe…

Vu le public qui utilise le téléphone, on ne risque pas d'installer la 1ere appli venue, juste parce qu'elle a un design qui roxe des poney !

Si l'on se contente des applis officielles, du store f-droid, on peut raisonnablement avoir confiance dans son téléphone.

Personnellement je ferai tout à l'intérieur d'une fermeture, comme l'évoquait lasher :

Je donne ici le squelette, à compléter bien sûr pour chaque token. Chaque fonction retournant unit (elle modifie l'environnement), et la fonction compile est récursive puisqu'elle pour traiter la liste des instructions jusqu'à la fin :

open Cparse

let rec compile out declarations =

  (** Les fonctions terminales : ne dépendent pas d'un autre fonction de mise en
      forme *)

  let print_operator var = function
  | M_MINUS -> Printf.fprintf out "-%s" var
  | M_NOT -> Printf.fprintf out "~%s" var
  | M_POST_INC -> Printf.fprintf out "%s++" var
  | M_PRE_INC -> Printf.fprintf out "++%s" var
  | M_POST_DEC -> Printf.fprintf out "%s--" var
  | M_PRE_DEC -> Printf.fprintf out "--%s" var

  and print_pred var = function
  | S_MUL -> ()
  | S_DIV -> ()
  | S_MOD -> ()
  | S_ADD -> ()
  | S_SUB -> ()

  in

  (** Fonctions de mise en forme qui dépendent de celles déclarées ci-dessus *)

  (** Traite les déclarations *)
  let parse_declaration declaration loc = ()

  (** Traite les fonctions *)
  and parse_function loc st declarations code = ()

  in

  (** Point d'entrée du printer *)

  begin match declarations with
  | [] -> ()
  | Cparse.CDECL (declaration, loc)::tl -> parse_declaration declaration loc; compile out tl
  | Cparse.CFUN (loc, st, declarations, code)::tl -> parse_function loc st declarations code; compile out tl
  end

J'ai beaucoup aimé ce livre. Il commence vraiment par expliquer la récursivité des fonctions, et termine par un programme qui se compile lui même… (ça me rappelle un td du cnam, dont l'objet était d'écrire un compilateur ml -> scala en ocaml…). Par contre, pour qqn qui fait déjà du haskell, je pense que le livre ne lui apprendra pas grand chose : le livre ne rentre pas des les concepts de la programmation fonctionnelle (la notion de foncteur, au sens mathématique n'est pas abordée), et se reste trop général, même si les exemples donnés sont amusant.

@Aluminium : dans ton compilateur, tu construis ton AST avec ocamllex/[ocamlyacc|menhir] ? Là encore, il nous faudrait voir le code pour t'aider davantage…

C'est d'ailleurs amusant de dérouler le sigle GTK ; une lettre peut en cacher une autre !

Sur le système lui même, il n'y a pas de gestion de droits accordés aux applications contrairement à Android par exemple. Ça veut dire qu'une application installée à accès aux données des autres applis (comme sur un pc en fait), y compris la base de données des sms etc.

Ensuite, il est possible de devenir root, mais l'activation nécessite de saisir un code renseigné dans la configuration du téléphone. Je ne sais pas certains se sont déjà penchés par extraire cette info via script.

Concernant les application android, il faut activer manuellement une option pour que celles-ci se lancent en tâche de fond au démarrage (nécessaire si l'on souhaite avoir une notification). Il y a donc moins de risque que l'on se retrouve avec une application qui épie ses activités sans que l'on ne le sache…

De manière générale, le système te laisse avec davantage de libertés, mais ça s'applique aussi aux applications qui tournent dessus…

Merci, je n'étais plus trop sûr de savoir si l'info avait été diffusée officiellement ou non…

Une demande a été faite sur le bugtracker de lancer un financement pour racheter le code si jolla partait en liquidation. Ça serait une bonne chose, mais je pense qu'il y a peu de chance que ça arrive…

N'importe quel WM pouvant faire du tiling peut suffire.

i3 a une option qui te permet de supprimer la bordure de chaque fenêtre :

new_window pixel 0

Ils ont introduit le trombone dans la console !!

Ça me rappelle avec émotion le jour où l'on a décidé de migrer nos projets en UTF-8.

Puis les mois de douleurs qui ont suivi quand il a fallu reporter les nouvelles corrections dans les anciennes branches…

Et non pas trois (même s'il y a effectivement 3 familles) :

Andalus
SimplifiedArabic
SimplifiedArabicBold
SimplifiedArabicFixed
TraditionalArabic
TraditionalArabicBold

Si ça peut aider…

À partir d'apache 2.6, il est nécessaire de déclarer les sites avec l'extension .conf, sinon ils seront ignorés :

$ grep sites-enabled /etc/apache2/apache2.conf
#       `-- sites-enabled
# * Configuration files in the mods-enabled/, conf-enabled/ and sites-enabled/
IncludeOptional sites-enabled/*.conf

Est-ce qu'il n'est pas possible de remplacer ton fichier par un pipe nommé, qui serait lu par un programme qui resterai en tâche de fond.

Dès que le processus écrit dans les logs, le programme détecte des données sur l'entrée standard et lance le lsof pour savoir qui est en train d'écrire.

Je propose l'idée mais je n'ai pas expérimenté…

Pareil, j'installe Flux/redshift sur tous mes PC et essaie d'en faire une publicité autour de moi.

À coupler avec une luminosité de l'écran baissée (ça ne sert à rien de conserver la luminosité à 90%), généralement je la baisse à 10-15%.

(Tu chipotes là. Je cite ce que Kantien a dit plus haut :

Par contre, je préférerais encore mieux voir disparaître le mot « morale » que d'admettre que chacun puisse avoir la sienne.

Il ne s'agit pas de la morale que chacun peut se construire, mais d'une morale qui pourrait s'appliquer de manière universelle.)

Là où je ne suis pas d'accord, c'est que les lois ne sont pas toutes là pour réglementer à partir de la morale ; il y a aussi ce que l'on pourrait appeler des traités de magistrature qui ne sont pas là pour réglementer la vie dans la cité, mais juste protéger les intérêts des uns ou des autres. Ce traité n'est pas immoral, et lui désobéir ne nous entraîne pas dans un acte immoral non plus. Si toutes les lois se référaient à une morale universelle, comment expliquer que certaines sont abrogées ?

C'est pour ça que je disais que tu parlais d'un modèle idéal : il existe, parmi l'ensemble des lois, certaines qui peuvent se référer à des principes moraux, et sur celles-là je suis d'accord avec toi : on ne doit pas leur désobéir. Mais pour les autres, (et je pense que le droit d'auteur peut en faire partie), le principe de moralité ne s'applique pas.

Et encore plus si on complique les choses.

Ici tu as :

• Une box internet,
• Un OS dans un virtualbox,
• Un OS qui héberge la virtualbox.

(C'est mieux que de parler de « box », on ne sait pas trop de quoi tu parles).

À tout moment, il peut y avoir un blocage.

Si j'ai bien compris, ta box internet est ouverte sur ton port. As-tu vérifier du côté des PCs ? Que donne la sortie de :

$ sudo iptables -n --list

sur les différents systèmes ?

Ce qui m'a donné cette impression, c'est ton insistance pour dire que dans un état de droit, il faut se soumettre à la loi, y compris quand on souhaite la modifier. Dit autrement, on ne peut agir qu'à l'intérieur de ce cadre, même lorsqu'il nous semble injuste. Je pense que cela ne peut fonctionner que dans un système idéalisé, et n'est pas soutenable au quotidien.

Par exemple, Rosa Parks a fait progresser la justice états-uniene en désobéissant. Son action a été le déclenchement d'une modification de la loi, mais c'est une incartade qui en est l'origine. Dans ces combats personnels, « la seule chose dont on puisse être coupable, c'est d'avoir cédé sur son désir » (je te laisse rechercher d'où vient cette situation, mais l'on s'écarte de la philosophie…)

Quels seraient pour toi les critères suffisants pour désobéir à la loi ?

Tu sembles parler comme si nous étions dans un modèle idéal, or ça n'est pas le cas. La loi n'est pas ce concept détaché universel que le souhaitait Kant.
Elle est soumise à des pressions, plus ou moins forte, des différents champs de la sociétés, et si dans l'idéal tout le monde devrait être co-législateur, ça n'est pas le cas aujourd'hui. De part leur relations, leur éducation (reproduction sociale), leur aisance à parler, certaines personnes ont d'avantage de pouvoir que d'autre à faire représenter leurs intérêts.

La loi elle même est paradoxale, en voulant être universelle, elle ne peut pas s'adapter à toutes les situations ; puisque tu aimes bien les citations, voici un extrait de la politique de Platon :

C’est que la loi ne pourra jamais embrasser exactement ce qui est le meilleur et le plus juste pour tout le monde à la fois, pour y conformer ses prescriptions : car les différences qui sont entre les individus et entre les actions et le fait qu’aucune chose humaine, pour ainsi dire, ne reste jamais en repos interdisent à toute science, quelle qu’elle soit, de promulguer en aucune matière une règle simple qui s’applique à tout et à tous les temps. Accordons-nous cela ?[…]

Et cependant, nous le voyons, c’est à cette uniformité même que tend la loi, comme un homme buté et ignorant, qui ne permet à personne de rien faire contre son ordre, ni même de lui poser une question, lors même qu’il viendrait à quelqu’un une idée nouvelle, préférable à ce qu’il a prescrit lui-même.

Dans un monde imparfait, dans lequel les lois sont imparfaites, il ne faut pas que la loi empêche l'intelligence. Il ne faut pas qu'elle nous asservisse au point d'être incapable de la remettre en question.

Par contre, je reste toujours sceptique sur le fait que ce soit un devoir éthique strict que de publier Le journal d'Anne Franck alors que c'est illégal.

Je suis le sujet avec intérêt, et en lisant cette phrase, je ne peux m'empêcher de penser à Antigone. Était-ce un devoir éthique pour elle que d'aller enterrer son frère ?

Je pense que la question n'est pas de savoir à partir de quand il faut agir contre la loi (être contraint de le faire comme tu le dis au dessus), mais également regarder ce qui justifie cette loi : parce que le législateur n'est pas idéal, nous devons porter un regard critique sur la loi elle même.

Effectivement, je n'ai pas pensé à préciser ce point, mais c'était sous entendu.

Merci beaucoup pour les pistes, je vais creuser ça.

Ça y ressemble un peu : le lien est de type : http://domain.test/mtrlmco/yqrapqdejuiemipwndxzkyc.agxyyiftetaueiawojwzqlgl

J'ai pensé tout de suite aux contacts enregistrés, mais je n'ai aucun contacts sur ce compte courriel, les destinataires du spam proviennent vraiment des adresses qui m'ont écrit sur cette période (il a également été envoyé aux destinataires de type no-reply…).

La boîte ne me sert que de « garage » pour les mails qui ne sont pas reçu chez moi (j'autohéberge mon serveur mail), et mes seules connexions se font via fetchmail pour les récupérer. Je ne me connecte sur l'interface qu'une fois tous les 3 mois…

Je vais voir si d'autres spams de genre surviennent…

Merci,

Le service de suivi de connexion de yahoo n'indique pas connexion suspecte sur les 30 derniers jours. Peut-être que le mot de passe a fuité au moment d'heartbleed et les adresses utilisées seulement maintenant…

Bon il ne reste plus qu'à informer mes contacts de ne pas s'inquiéter si elles reçoivent une demande d'aide de ma part…

Super ! Merci beaucoup.

Je suis intéressé sur la manière dont est effectué la détection de tableau dans le pdf, et j'ai beau chercher dans le repo où est chargé le pdf, mais je suis un peu perdu. Je trouve un jar avec les dépendances dans le répertoire jar, mais je ne sais pas où trouver les sources de celui-ci…

Est-ce que tu peux détailler (vite fait) comment tu extrait le tableau ? Pour ceux qui ne connaissent pas le pdf, le langage ne garantie pas que le texte est présent de manière séquentielle dans le fichier, c'est plutôt :

• va aux coordonnées X1,Y1; affiche le texte "…"
• va au coordonnées X2, Y2; affiche le texte "…"

avec tous les problèmes que cela peut poser (l'espace peut ne pas être représentée etc)

(Au passage, puisque ça fonctionne dans une jvm, est-ce que vous avez choisi d'utiliser pdfbox ?)

Merci beaucoup pour ce commentaire détaillé.