Rappel : le budget du CNRS, en France, est de 4 milliards d'euros.

Every logician knows about Peirce’s law, this curious tautology equivalent to the law of excluded middle that uses only the implication connective. Less known is that around 1896, Peirce invented the first diagrammatic proof system in history, predating string diagrams in category theory and […]

Je viens d'apprendre, par le @cnrs, que l'IA est le "pilier de toute innovation future": https://www.cnrs.fr/fr/actualite/intelligence-artificielle-les-preconisations-du-g6 Il y a cinq ans, quasiment personne ne parlait d'IA en dehors de quelques cercles de spécialites. Et aujourd'hui, on ne […]

I spoke too soon.... This is like the category theorists version of this famous Stack Overflow answer: https://stackoverflow.com/a/1732454