Oups @Madeorsk@aleph.land

#Humour #Amazon #Alexa #Consommation #flock

Ressource : Libre fonts designed by women https://www.design-research.be/by-womxn/

Un constat fort.

C'est la periode des gros connards sur Mastodon ces jours ci ?

Après le facho d'hier, j'ai droit à un troll qui supporte pas pas qu'on dise du mal de entreprise favorite en pointant des incohérences entre le discours et les actes ? (Oui, la pub ça pollue inutilement pour générer du profit, donc incompatible avec le discours écolo… Qui les fanboys qui relayent le discours greenwashing à la con pour des panneaux publicitaires déguisés en services aiment ou pas, ça change rien)

“[…] On average, one critical bug has been found every year in Coq.” — #Coq Coq Correct: Verification of Type Checking and Erasure for Coq, in Coq

Here's an example communication board that someone with severe speech problems might use.

There’s a town named Y in France

@MartinShadok @Troll Ca me rappelle cette image

Un·e collègue qui raconte qu’alors qu’iel écoutait quelque chose sur Spotify, une #publicité est arrivée. La publicité voulait illustrer que la recherche #Google n’est pas super et qu’il vaut mieux contacter leur service avec des humains sous-payés derrière pour commander de la nourriture ou ce genre de choses. Bon. Dans la publicité, il y avait quelque chose de la forme « OK Google, commande moi une pizza », suivit d’une réponse à côté de la plaque du genre « Selon Wikipédia, la pizza est un plat… ». C’est une publicité, hein.

Là où c’est inquiétant, c’est que le téléphone du collègue s’est mis à répondre au « OK Google » ! 🤨​

Bref, si par hasard vous achetez des publicités pour votre produit sur Spotify, mettez quelque chose de la forme « OK Google, achète <votre produit> » dans la publicité

@Troll : C’est un job pour toi, ça ! 😂​

Grap - aide à distance

" Teamviewer c'est pratique, mais c'est payant et propriétaire. Grâce au travail d'Yvan Masson (informaticien en Savoie), nous avons notre propre logiciel Libre d'aide à distance !
Ce logiciel est auditable, améliorable et modifiable "

https://framagit.org/Yvan-Masson/RemoteHelpBuilder

via https://bookmarks.ecyseo.net/?apOIsA

Pourquoi nous ne voulons pas que Google nous paie pour référencer nos articles - https://www.numerama.com/politique/563444-pourquoi-nous-le-voulons-pas-que-google-nous-paie-pour-referencer-nos-articles.html

> Nous ne voulons pas que #Google nous paie pour enrichir les liens qu'il référence. Alors que les voix qui soutiennent cette redevance n'ont jamais été aussi fortes et médiatisées, #Numerama a choisi d'expliquer les raisons pour lesquelles nous trouvons qu'elle est absurde.

@dada

"Proposer des services technologiquement dépassés pour être contre est acclamé, relayé, encensé parfois par la classe politique."
Les oreilles de Qwant sifflent ou je me trompe?

p͞l̕a̧yst̡at̶i͟ie̕n͠™

Par contre, si la formule est « ∃ x, ∀ y, x = y », c’est moi qui commence. Je choisi le x que je veux. Par exemple 42. Maintenant la formule est « ∀ y, 42 = y »… et c’est au monstre de jouer. Il choisit 18… me laissant « 42 = 18 », ce qui est impossible à montrer ! Ah le monstre.

Bref. Lorsque vous voulez montrer quelque chose de la forme « ∀ x, P(x) » et que vous dites « Il suffit de choisir x = 42 »… vous vous comportez comme un monstre ! Ne soyez pas des monstres : laissez leurs les ∀, et ne vous occupez que des ∃.

Dans la pratique, on trouve rarement des monstres dans la rue. Donc écrivez quelque chose de la forme « Soit x la réponse du monstre », souvent abrégé en « Soit x ». ☺

Je ne sais pas si ça aide, mais au moins si vous me voyez dire que quelqu’un est un monstre, vous savez ce que ça veux dire 😅​