mastodon 4.6.8Postdoctoral researcher, working towards better user interfaces for proving/programming.
For those who don’t know it yet, I highly recommend the interactive diagram editor Apparatus (https://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 explaining the concept of convergence of a sequence toward its limit. It only took me 3 hours, no LLMs involved.
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 directement sur téléphone via l'application Île-de-France Mobilités ou celles des revendeurs officiels téléchargeables sur Apple Store ou Play Store, sur un automate RATP ou Transilien SNCF ou dans un point de vente Transporteur."
N’étant pas en Île-de-France, ma seule option est de passer par l’une des applications indiquées (pourquoi est-ce-que je ne peux pas juste le faire depuis mon espace ??). Aucune de ces applications n’est installable via Aurora Store sur mon téléphone (Mudita Kompakt), donc je dois télécharger manuellement l’APK sur une source non-officielle, APKMirror, qui me demande de regarder 40 secondes de pub pour pouvoir finaliser l’installation avec leur app propriétaire.
Finalement j’arrive à faire tourner Bonjour RATP : impossible de me login (erreur de connexion inexpliquée). J’essaye donc l’appli officielle Île-de-France Mobilités, qui m'annonce tout de suite que je ne pourrai pas l'utiliser sans les Google services. Heureusement j'arrive quand même à lancer l'application et à me connecter à mon compte, il reste à voir si je pourrai effectivement mettre à jour mon passe.
Même si c'est le cas, la conclusion reste la même : ça devient urgent d’instaurer des lois pour les services publics numériques, qui imposent de garantir un service minimum sans dépendance forcée aux GAFAM. Elle est où la fameuse « souveraineté digitale » ?
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 logic/computer science, we want to hear from you. We strongly encourage submissions from students and early-career researchers!
Full details and deadlines here: https://dialoco.github.io/dialoco26/
Co-organized with Alessandro Di Giorgio and Nathan Haydon.
Boosts appreciated!