deft/inbox.org

1154 lines
51 KiB
Org Mode
Raw Normal View History

2020-05-26 07:38:56 +00:00
#+Title:TODO
#+Author: Yann Esposito
#+ARCHIVE: archives/TODO.archive.org::
2020-06-01 13:59:31 +00:00
#+TODO: TODO(t) IN-PROGRESS(p) HOLD(h@/!) WAITING(w@/!) | DONE(d) CANCELED(c@/!) HANDLED(l@/!)
#+COLUMNS: %TODO %3PRIORITY %40ITEM(Task) %CLOCKSUM %8TAGS(TAG)
2020-06-12 22:49:31 +00:00
#+STARTUP: overview
2020-05-26 07:38:56 +00:00
#+begin_comment
SPC o v c => DISPLAY org columns
#+end_comment
2020-06-18 08:57:43 +00:00
* Obligations Personnelles :perso:
2020-05-26 07:38:56 +00:00
** Dentiste
2020-06-01 13:59:31 +00:00
*** DONE RDV Dentiste
CLOSED: [2020-05-27 Wed 21:47] SCHEDULED: <2020-05-27 Wed 12:00>
2020-06-18 08:57:43 +00:00
** Habits :habit:
2020-06-18 16:56:14 +00:00
*** TODO journal matin :daily:
SCHEDULED: <2020-06-19 Fri 09:00 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 16:56:14 +00:00
:LAST_REPEAT: [2020-06-18 Thu 15:25]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 16:56:14 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 15:25]
2020-06-17 07:10:12 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:07]
2020-06-17 07:05:51 +00:00
- State "CANCELED" from "TODO" [2020-06-16 Tue 22:38] \\
forgot
2020-06-15 13:12:58 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 14:05]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 13:00]
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 10:20]
2020-06-12 22:49:31 +00:00
- 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]
2020-06-09 18:47:34 +00:00
- 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]
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:45:32 +00:00
- State "DONE" from "TODO" [2020-05-26 Tue 08:25]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
:END:
2020-06-18 08:57:43 +00:00
*** TODO d-m :daily:
2020-06-17 07:05:51 +00:00
SCHEDULED: <2020-06-18 Thu 09:30 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-17 07:05:51 +00:00
:LAST_REPEAT: [2020-06-17 Wed 09:04]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:04]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 10:31]
2020-06-15 19:27:11 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 20:29]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 13:00]
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-11 Thu 10:22]
- State "DONE" from "TODO" [2020-06-10 Wed 10:52]
2020-06-09 18:47:34 +00:00
- 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]
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
:END:
2020-06-05 11:34:56 +00:00
*** TODO d-s :daily:
2020-06-18 08:57:43 +00:00
SCHEDULED: <2020-06-18 Thu 21:30 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 08:57:43 +00:00
:LAST_REPEAT: [2020-06-17 Wed 23:03]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-10 Wed 22:07]
:LOGBOOK:
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:03]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:22]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 21:32]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 23:59]
2020-06-12 22:49:31 +00:00
- 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]
2020-06-09 18:47:34 +00:00
- 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]
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
:END:
2020-06-05 11:34:56 +00:00
*** TODO journal soir :daily:
2020-06-18 08:57:43 +00:00
SCHEDULED: <2020-06-18 Thu 22:00 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 08:57:43 +00:00
:LAST_REPEAT: [2020-06-17 Wed 23:04]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:04]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:38]
2020-06-12 22:49:31 +00:00
- 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]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-07 Sun 23:39]
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-04 Thu 23:07]
- State "DONE" from "TODO" [2020-06-02 Tue 23:57]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
:END:
2020-06-18 16:56:14 +00:00
*** TODO [#C] org-fc-review :daily:
SCHEDULED: <2020-06-19 Fri .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 16:56:14 +00:00
:LAST_REPEAT: [2020-06-18 Thu 15:29]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 16:56:14 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 15:29]
2020-06-17 08:33:53 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:31]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 10:31]
2020-06-15 08:37:18 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 10:28]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 10:22]
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
2020-06-12 22:49:31 +00:00
- 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]
2020-06-09 18:47:34 +00:00
- 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]
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
:END:
2020-06-18 12:46:26 +00:00
*** TODO weight :daily:
SCHEDULED: <2020-06-19 Fri 09:00 .+1d/3d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 12:46:26 +00:00
:LAST_REPEAT: [2020-06-18 Thu 11:12]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 12:46:26 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 11:12]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:04]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 10:31]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 10:27]
2020-06-14 08:22:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 10:15]
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
2020-06-12 22:49:31 +00:00
- 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]
2020-06-09 18:47:34 +00:00
- 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
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00: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
2020-06-12 22:49:31 +00:00
:END:
2020-06-01 13:59:31 +00:00
| Date | Weight | Graph |
2020-05-26 07:38:56 +00:00
|------------------+--------+---------|
2020-06-01 13:59:31 +00:00
| [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-05 11:34:56 +00:00
| [2020-06-01 Mon] | 70 | ▉▉▉▉▉▉ |
2020-06-01 13:59:31 +00:00
| [2020-05-31 Sun] | 70 | ▉▉▉▉▉▉ |
2020-06-05 11:34:56 +00:00
| [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-09 18:47:34 +00:00
| [2020-06-08 Mon] | 70.5 | ▉▉▉▉▉▉▎ |
2020-06-12 22:49:31 +00:00
| [2020-06-10 Wed] | 70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-11 Thu] | 70 | ▉▉▉▉▉▉ |
| [2020-06-12 Fri] | 70.5 | ▉▉▉▉▉▉▎ |
2020-06-13 12:01:12 +00:00
| [2020-06-13 Sat] | 71 | ▉▉▉▉▉▉▌ |
2020-06-14 08:22:11 +00:00
| [2020-06-14 Sun] | 70 | ▉▉▉▉▉▉ |
2020-06-15 08:28:11 +00:00
| [2020-06-15 Mon] | 70 | ▉▉▉▉▉▉ |
2020-06-16 08:32:44 +00:00
| [2020-06-16 Tue] | 70 | ▉▉▉▉▉▉ |
2020-06-17 07:05:51 +00:00
| [2020-06-17 Wed] | 70 | ▉▉▉▉▉▉ |
2020-06-18 09:12:23 +00:00
| [2020-06-18 Thu] | 70 | ▉▉▉▉▉▉ |
2020-06-01 13:59:31 +00:00
#+TBLFM: $3='(orgtbl-uc-draw-grid $2 60 80)
2020-05-26 07:38:56 +00:00
*** TODO floss
2020-06-09 18:47:34 +00:00
SCHEDULED: <2020-06-06 Sat .+1d/3d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-09 18:47:34 +00:00
:LAST_REPEAT: [2020-06-06 Sat 00:43]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-09 18:47:34 +00:00
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59] \\
week-end Martigues
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-03 Wed 10:12]
- State "DONE" from "TODO" [2020-06-02 Tue 23:56]
2020-06-01 13:59:31 +00:00
- State "DONE" from "TODO" [2020-05-29 Fri 23:31]
- State "DONE" from "TODO" [2020-05-27 Wed 20:35]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
:END:
2020-06-18 08:57:43 +00:00
*** TODO Pass time to write the text of some blog post/essay :blog:
2020-06-15 08:28:11 +00:00
SCHEDULED: <2020-06-21 Sun .+1w>
2020-06-14 08:22:11 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-15 08:28:11 +00:00
:LAST_REPEAT: [2020-06-15 Mon 00:43]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-06-14 Sun 23:59]
2020-06-14 08:22:11 +00:00
:END:
[2020-06-13 Sat 14:26]
2020-06-18 08:57:43 +00:00
** Médicaments :health:
2020-06-01 13:59:31 +00:00
** TODO Traitement pieds
2020-06-09 18:47:34 +00:00
SCHEDULED: <2020-06-05 Fri +1d>
2020-06-01 13:59:31 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-09 18:47:34 +00:00
:LAST_REPEAT: [2020-06-07 Sun 23:39]
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-07 Sun 23:39]
- State "DONE" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:47] \\
week-end Martigues
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59] \\
week-end Martigues
2020-06-01 13:59:31 +00:00
- 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:01]
2020-06-12 22:49:31 +00:00
:END:
2020-06-13 12:01:12 +00:00
** TODO Check [[file:inbox.org::*Maybe][Maybe]] TODO list
SCHEDULED: <2020-07-13 Mon .+1m>
[2020-06-13 Sat 12:47]
2020-06-18 08:57:43 +00:00
** DONE répondre à Stephane Martin
CLOSED: [2020-06-17 Wed 13:08] DEADLINE: <2020-06-16 Tue>
:LOGBOOK:
CLOCK: [2020-06-17 Wed 12:54]--[2020-06-17 Wed 13:08] => 0:14
:END:
2020-06-16 08:32:44 +00:00
[2020-06-15 Mon 21:26]
ref :: [[notmuch:id:0be00d9d-f008-445e-334a-32491be3d538@stephanemartin.fr][Email from Stephane Martin: Des nouvelles après très longtemps.]]
2020-06-18 16:56:14 +00:00
** TODO [#A] Demander sur la pause de congés
DEADLINE: <2020-06-22 Mon>
[2020-06-18 Thu 18:54]
2020-06-01 13:59:31 +00:00
* Famille :family:
2020-06-18 08:57:43 +00:00
** TODO Révision Twingo :car:
2020-06-09 18:47:34 +00:00
*** DONE Appeler Speedy
CLOSED: [2020-05-28 Thu 15:33]
2020-06-12 22:49:31 +00:00
*** DONE Confirmer RDV Speedy
CLOSED: [2020-06-10 Wed 11:01]
:LOGBOOK:
- State "DONE" from "WAITING" [2020-06-10 Wed 11:01]
2020-06-09 18:47:34 +00:00
- State "WAITING" from "TODO" [2020-05-28 Thu 15:32] \\
attend retour de mail de Speedy
2020-06-12 22:49:31 +00:00
:END:
2020-06-09 18:47:34 +00:00
*** CANCELED Relancer Speedy si mail non reçu
CLOSED: [2020-05-29 Fri 23:01] DEADLINE: <2020-06-04 Thu>
- State "CANCELED" from "TODO" [2020-05-29 Fri 23:01] \\
Ils ont répondu
2020-06-14 08:22:11 +00:00
*** DONE Aller RDV Speedy
CLOSED: [2020-06-13 Sat 14:28]
2020-06-12 22:49:31 +00:00
:LOGBOOK:
- State "IN-PROGRESS" from "WAITING" [2020-06-12 Fri 08:39]
:END:
2020-06-15 13:12:58 +00:00
*** DONE [#A] Prendre RDV Controle Technique
CLOSED: [2020-06-15 Mon 15:10] DEADLINE: <2020-06-15 Mon 14:00>
2020-06-12 22:49:31 +00:00
:LOGBOOK:
- State "TODO" from "WAITING" [2020-06-12 Fri 23:59]
:END:
2020-06-09 18:47:34 +00:00
*** WAITING Aller RDV Controle Technique
2020-06-18 08:57:43 +00:00
** DONE Check video HR Focus declaration revenu :family:
2020-06-12 22:49:31 +00:00
CLOSED: [2020-06-10 Wed 11:01]
2020-06-09 18:47:34 +00:00
[2020-05-19 Tue 10:24]
https://cisco.webex.com/cisco/lsr.php?RCID=3c39ccc4f5da433d90e625fe34173120
** TODO Certificat Ophtalmo en Anglais Bastien :bastien:
DEADLINE: <2020-08-23 Sun>
[2020-05-23 Sat 10:28]
2020-06-18 08:57:43 +00:00
** TODO acheter bouffe animaux :family:
2020-06-09 18:47:34 +00:00
[2020-05-23 Sat 10:25]
2020-06-18 08:57:43 +00:00
** Daily :daily:
2020-05-26 07:38:56 +00:00
*** TODO lit + aerer
2020-06-18 16:56:14 +00:00
SCHEDULED: <2020-06-19 Fri 09:00 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 16:56:14 +00:00
:LAST_REPEAT: [2020-06-18 Thu 15:25]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-11 Thu 08:48]
:LOGBOOK:
2020-06-18 16:56:14 +00:00
- State "HANDLED" from "TODO" [2020-06-18 Thu 15:25] \\
K
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:04]
2020-06-16 08:32:44 +00:00
- State "HANDLED" from "TODO" [2020-06-16 Tue 10:30] \\
Krystelle
2020-06-15 13:12:58 +00:00
- State "HANDLED" from "TODO" [2020-06-15 Mon 14:05] \\
Krystelle
2020-06-14 08:22:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 10:15]
2020-06-13 12:01:12 +00:00
- State "DONE" from "TODO" [2020-06-13 Sat 09:31]
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-12 Fri 08:37]
- State "DONE" from "TODO" [2020-06-10 Wed 10:49]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-09 Tue 19:58]
- State "HANDLED" from "TODO" [2020-06-08 Mon 10:54] \\
K
- State "CANCELLED" from "TODO" [2020-06-07 Sun 09:48]
- State "DONE" from "TODO" [2020-06-06 Sat 10:47]
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-25 Mon 10:29]
2020-06-12 22:49:31 +00:00
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:08]
*** TODO Sortir Oslo matin
2020-06-18 09:12:23 +00:00
SCHEDULED: <2020-06-19 Fri 09:00 +1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 09:12:23 +00:00
:LAST_REPEAT: [2020-06-18 Thu 11:11]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-11 Thu 08:48]
:LOGBOOK:
2020-06-18 09:12:23 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 11:11]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 09:04]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 10:31]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 10:27]
2020-06-14 08:22:11 +00:00
- State "HANDLED" from "TODO" [2020-06-14 Sun 10:14] \\
Bastien
2020-06-13 12:01:12 +00:00
- 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
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-12 Fri 08:37]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-08 Mon 10:54]
- State "CANCELLED" from "TODO" [2020-06-07 Sun 09:48]
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:47] \\
week-end Martigues
2020-06-05 11:34:56 +00:00
- 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]
2020-06-01 13:59:31 +00:00
- 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]
2020-05-26 07:38:56 +00:00
- 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]
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-10 Wed 10:49]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-09 Tue 12:38]
2020-05-26 07:38:56 +00:00
CLOCK: [2020-05-23 Sat 09:23]--[2020-05-23 Sat 09:33] => 00:10
:END:
[2020-05-23 Sat 09:22]
*** TODO nettoyer la cuisine
2020-06-18 08:57:43 +00:00
SCHEDULED: <2020-06-18 Thu 20:30 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 08:57:43 +00:00
:LAST_REPEAT: [2020-06-17 Wed 23:03]
2020-06-09 18:47:34 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:03]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:22]
2020-06-16 08:32:44 +00:00
- State "HANDLED" from "TODO" [2020-06-15 Mon 21:32] \\
pas mangé
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 23:59]
2020-06-12 22:49:31 +00:00
- State "CANCELED" from "TODO" [2020-06-12 Fri 23:59] \\
invité
- State "DONE" from "TODO" [2020-06-11 Thu 23:44]
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-09 Tue 19:59]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "CANCELED" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59] \\
week-end Martigues
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-04 Thu 23:05]
- State "DONE" from "TODO" [2020-06-03 Wed 22:26]
- State "DONE" from "TODO" [2020-06-02 Tue 21:29]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
2020-06-01 13:59:31 +00:00
- State "DONE" from "TODO" [2020-05-31 Sun 23:52]
- State "CANCELED" from "TODO" [2020-05-30 Sat 23:59] \\
Krystelle l'a fait
- State "DONE" from "TODO" [2020-05-29 Fri 10:36]
- State "DONE" from "TODO" [2020-05-28 Thu 23:27]
- State "DONE" from "TODO" [2020-05-27 Wed 20:33]
- State "DONE" from "TODO" [2020-05-26 Tue 23:16]
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
2020-06-12 22:49:31 +00:00
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:10]
*** TODO lancer lave vaisselle soir
2020-06-18 08:57:43 +00:00
SCHEDULED: <2020-06-18 Thu 20:30 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 08:57:43 +00:00
:LAST_REPEAT: [2020-06-17 Wed 23:03]
2020-06-09 18:47:34 +00:00
:END:
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-11 Thu 21:27]
:LOGBOOK:
2020-06-18 08:57:43 +00:00
- State "CANCELED" from "TODO" [2020-06-17 Wed 23:03] \\
invité
- State "CANCELED" from "TODO" [2020-06-17 Wed 23:02] \\
manger chez Guillaume
2020-06-16 08:32:44 +00:00
- State "CANCELED" from "TODO" [2020-06-15 Mon 21:32] \\
pas ce soir
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 23:59]
2020-06-12 22:49:31 +00:00
- State "CANCELED" from "TODO" [2020-06-12 Fri 23:59] \\
invité
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-09 Tue 19:59]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "CANCELED" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59] \\
week-end Martigues
2020-06-05 11:34:56 +00:00
- State "HANDLED" from "TODO" [2020-06-04 Thu 23:05] \\
K dans l'apres midi
- State "CANCELLED" from "TODO" [2020-06-02 Tue 22:11]
- State "CANCELED" from "TODO" [2020-06-01 Mon 22:23] \\
pas plein
2020-06-01 13:59:31 +00:00
- 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 "CANCELED" from "TODO" [2020-05-28 Thu 23:29] \\
vide
- State "CANCELED" from "TODO" [2020-05-27 Wed 20:33] \\
Presque vide
- State "CANCELED" from "TODO" [2020-05-26 Tue 23:16] \\
not today
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
2020-06-12 22:49:31 +00:00
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:09]
*** TODO Sortir Oslo Soir
2020-06-18 08:57:43 +00:00
SCHEDULED: <2020-06-18 Thu 21:00 +1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
2020-06-18 08:57:43 +00:00
:LAST_REPEAT: [2020-06-17 Wed 23:03]
2020-05-26 07:38:56 +00:00
:STYLE: habit
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:03]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:38]
- State "DONE" from "TODO" [2020-06-16 Tue 22:22]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 21:32]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 23:59]
2020-06-12 22:49:31 +00:00
- State "CANCELED" from "TODO" [2020-06-12 Fri 23:59] \\
invité
- State "DONE" from "TODO" [2020-06-11 Thu 23:44]
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
- State "DONE" from "TODO" [2020-06-09 Tue 22:22]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59] \\
week-end Martigues
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-04 Thu 23:05]
- State "HANDLED" from "HOLD" [2020-06-03 Wed 22:26] \\
K & B
- State "DONE" from "TODO" [2020-06-02 Tue 21:29]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
2020-06-01 13:59:31 +00:00
- 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:01]
- 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 21:07]
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-25 Mon 21:51]
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
2020-06-12 22:49:31 +00:00
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 09:23]
*** TODO ranger chaussures
2020-06-18 08:57:43 +00:00
SCHEDULED: <2020-06-18 Thu 21:00 .+1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 08:57:43 +00:00
:LAST_REPEAT: [2020-06-17 Wed 23:03]
2020-06-01 13:59:31 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 08:57:43 +00:00
- State "DONE" from "TODO" [2020-06-17 Wed 23:03]
2020-06-17 07:05:51 +00:00
- State "DONE" from "TODO" [2020-06-16 Tue 22:22]
2020-06-16 08:32:44 +00:00
- State "DONE" from "TODO" [2020-06-15 Mon 21:32]
2020-06-15 08:28:11 +00:00
- State "DONE" from "TODO" [2020-06-14 Sun 23:59]
2020-06-12 22:49:31 +00:00
- 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-10 Wed 21:54]
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-09 Tue 20:00]
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
- State "DONE" from "TODO" [2020-06-07 Sun 23:37]
- State "CANCELED" from "TODO" [2020-06-06 Sat 23:59]
- State "CANCELED" from "TODO" [2020-06-05 Fri 23:59]
2020-06-05 11:34:56 +00:00
- 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 21:29]
- State "DONE" from "TODO" [2020-06-01 Mon 22:23]
2020-06-01 13:59:31 +00:00
- 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:01]
- 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 21:08]
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-25 Mon 21:49]
2020-06-12 22:49:31 +00:00
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:11]
2020-06-18 08:57:43 +00:00
** Weekly :weekly:
2020-05-26 07:38:56 +00:00
*** TODO litieres
2020-06-15 08:37:18 +00:00
DEADLINE: <2020-06-22 Mon .+1w -1d>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
2020-06-15 08:37:18 +00:00
:LAST_REPEAT: [2020-06-15 Mon 10:28]
2020-05-26 07:38:56 +00:00
:STYLE: habit
:END:
2020-06-15 08:37:18 +00:00
:LOGBOOK:
- State "CANCELED" from "TODO" [2020-06-15 Mon 10:28] \\
Done not so long ago
:END:
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-08 Mon 23:00]
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-19 Tue 22:04]
*** TODO check poubelle
2020-06-13 12:01:12 +00:00
SCHEDULED: <2020-06-20 Sat .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-13 12:01:12 +00:00
:LAST_REPEAT: [2020-06-13 Sat 09:32]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-06-13 Sat 09:32]
2020-05-26 07:38:56 +00:00
:END:
2020-06-09 18:47:34 +00:00
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:48] \\
Week-end Martigues
2020-06-01 13:59:31 +00:00
- State "DONE" from "TODO" [2020-05-30 Sat 14:22]
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:12]
*** TODO traitement epice
2020-06-05 11:34:56 +00:00
SCHEDULED: <2020-06-08 Mon .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-05 11:34:56 +00:00
:LAST_REPEAT: [2020-06-01 Mon 22:23]
2020-05-26 07:38:56 +00:00
:END:
2020-06-05 11:34:56 +00:00
- State "CANCELED" from "TODO" [2020-06-01 Mon 22:23] \\
oublie
2020-05-26 07:38:56 +00:00
- State "CANCELED" from "TODO" [2020-05-25 Mon 21:50] \\
not found
[2020-05-23 Sat 10:12]
*** TODO changer les draps
2020-06-15 08:37:18 +00:00
SCHEDULED: <2020-06-22 Mon .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-15 08:37:18 +00:00
:LAST_REPEAT: [2020-06-15 Mon 10:28]
:END:
:LOGBOOK:
- State "HANDLED" from "TODO" [2020-06-15 Mon 10:28] \\
Krystelle
2020-05-26 07:38:56 +00:00
:END:
2020-06-09 18:47:34 +00:00
- State "CANCELED" from "TODO" [2020-06-07 Sun 11:14] \\
week-end Martigues
2020-06-01 13:59:31 +00:00
- State "CANCELED" from "TODO" [2020-05-31 Sun 11:47] \\
Fait par K hier
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:13]
*** TODO vider petites poubelles
2020-06-12 22:49:31 +00:00
SCHEDULED: <2020-06-17 Wed .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-12 22:49:31 +00:00
:LAST_REPEAT: [2020-06-10 Wed 21:54]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
2020-05-26 07:38:56 +00:00
:END:
2020-06-01 13:59:31 +00:00
- State "HANDLED" from "TODO" [2020-05-31 Sun 23:53] \\
deja vides
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:14]
*** TODO recyclage
2020-06-18 16:56:14 +00:00
SCHEDULED: <2020-06-25 Thu .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-18 16:56:14 +00:00
:LAST_REPEAT: [2020-06-18 Thu 15:29]
2020-05-26 07:38:56 +00:00
:END:
2020-06-12 22:49:31 +00:00
:LOGBOOK:
2020-06-18 16:56:14 +00:00
- State "DONE" from "TODO" [2020-06-18 Thu 15:29]
2020-06-12 22:49:31 +00:00
- State "DONE" from "TODO" [2020-06-10 Wed 12:50]
2020-06-01 13:59:31 +00:00
- State "DONE" from "TODO" [2020-05-31 Sun 23:59]
2020-06-12 22:49:31 +00:00
:END:
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:14]
*** TODO bouteilles
2020-06-12 22:49:31 +00:00
SCHEDULED: <2020-06-17 Wed .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-12 22:49:31 +00:00
:LAST_REPEAT: [2020-06-10 Wed 21:54]
:END:
:LOGBOOK:
- State "HANDLED" from "TODO" [2020-06-10 Wed 21:54] \\
Krystelle
- State "DONE" from "TODO" [2020-06-10 Wed 21:54]
2020-05-26 07:38:56 +00:00
:END:
2020-06-01 13:59:31 +00:00
- State "DONE" from "TODO" [2020-05-31 Sun 23:59]
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:14]
*** TODO serpillière <15m
2020-06-14 08:22:11 +00:00
SCHEDULED: <2020-06-20 Sat .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-14 08:22:11 +00:00
:LAST_REPEAT: [2020-06-13 Sat 14:13]
:END:
:LOGBOOK:
- State "HANDLED" from "TODO" [2020-06-13 Sat 14:13] \\
Krystelle
2020-05-26 07:38:56 +00:00
:END:
2020-06-05 11:34:56 +00:00
- State "HANDLED" from "HOLD" [2020-06-01 Mon 22:24] \\
Anna
2020-05-26 07:38:56 +00:00
- State "CANCELED" from "TODO" [2020-05-25 Mon 21:50] \\
not today
[2020-05-23 Sat 10:15]
*** TODO papiers/buffers 10min
2020-06-15 19:27:11 +00:00
SCHEDULED: <2020-06-22 Mon .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-15 19:27:11 +00:00
:LAST_REPEAT: [2020-06-15 Mon 18:39]
:END:
:LOGBOOK:
- State "HANDLED" from "TODO" [2020-06-15 Mon 18:39] \\
Krystelle
2020-05-26 07:38:56 +00:00
:END:
2020-06-09 18:47:34 +00:00
- State "DONE" from "TODO" [2020-06-08 Mon 20:12]
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-01 Mon 16:06]
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:19]
2020-06-14 08:22:11 +00:00
*** TODO faire les menus
SCHEDULED: <2020-06-20 Sat .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-14 08:22:11 +00:00
:LAST_REPEAT: [2020-06-13 Sat 14:13]
:END:
:LOGBOOK:
- State "HANDLED" from "HOLD" [2020-06-13 Sat 14:13] \\
Krystelle avec les enfants.
2020-05-26 07:38:56 +00:00
:END:
2020-06-05 11:34:56 +00:00
- State "HOLD" from "TODO" [2020-06-05 Fri 10:57] \\
On a encore ce qu'il faut. On va à Martigues.
2020-06-01 13:59:31 +00:00
- State "DONE" from "WAITING" [2020-05-29 Fri 14:46]
2020-05-26 07:38:56 +00:00
- State "WAITING" from "TODO" [2020-05-25 Mon 21:52] \\
maybe tomorrow
[2020-05-23 Sat 10:21]
*** TODO faire les coursee
2020-06-13 12:01:12 +00:00
SCHEDULED: <2020-06-20 Sat .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-13 12:01:12 +00:00
:LAST_REPEAT: [2020-06-13 Sat 09:33]
:END:
:LOGBOOK:
- State "HANDLED" from "TODO" [2020-06-13 Sat 09:33] \\
en partie
2020-05-26 07:38:56 +00:00
:END:
2020-06-05 11:34:56 +00:00
- State "DONE" from "TODO" [2020-06-05 Fri 10:57]
2020-06-01 13:59:31 +00:00
- State "DONE" from "TODO" [2020-05-29 Fri 23:01]
2020-05-26 07:38:56 +00:00
[2020-05-23 Sat 10:22]
*** TODO nettoyer frigo - 5m
2020-06-15 08:37:18 +00:00
SCHEDULED: <2020-06-22 Mon .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-15 08:37:18 +00:00
:LAST_REPEAT: [2020-06-15 Mon 10:28]
:END:
:LOGBOOK:
- State "HANDLED" from "TODO" [2020-06-15 Mon 10:28] \\
Krystelle
2020-05-26 07:38:56 +00:00
:END:
2020-06-09 18:47:34 +00:00
- State "CANCELED" from "TODO" [2020-06-06 Sat 10:48] \\
Week-end Martigues
2020-06-01 13:59:31 +00:00
- State "CANCELED" from "TODO" [2020-05-30 Sat 23:59] \\
K
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:23]
*** TODO bricolage - si besoin
2020-06-15 08:37:18 +00:00
SCHEDULED: <2020-06-22 Mon .+1w>
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:STYLE: habit
2020-06-15 08:37:18 +00:00
:LAST_REPEAT: [2020-06-15 Mon 10:28]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-06-15 Mon 10:28]
2020-05-26 07:38:56 +00:00
:END:
2020-06-09 18:47:34 +00:00
- 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 |
2020-06-01 13:59:31 +00:00
- State "CANCELED" from "TODO" [2020-05-30 Sat 23:59] \\
pas besoin
2020-05-26 07:38:56 +00:00
- State "DONE" from "TODO" [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:24]
2020-06-18 08:57:43 +00:00
** Yearly :yearly:
2020-06-05 11:34:56 +00:00
*** TODO [#A] revision chaudiere
2020-05-26 07:38:56 +00:00
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]
2020-06-18 08:57:43 +00:00
*** TODO [#A] Cadeau Rencontre Krystelle (1995) :yearly:
2020-05-26 07:38:56 +00:00
DEADLINE: <2021-04-08 Sun +1y -2w>
2020-06-18 08:57:43 +00:00
*** TODO [#A] Cadeau Mariage Krystelle (2000) :yearly:
2020-05-26 07:38:56 +00:00
DEADLINE: <2020-08-12 Wed +1y -2w>
2020-06-18 08:57:43 +00:00
*** TODO [#A] Cadeau Anniversaire Krystelle :yearly:
2020-05-26 07:38:56 +00:00
DEADLINE: <2021-04-26 Sun +1y -2w>
2020-06-01 13:59:31 +00:00
*** Fête des mères
**** [2020-06-07 Sun]
2020-06-18 08:57:43 +00:00
***** DONE [#A] Acheter cadeau fête des mères Krystelle :krystelle:
2020-06-09 18:47:34 +00:00
CLOSED: [2020-06-05 Fri 23:59] DEADLINE: <2020-06-07 Sun -2w>
2020-06-05 11:34:56 +00:00
***** DONE [#A] Acheter cadeau fête des mères Maman
2020-06-09 18:47:34 +00:00
CLOSED: [2020-06-05 Fri 23:59] DEADLINE: <2020-06-07 Sun -2w>
2020-06-01 13:59:31 +00:00
**** [2021-05-30 Sun]
2020-06-18 08:57:43 +00:00
***** TODO [#A] Acheter cadeau fête des mères Krystelle :krystelle:
2020-06-01 13:59:31 +00:00
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]
2020-06-18 08:57:43 +00:00
***** TODO [#A] Acheter cadeau fête des mères Krystelle :krystelle:
2020-06-01 13:59:31 +00:00
DEADLINE: <2022-05-29 Sun -2w>
***** TODO [#A] Acheter cadeau fête des mères Maman
DEADLINE: <2022-05-30 Mon -2w>
2020-06-09 18:47:34 +00:00
** DONE Envoyer les factures à Mercer
2020-06-05 11:34:56 +00:00
CLOSED: [2020-06-02 Tue 18:08] DEADLINE: <2020-06-02 Tue>
[2020-06-02 Tue 16:56]
[[notmuch:id:F359A916-981F-4BE4-9C32-4E1EEBCF80CA@gmail.com][Email from Esposito Krystelle: Fwd: factures TESSIER]]
2020-06-12 22:49:31 +00:00
** DONE Envoyer papiers mercer
CLOSED: [2020-06-10 Wed 22:19]
[2020-06-08 Mon 20:05]
** DONE Envoie des factures Mercer
CLOSED: [2020-06-10 Wed 22:19]
:LOGBOOK:
CLOCK: [2020-06-10 Wed 22:11]--[2020-06-10 Wed 22:19] => 0:08
:END:
[2020-06-10 Wed 22:11]
** DONE [#B] Article 83 Impots
CLOSED: [2020-06-01 Mon 16:05] DEADLINE: <2020-06-01 Mon>
[2020-06-01 Mon 09:30]
** DONE Ranger placard entree
CLOSED: [2020-06-01 Mon 16:01] DEADLINE: <2020-06-01 Mon 19:00>
[2020-06-01 Mon 12:20]
2020-06-18 08:57:43 +00:00
** DONE [#A] Remplir fiche Atrium conseil classe Anna :anna:family:
2020-06-12 22:49:31 +00:00
CLOSED: [2020-06-08 Mon 10:54] DEADLINE: <2020-06-08 Mon>
[2020-06-05 Fri 11:48]
[[notmuch:id:1792435245.58101591349679075.JavaMail.adminene@pfs-ene-prod-liferay202.realyce.fr][Email from notification@atrium-sud.fr: [ATRIUM] Nouveau message : IMPORTANT : RETOUR FICHE DIALOGUE 2NDE]]
2020-06-18 08:57:43 +00:00
** TODO [#B] Virement 270€ Basso :family:
2020-06-12 22:49:31 +00:00
DEADLINE: <2020-06-08 Mon>
- State "HOLD" from "TODO" [2020-06-08 Mon 20:11] \\
Attente du RIB
:LOGBOOK:
2020-06-14 08:22:11 +00:00
- State "TODO" from "HOLD" [2020-06-14 Sun 10:14]
2020-06-12 22:49:31 +00:00
CLOCK: [2020-06-08 Mon 20:08]--[2020-06-08 Mon 20:11] => 0:03
:END:
[2020-06-07 Sun 16:24]
2020-06-13 12:01:12 +00:00
** DONE Virements LCL
CLOSED: [2020-06-13 Sat 09:31]
:LOGBOOK:
CLOCK: [2020-06-13 Sat 09:29]--[2020-06-13 Sat 09:31] => 0:02
:END:
[2020-06-13 Sat 09:28]
2020-06-18 08:57:43 +00:00
** DONE Envoyer Facture Kine Krystelle :krystelle:family:
2020-06-14 08:22:11 +00:00
CLOSED: [2020-06-13 Sat 14:23] DEADLINE: <2020-06-15 Mon>
2020-06-13 12:01:12 +00:00
[2020-06-13 Sat 10:30]
2020-06-16 08:32:44 +00:00
** DONE [#A] Aller au Controle technique
CLOSED: [2020-06-16 Tue 10:30] DEADLINE: <2020-06-16 Tue 10:15>
2020-06-15 13:12:58 +00:00
[2020-06-15 Mon 15:11]
ref :: [[file:~/.org/inbox.org::*Prendre RDV Controle Technique][Prendre RDV Controle Technique]]
2020-06-18 08:57:43 +00:00
** TODO Appeler mon père pour l'inviter ce week-end :family:
2020-06-17 07:10:12 +00:00
SCHEDULED: <2020-06-17 Wed 11:15>
2020-06-18 08:57:43 +00:00
:LOGBOOK:
CLOCK: [2020-06-17 Wed 12:51]--[2020-06-17 Wed 12:53] => 0:02
:END:
2020-06-17 07:10:12 +00:00
[2020-06-17 Wed 09:08]
2020-06-17 10:50:58 +00:00
** DONE Appeler Speedy
CLOSED: [2020-06-17 Wed 12:50] DEADLINE: <2020-06-17 Wed 11:00>
:LOGBOOK:
CLOCK: [2020-06-17 Wed 12:45]--[2020-06-17 Wed 12:49] => 0:04
:END:
[2020-06-16 Tue 19:32]
- Soufflet crémaillère de direction Twingo
- Réparer feux brouillards
2020-06-18 16:56:14 +00:00
** DONE envoyer dossier declaration accident en recommandé :family:
CLOSED: [2020-06-18 Thu 15:17] SCHEDULED: <2020-06-18 Thu 14:00>
2020-06-18 12:46:26 +00:00
:LOGBOOK:
2020-06-18 16:56:14 +00:00
CLOCK: [2020-06-18 Thu 14:45]--[2020-06-18 Thu 15:17] => 0:32
2020-06-18 12:46:26 +00:00
:END:
2020-06-18 09:12:23 +00:00
[2020-06-18 Thu 11:10]
ref :: [[file:~/dev/iroh/services/iroh-auth/src/iroh_auth/iroh_auth_service/core.clj:::idp-mappings]]
2020-06-18 08:57:43 +00:00
* Fun :fun:
** TODO [#C] my experience/story about blog post serie :blog:
2020-05-26 07:38:56 +00:00
- explain the story
- explain how I forged some opinions
- ideas:
- scrum
- text editor
- colorschemes
- web development
- programming languages
- note taking
- research
- cooking
- weight, sport, fit
- intelligence, smartness
- writing
- reading
2020-06-18 08:57:43 +00:00
*** TODO [#C] how I use nix :blog:
2020-06-14 08:22:11 +00:00
[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
2020-06-18 08:57:43 +00:00
*** TODO [#C] how I use org-mode :blog:
2020-05-26 07:38:56 +00:00
**** 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
2020-06-12 22:49:31 +00:00
** DONE Check org-super-agenda
CLOSED: [2020-06-09 Tue 20:46] SCHEDULED: <2020-06-07 Sun>
2020-06-01 13:59:31 +00:00
[2020-05-27 Wed 22:14]
https://github.com/alphapapa/org-super-agenda
2020-06-18 08:57:43 +00:00
* Work :work:
2020-06-12 22:49:31 +00:00
** [#A] Re-cherrypick SMA fix into release branch
SCHEDULED: <2020-06-18 Thu +2w>
https://github.com/threatgrid/iroh/pull/3753
2020-06-18 08:57:43 +00:00
** DONE Fix partial-scope with explicit scopes provided to `authorize` :work:
CLOSED: [2020-06-17 Wed 23:02] DEADLINE: <2020-06-17 Wed 15:00>
2020-06-17 08:33:53 +00:00
[2020-06-17 Wed 10:32]
2020-06-13 12:01:12 +00:00
* Maybe
2020-06-14 08:22:11 +00:00
** TODO Jouer à trinity
2020-06-13 12:01:12 +00:00
[2020-06-13 Sat 12:45]
ref :: https://en.wikipedia.org/wiki/Trinity_(video_game)
2020-06-14 08:22:11 +00:00
** TODO A List of Foundational Haskell Papers
2020-06-13 12:01:12 +00:00
:PROPERTIES:
:CUSTOM_ID: a-list-of-foundational-haskell-papers
:END:
href :: https://github.com/cohomolo-gy/haskell-resources/blob/master/README.md
*** A Quick Note about Licensing
2020-06-13 12:32:43 +00:00
:PROPERTIES:
2020-06-14 08:22:11 +00:00
:CUSTOM_ID: a-quick-note-about-licensing
:END:
2020-06-13 12:01:12 +00:00
This repo is a collection of /links/ to various papers, and as such, may
go out of date intermittently as resources shuffle around the web. It
would be greatly appreciated if people raise issues when these pdf's
have dead links, as it helps us all maintain the most up to date set of
resources. Additionally, you may find that the "set of links" approach
is tedious. This is done to avoid any sort of licensing concerns. If
anyone has a better idea of the implications (especially licensing) of
hosting the actual papers, the end goal would ideally be to serve as a
kind of library. Feel free to find me to discuss.
Thanks, Emily.
2020-06-13 12:35:01 +00:00
**** History [0/1]
2020-06-13 12:33:56 +00:00
:PROPERTIES:
2020-06-13 12:35:01 +00:00
:CUSTOM_ID: history
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:35:01 +00:00
- [ ] [[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:
2020-06-14 08:22:11 +00:00
:CUSTOM_ID: the-beginning-the-eugenio-moggi-papers
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:35:01 +00:00
- [ ] [[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]]
2020-06-13 12:36:17 +00:00
**** Propositions as Types [0/1]
2020-06-13 12:35:01 +00:00
:PROPERTIES:
2020-06-13 12:37:20 +00:00
:CUSTOM_ID: propositions-as-types
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:36:17 +00:00
- [ ] [[https://pdfs.semanticscholar.org/1dc4/2af9a52032fcee178865a6be7ac2f46c9ff4.pdf][Propositions as Types]]
2020-06-14 08:22:11 +00:00
**** Haskell Semantics and Design Spaces [0/13]
2020-06-13 12:35:01 +00:00
:PROPERTIES:
2020-06-14 08:22:11 +00:00
:CUSTOM_ID: haskell-semantics-and-design-spaces
:END:
2020-06-13 12:01:12 +00:00
2020-06-14 08:22:11 +00:00
- [ ] [[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]]
2020-06-13 12:36:17 +00:00
- [ ] [[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]]
2020-06-14 08:22:11 +00:00
- [ ] [[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]]
2020-06-13 12:36:17 +00:00
- [ ] [[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]]
2020-06-13 12:37:20 +00:00
**** Under the Hood (Where the sausage is made) [0/7]
2020-06-13 12:35:01 +00:00
:PROPERTIES:
2020-06-13 12:37:20 +00:00
:CUSTOM_ID: under-the-hood-where-the-sausage-is-made
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:37:20 +00:00
- [ ] [[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]
2020-06-13 12:35:01 +00:00
:PROPERTIES:
2020-06-13 12:37:20 +00:00
:CUSTOM_ID: type-systems-and-lambda-calculi
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:37:20 +00:00
- [ ] [[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 [0/5]
:PROPERTIES:
:CUSTOM_ID: misc-parametricity
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:37:20 +00:00
- [ ] [[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]]
2020-06-13 12:38:39 +00:00
**** Misc TypeChecking + PLT [0/10]
:PROPERTIES:
:CUSTOM_ID: misc-typechecking-plt
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:38:39 +00:00
- [ ] [[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:
2020-06-13 12:01:12 +00:00
2020-06-13 12:38:39 +00:00
- [ ] [[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]]
2020-06-14 08:22:11 +00:00
**** Algebra of programming [0/6]
2020-06-13 12:38:39 +00:00
:PROPERTIES:
:CUSTOM_ID: algebra-of-programming
:END:
2020-06-13 12:01:12 +00:00
2020-06-13 12:38:39 +00:00
- [ ] [[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]]
2020-06-14 08:22:11 +00:00
- [ ] [[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]]
2020-06-13 12:38:39 +00:00
- [ ] [[https://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf][Adjoint Folds]]
2020-06-14 08:22:11 +00:00
** TODO [#C] Split .spacemacs in a .spacemacs.d dir it starts to be big :emacs:
2020-06-18 08:57:43 +00:00
** TODO [#C] Enhance quality of hosting, switch to NixOS :geek:
** TODO [#C] Wakatime server clone :idea:geek:
2020-06-14 08:22:11 +00:00
See doc at: https://wakatime.com/developers
2020-06-15 08:37:18 +00:00
* Memory
2020-05-26 07:38:56 +00:00
:PROPERTIES:
:ID: 1644E007-AFBE-4F4B-9307-B007C60548E8
:END:
2020-06-18 08:57:43 +00:00
** tidal degrade shortcut :fc:tidal:
2020-05-26 07:38:56 +00:00
: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 |
|----------+------+-----+----------+----------------------|
2020-06-15 08:28:11 +00:00
| 0 | 2.50 | 5 | 38.96 | 2020-07-24T07:36:53Z |
2020-05-26 07:38:56 +00:00
:END:
#+begin_src tidal
d1 $ s "[[bg]*4]{{?}@0}"
#+end_src
2020-06-18 08:57:43 +00:00
** How to promote an org-mode entry to an org-fc card? :fc:org:
2020-05-26 07:38:56 +00:00
: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 |
|----------+------+-----+----------+----------------------|
2020-06-16 08:32:44 +00:00
| front | 2.80 | 5 | 44.38 | 2020-07-30T17:42:29Z |
2020-06-05 11:34:56 +00:00
| back | 2.80 | 4 | 16.36 | 2020-06-20T17:17:09Z |
2020-05-26 07:38:56 +00:00
:END:
=SPC o f . t= or ~org-fc-hydra/body~ then select =t=.
2020-06-18 08:57:43 +00:00
** client TG dans le config.edn :fc:cisco:
2020-05-26 07:38:56 +00:00
: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 |
|----------+------+-----+----------+----------------------|
2020-06-05 11:34:56 +00:00
| front | 2.80 | 4 | 16.72 | 2020-06-19T06:23:17Z |
2020-05-26 07:38:56 +00:00
:END:
Ne pas oublier le client de TG est dans le config.edn
2020-06-18 08:57:43 +00:00
** Debug with cider breakpoint :fc:clj:
2020-06-01 13:59:31 +00:00
:PROPERTIES:
:FC_CREATED: 2020-05-29T21:03:01Z
:FC_TYPE: normal
:ID: A87F7BB6-BEE1-4C07-85AD-018AFDCD38D6
:END:
:REVIEW_DATA:
| position | ease | box | interval | due |
|----------+------+-----+----------+----------------------|
2020-06-09 18:47:34 +00:00
| front | 2.65 | 4 | 16.74 | 2020-06-25T02:44:07Z |
2020-06-01 13:59:31 +00:00
:END:
=, d b= if on ~s/defn~ type =n= until finished.
2020-06-18 08:57:43 +00:00
** Searh within org notes :fc:org:
2020-06-05 11:34:56 +00:00
: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 |
|----------+------+-----+----------+----------------------|
2020-06-14 08:23:22 +00:00
| front | 2.65 | 4 | 14.89 | 2020-06-29T05:42:31Z |
2020-06-05 11:34:56 +00:00
:END:
=helm-org-rifle= (~SPC a o r~)
2020-06-18 08:57:43 +00:00
** update ~[/]~ and ~[%]~ in org mode :fc:org:
2020-06-14 08:22:11 +00:00
: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 |
|----------+------+-----+----------+----------------------|
2020-06-15 08:28:11 +00:00
| front | 2.65 | 3 | 6.00 | 2020-06-21T08:27:42Z |
2020-06-14 08:22:11 +00:00
:END:
use ~, #~ (~org-update-statistics-cookies~)
2020-06-18 09:12:23 +00:00
* DONE Remboursement Colo Anna
CLOSED: [2020-06-18 Thu 11:11] SCHEDULED: <2020-06-18 Thu 14:00>
2020-06-18 08:57:43 +00:00
[2020-06-17 Wed 15:08]