On vit quand même dans un monde de merde où il faut crier fort en groupe pour avoir raison. Les faits n'intéressent personne, la réflexion non plus. Ce n'est pas du cynisme ou du pessimisme. Ce n'est pas pire qu'avant, je crois. Les gens ont toujours été cons. Incapables de mettre en doute ce qu'on leur jette entre les dents, d'un côté ou d'un autre.

Appel d'offres sur un chantier public.

Question d'un des candidats :

> Le site du port de Sète est un site public qui se doit de respecter le RGAA. Souhaitez-vous que le site soit conforme au niveau AA du RGAA ?

Réponse de l'instance (publique sauf erreur : établissement public régional) :

> nous ne souhaitons pas que le site soit de niveau AA du RGAA.

Je ne savais pas qu'on pouvait publiquement dire non au RGAA.

ml.aws-achat.info//avis/index.

#ObligationLégale #RGAA #accessibilité

Je réponds parfois à des appels d'offres pour le développement de sites web, quand ils sont corrects.

Mais voilà comment les acheteurs publics se foutent totalement de la loi dans leurs appels d'offre, même quand on leur signale les textes législatifs.

Alors l'accessibilité, vous pensez bien qu'ils s'en tamponnent le coquillard...
Au mieux c'est une ligne dans le cahier des charges.

Rappel : cg-graphisme.fr/2020/11/02/app

Polfr shit 

Hé Mastodon !
Imaginons que je veuille initier 7Ans à la lecture des comics de Spider-Man, personnage qu'il adore comme beaucoup de garçons de son âge, sans pour autant commencer par l'original, histoire qu'il n'ait pas l'impression de faire de l'archéologie… Quelle éditions seraient accessibles et adaptées à son âge ?
Tout ce qui est postérieur aux vieux Strange m'est totalement inconnu. :o
Merci tout plein.

We are living through the last years still left to prevent a future of permanent and catastrophic climate change.

Public opinion has moved, partly because more people now have first hand experience with the effects of climate change. A poll sponsored by Yale and George Mason universities reported this month that a record 76% of Americans think global warming is real, only 12% think it isn’t.

#Climatechange #ClimateCrisis #ClimateActionNow

The climate is still warming, but world leaders have a chance to fix that.

latimes.com/politics/story/202

Fenêtre ouverte.
Réveil nocturne.
Parmi le souffle du vent et les lointains bruits de ville, un possible ogre ronfle tout ce qu'il peut depuis une fenêtre ouverte non loin.
Et sorti du sommeil par Dancing Queen d'Abba.

Je sais que la droite des réels est peu habituelle en logique intuitioniste. Est-ce qu'on a quand même Banach-Tarski avec l'axiome du choix, mais sans le tiers exclu ? 🤔 De ce que je me souviens, j'avais vu des preuves de Banach-Tarski assez constructives (au moins en apparence).

Me voilà victime de l'effet Dunning-Kruger ! 😀 Je suis bien content de m'en être rendu compte 😊 Mais ça veut dire qu'il faut que je me mette à jour.

Inktober 17, #collide ! I worked on the negative effects, it's something I really enjoy doing.
Illustration for sale!

#mastoart #traditionalart #inktober #brouillonbleuart #duo #negative

Jour 12. Notre cochon qui s'est équipé en jour 10, et a voulu manger local en jour 11, est en mauvaise posture. S'en sortira-t-il ? La réponse prochainement (ou pas).
#inktober #inktober2021
Theme: stuck
CC-BY-SA v4 #creativecommons

Moralité : quand vous croisez des gens qui paraissent tout gérer alors que vous n'y arrivez pas, n'oubliez pas que vous ne savez pas tout de leur vie et qu'ils ont peut être des choses qui les aident à réussir.
On est pas des machines.
N'allez pas jusqu'au burnout.

Genre ils vont identifier une fonction à son graphe… tout en considérant qu'un ensemble est quelque chose de statique, sans calcul.

Je n'ai rien contre identifier une fonction à son graphe, mais dans ce cas, je vais voir un ensemble comme son prédicat d'appartenance : il y a un calcul à faire à chaque fois que l'on va tester si un élément appartient à ce dernier.

(Mon interprétation de tout ça est très probablement fortement influencée par le fait que j'utilise Coq au boulot.)

Mais j'ai quand même l'intuition que les mathématiciens qui ont peur de l'axiome du choix ont tout simplement beaucoup de mal à se représenter une fonction comme quelque chose qui calcule, alors que c'est une interprétation vraiment très naturelle pour un informaticien.

(Ceci était un shitpost, comme la plupart de mes messages ici sur la logique, bien entendu.)

Pour réaliser l'axiome du choix, il suffit de n'importe quoi capable de créer des noms frais : une horloge (on identifie les noms au tick d'horloge), une mémoire partagée (on mémoïse un compteur commun), un opérateur random (suffisamment précis pour qu'on ne tombe jamais deux fois sur le même élément, bon), ou même un opérateur ν comme en π-calcul. Bref, on n'a que l'embarras du choix.

Alors que le tiers exclu, il faut quoi ? Une machine à remonter le temps polychronique ? Un moyen de prédire le futur de manière contrafactuelle ?

Sérieux, comment on peut accepter le tiers exclu sans accepter l'axiome du choix ? 😅

J'ai toujours eu du mal à comprendre pourquoi autant de mathématicien fs ont une dent contre l'axiome du choix, mais pas contre le tiers exclu.

Show more
Aleph

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