Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Pablo Donato

@pablogician@social.sciences.re
mastodon 4.6.4
  • Open on social.sciences.re

Postdoctoral researcher, working towards better user interfaces for proving/programming.

0 Followers
0 Following
3 Posts
Joined October 16, 2023
WEBSITE:
https://pablogician.refl.fr

Posts

Open post
pablogician
Pablo Donato @pablogician@social.sciences.re · Mar 04, 2026
Pablo Donato
@pablogician@social.sciences.re

Postdoctoral researcher, working towards better user interfaces for proving/programming.

social.sciences.re

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!

#CategoryTheory #Logic #ComputerScience #Diagrams

2
0
5
0
Open post
pablogician
Pablo Donato @pablogician@social.sciences.re · Nov 26, 2025
Pablo Donato
@pablogician@social.sciences.re

Postdoctoral researcher, working towards better user interfaces for proving/programming.

social.sciences.re

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.

#ExplorableExplanation #Apparatus #Math #teaching

Your browser does not support the video tag.
9
0
3
0
Open post
pablogician
Pablo Donato @pablogician@social.sciences.re · Oct 13, 2025
Pablo Donato
@pablogician@social.sciences.re

Postdoctoral researcher, working towards better user interfaces for proving/programming.

social.sciences.re

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

10
1
10
0

Remote instance

social.sciences.re
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 06:35:40 UTC