Instance Logo

Arkanosis.net

Jérémie Roquet's header
Jérémie Roquet's avatar
Jérémie Roquet
@jroquet@arkanosis.net
admin

Programming artist, linguist, free and open-source software enthusiast. Currently working on NLP, bioinformatics and software optimization.

Joined Apr, 2017
Followed by 19
Following 21
Posted 23

Latest public toots

Jérémie Roquet @jroquet
May 22, 16:52

L'Inde aurait banni 14 applications de télécommunication, dont Briar et Element que je recommande depuis quelques années. Les implications ne sont pas très claires pour moi, mais ayez ça en tête si vous résidez / voyagez sur place.
Chose intéressante, il semblerait que ce soit Element (un client parmi d'autres) et non Matrix (le protocole) qui soit banni, ce qui témoigne s'il le fallait d'une mécompréhension profonde de la nature de ces outils. Ni XMPP, ni Tox, ni Jami ne semblent par ailleurs visés.

May 22, 2023, 16:52
0
0
2
View toot
Jérémie Roquet @jroquet
Apr 18, 21:58

La refonte de l'interface de GitHub est… vraiment chouette, en fait.

Pas tape à l'œil pour un sou, plus fonctionnelle, plus claire… Je cherche ce qui est moins bien qu'avant, mais je ne trouve pas.

Ça change de cette tendance généralisée consistant à dégrader l'expérience utilisateur à chaque nouvelle mise à jour (hello Google !) ou à lui être franchement hostile (hello Microsoft !) : le look n'a même pas changé, c'est juste… mieux.

Je ne suis tellement plus habitué à ça que j'en ai désactivé (temporairement) uBlock Origin pour vérifier. Ne me réveillez pas tout de suite SVP ;-)

Apr 18, 2023, 21:58
1
0
1
View toot
Jérémie Roquet @jroquet
Dec 19, 2022

2021 : un riche entrepreneur prend le contrôle d'une plateforme de communication à succès et la saborde en l'espace de quelques mois, notamment en cherchant à empêcher ses utilisateurs d'évoquer l'existence de plateformes alternatives (graphique : netsplit.de)

Dec 19, 2022, 00:29
0
0
2
View toot
Jérémie Roquet @jroquet
Nov 08, 2022

Bonjour ! Ce compte sur mon serveur personnel remplace tous les comptes que j'ai créés par le passé sur d'autres serveurs StatusNet, pump.io, Mastodon et Pleroma.
Hello! This account on my personal server replaces every account I've created in the past on other StatusNet, pump.io, Mastodon and Pleroma servers.

Nov 08, 2022, 00:39
0
5
0
View toot