Depuis que je fais du Latex, j'ai pris l'habitude de faire attention à la formulation de mes requêtes dans les moteurs de recherche, et j'arrive à ne pas avoir trop souvent des sites spécialisés dans le latex. Mais je découvre qu'il faut faire aussi attention avec Coq. Si on demande "tactique Coq" à son moteur de recherche, on tombe sur des liens vers une société française de matériel tactique pour forces de l'ordre.
On se retrouve à devoir chercher "Coq tactic" 😅
=> More informations about this toot | More toots from Anne73939133@framapiaf.org
@Anne73939133 souvenir de avoir cherché comment on écrit le nombre de combinaisons en latex..
=> More informations about this toot | More toots from Lubedyle@piaille.fr
@Lubedyle 😅😂
=> More informations about this toot | More toots from Anne73939133@framapiaf.org
@Anne73939133 et les sites avec le nouveau nom sont pas encore indexés, donc je cherche toujours "rocq" avant d'avoir des résultats sur une commune française
=> More informations about this toot | More toots from glenplonk@toot.beep.computer
@glenplonk je ne veux pas utiliser le nouveau nom😤 (je sais, ceux qui ont décidé s'en fichent 😅)... C'est pas beau Rocq et Coq/Rocq encore pire 😅
=> More informations about this toot | More toots from Anne73939133@framapiaf.org
@Anne73939133 je dois avouer que chaque fois que je lis Coq/Rocq, dans ma tête ça fini en cockroach
=> More informations about this toot | More toots from glenplonk@toot.beep.computer
@glenplonk oui, voilà 😅
=> More informations about this toot | More toots from Anne73939133@framapiaf.org This content has been proxied by September (3851b).Proxy Information
text/gemini