:PROPERTIES:
:ID:       a4b22a77-2964-434a-8ab7-dc38645b261a
:END:
#+Title: Journal (2020-10-04 - ∆y=43.58 (15919))
#+Author: Yann Esposito
#+Date: [2020-10-04]
#+STARTUP: showeverything
#+STARTUP: inlineimages

* Résume Journée
:PROPERTIES:
:CREATED:  20201004
:END:

 | sommeil    | 1/5 | horrible  -> comme un bébé |
 | activité φ | ?/5 | au lit    -> sport         |
 | nourriture | ?/5 | malbouffe -> saine         |
 | humeur     | ?/5 | exécrable -> excellente    |
 | intérêt    | ?/5 | ennuie    -> exceptionnel  |

- Faits positifs
- Faits marquants
- Résumé des discussions intéressantes
- Réflexions/Essais

* 2020-10-04 Sunday
** 19:36
J'ai essayé Rust encore aujourd'hui.
Et j'arrive toujours à la même conclusion.
Rust est un retour arrière en terme de langage de programmation.
C'est une sorte de C++ amélioré avec des méthodes de typages pour éviter
des erreurs basiques de C.
Mais on est très loin d'avoir un langage qui puisse utiliser des types
avancés, des preuves, et surtout un feeling de langage fonctionnel.
C'est un langage très bas niveau, mais "hype".