otini @otini@functional.cafe

\begin{theorem}
\label{thm4.2}
...
\end{theorem}

Ahem.

How to write a "last boost" reaction or boost-with-cw in Mastodon, a step-by-step tutorial
1. Start replying to the original toot
2. Make sure to remove all mentions from your reply so the original poster won't get annoying notifications
3. Wait, is the original message from a Mastodon instance?
If not, they'll get the annoying notifications either way: move to step 10
4. Write your message and/or cw
5. Select the visibility: followers-only or unlisted or…?
6. Wait, do I want my toot to show up on the public timeline? If yes, replying or boosting won't do even if it's a public toot: move to step 10
7. Double-check you did steps 2-5 correctly and send the toot
8. Your new toot is about as visible to Mastodon users as a DM without mentions. Boost it so it appears on their timelines. Your Pleroma followers will get it twice. Serves them well.
9. No reaction. You did forget step 8, didn't you?
10. Give up and just write a new toot with a web link to the original toot

Latest #ocaml weekly news are out
https://alan.petitepomme.net/cwn/2020.12.22.html

Mamot, je t'aime bien mais tu deviens très gros et plein de gens qui ne savent pas trop pourquoi ils sont là plutôt qu'ailleurs. Alors je m'en vais. Mais je ne vais pas très loin : je serai chez @deltadelta.

I went on a rescue mission to my office for some things I've been missing. First visit in months, and probably the last for months. Seems I left myself some mysterious secret messages. I wonder what we were up to.

Bonjour !

Ça fait un moment qu'avec @digit on partage ici notre passion commune pour le "creative coding", avec l'idée de comprendre et concevoir des algorithmes générant des images artistiques.

On pense être arrivés à des résultats intéressants et nous avons ouvert une boutique en ligne : https://shop.ondin.es !
Il y est possible d'acheter des dessins réalisés au pen plotter ou imprimés, et demander des commissions.

Aujourd'hui est l'ouverture officielle, n'hésitez pas à booster !

@Chocobozzz Looking forward to do live broadcasts via #peertube 💪

#PeerTube v3 RC 1 with #live support released 🎉 🎉 🎉

Learn more on https://joinpeertube.org/news#release-3.0rc

Complete changelog: https://github.com/Chocobozzz/PeerTube/releases/tag/v3.0.0-rc.1

Stable is planned for January

Latest #ocaml weekly news are out:
https://alan.petitepomme.net/cwn/2020.12.08.html

Bonjour tout le monde!

Nous sommes fiers de vous annoncer que TeDomum a maintenant une chaîne Peertube, @tedomumoff !

La première vidéo publiée dessus concerne Hiboo notre système d'authentification et plus particulièrement les étapes nécessaires pour s'enregistrer dessus et l'utiliser avec nos services 😺

https://video.tedomum.net/videos/watch/c5b36c4f-aa8c-4cef-87a2-9a3f9ea827c9

Bonjour !
Je suis Caroline. Je suis non-binaire, j'utilise le pronom elle et les accords féminins.
​ ​

Ceci est un nouveau compte sur Pipou Academy, mais je ne suis pas tout à fait nouvelle par ici, je viens de carolynn@bidule.menf.in et carolynn@catgirl.science

Je fais de la recherche en info, notamment sur des compilateurs.

Je rattrape mon retard sur la biblio féministe, notamment intersectionnelle, queer, ou sur le genre et la technologie (là tout de suite je lis Donna Haraway, Judith Butler, Linda Martín Alcoff et Sally Hacker).

Je m'essaie aussi à la photo argentique (quand je peux sortir de chez moi).

Je suis là pour discuter de tout de rien, vie perso, militantisme, technologie, genre, entre autres sujets.

#introduction