iiinova — where your digital self keeps evolving

Reposted by Pablo Donato

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 15/03/2026

8th Workshop on Intuitionistic Modal Logic and Applications (IMLA) 24–25 July 2026, Lisbon, Portugal Affiliated with the Federated Logic Conference (FLoC 26) sonia-marin.github.io/imla26 Constructive and intuitionistic modal logics, and their connections with type theory and […]

fediscience.org

Original post on fediscience.org

104

Pablo Donato @pablogician.social.sciences.re.ap.brid.gy · 04/03/2026

Excited to announce the Call for Contributions for the inaugural Workshop on Diagrams in Logic and Computation (DIALOCO)! 📍 Affiliated with FLoC 26 🗓️ July 19, 2026 | Lisbon, 🇵🇹 If you work on string diagrams, proof nets, visual proof assistants, or any other use of diagrammatic methods in […]

social.sciences.re

Original post on social.sciences.re

000

Pablo Donato @pablogician.social.sciences.re.ap.brid.gy · 26/11/2025

For those who don’t know it yet, I highly recommend the interactive diagram editor Apparatus (aprt.us). It is one of the most innovative end-user programming tools I have ever seen. Today, I had fun building an interactive visualization […] [Original post on social.sciences.re]

010

Pablo Donato @pablogician.social.sciences.re.ap.brid.gy · 13/10/2025

La dépendance aux Google services est un vrai calvaire. Je souhaite suspendre mon abonnement Navigo alors que je suis à l’étranger pour plusieurs mois. Voici ce qui est écrit sur le site web Île-de-France Mobilités : La suspension ne sera prise en compte qu’une fois le passe mis à jour […]

social.sciences.re

Original post on social.sciences.re

000

Reposted by Pablo Donato

PolGM @polgm.masto.bike.ap.brid.gy · 03/09/2025

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

IA : Anthropic lève 13 milliards de dollars et se retrouve valorisée 183 milliards de dollars
Ce concurrent d’OpenAI s’est spécialisé dans l’intelligence artificielle destinée aux entreprises et affirme générer désormais 5 milliards de dollars de chiffre d’affaires annuel, sans toutefois être encore bénéficiaire.

016

Pablo Donato @pablogician.social.sciences.re.ap.brid.gy · 29/07/2025

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 […]

social.sciences.re

Original post on social.sciences.re

022

Reposted by Pablo Donato

Konrad Hinsen @khinsen.scholar.social.ap.brid.gy · 08/07/2025

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

scholar.social

Original post on scholar.social

002

Reposted by Pablo Donato

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 02/05/2025

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

The category theorists version of zalgo text

0410