Pinned toot
Oups boosted
Oups boosted
Oups boosted
Oups boosted

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)

Oups boosted

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

Oups boosted

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

Oups boosted

La startup nation c'est trop dans le passé

Élisez-moi président de la Blockchain Nation

Oups boosted
Oups boosted

Une histoire inquiétante d’Internet des objets 

Oups boosted

Une histoire inquiétante d’Internet des objets 

Oups boosted

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 "

framagit.org/Yvan-Masson/Remot

via bookmarks.ecyseo.net/?apOIsA

Oups boosted

Pourquoi nous ne voulons pas que Google nous paie pour référencer nos articles - numerama.com/politique/563444-

> 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.

Oups boosted

@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?

Oups boosted
Oups boosted

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 😅​

Show more
Aleph

Generalistic Mastodon instance for open-minded people. Instance Mastodon généraliste pour personnes ouvertes d'esprit.