#+Title:TODO
#+Author: Yann Esposito
#+ARCHIVE: archives/TODO.archive.org::
#+TODO: TODO(t) IN-PROGRESS(p) HOLD(h@/!) WAITING(w@/!) | DONE(d) CANCELED(c@/!) HANDLED(l@/!)
#+COLUMNS: %TODO %3PRIORITY %40ITEM(Task) %CLOCKSUM %8TAGS(TAG)
#+STARTUP: overview

#+begin_comment
SPC o v c => DISPLAY org columns
#+end_comment
* Perso                                                              :perso:
** Dentiste
** Habits                                                           :habit:
*** TODO journal matin                                             :daily:
SCHEDULED: <2020-09-10 Thu 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-09 Wed 09:57]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-09 Wed 09:57]
CLOCK: [2020-09-09 Wed 09:46]--[2020-09-09 Wed 09:57] =>  0:11
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 15:25]
- State "DONE"       from "TODO"       [2020-09-04 Fri 10:18]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:46]
- State "DONE"       from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:14]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:43]
CLOCK: [2020-08-25 Tue 09:39]--[2020-08-25 Tue 09:43] =>  0:04
- State "DONE"       from "TODO"       [2020-08-24 Mon 10:05]
- State "DONE"       from "TODO"       [2020-08-22 Sat 09:22]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:31]
- State "DONE"       from "TODO"       [2020-08-20 Thu 08:23]
- State "CANCELED"   from "TODO"       [2020-08-19 Wed 21:48]
- State "DONE"       from "TODO"       [2020-08-18 Tue 12:06]
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:46]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:09]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:40]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:35]
- State "DONE"       from "TODO"       [2020-07-04 Sat 23:07]
- State "DONE"       from "TODO"       [2020-07-02 Thu 14:18]
- State "CANCELED"   from "TODO"       [2020-06-28 Sun 22:26] \\
  Martigues
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:21]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:08]
- State "DONE"       from "TODO"       [2020-06-23 Tue 16:56]
- State "DONE"       from "TODO"       [2020-06-22 Mon 10:07]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 15:25]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:07]
- State "CANCELED"   from "TODO"       [2020-06-16 Tue 22:38] \\
  forgot
- State "DONE"       from "TODO"       [2020-06-15 Mon 14:05]
- State "DONE"       from "TODO"       [2020-06-14 Sun 13:00]
- State "DONE"       from "TODO"       [2020-06-13 Sat 10:20]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:43]
- State "DONE"       from "TODO"       [2020-06-11 Thu 10:22]
- State "DONE"       from "TODO"       [2020-06-10 Wed 13:06]
- State "CANCELED"   from "TODO"       [2020-06-09 Tue 19:58]
- State "CANCELED"   from "TODO"       [2020-06-07 Sun 23:37]
- State "DONE"       from "TODO"       [2020-06-06 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-05 Fri 09:07]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:42]
- State "DONE"       from "TODO"       [2020-06-03 Wed 22:26]
- State "DONE"       from "TODO"       [2020-06-02 Tue 15:10]
- State "DONE"       from "TODO"       [2020-06-01 Mon 22:23]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:53]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:19]
- State "DONE"       from "TODO"       [2020-05-29 Fri 10:43]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:27]
- State "DONE"       from "TODO"       [2020-05-27 Wed 09:31]
- State "DONE"       from "TODO"       [2020-05-26 Tue 08:25]
- State "DONE"       from "TODO"       [2020-05-25 Mon 10:29]
- State "DONE"       from "TODO"       [2020-05-24 Sun 08:52]
- State "DONE"       from "TODO"       [2020-05-23 Sat 09:11]
- State "DONE"       from "TODO"       [2020-05-22 Fri 21:44]
- State "DONE"       from "TODO"       [2020-05-21 Thu 10:42]
- State "DONE"       from "TODO"       [2020-05-20 Wed 12:07]
- State "DONE"       from "TODO"       [2020-05-19 Tue 16:31]
- State "DONE"       from "TODO"       [2020-05-18 Mon 09:34]
- State "DONE"       from "TODO"       [2020-05-17 Sun 11:10]
- State "DONE"       from "TODO"       [2020-05-16 Sat 14:18]
- State "DONE"       from "TODO"       [2020-05-15 Fri 09:00]
- State "DONE"       from "TODO"       [2020-05-14 Thu 10:18]
- State "DONE"       from "TODO"       [2020-05-13 Wed 10:22]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:45]
:END:
*** TODO d-m                                                       :daily:
SCHEDULED: <2020-09-08 Tue 09:30 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-07 Mon 12:14]
:END:
- State "DONE"       from "TODO"       [2020-06-20 Sat 12:25]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 19:06]
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:43]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:25]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:44]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:26]
- State "DONE"       from "TODO"       [2020-08-20 Thu 09:52]
- State "DONE"       from "TODO"       [2020-08-19 Wed 10:46]
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "DONE"       from "TODO"       [2020-07-04 Sat 09:25]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-06-28 Sun 22:26]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:19]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:05]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:54]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 22:19]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 20:29]
- State "DONE"       from "TODO"       [2020-06-14 Sun 13:00]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
- State "DONE"       from "TODO"       [2020-06-11 Thu 10:22]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:52]
- State "CANCELED"   from "TODO"       [2020-06-09 Tue 19:58]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:55]
- State "DONE"       from "TODO"       [2020-06-07 Sun 23:37]
- State "DONE"       from "TODO"       [2020-06-06 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:56]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:39]
- State "DONE"       from "TODO"       [2020-06-03 Wed 19:47]
- State "DONE"       from "TODO"       [2020-06-02 Tue 15:11]
- State "DONE"       from "TODO"       [2020-06-01 Mon 22:23]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:52]
- State "DONE"       from "TODO"       [2020-05-30 Sat 14:22]
- State "DONE"       from "TODO"       [2020-05-29 Fri 10:36]
- State "DONE"       from "TODO"       [2020-05-28 Thu 09:47]
- State "DONE"       from "TODO"       [2020-05-27 Wed 09:47]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:49]
- State "DONE"       from "TODO"       [2020-05-24 Sun 13:56]
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-22 Fri 21:44]
- State "DONE"       from "TODO"       [2020-05-21 Thu 10:42]
- State "DONE"       from "TODO"       [2020-05-20 Wed 20:28]
- State "DONE"       from "TODO"       [2020-05-19 Tue 13:26]
- State "DONE"       from "TODO"       [2020-05-18 Mon 09:33]
- State "DONE"       from "TODO"       [2020-05-17 Sun 17:17]
- State "DONE"       from "TODO"       [2020-05-16 Sat 23:58]
- State "DONE"       from "TODO"       [2020-05-15 Fri 12:07]
- State "DONE"       from "TODO"       [2020-05-14 Thu 10:47]
- State "DONE"       from "TODO"       [2020-05-13 Wed 10:31]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:45]
:END:
*** TODO d-s                                                       :daily:evening:
SCHEDULED: <2020-08-26 Wed 21:30 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-08-19 Wed 21:44]
:END:
- State "DONE"       from "TODO"       [2020-08-25 Tue 01:18]
- State "DONE"       from "TODO"       [2020-08-10 Mon 21:19]
- State "DONE"       from "TODO"       [2020-06-10 Wed 22:07]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-08-19 Wed 21:44]
- State "DONE"       from "TODO"       [2020-07-04 Sat 23:07]
- State "DONE"       from "TODO"       [2020-07-02 Thu 22:16]
- State "DONE"       from "TODO"       [2020-06-23 Tue 22:48]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 22:20]
- State "DONE"       from "TODO"       [2020-06-17 Wed 23:03]
- State "DONE"       from "TODO"       [2020-06-16 Tue 22:22]
- State "DONE"       from "TODO"       [2020-06-15 Mon 21:32]
- State "DONE"       from "TODO"       [2020-06-14 Sun 23:59]
- State "DONE"       from "TODO"       [2020-06-12 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-11 Thu 23:44]
- State "DONE"       from "TODO"       [2020-06-09 Tue 22:22]
- State "DONE"       from "TODO"       [2020-06-07 Sun 23:37]
- State "DONE"       from "TODO"       [2020-06-06 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-05 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-04 Thu 23:05]
- State "DONE"       from "TODO"       [2020-06-03 Wed 22:27]
- State "DONE"       from "TODO"       [2020-06-02 Tue 22:11]
- State "DONE"       from "TODO"       [2020-06-01 Mon 22:23]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:52]
- State "DONE"       from "TODO"       [2020-05-30 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:31]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:27]
- State "DONE"       from "TODO"       [2020-05-27 Wed 21:47]
- State "DONE"       from "TODO"       [2020-05-26 Tue 23:16]
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-22 Fri 09:00]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:49]
- State "DONE"       from "TODO"       [2020-05-19 Tue 22:04]
- State "DONE"       from "TODO"       [2020-05-18 Mon 20:52]
- State "DONE"       from "TODO"       [2020-05-17 Sun 23:59]
- State "DONE"       from "TODO"       [2020-05-16 Sat 00:15]
- State "DONE"       from "TODO"       [2020-05-13 Wed 21:18]
:END:
*** TODO journal soir                                              :daily:evening:
SCHEDULED: <2020-08-26 Wed 22:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-08-19 Wed 21:48]
:END:
- State "DONE"       from "TODO"       [2020-08-25 Tue 01:18]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-08-19 Wed 21:48]
- State "DONE"       from "TODO"       [2020-07-07 Tue 23:41]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-17 Wed 23:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 22:38]
- State "DONE"       from "TODO"       [2020-06-12 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-11 Thu 23:44]
- State "DONE"       from "TODO"       [2020-06-09 Tue 22:23]
- State "DONE"       from "TODO"       [2020-06-07 Sun 23:39]
- State "DONE"       from "TODO"       [2020-06-04 Thu 23:07]
- State "DONE"       from "TODO"       [2020-06-02 Tue 23:57]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:59]
- State "DONE"       from "TODO"       [2020-05-30 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:39]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:27]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:39]
- State "DONE"       from "TODO"       [2020-05-26 Tue 23:39]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:57]
- State "DONE"       from "TODO"       [2020-05-23 Sat 08:45]
- State "DONE"       from "TODO"       [2020-05-22 Fri 21:44]
- State "DONE"       from "TODO"       [2020-05-19 Tue 22:48]
- State "DONE"       from "TODO"       [2020-05-17 Sun 23:59]
- State "DONE"       from "TODO"       [2020-05-16 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-15 Fri 23:59]
- State "DONE"       from "TODO"       [2020-05-13 Wed 23:57]
- State "DONE"       from "TODO"       [2020-05-12 Tue 23:28]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:37]
:END:
*** TODO org-fc-review =SPC y f r=                                 :daily:
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
CLOCK: [2020-09-09 Wed 09:57]
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "DONE"       from "TODO"       [2020-09-04 Fri 10:20]
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-25 Tue 01:18]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:45]
- State "DONE"       from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:08]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:43]
- State "DONE"       from "TODO"       [2020-08-22 Sat 09:18]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:25]
- State "DONE"       from "TODO"       [2020-08-20 Thu 08:21]
- State "DONE"       from "TODO"       [2020-08-19 Wed 11:00]
- State "DONE"       from "TODO"       [2020-08-18 Tue 12:06]
- State "DONE"       from "TODO"       [2020-08-17 Mon 10:16]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "DONE"       from "TODO"       [2020-08-12 Wed 09:32]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:53]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:08]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:38]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:39]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-07-02 Thu 14:49]
- State "DONE"       from "TODO"       [2020-06-29 Mon 13:44]
- State "DONE"       from "TODO"       [2020-06-28 Sun 22:28]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:21]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:08]
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "DONE"       from "TODO"       [2020-06-22 Mon 10:07]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:59]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 15:29]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:31]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:28]
- State "DONE"       from "TODO"       [2020-06-14 Sun 10:22]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:41]
- State "DONE"       from "TODO"       [2020-06-11 Thu 23:44]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:58]
- State "DONE"       from "TODO"       [2020-06-09 Tue 20:00]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:56]
- State "DONE"       from "TODO"       [2020-06-07 Sun 11:14]
- State "DONE"       from "TODO"       [2020-06-06 Sat 10:48]
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:57]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:42]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:12]
- State "DONE"       from "TODO"       [2020-06-02 Tue 21:30]
- State "DONE"       from "TODO"       [2020-06-01 Mon 16:06]
- State "DONE"       from "TODO"       [2020-05-31 Sun 12:00]
- State "DONE"       from "TODO"       [2020-05-30 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:31]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:29]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:33]
- State "DONE"       from "TODO"       [2020-05-26 Tue 23:17]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:50]
- State "DONE"       from "TODO"       [2020-05-24 Sun 15:09]
- State "DONE"       from "TODO"       [2020-05-23 Sat 09:38]
:END:
*** TODO weight                                                    :daily:
SCHEDULED: <2020-09-08 Tue 09:00 .+1d/3d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-07 Mon 15:26]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-07 Mon 15:26]
- State "DONE"       from "TODO"       [2020-09-05 Sat 10:10]
- State "CANCELED"   from "TODO"       [2020-09-03 Thu 14:31]
- State "CANCELED"   from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:45]
- State "CANCELED"   from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:15]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:25]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:44]
- State "CANCELED"   from "TODO"       [2020-08-22 Sat 13:51]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:26]
- State "DONE"       from "TODO"       [2020-08-20 Thu 09:45]
- State "DONE"       from "TODO"       [2020-08-19 Wed 10:46]
- State "CANCELED"   from "TODO"       [2020-08-18 Tue 12:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:07]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:20]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-06-29 Mon 13:43]
- State "CANCELED"   from "TODO"       [2020-06-28 Sun 22:26] \\
  Martigues
- State "CANCELED"   from "TODO"       [2020-06-27 Sat 14:19] \\
  martigues
- State "DONE"       from "TODO"       [2020-06-25 Thu 15:15]
- State "CANCELED"   from "TODO"       [2020-06-24 Wed 18:05] \\
  forgot
- State "DONE"       from "TODO"       [2020-06-23 Tue 16:57]
- State "DONE"       from "TODO"       [2020-06-22 Mon 09:42]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:54]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 10:50]
- State "DONE"       from "TODO"       [2020-06-18 Thu 11:12]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:27]
- State "DONE"       from "TODO"       [2020-06-14 Sun 10:15]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:37]
- State "DONE"       from "TODO"       [2020-06-11 Thu 09:56]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:50]
- State "CANCELED"   from "TODO"       [2020-06-09 Tue 19:58]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:55]
- State "CANCELED"   from "TODO"       [2020-06-07 Sun 11:14]
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:47] \\
  week-end Martigues
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:56]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:39]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:11]
- State "DONE"       from "TODO"       [2020-06-02 Tue 11:23]
- State "DONE"       from "TODO"       [2020-06-01 Mon 16:05]
- State "DONE"       from "TODO"       [2020-05-31 Sun 11:46]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:31]
- State "DONE"       from "TODO"       [2020-05-28 Thu 09:47]
- State "DONE"       from "TODO"       [2020-05-27 Wed 09:32]
- State "DONE"       from "TODO"       [2020-05-26 Tue 10:00]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:49]
- State "DONE"       from "TODO"       [2020-05-24 Sun 10:28]
- State "CANCELED"   from "TODO"       [2020-05-23 Sat 23:59] \\
  not today
:END:

#+NAME: body-data
| Date             | Weight | Graph   |
|------------------+--------+---------|
| [2020-05-23 Sat] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-24 Sun] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-25 Mon] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-26 Tue] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-27 Wed] |     70 | ▉▉▉▉▉▉  |
| [2020-05-27 Wed] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-05-30 Sat] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-01 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-05-31 Sun] |     70 | ▉▉▉▉▉▉  |
| [2020-06-01 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-06-02 Tue] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-03 Wed] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-04 Thu] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-05 Fri] |     70 | ▉▉▉▉▉▉  |
| [2020-06-08 Mon] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-10 Wed] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-11 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-06-12 Fri] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-13 Sat] |     71 | ▉▉▉▉▉▉▌ |
| [2020-06-14 Sun] |     70 | ▉▉▉▉▉▉  |
| [2020-06-15 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-06-16 Tue] |     70 | ▉▉▉▉▉▉  |
| [2020-06-17 Wed] |     70 | ▉▉▉▉▉▉  |
| [2020-06-18 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-06-19 Fri] |     70 | ▉▉▉▉▉▉  |
| [2020-06-20 Sat] |     70 | ▉▉▉▉▉▉  |
| [2020-06-21 Sun] |     70 | ▉▉▉▉▉▉  |
| [2020-06-22 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-06-23 Tue] |     70 | ▉▉▉▉▉▉  |
| [2020-06-25 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-06-29 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-07-02 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-07-07 Tue] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-07-09 Thu] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-08-10 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-11 Tue] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-17 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-19 Wed] |     70 | ▉▉▉▉▉▉  |
| [2020-08-20 Thu] |     69 | ▉▉▉▉▉▍  |
| [2020-08-21 Fri] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-24 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-25 Tue] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-27 Thu] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-30 Sun] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-31 Mon] |     69 | ▉▉▉▉▉▍  |
| [2020-09-04 Fri] |     70 | ▉▉▉▉▉▉  |
| [2020-09-05 Sat] |     70 | ▉▉▉▉▉▉  |
#+TBLFM: $3='(orgtbl-uc-draw-grid $2 60 80)
*** TODO floss                                                     :evening:
SCHEDULED: <2020-08-15 Sat 21:30 .+1d/3d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-08-14 Fri 11:25]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "CANCELED"   from "TODO"       [2020-06-05 Fri 23:59] \\
  week-end Martigues
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:12]
- State "DONE"       from "TODO"       [2020-06-02 Tue 23:56]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:31]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:35]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:50]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:49]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:49]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:45]
:END:
*** TODO Pass time to write the text of some blog post/essay       :blog:
SCHEDULED: <2020-08-22 Sat .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-06-15 Mon 00:43]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-06-14 Sun 23:59]
:END:
[2020-06-13 Sat 14:26]
** Médicaments                                                      :health:
** TODO Check [[file:inbox.org::*Maybe][Maybe]] TODO list (SPC y o s :maybe:)
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:LAST_REPEAT: [2020-09-01 Tue 19:07]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-01 Tue 19:07]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:24]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:53]
:END:
[2020-06-13 Sat 12:47]
** TODO Check Reading List (bonus write note)
SCHEDULED: <2020-09-10 Thu .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-03 Thu 14:32]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:32]
- State "DONE"       from "TODO"       [2020-08-19 Wed 22:12]
:END:
** IN-PROGRESS Chercher un mantra positif (pas meditatif)           :maybe:
SCHEDULED: <2020-08-25 Tue 21:30>
:LOGBOOK:
CLOCK: [2020-08-27 Thu 10:39]--[2020-08-27 Thu 10:56] =>  0:17
:END:
[2020-08-14 Fri 14:12]

#+begin_quote
Le plaisir se ramasse,
la joie se cueille,
le bonheur se cultive.

 -- Bouddha
#+end_quote

#+begin_quote
Je suis la personne qui décide de tout ce que je fais et j'ai toujours le
choix.
#+end_quote

#+begin_quote
Life is 10% what happens to me and 90% how I react to it.
 -- Charles Swindoll
#+end_quote

#+begin_quote
To handle yourself, use your head; to handle others, use your heart.
 -- Eleanor Roosevelt
#+end_quote

#+begin_quote
Too many of us are not living our dreams because we are living our fears.
 -- Les Brown
#+end_quote

#+begin_quote
Strive not to be a success, but rather to be of value.
 -- Albert Einstein
#+end_quote

#+begin_quote
The most common way people give up their power is by thinking they don’t
have any.
 -- Alice Walker
#+end_quote

#+begin_quote
Remember that not getting what you want is sometimes a wonderful stroke of
luck.
 -- Dalai Lama
#+end_quote

#+begin_quote
I have been impressed with the urgency of doing.
Knowing is not enough; we must apply.
Being willing is not enough; we must do.
 -- Leonardo da Vinci
#+end_quote
*** TODO Ecrire une quote aléatoire parmi différents mantra dans org-journal
** TODO English Teacher at italki.com
SCHEDULED: <2020-10-01 Thu>
[2020-08-21 Fri 10:56]
** HANDLED [#B] Envoyer les factures au CE
SCHEDULED: <2020-09-01 Tue 11:00>
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-04 Fri 10:16] \\
  Krystelle envoie les lettres.
:END:
[2020-09-01 Tue 10:18]
ref :: https://intranet.cse-cisco.com/user/cse-faq/5/questions

Envoyer par courrier au CSE:

Cisco Systems, CSE
1, rue Camille Desmoulins
92782 Issy les Moulineaux
Cedex 9

*** Lettre CSE

Bonjour,

Voici les originaux des factures des hôtels où je suis allé cet été.
J'aurai aimé pouvoir bénéficier du PME.

Bonne journée,

Yann.

yaesposi@cisco.com

* Famille                                                            :family:
** TODO Certificat Ophtalmo en Anglais Bastien                      :bastien:
DEADLINE: <2020-12-10 Thu>
[2020-05-23 Sat 10:28]
** Daily                                                            :daily:
*** TODO lit + aerer
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "DONE"       from "TODO"       [2020-09-05 Sat 10:09]
- State "HANDLED"    from "TODO"       [2020-09-04 Fri 10:20] \\
  K
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 09:28]
- State "DONE"       from "TODO"       [2020-08-15 Sat 11:02]
- State "DONE"       from "TODO"       [2020-06-20 Sat 12:25]
- State "DONE"       from "TODO"       [2020-06-11 Thu 08:48]
- State "HANDLED"    from "TODO"       [2020-08-27 Thu 10:15] \\
  K
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:42]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:24]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:43]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:26]
- State "DONE"       from "TODO"       [2020-08-20 Thu 09:52]
- State "DONE"       from "TODO"       [2020-08-19 Wed 10:46]
- State "DONE"       from "TODO"       [2020-08-18 Tue 21:21]
- State "HANDLED"    from "TODO"       [2020-08-17 Mon 11:34] \\
  K
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:24]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:07]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:38]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:37] \\
  K
- State "DONE"       from "TODO"       [2020-07-04 Sat 09:24]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-06-30 Tue 11:26]
- State "CANCELED"   from "TODO"       [2020-06-29 Mon 13:42] \\
  K
- State "DONE"       from "TODO"       [2020-06-28 Sun 22:26]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:19]
- State "HANDLED"    from "TODO"       [2020-06-24 Wed 18:05] \\
  K
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "DONE"       from "TODO"       [2020-06-22 Mon 09:42]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:53]
- State "DONE"       from "TODO"       [2020-06-19 Fri 10:50]
- State "HANDLED"    from "TODO"       [2020-06-18 Thu 15:25] \\
  K
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "HANDLED"    from "TODO"       [2020-06-16 Tue 10:30] \\
  Krystelle
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 14:05] \\
  Krystelle
- State "DONE"       from "TODO"       [2020-06-14 Sun 10:15]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:31]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:37]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:49]
- State "DONE"       from "TODO"       [2020-06-09 Tue 19:58]
- State "HANDLED"    from "TODO"       [2020-06-08 Mon 10:54] \\
  K
- State "CANCELED"  from "TODO"       [2020-06-07 Sun 09:48]
- State "DONE"       from "TODO"       [2020-06-06 Sat 10:47]
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:55]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:38]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:11]
- State "DONE"       from "TODO"       [2020-06-02 Tue 11:18]
- State "DONE"       from "TODO"       [2020-06-01 Mon 12:20]
- State "DONE"       from "TODO"       [2020-05-31 Sun 11:40]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:19]
- State "CANCELED"   from "TODO"       [2020-05-29 Fri 10:36] \\
  fait par Krystelle
- State "CANCELED"   from "TODO"       [2020-05-28 Thu 09:46] \\
  fait par Krystelle
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:31]
- State "DONE"       from "TODO"       [2020-05-26 Tue 09:59]
- State "DONE"       from "TODO"       [2020-05-25 Mon 10:29]
:END:
[2020-05-23 Sat 10:08]
*** TODO Sortir Oslo matin
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "HANDLED"    from "TODO"       [2020-09-05 Sat 10:09] \\
  K
- State "HANDLED"    from "TODO"       [2020-09-04 Fri 10:20] \\
  K
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
- State "HANDLED"    from "TODO"       [2020-08-15 Sat 11:04]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:45]
- State "DONE"       from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:14]
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:43]
- State "HANDLED"    from "TODO"       [2020-08-25 Tue 09:24] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-22 Sat 13:51] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-21 Fri 15:26] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-20 Thu 09:44] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-19 Wed 10:46] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-18 Tue 12:06] \\
  K
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "DONE"       from "TODO"       [2020-08-12 Wed 09:32]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:46]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:07]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:38]
- State "DONE"       from "TODO"       [2020-06-20 Sat 12:25]
- State "DONE"       from "TODO"       [2020-06-11 Thu 08:48]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:38]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:38]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:19]
- State "DONE"       from "TODO"       [2020-07-04 Sat 09:24]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:41]
- State "DONE"       from "TODO"       [2020-06-30 Tue 11:26]
- State "DONE"       from "TODO"       [2020-06-29 Mon 23:44]
- State "DONE"       from "TODO"       [2020-06-29 Mon 13:42]
- State "CANCELED"   from "TODO"       [2020-06-28 Sun 22:26] \\
  Martigues
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:19]
- State "DONE"       from "TODO"       [2020-06-25 Thu 15:15]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:05]
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "DONE"       from "TODO"       [2020-06-22 Mon 09:42]
- State "HANDLED"    from "TODO"       [2020-06-21 Sun 15:53] \\
  K
- State "DONE"       from "TODO"       [2020-06-19 Fri 10:50]
- State "DONE"       from "TODO"       [2020-06-18 Thu 11:11]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:27]
- State "HANDLED"    from "TODO"       [2020-06-14 Sun 10:14] \\
  Bastien
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:31]
CLOCK: [2020-06-13 Sat 08:58]--[2020-06-13 Sat 09:18] =>  0:20
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:37]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:54]
- State "CANCELED"  from "TODO"       [2020-06-07 Sun 09:48]
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:47] \\
  week-end Martigues
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:55]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:38]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:11]
- State "DONE"       from "TODO"       [2020-06-02 Tue 11:18]
- State "DONE"       from "TODO"       [2020-06-01 Mon 12:20]
- State "DONE"       from "TODO"       [2020-05-31 Sun 11:40]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:31]
- State "DONE"       from "TODO"       [2020-05-29 Fri 10:36]
- State "DONE"       from "TODO"       [2020-05-28 Thu 09:46]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:31]
- State "DONE"       from "TODO"       [2020-05-26 Tue 09:59]
- State "DONE"       from "TODO"       [2020-05-25 Mon 10:20]
- State "CANCELED"   from "TODO"       [2020-05-24 Sun 08:58] \\
  Bastien amène le chien avec Marie.
- State "DONE"       from "TODO"       [2020-05-23 Sat 09:34]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:49]
- State "DONE"       from "TODO"       [2020-06-09 Tue 12:38]
CLOCK: [2020-05-23 Sat 09:23]--[2020-05-23 Sat 09:33] => 00:10
:END:
[2020-05-23 Sat 09:22]
** Weekly                                                           :weekly:
*** TODO litieres
DEADLINE: <2020-09-05 Sat .+2w -1d>
:PROPERTIES:
:LAST_REPEAT: [2020-08-22 Sat 09:18]
:STYLE:    habit
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-06-08 Mon 23:00]
- State "DONE"       from "TODO"       [2020-05-19 Tue 22:04]
- State "DONE"       from "TODO"       [2020-08-22 Sat 09:18]
- State "DONE"       from "TODO"       [2020-06-21 Sun 16:00]
- State "CANCELED"   from "TODO"       [2020-06-15 Mon 10:28] \\
  Done not so long ago
:END:
*** TODO check poubelle
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:07]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-04 Sat 23:07]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:22]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
:END:
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:48] \\
  Week-end Martigues
- State "DONE"       from "TODO"       [2020-05-30 Sat 14:22]
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:12]
*** TODO changer les draps
SCHEDULED: <2020-09-10 Thu .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-03 Thu 14:32]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-03 Thu 14:32]
- State "HANDLED"    from "TODO"       [2020-08-26 Wed 17:42] \\
  K
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:53]
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 10:28] \\
  Krystelle
:END:
- State "CANCELED"   from "TODO"       [2020-06-07 Sun 11:14] \\
  week-end Martigues
- State "CANCELED"   from "TODO"       [2020-05-31 Sun 11:47] \\
  Fait par K hier
[2020-05-23 Sat 10:13]
*** TODO vider petites poubelles
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:07]
:END:
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:32]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:20]
- State "DONE"       from "TODO"       [2020-06-10 Wed 21:54]
:END:
- State "HANDLED"    from "TODO"       [2020-05-31 Sun 23:53] \\
  deja vides
[2020-05-23 Sat 10:14]
*** TODO recyclage
SCHEDULED: <2020-09-02 Wed .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-08-26 Wed 17:43]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:43]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-06-18 Thu 15:29]
- State "DONE"       from "TODO"       [2020-06-10 Wed 12:50]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:59]
:END:
[2020-05-23 Sat 10:14]
*** TODO bouteilles
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:07]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "HANDLED"    from "TODO"       [2020-06-10 Wed 21:54] \\
  Krystelle
- State "DONE"       from "TODO"       [2020-06-10 Wed 21:54]
:END:
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:59]
[2020-05-23 Sat 10:14]
*** TODO serpillière <15m
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:06]
:END:
- State "DONE"       from "TODO"       [2020-08-15 Sat 11:03]
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:06] \\
  K
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:35] \\
  K
- State "HANDLED"    from "TODO"       [2020-06-13 Sat 14:13] \\
  Krystelle
:END:
- State "HANDLED"    from "HOLD"       [2020-06-01 Mon 22:24] \\
  Anna
- State "CANCELED"   from "TODO"       [2020-05-25 Mon 21:50] \\
  not today
[2020-05-23 Sat 10:15]
*** TODO papiers/buffers 10min
SCHEDULED: <2020-09-10 Thu .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-03 Thu 14:32]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:32]
- State "DONE"       from "TODO"       [2020-08-19 Wed 22:12]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 18:39] \\
  Krystelle
:END:
- State "DONE"       from "TODO"       [2020-06-08 Mon 20:12]
- State "DONE"       from "TODO"       [2020-06-01 Mon 16:06]
[2020-05-23 Sat 10:19]
*** TODO faire les menus
SCHEDULED: <2020-09-10 Thu .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-03 Thu 14:32]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:32]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:32]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:26]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "DONE"       from "TODO"       [2020-06-21 Sun 16:00]
- State "HANDLED"    from "HOLD"       [2020-06-13 Sat 14:13] \\
  Krystelle avec les enfants.
:END:
- State "HOLD"       from "TODO"       [2020-06-05 Fri 10:57] \\
  On a encore ce qu'il faut. On va à Martigues.
- State "DONE"       from "WAITING"    [2020-05-29 Fri 14:46]
- State "WAITING"    from "TODO"       [2020-05-25 Mon 21:52] \\
  maybe tomorrow
[2020-05-23 Sat 10:21]
*** TODO faire les courses
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:07]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:59]
- State "HANDLED"    from "TODO"       [2020-06-13 Sat 09:33] \\
  en partie
:END:
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:57]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:01]
[2020-05-23 Sat 10:22]
*** TODO nettoyer frigo - 5m
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:07]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:00]
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:07]
- State "HANDLED"    from "TODO"       [2020-08-17 Mon 12:17] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:54]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 10:28] \\
  Krystelle
:END:
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:48] \\
  Week-end Martigues
- State "CANCELED"   from "TODO"       [2020-05-30 Sat 23:59] \\
  K
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:23]
*** TODO bricolage - si besoin
SCHEDULED: <2020-09-08 Tue .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-01 Tue 10:07]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:18]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:19]
- State "CANCELED"   from "TODO"       [2020-06-29 Mon 13:44] \\
  Week-end Martigues
- State "DONE"       from "TODO"       [2020-06-22 Mon 10:07]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:28]
:END:
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:48] \\
  | position | ease | box | interval | due                  |
  |----------+------+-----+----------+----------------------|
  | front    | 2.50 |   1 |     0.01 | 2020-06-05T09:11:17Z |
- State "CANCELED"   from "TODO"       [2020-05-30 Sat 23:59] \\
  pas besoin
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:24]
** Yearly                                                           :yearly:
*** TODO [#A] revision chaudiere
DEADLINE: <2021-02-15 Mon +1y -2w>
[2020-05-23 Sat 10:26]
*** TODO vaccination leichmaniose Oslo
DEADLINE: <2021-01-20 Wed +1y>
[2020-05-23 Sat 10:27]
*** TODO Nettoyage barbecue
SCHEDULED: <2020-10-15 Thu +1y>
[2020-05-23 Sat 10:32]
*** TODO [#A] Cadeau Rencontre Krystelle (1995)                    :yearly:
DEADLINE: <2021-04-08 Sun +1y -2w>
*** TODO [#A] Cadeau Mariage Krystelle (2000)                      :yearly:
DEADLINE: <2021-08-12 Thu +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2020-08-10 Mon 12:19]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-08-10 Mon 12:19]
:END:
*** TODO [#A] Cadeau Anniversaire Krystelle                        :yearly:
DEADLINE: <2021-04-26 Sun +1y -2w>
*** Fête des mères
**** [2020-06-07 Sun]
**** [2021-05-30 Sun]
***** TODO [#A] Acheter cadeau fête des mères Krystelle          :krystelle:
DEADLINE: <2021-05-30 Sun -2w>
***** TODO [#A] Acheter cadeau fête des mères Maman
DEADLINE: <2021-05-30 Sun -2w>
**** [2022-06-07 Tue]
***** TODO [#A] Acheter cadeau fête des mères Krystelle          :krystelle:
DEADLINE: <2022-05-29 Sun -2w>
***** TODO [#A] Acheter cadeau fête des mères Maman
DEADLINE: <2022-05-30 Mon -2w>
** IN-PROGRESS Dossier Krystelle                                    :family:
:LOGBOOK:
CLOCK: [2020-09-01 Tue 11:50]--[2020-09-01 Tue 12:01] =>  0:11
:END:
[2020-09-01 Tue 11:25]
** IN-PROGRESS S'inscrire aux Paniers
:LOGBOOK:
CLOCK: [2020-09-01 Tue 12:02]--[2020-09-01 Tue 12:08] =>  0:06
:END:
[2020-09-01 Tue 12:02]
** TODO [#A] Appeler papa
SCHEDULED: <2020-08-25 Tue 12:00>
[2020-08-25 Tue 08:40]
** DONE [#A] Appeler l'auto école pour le permis de Bastien le 14
DEADLINE: <2020-09-08 Tue 16:00>
[2020-09-04 Fri 09:37]
tel: +33493643007
** IN-PROGRESS support famille
:LOGBOOK:
CLOCK: [2020-09-07 Mon 10:20]--[2020-09-07 Mon 10:20] =>  0:00
:END:
[2020-09-07 Mon 11:09]
** DONE Payer les impots (les trops perçus de Krystelle)
DEADLINE: <2020-09-07 Mon>
:LOGBOOK:
CLOCK: [2020-09-07 Mon 14:05]--[2020-09-07 Mon 14:13] =>  0:08
:END:
[2020-09-07 Mon 12:17]
** DONE facture opération dents de sagesses Anna
DEADLINE: <2020-09-07 Mon>
:LOGBOOK:
CLOCK: [2020-09-07 Mon 15:49]--[2020-09-07 Mon 16:24] =>  0:35
:END:
[2020-09-07 Mon 15:37]
* Work                                                               :work:
** DONE Request Facebook discussion
:LOGBOOK:
- State "DONE"       from "WAITING"    [2020-09-04 Fri 09:43]
- State "WAITING"    from "HOLD"       [2020-09-04 Fri 09:43]
- State "HOLD"       from "IN-PROGRESS" [2020-09-04 Fri 09:43]
:END:
Hello from Facebook London

Hi yann, I work on the senior engineering
recruiting team here @Facebook and I would love to speak with you about
engineering opportunities in our London office if that is something you
would be interested in?

In case you were not aware, there is currently a huge wave of expansion
happening within our flagship engineering org in London where we look after
products such as WhatsApp and Workplace.
We recently announced that we will be hiring over 1,000 roles into London
so it is exciting times ahead!
Your extensive experience combined with your solid academics makes you
someone we would love to speak with!

Although things are a bit hectic in the world due to COVID-19, we at
Facebook are still working at building a great product.
We have been fortunate enough to not be overly affected as a company and
strive to keep going to reach our goals from both a recruitment and
company's perspective.
From a personal point of view I also hope you and your loved ones are
staying safe during such a trying time.

Would you be interested in having a casual chat about the role?
(No strings attached).
I can walk you through the position and projects in detail and give you the
overall scope and impact you would make within the team if that sounds
good?.

Looking forward to your response!

Stephen
*** DONE Answer FB London work proposal
CLOSED: [2020-08-27 Thu 10:36]
:LOGBOOK:
CLOCK: [2020-08-27 Thu 10:25]--[2020-08-27 Thu 10:36] =>  0:11
:END:

Hello Stephen.

This is good to hear that Facebook is still hiring.
I am not 100% sure I would be interested because I currently have a full
remote position with a French contract.
Also the team I'm currently working with is great.

Still Facebook is huge and I know work on many stellar projects with lot of
great people involved.

As I said, I am not sure I would be interested in moving to London because
it will affect not only me but my whole family.
So it is up to you, if you think a solution could be worked out then yes I
will gladly have a chat about the role.

Best,

Yann
** DONE Write a small text for SSE about CSA migration
DEADLINE: <2020-09-02 Wed>
:LOGBOOK:
CLOCK: [2020-09-02 Wed 15:00]--[2020-09-02 Wed 15:32] =>  0:32
:END:
[2020-09-01 Tue 21:36]
* [#C] Maybe                                                         :maybe:
** TODO  Jouer à trinity [2020-06-13 Sat 12:45]

- source :: https://en.wikipedia.org/wiki/Trinity_(video_game)
** TODO A List of Foundational Haskell Papers
:PROPERTIES:
:CUSTOM_ID: a-list-of-foundational-haskell-papers
:END:
- source :: https://github.com/cohomolo-gy/haskell-resources/blob/master/README.md
*** History [0/1]
:PROPERTIES:
:CUSTOM_ID: history
:END:

- [ ] [[https://www.iro.umontreal.ca/~monnier/2035/history.pdf][A History of Haskell: being lazy with class]]
*** The Beginning: The Eugenio Moggi Papers [0/4]
:PROPERTIES:
     :CUSTOM_ID: the-beginning-the-eugenio-moggi-papers
     :END:

- [ ] [[https://core.ac.uk/download/pdf/21173011.pdf][Notions of Computations over Monads]]
- [ ] [[https://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf][Computational Lambda Calculus and Monads]]
- [ ] [[http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf][Monads for functional programming]]
- [ ] [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.9361&rep=rep1&type=pdf][The essence of functional programming]]
*** Propositions as Types [0/1]
:PROPERTIES:
:CUSTOM_ID: propositions-as-types
:END:

- [ ] [[https://pdfs.semanticscholar.org/1dc4/2af9a52032fcee178865a6be7ac2f46c9ff4.pdf][Propositions as Types]]
*** Haskell Semantics and Design Spaces [0/13]
:PROPERTIES:
     :CUSTOM_ID: haskell-semantics-and-design-spaces
     :END:

- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf][Semantics]] - [[https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf][How to make ad hoc polymorphism less ad hoc]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1994/04/classhask.pdf][Type Classes]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/multi.pdf][An Exploration of the Design space of Type Classes]]
- [ ] [[http://dreixel.net/research/pdf/gdmh.pdf][A Generic Deriving Mechanism for Haskell]]
- [ ] [[http://edsko.net/pubs/TrueSumsOfProducts.pdf][True Sums of Products]]
- [ ] [[https://www.cs.tufts.edu/comp/150FP/archive/mark-jones/fundeps.pdf][Functional Dependencies]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fhigher-rank%2Fputting.pdf][Rank-n Types]]
- [ ] [[https://web.cecs.pdx.edu/~mpj/thih/thih.pdf][Typing Haskell in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/typefun.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2F%7Esimonpj%2Fpapers%2Fassoc-types%2Ffun-with-type-funs%2Ftypefun.pdf][Type Families]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/at-syns.pdf][Type Families pt. 2]]
- [ ] [[https://ecommons.cornell.edu/bitstream/handle/1813/5614/TR2003-1901.pdf?sequence=1][GADTs]] - [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/first_class_modules.pdf][First Class Modules in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/p53-yorgey.pdf][Kind Promotion]]
- [ ] [[https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf][Kleisli Arrows of Outrageous Fortune]]
*** Under the Hood (Where the sausage is made) [0/7]
:PROPERTIES:
:CUSTOM_ID: under-the-hood-where-the-sausage-is-made
:END:

- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1996/05/float.pdf][Let-floating]]
- [ ] [[https://simonmar.github.io/bib/papers/parallel-gc.pdf][Parallel Garbage Collection]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fmarktoberdorf%2Fmark.pdf][Tackling the Awkward Squad]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1994/06/lazy-functional-state-threads.pdf][Lazy State Threads]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/state-lasc.pdf][General State]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf][The Spineless Tagless G-machine]]
- [ ] [[http://fun.cs.tufts.edu/stream-fusion.pdf][Stream Fusion. From Lists to Streams to Nothing at All]]
*** Type Systems and Lambda Calculi [0/7]
:PROPERTIES:
:CUSTOM_ID: type-systems-and-lambda-calculi
:END:

- [ ] [[http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf][Lambda Calculus with Types]]
- [ ] [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.1889&rep=rep1&type=pdf][The Call by Need Lambda Calculus]]
- [ ] [[https://www.cs.ox.ac.uk/files/293/lazy.pdf][The Lazy Lambda Calculus]]
- [ ] [[http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf][Hindley-Milner Systems]]
- [ ] [[http://soft.vub.ac.be/~cfscholl/Capita-Selecta-2015/papers/2002%20Heeren.pdf][Generalized Hindley-Milner Systems]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fext-f%2Ftldi22-sulzmann-with-appendix.pdf][System F with type equality coercion]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2013/fckinds/fckinds-extended.pdf][System FC with Kind Equality]]
*** Misc Parametricity [1/5]
:PROPERTIES:
:CUSTOM_ID: misc-parametricity
:END:

- [X] [[http://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf][Theorems for Free]]
- [ ] [[http://www.janis-voigtlaender.eu/papers/FreeTheoremsInvolvingTypeConstructorClasses.pdf][Free theorems for TyCons]]
- [ ] [[http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf][Parametric Polymorphism]]
- [ ] [[http://strictlypositive.org/diff.pdf][Type Derivatives and Typed Holes]]
- [ ] [[https://mpg.is/papers/gissurarson2018suggesting.pdf][Suggesting Valid Hole Fits]]
*** Misc TypeChecking + PLT [0/10]
:PROPERTIES:
:CUSTOM_ID: misc-typechecking-plt
:END:

- [ ] [[http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf][Parametric HOAS]]
- [ ] [[http://davidchristiansen.dk/tutorials/bidirectional.pdf][Tutorial on Bidirectional Type Inference]]
- [ ] [[https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf][Tutorial Implementation of Dependent Types]]
- [ ] [[http://www.cs.cmu.edu/~fp/courses/15312-f04/handouts/15-bidirectional.pdf][Pfenning's Notes on Bidirectional Type Inference]]
- [ ] [[https://www.schoolofhaskell.com/user/edwardk/bound][EdK's =bound= Library Comparisons]]
- [ ] [[https://www.cl.cam.ac.uk/~nk480/bidir.pdf][Bidirectional Typechecking for Higher Rank Polymorphism]]
- [ ] [[https://pdfs.semanticscholar.org/8983/233b3dff2c5b94efb31235f62bddc22dc899.pdf][Tutorial Implementation of Hindley-Milner]]
- [ ] [[https://www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99DeBruijn.pdf][De Bruijn Indices]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf][The Stitch Type Checker]]
- [ ] [[https://repository.upenn.edu/cgi/viewcontent.cgi?article=1031&context=cis_reports][Boxes go Bananas]]
*** Functional pearls [0/7]
:PROPERTIES:
:CUSTOM_ID: functional-pearls
:END:

- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/countdown.pdf][The countdown problem]]
- [ ] [[https://www.cs.tufts.edu/~nr/cs257/archive/richard-bird/sudoku.pdf][A program to solve Sudoku]]
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/ccc.pdf][Calculating correct compilers]]
- [ ] [[http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf][Data types a la carte]]
- [ ] [[https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf][Trees that grow]]
- [ ] [[http://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf][I am not a Number, I am a Free Variable!]]
- [ ] [[https://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids_ext.pdf][Notions of Computation as Monoids - Exequiel Rivas, Mauro Jaskelioff]]
*** Algebra of programming [1/6]
:PROPERTIES:
:CUSTOM_ID: algebra-of-programming
:END:

- [X] [[https://maartenfokkinga.github.io/utwente/mmf91m.pdf][Functional programming with Bananas, Lenses, and Barbed Wire]]
- [ ] [[https://www.cs.ox.ac.uk/jeremy.gibbons/publications/origami.pdf][Origami programming]]
- [ ] [[http://moss.cs.iit.edu/cs495/universal-fold.pdf][A tutorial on the universality and expressiveness of fold]]
- [ ] [[https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf][Unifying Structured Recursion Schemes]]
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/bananas.pdf][Bananas in Space]] - [[https://www.cs.ox.ac.uk/people/nicolas.wu/papers/Hylomorphisms.pdf][Conjugate Hylomorphisms]]
- [ ] [[https://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf][Adjoint Folds]]
** TODO [#C] Enhance quality of hosting, switch to NixOS            :geek:
** TODO [#C] Wakatime server clone                                  :idea:geek:
See doc at: https://wakatime.com/developers
** IN-PROGRESS [#B] Write long letter(s) [1/8]
SCHEDULED: <2020-07-19 Sun>
[2020-07-12 Sun 19:40]
source :: https://news.ycombinator.com/item?id=23812288
*** TODO Long Letter to George Varouchas
*** TODO Long Letter to Vincent Vanekere
*** TODO Long Letter to Sarah Zennou
*** TODO Long Letter to Bruno Chapelle
*** TODO Long Letter to Vincent Bernardi
*** DONE Long Letter to Alexandre Delanoë
CLOSED: [2020-08-30 Sun 11:52]
*** TODO Maybe to colleagues
*** TODO Maybe to some interresting people on the Internet
* Geek                                                               :fun:
** TODO [#C] my experience/story about blog post serie [0/12]       :blog:
Explain the story and how I forged some opinions.
A few ideas:

- [ ] scrum
- [ ] text editor
- [ ] colorschemes
- [ ] web development
- [ ] programming languages
- [ ] note taking
- [ ] research
- [ ] cooking
- [ ] weight, sport, fit
- [ ] intelligence, smartness
- [ ] writing
- [ ] reading
*** TODO [#C] how I use nix                                        :blog:
[2020-05-21 Thu 18:48]
- as a better brew + sync local env
- for reproductible dev
- for reproductible shell scripts
- for reproductible haskell dev
- for reproductible purescript dev
*** TODO [#C] how I use org-mode                                   :blog:
**** org-mode for documents
***** org babel (ob-http), scripts, etc...
***** org journal
***** org roam
***** org-fc
**** org-mode for tasks management
***** org agenda
***** org capture
***** org clocking
***** org refile
***** org habit
**** org-mode for note taking
***** org-journal
***** org-roam
***** org-fc
* Films                                                              :film:fun:
** TODO [#C] underrated horror films                                :maybe:
SCHEDULED: <2020-09-26 Sat>
[2020-07-29 Wed 12:19]
https://reddit.com/r/MovieSuggestions/comments/hzxoh3/recommend_a_underrated_horror_film_that_you_think/
** TODO [#C] movie Café Flesh
SCHEDULED: <2020-09-19 Sat>
[2020-07-29 Wed 06:26]
source :: https://reddit.com/r/sorceryofthespectacle/comments/hzkcl8/_/fzkattf/?context=1
source :: https://www.imdb.com/title/tt0083707/
** TODO [#C] Films
SCHEDULED: <2020-08-29 Sat 10:00>
[2020-08-23 Sun 17:33]

ultime souper
the rock
* Memory
:PROPERTIES:
:ID:       1644E007-AFBE-4F4B-9307-B007C60548E8
:END:
** tidal degrade shortcut                                           :fc:tidal:
:PROPERTIES:
:FC_CREATED: 2020-05-21T12:44:44Z
:FC_TYPE:  cloze
:ID:       96343FD2-E7A9-4AAA-A40A-8D048DA340E9
:FC_CLOZE_MAX: -1
:FC_CLOZE_TYPE: single
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
|        0 | 2.35 |   6 |    91.09 | 2020-11-09T15:07:45Z |
:END:

#+begin_src tidal
d1 $ s "[[bg]*4]{{?}@0}"
#+end_src
** How to promote an org-mode entry to an org-fc card?              :fc:org:
:PROPERTIES:
:FC_CREATED: 2020-05-21T13:08:59Z
:FC_TYPE:  normal
:ID:       B72E4288-E96B-4099-8684-37DDF3395C50
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   6 |   120.74 | 2020-12-09T06:43:33Z |
| back     | 2.95 |   6 |   154.63 | 2021-01-12T03:58:13Z |
:END:

=SPC o f . t= or ~org-fc-hydra/body~ then select =t=.
** client TG dans le config.edn                                     :fc:cisco:
:PROPERTIES:
:FC_CREATED: 2020-05-23T17:33:07Z
:FC_TYPE:  normal
:ID:       8B092321-BA1F-47F9-A927-76D2E232CF51
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 3.10 |   6 |   131.51 | 2020-12-20T01:05:32Z |
:END:

Ne pas oublier le client de TG est dans le config.edn
** Searh within org notes                                           :fc:org:
:PROPERTIES:
:FC_CREATED: 2020-06-05T07:09:22Z
:FC_TYPE:  normal
:ID:       49981B50-AFBD-4C93-A9C2-8D88550AB425
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   6 |   117.87 | 2020-12-10T06:14:43Z |
:END:
=helm-org-rifle= (~SPC y o s~)
** update ~[/]~ and ~[%]~ in org mode                               :fc:org:
:PROPERTIES:
:FC_CREATED: 2020-06-13T12:35:49Z
:FC_TYPE:  normal
:ID:       90110976-520D-4B0C-B1D9-3798323C370E
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.50 |   6 |   110.04 | 2020-12-15T09:01:14Z |
:END:

use ~SPC m #~ (~org-update-statistics-cookies~)
** projectile toggle from implementation to test file               :fc:
:PROPERTIES:
:FC_CREATED: 2020-07-02T13:16:56Z
:FC_TYPE:  normal
:ID:       2110820C-4877-40B3-A351-2DEDE0F222C6
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   5 |    38.28 | 2020-10-04T14:46:51Z |
:END:
=SPC p a=
** Create inactive timestmap                                        :fc:org:doom:
:PROPERTIES:
:FC_CREATED: 2020-09-01T10:16:26Z
:FC_TYPE:  normal
:ID:       a4ebd43b-b589-499e-85e1-7ebea0abf3af
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.50 |   3 |     6.00 | 2020-09-13T10:13:56Z |
:END:
:LOGBOOK:
CLOCK: [2020-09-01 Tue 12:13]--[2020-09-01 Tue 12:13] =>  0:00
:END:
[2020-09-01 Tue 12:13]
~SPC m d T~