Show newer
mavaxavou boosted
mavaxavou boosted

Happy that our paper “Lightweight Shape Analysis based on Physical Types” will be presented at #VMCAI2022 🙂
Pre-print: otini.chnik.fr/papers/vmcai22_

mavaxavou boosted

If we were to trust Latex packages' documentation, every package should be loaded last 🤔

On est d'accord, refuser de mettre en place une méthodologie de tests de sa GUI parce que, tu comprends, les interactions avec le serveur sont *tellement* complexes que c'est pas réalisable de les simuler, c'est stupide ?

mavaxavou boosted
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

Show older
Mathstodon

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