32 lines
1 KiB
Org Mode
32 lines
1 KiB
Org Mode
#+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 language 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 language qui puisse utiliser des types
|
|
avancés, des preuves, et surtout un feeling de language fonctionnel.
|
|
C'est un language très bas niveau, mais "hype".
|