steph1978 a écrit 3345 commentaires

Pas split et avec les touches en quinconce.

Tu peux faire du bépo en collant des stickers sur les touches de ton azerty, ça devrait coûter dans les 3€ la planche d'autocollants. C'est de l'upcycling, beaucoup plus vertueux que d'acheter un nouvel objet, aussi bien conçu et "éco-responsable" qu'il soit.

Après la finition est sympa.

Pour les fans de split : https://aposymbiont.github.io/split-keyboards/

C'est pour moi la meilleure solution à date.
L'élégance du Python sûrement :)
Permet de résoudre trouve 24 et le compte est bon.

Je n'ai pas dit qu'il n'était pas possible de les utiliser - d'ailleurs le site dit "100 % des parties ont une ou plusieurs solutions" - j'ai juste dit qu'il fallait tous les utiliser pour avoir une solution valide.

(ok, je viens de comprendre les $6, $7, my bad)

J'ai fait une version "épurée" car j'aime bien l'approche mix de parenthèses et permutations des nombres.

cool une version bash

J'ai essayé de recoller tous les bouts. J'ai encore des /0 et process2 n'est jamais utilisé ; et je ne comprends pas le "$7" dans solution2.

Mais le plus gênant est quand même l'arrondi des divisions, cela ne respecte pas les règles du jeux donc ce n'est pas très utilisable. C'est pour ces raisons que je ne l'ai pas implémenté, trop de cas tordus.

Alors, si mes calculs sont bon, j'ai une erreur dans ma formule et un gros bug dans le comptage dans mon programme.

La formule serait : 

Remarquez la division par deux qui a disparue. Elle était la pour la commutativité. Mais en fait c'est déjà pris en compte par l'opération "combinaison" C(n-j,2) qui n'a pas de notion d'ordre - (a,b) est (b,a) sont comptés pour 1.

J'ai un alignement des planètes : pour "trouve 24" - 4 nombres et 4 opérateurs - on aurait 1464 combinaisons (en comptant aussi celle de 1 ou 2 opérations qui ne sont pas valides). Pour "le compte est bon" - 6 nombres et 3 opérateurs - on aurait 900'495 combinaisons.

Si qqun savait confirmer les chiffres, ça serait top.

Soit un total de 3072 possibilités. Je me trompe ?

Quand on fait "échouer" le programme - par exemple ./trouve_24 1 1 1 1 ne parviendra pas à trouver de solution - le programme annonce avoir tester 543 combinaisons. Il a parcourus tout l'espace de recherche, pas de branches coupées (les break dans le code).

Si je modifie pour avoir 4 opérations (probablement ton calcul), il compte 939 combinaisons.

J'avoue que je n'ai jamais vraiment trouvé le formule qui permet de calculer le nombre de combinaisons, encore une fois j'ai fait la brute en les comptant une par une :)

J'étais arrivé à ça mais je ne sais plus comment et je ne retombe pas sur les chiffres donnés par le programme.

Après, ça reste une jolie formule :D

On pourrait envisager d'optimiser le calcul en réutilisant des résultats de sous-arbres.

On peut mesurer que le programme utilise vraiment peu de mémoire (on pourrait faire un calcul théorique).

Pour un espace de recherche aussi petit, je ne pense pas qu'une stratégie de cache soit efficace.

Cependant, j'y vois un intérêt théorique :) : J'aimerai voir un programme qui minimise le nombre de calcul en réutilisant les sous-résultats. J'avais essayé pour 'le compte est bon' car l'espace de recherche est plus grand (733'188 si mon dénombrement est le bon) et que mon CPU était beaucoup plus faible. Mais j'ai laissé tombé devant la complexité et le fait que la méthode brute force donnait un résultat très rapidement.

Merci pour le recensement.
Que des beaux pédigrées…

Ils sont sensé être connus les 12 ?

Je suis déçu de pas retrouver bubba et philipo dans la liste.

Dans un objectif un peu différent, j'avais aussi fait un peu la même expérience: 1/ créer l'image root fs 2/ lancer qemu avec le kernel de mon poste.

Et il se trouve que l'on a même pas besoin de copier le noyau (vmlinuz + initrd) dans /boot. Il y a des options magiques parmis les 185 proposées.

kernel=$(uname -r)
qemu-system-x86_64 \
  ... \
  -kernel /boot/vmlinuz-${kernel} \
  -initrd /boot/initrd.img-${kernel} \
  ... \
  -append "... init=/bin/bash"

Ici, je fais un peu le bourrin avec un bash comme init. Cela fonction mais fait un kernel panic quand le process se termine et ne gère pas l'ACPI comme noté par l'OP et surement plein d'autre truc.

Mais ça marche :) On a le prompt en une fraction moins de deux secondes.

Dans un unikernel, il n'y a pas de séparation entre le noyau et l'application (pas de userland en qque sorte). Les appels systèmes, qui nécessitent de passer du userland au noyau sont remplacés par des appels de fonctions ce qui est beaucoup plus rapide.

Ici on aurai 1 noyau + 1 application PID=1. Je ne sais pas si ça porte un nom si ce n'est un système dépouillé :)

Si tu te méfies pas, tu vas te retrouver avec une distrib perso :)

je trouve qu'ommettre que B pratique aussi le mensonge est dommage
mais encore une fois je ne dirais pas à quelqu'un qu'il existe 8.8.8.8, 208.67.222.222, 9.9.9.9, 1.1.1.1, 37.235.1.174, 80.67.169.12, 91.239.100.100,… sans expliquer les choix politiques de chacun

Bah c'est bien pour toi. Moi j'estime que les gens sont assez grand pour se renseigner ou pour poser des questions comme ça a été fait.

J'aimerai au moins sur ce site pouvoir éviter le disclamer de quinze lignes "ne faîtes pas ça chez vous, ça tue des bébés chats" à chaque commentaire sans être considéré comme un pousse au crime.

rien n'empêcherait les fournisseurs d'accès de dérouter le trafic à destination du vrai 1.1.1.1 vers autre chose.

Techniquement rien. Ils pourraient aussi détourner tout trafic DNS (port 53). C'est un peu ce que fait un portail captif pour les flux HTTP. Maintenant ils ne le feront certainement pas sans injonction légale.

Mais à un moment, c'est le jeu du chat et de la souris. Si il n'est plus possible de configurer un DNS de son choix, on peut faire du DNS over HTTP chez Mozilla ou mettre une VPN, passer par Tor, déménager en suisse, se payer un abonnement Deezer…

Correction : Quad9 est une fondation à but non lucratif soumise à la loi Suisse.

1.1.1.1 appartient à Cloudflare, société Américaine
9.9.9.9 appartient à Quad9, société Suisse

Donc ils ne sont pas plus dignes de confiance que la confiance que tu mets dans ces sociétés. Pour moi ils ont le seul mérite de ne pas être Google ou asservi à Hadopi.

# Generated by NetworkManager
nameserver 9.9.9.9
nameserver 1.1.1.1

Ma box annonce "9.9.9.9 1.1.1.1" aux clients du réseau local. Ma machine passe systématiquement par quad9. Je suppose donc qu'elle prend le premier et que si il ne répondait pas, elle prendrait le second.

Piloté par les ayant-droits et opéré à grand frais par Orange et Capgémini ?

Je vais rester sur le 1.1.1.1 et 9.9.9.9 moi.

J'ai lu l'article hier et je rejoints certains commentaires ici.

Ce n'est pas forcément une décision objective de sa part. C'est plus un ressenti. Je pense que soutenir une alternative *BSD à Linux aujourd'hui c'est un peu comme soutenir une alternative Linux à MSWinServer il y a 20 ans. C'est pour que l'alternative existe et se développe.

Je suppose que FreeBSD sera largement aussi bon dans la plupart des cas de prod, meilleurs dans certains (réseau ?) moins bon dans d'autre (il parle de garder 20% de Linux).

Et puis ce n'est pas un choix complètement ésotérique, il cite Netflix et Whatsapp comme gros utilisateurs, ce n'est sûrement pas seulement pour la beauté du geste.

Moi ça fait qques temps que l'idée me trotte dans la tête de passer qques un de mes serveur de Debian à FreeBSD, cet article me donne envie de m'y mettre. En particulier pour tester l'outillage autour des jails, comme alternative à Docker.

Quelle serait une petite volumétrie et un tarif raisonnable ?

ou pas.

J'ai environ 60 filtres perso dans uBlock0 ❤️, entre autre :

linuxfr.org###phare
linuxfr.org##.banner

Pour être directement sur le contenu

Avant j'avais un filtre pour les avatars mais maintenant, c'est une option du site 👍🏻

j'ai encore moins envie d'utiliser des GIFs de réaction depuis que Google me les fiche sous le nez à chaque fois que j'essaie d'envoyer un texto

Il existe des claviers alternatifs pour Android.

Et pour celles et ceux qui ne veulent pas l’abandonner, il y a peut-être un signe d’espoir. En effet, comme dans la mode, sur Internet, tout est cyclique. Et le gif n’en serait pas à sa première résurrection.

J'ai l'impression que le retweet sur linuxfr est peu apprécier. Ça peut se comprendre. Moi j'apprécie déjà que l'OP propose un lien nitter à la place.

Donc après trois clics, voici la partie intéressante :

SELECT * WHERE {

    ?lexeme wikibase:lemma ?lemma ;
            dct:language wd:Q1860
    FILTER(strlen(?lemma)=5)
    FILTER(contains(?lemma,"a"))
    FILTER(contains(?lemma,"b"))   
    FILTER(contains(?lemma,"y"))
    FILTER(contains(?lemma,"e"))  
    FILTER(!contains(?lemma,"w"))  
    FILTER(!contains(?lemma,"o"))  
    FILTER(!contains(?lemma,"r"))   
    FILTER(!contains(?lemma,"d"))
    FILTER(!contains(?lemma,"s"))  
    FILTER(!contains(?lemma,"l"))
    FILTER(!contains(?lemma,"c"))
    FILTER(!contains(?lemma,"k"))  
}

En gros ça propose de résoudre le jeu wordle en utilisant le langage de web sémantique SPARQL sur le jeu de données wikidata.

Bon ici, ça fait pas plus que des grep lettre et grep -v lettre avec un code super long, donc pas terriblement efficace.

Je trouve ça quand même cool.

Comment prendre en compte le cas où on a deux missplaced pour la meme position ?