#+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 y o c => DISPLAY org columns #+end_comment * Perso :perso: ** Habits :habit: *** TODO journal matin :daily: SCHEDULED: <2021-03-07 Sun 09:00 .+1d> :PROPERTIES: :STYLE: habit :LAST_REPEAT: [2021-01-25 Mon 15:03] :END: :LOGBOOK: - State "CANCELLED" from "TODO" [2021-03-06 Sat 09:00] - State "CANCELED" from "TODO" [2021-01-25 Mon 15:03] - State "CANCELED" from "TODO" [2021-01-18 Mon 14:26] - State "CANCELED" from "TODO" [2021-01-04 Mon 15:52] - State "CANCELLED" from "TODO" [2020-12-26 Sat 13:07] - State "DONE" from "TODO" [2020-12-17 Thu 15:46] - State "DONE" from "TODO" [2020-12-03 Thu 16:20] - State "DONE" from "TODO" [2020-11-22 Sun 19:42] - State "CANCELED" from "TODO" [2020-11-20 Fri 18:38] - State "DONE" from "TODO" [2020-11-19 Thu 09:53] - State "DONE" from "TODO" [2020-11-09 Mon 12:01] - State "DONE" from "TODO" [2020-11-04 Wed 08:29] - State "DONE" from "TODO" [2020-10-25 Sun 16:14] - State "DONE" from "TODO" [2020-10-09 Fri 10:13] - State "DONE" from "TODO" [2020-10-08 Thu 12:24] - State "DONE" from "TODO" [2020-09-30 Wed 09:27] - State "DONE" from "TODO" [2020-09-28 Mon 11:15] - State "DONE" from "TODO" [2020-09-27 Sun 10:35] - State "DONE" from "TODO" [2020-09-26 Sat 12:27] - State "DONE" from "TODO" [2020-09-24 Thu 11:42] CLOCK: [2020-09-24 Thu 11:41]--[2020-09-24 Thu 11:41] => 00:00 - State "DONE" from "TODO" [2020-09-23 Wed 07:27] - State "DONE" from "TODO" [2020-09-22 Tue 08:25] - State "DONE" from "TODO" [2020-09-21 Mon 09:49] - State "DONE" from "TODO" [2020-09-20 Sun 08:03] - State "DONE" from "TODO" [2020-09-15 Tue 10:08] - State "DONE" from "TODO" [2020-09-14 Mon 14:07] - State "DONE" from "TODO" [2020-09-11 Fri 09:08] - State "DONE" from "TODO" [2020-09-10 Thu 09:17] - 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] => 00: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 journal soir :daily:evening: SCHEDULED: <2020-12-27 Sun 22:00 .+1d> :PROPERTIES: :STYLE: habit :LAST_REPEAT: [2020-09-20 Sun 22:31] :END: - State "DONE" from "TODO" [2020-08-25 Tue 01:18] :LOGBOOK: - State "CANCELLED" from "TODO" [2020-12-26 Sat 13:08] - State "DONE" from "TODO" [2020-09-20 Sun 22:31] - 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 weight :daily: SCHEDULED: <2021-03-02 Tue 09:00 .+1d/3d> :PROPERTIES: :STYLE: habit :LAST_REPEAT: [2021-03-01 Mon 09:05] :END: :LOGBOOK: - State "CANCELED" from "TODO" [2021-01-25 Mon 15:03] - State "CANCELED" from "TODO" [2021-01-18 Mon 14:26] - State "CANCELED" from "TODO" [2021-01-10 Sun 13:20] - State "CANCELED" from "TODO" [2021-01-04 Mon 15:52] - State "CANCELED" from "TODO" [2020-12-26 Sat 18:45] - State "DONE" from "TODO" [2020-12-03 Thu 16:25] - State "CANCELED" from "TODO" [2020-11-27 Fri 10:34] - State "DONE" from "TODO" [2020-11-22 Sun 19:43] - State "CANCELED" from "TODO" [2020-11-20 Fri 18:38] - State "CANCELED" from "TODO" [2020-11-09 Mon 12:02] - State "CANCELED" from "TODO" [2020-11-04 Wed 13:08] - State "DONE" from "TODO" [2020-11-03 Tue 23:59] - State "DONE" from "TODO" [2020-10-25 Sun 16:15] - State "CANCELED" from "TODO" [2020-10-09 Fri 10:13] - State "DONE" from "TODO" [2020-10-08 Thu 12:25] - State "DONE" from "TODO" [2020-10-01 Thu 18:33] - State "CANCELED" from "TODO" [2020-09-30 Wed 20:23] - State "DONE" from "TODO" [2020-09-28 Mon 09:25] - State "CANCELED" from "TODO" [2020-09-27 Sun 10:35] - State "DONE" from "TODO" [2020-09-25 Fri 10:25] - State "CANCELED" from "TODO" [2020-09-24 Thu 11:30] - State "DONE" from "TODO" [2020-09-23 Wed 12:06] - State "DONE" from "TODO" [2020-09-22 Tue 09:26] - State "DONE" from "TODO" [2020-09-21 Mon 09:50] - State "CANCELED" from "TODO" [2020-09-20 Sun 11:14] - State "DONE" from "TODO" [2020-09-19 Sat 11:05] - State "CANCELED" from "TODO" [2020-09-15 Tue 10:08] - State "CANCELED" from "TODO" [2020-09-14 Mon 14:08] - State "CANCELED" from "TODO" [2020-09-11 Fri 15:05] - State "CANCELED" from "TODO" [2020-09-10 Thu 09:17] - 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 | ▉▉▉▉▉▉ | | [2020-09-19 Sat] | 70 | ▉▉▉▉▉▉ | | [2020-09-21 Mon] | 69.5 | ▉▉▉▉▉▋ | | [2020-09-22 Tue] | 69 | ▉▉▉▉▉▍ | | [2020-09-22 Tue] | 70 | ▉▉▉▉▉▉ | | [2020-09-25 Fri] | 69.5 | ▉▉▉▉▉▋ | | [2020-09-28 Mon] | 70 | ▉▉▉▉▉▉ | | [2020-09-28 Mon] | 69 | ▉▉▉▉▉▍ | | [2020-10-01 Thu] | 69 | ▉▉▉▉▉▍ | | [2020-10-08 Thu] | 69.5 | ▉▉▉▉▉▋ | | [2020-10-25 Sun] | 70 | ▉▉▉▉▉▉ | | [2020-11-03 Tue] | 69.5 | ▉▉▉▉▉▋ | | [2020-11-22 Sun] | 70 | ▉▉▉▉▉▉ | | [2020-12-03 Thu] | 71 | ▉▉▉▉▉▉▌ | | [2021-01-20 Wed] | 70 | ▉▉▉▉▉▉ | | [2021-03-01 Mon] | 72 | ▉▉▉▉▉▉▉▏ | #+TBLFM: $3='(orgtbl-uc-draw-grid $2 60 80) ** Maybe :maybe: *** IN-PROGRESS Write long letter(s) [1/9] SCHEDULED: <2021-03-20 Sat> [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 *** Films :film:fun: **** TODO [#C] Films conseillés par Ezequiel [2020-08-23 Sun 17:33] - ultime souper - the rock *** CANCELED Jouer à trinity [2020-06-13 Sat 12:45] :fun: :LOGBOOK: - State "CANCELED" from "TODO" [2020-12-03 Thu 09:27] :END: - 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 * Famille :family: ** Daily :daily: ** Weekly :weekly: *** TODO litieres DEADLINE: <2021-03-14 Sun .+2w -1d> :PROPERTIES: :LAST_REPEAT: [2021-02-28 Sun 12:01] :STYLE: habit :END: :LOGBOOK: - State "DONE" from "TODO" [2021-02-28 Sun 12:01] - State "DONE" from "TODO" [2021-01-18 Mon 14:26] - State "DONE" from "TODO" [2021-01-04 Mon 15:49] - State "DONE" from "TODO" [2020-11-27 Fri 10:32] - State "DONE" from "TODO" [2020-11-05 Thu 15:43] - State "DONE" from "TODO" [2020-10-23 Fri 10:22] - State "DONE" from "TODO" [2020-10-08 Thu 11:18] - State "DONE" from "TODO" [2020-09-11 Fri 09:07] - 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 bricolage - si besoin SCHEDULED: <2021-03-07 Sun .+1w> :PROPERTIES: :STYLE: habit :LAST_REPEAT: [2021-02-28 Sun 12:02] :END: - State "DONE" from "TODO" [2020-08-24 Mon 08:57] :LOGBOOK: - State "DONE" from "TODO" [2021-02-28 Sun 12:02] - State "DONE" from "TODO" [2021-01-12 Tue 10:06] - State "DONE" from "TODO" [2021-01-04 Mon 15:53] - State "CANCELLED" from "TODO" [2020-12-26 Sat 13:11] - State "DONE" from "TODO" [2020-12-03 Thu 16:25] - State "DONE" from "TODO" [2020-11-22 Sun 19:43] - State "DONE" from "TODO" [2020-11-13 Fri 15:59] - State "DONE" from "TODO" [2020-11-04 Wed 13:08] - State "CANCELED" from "TODO" [2020-10-08 Thu 12:26] - State "DONE" from "TODO" [2020-09-28 Mon 09:25] - State "DONE" from "TODO" [2020-09-20 Sun 22:30] - State "CANCELED" from "TODO" [2020-09-11 Fri 15:06] - 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] *** TODO commander les légumes et les fruits SCHEDULED: <2021-03-11 Thu ++1w> :PROPERTIES: :LAST_REPEAT: [2021-02-28 Sun 12:00] :END: :LOGBOOK: - State "DONE" from "TODO" [2021-03-06 Sat 09:00] - State "DONE" from "TODO" [2021-02-28 Sun 12:00] - State "DONE" from "TODO" [2021-02-01 Mon 10:12] - State "DONE" from "TODO" [2021-01-25 Mon 15:00] - State "CANCELED" from "TODO" [2021-01-18 Mon 14:26] - State "CANCELED" from "TODO" [2021-01-10 Sun 13:19] - State "CANCELED" from "TODO" [2021-01-04 Mon 15:50] - State "DONE" from "TODO" [2020-12-26 Sat 18:45] - State "DONE" from "TODO" [2020-12-17 Thu 15:44] - State "DONE" from "TODO" [2020-12-03 Thu 15:42] - State "DONE" from "TODO" [2020-11-23 Mon 11:17] - State "DONE" from "TODO" [2020-11-13 Fri 15:58] - State "DONE" from "TODO" [2020-11-09 Mon 11:58] - State "DONE" from "TODO" [2020-11-03 Tue 23:22] - State "DONE" from "TODO" [2020-10-25 Sun 16:09] - State "CANCELED" from "TODO" [2020-10-08 Thu 11:25] - State "DONE" from "TODO" [2020-10-01 Thu 17:51] :END: [2020-10-01 Thu 08:34] - ref :: https://lespaniersdelilou.fr ** Yearly :yearly: *** TODO [#A] revision chaudiere DEADLINE: <2022-02-15 Tue +1y -2w> :PROPERTIES: :LAST_REPEAT: [2021-03-06 Sat 23:48] :END: :LOGBOOK: - State "DONE" from "IN-PROGRESS" [2021-03-06 Sat 23:48] :END: [2020-05-23 Sat 10:26] *** TODO vaccination leichmaniose Oslo DEADLINE: <2022-01-20 Thu +1y> :PROPERTIES: :LAST_REPEAT: [2021-01-18 Mon 14:25] :END: :LOGBOOK: - State "DONE" from "TODO" [2021-01-18 Mon 14:25] :END: [2020-05-23 Sat 10:27] *** TODO Nettoyage barbecue DEADLINE: <2021-02-04 Thu> SCHEDULED: <2020-09-19 Sat +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> *** TODO Appeler Thierry DEADLINE: <2022-01-04 Tue +1y> :PROPERTIES: :LAST_REPEAT: [2021-02-28 Sun 11:56] :END: :LOGBOOK: - State "DONE" from "TODO" [2021-02-28 Sun 11:56] - State "DONE" from "TODO" [2021-02-28 Sun 11:55] - State "DONE" from "TODO" [2021-01-07 Thu 11:52] :END: [2020-12-26 Sat 13:03] ** Krystelle :krystelle: ** Anna :anna: ** Bastien :bastien: * Geek :fun: ** TODO [#C] my experience/story about blog post serie [0/2] :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: :LOGBOOK: CLOCK: [2020-09-21 Mon 12:54]--[2020-09-21 Mon 13:04] => 0:10 :END: **** 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 ** TODO l'Ordre *** DONE Send letter to Alexandre *** DONE Send letter to Ezequiel *** TODO Send letter to Guillaume Ereteo *** TODO Send letter to older friend ** GEEK journal matin :perso: :LOGBOOK: CLOCK: [2020-09-29 Tue 09:43]--[2020-09-29 Tue 09:48] => 0:05 :END: [2020-09-29 Tue 09:42] ref :: [[file:~/Library/Mobile Documents/iCloud~com~appsonthemove~beorg/Documents/org/inbox.org::*journal matin][journal matin]] ** TODO migrate yannesposito.com to the new blog system, keep old URL valid [2020-11-15 Sun 10:58] - ref :: * Memory :PROPERTIES: :ID: 1644E007-AFBE-4F4B-9307-B007C60548E8 :END: ** 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.25 | 7 | 449.62 | 2022-04-20T04:53:05Z | :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 | 7 | 289.32 | 2021-11-04T20:35:12Z | :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.35 | 7 | 265.02 | 2021-10-17T14:36:23Z | :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 | 7 | 287.31 | 2021-11-08T21:22:55Z | :END: =SPC p y= ** Create inactive timestmap ([DATE]) :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.65 | 6 | 117.50 | 2021-03-16T20:55:04Z | :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~ ** Clone sub tree with time shift :fc: :PROPERTIES: :FC_CREATED: 2020-12-02T13:54:51Z :FC_TYPE: normal :ID: 9207b53a-e38e-4996-abc6-140c31f2960a :END: :REVIEW_DATA: | position | ease | box | interval | due | |----------+------+-----+----------+----------------------| | front | 2.35 | 3 | 6.00 | 2021-01-31T14:02:51Z | :END: =org-clone-subtree-with-time-shift= * TODO [#A] Assurance Toyota SCHEDULED: <2021-03-08 Mon> [2021-03-05 Fri 20:36] * TODO Pas de negatif SCHEDULED: <2021-03-06 Sat +1d> :LOGBOOK: - State "DONE" from "TODO" [2021-03-06 Sat 09:00] :END: [2021-03-05 Fri 20:37]