36 lines
1.1 KiB
Org Mode
36 lines
1.1 KiB
Org Mode
|
: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".
|