We need to talk about your Github addiction

Je veux bien quitter GitHub. Après tout, mes projets tournent sous Ygg (https://dev.yom.li/projects/ygg/) et je n'ai qu'un webhook à changer. Le seul problème que j'ai, c'est qu'il n'existe pas de meilleur moteur de recherche de repos, ou alors il me faut l'adresse¹.

Mettons que je cherche un CMS PHP qui est pas mal actif.

GitHub → CMS → Language: PHP → Sort: Most forks GitLab (ne fonctionne que sur UNE instance) → CMS PHP (et prier pour que PHP soit dans la description, et ce sera trié par date d'update)

Et c'est pareil pour Bitbucket/Gitea/Gitee/Gogs/SourceHut/etc.

¹ Oui, je suis au courant pour https://sourcegraph.com/search, https://grep.app/ et https://searchcode.com/. Mais ce sont des moteurs de recherche de code source, pas de dépôts git.

Le Grand Détournement - La Classe américaine - édition spéciale 26e anniversaire en fool HD - YouTube

Aujourd'hui, j'ai appris que ce bijou de bénévolat et de fandom existait. Ça m'a fait le même effet que lorsque j'ai mis la main sur une édition de Cowboy Bebop en HD réalisée par des fans, ou mon premier visionnage de la Despecialized Edition avec piste française de 1977 (oui, ce truc existe).

Je veux dire : la somme de travail libre est juste ahurissante dans tous ces cas. Ici, il a fallu trouver toutes les sources en HD (il y a une piste de sous-titre exprès), et refaire l'intégralité du montage de bout en bout en le synchronisant avec la bande son.

Note

Je vois passer des gens qui râlent sur des threads Twitter qui bug.

Si vous voulez écrire plus de 5 tweets, ouvrez un blog. Si vous avez la flemme d'en ouvrir un, il existe des services pour :

Et mon petit préféré https://itty.bitty.site/

Ce dernier ne stocke rien sur le serveur, il garde tout dans l'URL. C'est tellement simple d'utilisation et de mise en place que je songe ouvrir un service similaire (possiblement avec raccourci d'URL).

Arrêtez de râler contre Twitter. Ouvrez un blog, ou trouvez d'autres services.

Benjamin Haddad (@benjaminhaddad): "« En France, le nombre d’heures effectuées par habitant est de 630 par an, c’est le chiffre le plus bas de tous les pays développés. C’est 700 en Allemagne, 800 au Royaume-Uni et aux États-Unis, 1 100 en Corée… » Rappel de François Lenglet dans Le Figaro ce matin." / Twitter

Pour les simples d'esprits qui ne comprennent pas :

  1. Il s'agit d'une moyenne « par habitant », virez les enfants et les retraités et vous aurez un chiffre plus haut. Donc, ce chiffre ne peut servir à une comparaison.
  2. Si toutefois l'on insistait pour l'utiliser, nous pourrions le rapporter au PIB par habitant. Nous trouverions alors que la France est l'un des pays développés où la productivité est la plus haute (dans le set donné, seulement dépassée par les États-Unis et l'Allemagne).

Autrement dit : une heure de travail française rapporte presque deux fois plus qu'une heure de travail coréenne, et un quart de plus qu'une heure de travail britannique.

Donc si votre conclusion était « nous ne travaillons pas assez », je dirais qu'il faudrait ajouter « et la plupart des autres pays travaillent mal ». Vous pouvez nous traiter de feignasses, mais au moins les Français sont des feignasses PRODUCTIVES.

Ce qui n'est pas le cas des personnes qui concluent différemment, car les données nécessaires à cette conclusion se trouvent en moins de deux secondes d'une recherche web, avec un calcul nécessitant rien de moins que les connaissances pointues en mathématiques de primaire…

Note: implode dans PHP 8.1

Mon application Ygg n'affichait plus le contenu des fichiers depuis un temps. Je suspectais le passage à PHP 8.1. J'étudie le code, jusqu'à tomber sur ceci :

implode(range(1, count($file_array)), '<br>')

J'ouvre une page de manuel pour chaque fonction, et…

implode(string $separator, array $array): string

Legacy signature (deprecated as of PHP 7.4.0, removed as of PHP 8.0.0):

implode(array $array, string $separator): string

PHP a simplement inversé les arguments. Certes, c'est plus logique dans ce sens, mais ça m'a bien fait rire sur le coup 😅