chimrod a écrit 1073 commentaires

Qui pourra t'aider : http://rubular.com/

Si tu ne connais pas encore les regex, c'est le moment de t'y mettre ; la syntaxe est la même avec java, sed, perl…

Une fois que tu te seras bien amusé avec, tu pourras trouver des regex prêtes à l'emploi, mais c'est plus amusant de sortir le doliprane avant…

Allez, puisque c'est vendredi, et pour occuper le week-end :

Soit R la relation définie par : x est en relation avec y si x est compatible avec y

Soit l'ensemble E = {GPLv2, GPLv3, AGPL, LPGL, BSD, MIT, ASL (Apache), MPL(Mozilla), WTFPL, CC-BY-* , CC-BY-NC-* , Artistic License}

1. Faire le diagramme cartésien de R sur E

2. R est-elle symétrique, anti-symétrique, transitive ?

3. En déduire si R est-elle une relation d'ordre. (on suppose pour cela que R est réflexive)

Mais non, il suffit de passer l'algorithme dans un assistant de preuve ^ ^

Si x > y ton code ne fonctionne pas…

Je suis parfaitement d'accord.

La version que j'ai donné n'est pas compréhensible naturellement, ce qui l'écarte déjà de 90% des usages normaux. (sauf à vouloir chercher la performance, ou écrire une librairie spécialisée).

En fait avec les bonnes parenthèses ça donne :

mean = (x & y ) + ((x ^ y) >> 1)

Il y a un très bon bouquin qui aborde ce genre de questions : Hacker's Delight

Une version pdf est également disponible. Donc la moyenne peut être calculée par (section 2.5) :

mean = (x & y ) + (x ^ y) >> 1

(avec une opération de décalage de bit non signée).

Qui dit mieux ? :)

Pour la copropriété de ma résidence, j'ai installé redmine. D'une parce que je connais, et deux parce que ça fait plein de chose :

• wiki
• forum
• suivi des tâches (le cœur principal mais on peu s'en passer)
• gestion des utilisateurs et des droits
• annonces, document…

Merci beaucoup pour cette dépêche, qui présente à la fois clairement ce qu'est coq, mais aussi de donner le cadre théorique qui se trouve derrière.

Je découvre toute la théorie des types à l'envers, c'est à dire que je pars du code pour comprendre les concepts qui sont appliqués plutôt que d'avoir une vision de la théorie et voir comment elle est mise en place dans un langage, mais c'est un domaine qui m'intéresse de plus en plus.

Merci beaucoup à linuxfr et ses dépêches, sans qui je n'aurai pas eu la curiosité de tester Scala, puis OCaml, et de fil en aiguille de m'initier à tout un pan des mathématique que j'applique tous les jours sans m'en rendre compte.

Bon, on va essayer de sortir un peu du débat…

Je pense que pour un jeu de poker qui ne cherche pas à gérer de l'argent, on s'en fout un peu de l'algorithme de mélange. Il n'y a pas besoin d'être vraiment aléatoire, vu qu'il n'y a pas de sécurité là dessus. C'est un jeu, le but c'est de prendre du plaisir.

Mais comme tu es parti dans les explications techniques dans ton annonce, les commentaires sont partis sur la technique et une fois que c'est lancé, difficile de les arrêter… (et vu que ton site est toujours inaccessible, on ne risque pas de voir le code pour l'instant, et les réponses se font sur ce dont on dispose, ça n'aide pas).

Au final, c'est courageux de ta part de t'être lancé dans le projet, et courageux de ta part d'être venu l'annoncer ici. Ne te focalise pas trop sur les réponses techniques négative, l'important c'est de prendre du plaisir dans ce que tu fais !

Faire un jeu de poker est compliqué, ça demande des notions en intelligence artificielle, statistiques, algorithmie, combinatoire et d'après ce que tu sembles dire, le jeu est loin d'être terminé, mais l'initiative et louable et n'abandonne pas pour si peu !

Ton serveur IIS ne semble pas aimer python :

You don't have permission to access /Home.py on this server.

https://linuxfr.org/forums/programmation-c--2/posts/j-arrive-pas-a-comprendre-ce-programme#comment-1565011

Toi t'as pas connu « Le virus informatique » !

Par défaut fail2ban ne bloque que durant 5mn, en cas d'erreur c'est quand même pas la mort… Après si tu changes le paramétrage pour tout bloquer, personne n'y peut rien !

# "bantime" is the number of seconds that a host is banned.
bantime  = 600

# A host is banned if it has generated "maxretry" during the last "findtime"
# seconds.
findtime = 600
maxretry = 3

Étrange, est-ce que tu peux nous envoyer la clef pour qu'on je regarde ça ?

Je sais maintenant qu'écrire des commentaires dans le train avec son smartphone n'est pas une bonne idée !

Et ils ont cassé la compatibilité avec la version 1 ? (-:

C'est aussi le modèle que nous avons suivi (sans le savoir) en le couplant a la gestion des versions sur svn (oui j'ai sais…) :

nos branches sont versionnees sur les deux premier numero, alors que les tags, qui correspondent aux versions livrées, incluent également le 3ème numéro de la version. Finalement ca marche assez bien : tant que la branche reste ouverte, on se donne le droit d'apporter des corrections, par contre la compatibilité de l'Api entre deux branches n'est pas garantie.

et hop…

…le problème risque de revenir si l'on n'a pas compris ce qui a merdé.

Quelle que soit la décision prise, il ne faut surtout pas la prendre à chaud. La priorité pour moi est de couper le service (il y a déjà suffisamment de spam sur le net, inutile d'en rajouter), mais surtout pas de réinstaller tout de suite, ni redémarrer la machine ( pour ne pas perdre le /tmp )

À tête reposée :

1. Identifier les sites

   • lister les sites installés sur le serveur (surtout ceux en php)
   • lister les sites qui n'ont pas été installés via les paquets officiels
   • lister tous les plugins intallés

2. Archiver les logs.

3. Faire des recherches à coup de find pour voir ce qui a été modifié récemment, dans les répertoires accessibles par tomcat; regarder aussi ce qui traîne dans /tmp, /var/tmp etc…

4. Analyser, décortiquer, comprendre

5. Corriger : est-ce qu'il manque des règles fail2ban, est-ce qu'il faut installer modsecurity etc.

et seulement alors on peut réinstaller. La sécurité ne s'improvise pas, mais on ne l'apprend souvent qu'après coup…

Commence par :

sudo service apache2 stop : ça va couper ton serveur web
sudo service apache2 start (quand tu auras besoin de le redémarrer)

Ensuite, dis nous un peu quel site est hébergé dessus ? Tu as des contrats de maintenance ou c'est juste un site perso ?

Qui s'est chargé de faire l'installation ?

C'est triste ton avis sur les bébés débiles

www-data est l'utilisateur du serveur web sous debian.

Tu as donc un site avec une faille de sécurité qui a été exploitée, et ton pc est maintenant vérolé.

Tu constate l'envoi de mail, mais il est probable que d'autres actions soient réalisées sans que tu ne t'en rende compte : il est probable que ton serveur soit contrôlé à distance via IRC (pour envoyer des mails, servir d'espace de téléchargement, scanner d'autres sites vulnérables, ou tout ce que tu peux imaginer).

Commence par arrêter ton serveur web, et il va falloir prendre le temps de décortiquer ce qui ne tourne plus rond :

• logs des sites
• date de modifications des fichiers
• etc…

Bon courage.

Je suis convaincu que le logiciel libre est indissociable des plates-formes d'échanges (forums, mailing-list, chats, …), avant tout pour des raisons techniques (échanger avec des développeurs qui ne travaillent pas dans le même bureau que nous), mais qui sont devenues aujourd'hui des raisons structurantes (construire une communauté autour d'un produit).

C'est de là que vient toute l'effervescence que l'on retrouve (troll, besoin de développer des arguments construits), et la diffusion des idées qui ne sont pas proprement techniques, mais qui traversent les échanges liés au libre.

On y trouve un style d'échange, qui me fait penser à la manière dont travaillaient les membres du courant de la philosophie analytique — qui n'avaient pas d'autres canal que le langage pour échanger sur le sens des mots (je vous laisse imaginer les échanges) — énormément de discussions, avancées, retour arrière, conflit, qui font qu'un écosystème avance.

Je ne sais pas s'il y a eu des personnes qui se sont intéressées à la structure des changes dans le libre (je ne parle de la cathédrale et du bazar), mais j'ai l'impression que cette manière de discuter et en train de se généraliser de plus en plus dans les projets : moins de formalisme, plus d'importance donné au sens ; et bien sûr un joyeux bordel…

On n'est pas sur un site de rencontre ici ; je crois que tu t'es trompé de forum ! (et apprends à écrire !)

~~~~~> []

Le livre est très intéressant.

On peut le lire sur un 1^er niveau très pragmatique (l'énumération des stratagèmes) qui consiste à lire les différentes techniques pour pouvoir les reconnaître et éviter de tomber dedans quand on traîne sur les forums.

Le deuxième niveau de lecture pousse à se demander qu'est-ce qui valide une argumentation bien formée. Ça n'est visiblement pas la logique (puisque l'on démontré tout d'abord que la logique pouvait être biaisée à travers lesdits stratagèmes). Le livre ne propose pas de réponse ici, mais l'expérience nous permet de trouver des axes de solution : une bonne argumentation ne peut pas être d'une logique froide et implacable. Il faut prendre en compte la sensibilité des uns et des autres, trouver la formulation qui pourra être entendue par celui à qui l'on s'adresse etc. Le livre ne développe pas cette partie, mais en réfléchissant, on en vient à se dire qu'une bonne argumentation ne doit pas forcément être juste, elle doit juste être humaine (dans le sens : prendre en compte l'altérité dans son discours et son argumentation). Et au final ça me plaît :)

Moi c'est à force de traîner sur dlfp que j'ai eu envie d'acheter La Dialectique éristique. C'est bien la preuve discuter avec des linuxiens nécessite un niveau d'exigence plus important qu'avec d'autres ^{^}