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 ! 🤓
skeptikon.fr/w/o6e8Z6UTLF7VCjF

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.

jobs.ac.uk/job/CJE549/research

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 . 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!
youtube.com/watch?v=3MhwGnq4N9

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 :)
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! otini.chnik.fr/papers/RTAS21-N
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 :freak:

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"

Show older
Mathstodon

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