petit aperçu de ma semaine:
- TP de ML à rendre vendredi
- je dois trouver une assurance médicale, remplir un formulaire pour mon stage et un autre pour le visa japonais
- rendre mes amendements jeudi
- lire syntaxe transcendantale
- refaire le TD de preuves et avancer
- réviser ML + logique

music.apple.com/fr/album/sai... ca marche ici !

on.soundcloud.com/xyTrPDhJYJW6...

ni informaticienne, ni mathématicienne, ni philosophe ni rien en fait

il est bicéphale (mon encadrant qui me parle d’un de mes profs (il a un cerveau preuve et un cerveau programme))

cherche livre pour comprendre le lambda calcul simplement typé

bluesky c’est mieux juste parce que 1. on tombe par sur une fyp remplie de débiles mentaux au premier coup d’œil
2. pas de pubs

je suis vraiment pas très informaticienne

@vloaz.bsky.social y a tes tweets dans mon cours

hier j’ai appris à git rebase des commits foireux (j’ai commit plusieurs erreurs et donc fix) pour faire une PR plus lisible (atomic commits comme ils disent chez coq)

the tide turns