Show newer
otini boosted

TeX in real world producton 

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

Ahem.

The first character in the Unicode Mathematical Operators block is ∀, and I think it’s beautiful

otini boosted

Mastodon tutorant, long 

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

The architecture of an abstract interpreter maps so well to OCaml modules (all abstract domains implement a common interface), I wonder how I would write one in Haskell.

otini boosted
otini boosted

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.

The video (in French) and the slides (in English) of my talk “Automatically Proving Microkernel Security” at RESSI are available on my homepage otini.chnik.fr/

otini boosted

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.

otini boosted

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 : 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 ! :boost:

La conférence francophone RESSI 2020 (Rendez-vous de la recherche et de l'enseignement en sécurité des systèmes d'information) a commencé en ligne ressi2020.ebfe.fr
Pour ma part, j'y présenterai mon travail “Automatically Proving Microkernel Security” à 16 h 10. 🙂

Pinned toot: I will soon be looking for job opportunities starting early 2022 :)

otini boosted
otini boosted
otini boosted

Greek letters in Libertinus Math and Garamond Math. Both beautiful in their own way.

Show thread
otini boosted

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 😺

video.tedomum.net/videos/watch

otini boosted

Introduction fr 

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

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

Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!