mavaxavou @mavaxavou@mathstodon.xyz
Joined Mar 2019
mavaxavou
boosted
On se préoccupe beaucoup des BIAIS DE NOTRE JUGEMENT, mais en vérité ce n'est qu'une partie de nos sources d'erreur.
N'oublions pas aussi de nous préoccuper du BRUIT DE NOTRE JUGEMENT.
Mon épisode 34 est enligne ! 🤓
https://skeptikon.fr/w/o6e8Z6UTLF7VCjFKKjA28M
mavaxavou
boosted
If there is anyone here who'd like to work with me as a Research Associate from 1 Jan 2022 until 31 July 2023 or for a shorter period, full-time or part-time, please let me know.
Closing date is 13 Oct, no applicants so far so I will re-advertise if needed.
The post is on a research project at the intersection of embedded systems (SW&HW), programming languages, compilers, runtime systems and type theory. So if you know about any of these areas, it may suit you.
mavaxavou
boosted
#genre #espagne #españa #genero #gender #Respect
En Espagne, un gamin de 15 ans s'est fait virer de l'école parce qu'il portait une jupe. L' adolescent, qui voulait sensibiliser ses camarades à la non-conformité de genre s'était, en plus d'être exclu, vu imposer un suivi psychologique.
En soutien, son professeur de mathématiques, Jose Piñas a alors décidé d'assurer ses cours en jupe!
Parti de Valladolid le mouvement #LaRopaNoTieneGenero (« les vêtements n’ont pas de genre ») s'est répandu dans toute l'Espagne.
Depuis octobre 2020, régulièrement, des professeurs enseignent en jupe. Pour promouvoir une école qui éduque sur le respect, la diversité, la mixité et la tolérance.
I don't understand the interactions between records and implicit parameters in #idris. Why can't I manually set the declared implicit parameters of a record's field outside the record's declaration?
Even if I love the myth, it's actually quite cool to have an explanation of where it came from.
Tritones are not the devil chord!
https://www.youtube.com/watch?v=3MhwGnq4N9o
#music
mavaxavou
boosted
it‘s always „why combinator“ but no one ever asks how combinator
Percer du béton, c'est quand même plus simple avec le bon outil ! Du coup, mes instruments ont enfin la place qu'ils méritent sur le mur 😁
15,6km de marche, belle balade ! J'espérais aller me baigner ensuite mais il pleut 😕
Today, I played music for the sea. Some people stopped by to listen to me. They seemed pleased. That was a nice evening.
mavaxavou
boosted
mavaxavou
boosted
mavaxavou
boosted
Notice me, 0 If you get it, you get it
notice me, sin(pi)
Aujourd'hui, j'ai fait ma première séance de sport depuis des lustres. Un quart d'heure d'elliptique. It ain't much but it's honest work.
Par contre, je comprends pas comment mon coeur fait pour pas dépasser le 80 après la séance...
After way too many months of work, stress and guilt, i've finally managed to finish my manuscript! Damn that feels good!
mavaxavou
boosted
Hi everyone, I made a #bitsy game called Aura's Room !
It's about a girl in her room, and also about being lonely.
This is my first solo #gamedev experience, and my first foray into low-res
it was a lot of fun and I hope you enjoy it :)
https://merridot.itch.io/auras-room
mavaxavou
boosted
Shame on me, I posted this on Twitter a while ago, but forgot to do it here:
The pre-print of our paper “No Crash, No Exploit: Automated Verification of Embedded Kernels” is now available! https://otini.chnik.fr/papers/RTAS21-No-crash-no-exploit.pdf
And so is the artifact, which automatically verifies 96 variants of an x86 kernel, analyzing only their executables.
Noyer mon organisme sous la caféine pour tenir face à la privation de sommeil n'était peut être pas la meilleure des idées
Travail
Encore une journée passée a travailler... Vivement la fin ! En attendant, j'écoute The Night Flight Orchestra, et ca motive bien !
mavaxavou
boosted
- N'utilise pas WhatsApp, ils récoltent tes données personnelles a tour de bras...
- Ah d'accord ok, j'ai compris. J'arrête WhatsApp alors !
- Enfin ! :)
- Allez, je passe sur Zoom 
Travail
Bon, comme prévu, j'ai pas fini mon intro ce week-end. Mais je sais où je vais et je devrais être en mesure de la finir "rapidement"
Joined Mar 2019
